矩形abcd中,ef分别为ad,bc上两点,且ae=cf