如图,在矩形abcd中,ef分别是边ab,cd上的点