在矩形abcd中 ef分别是边ab cd 上的点ae=cf