如图矩形abcd中Ef分别是它abcd的点,AE=CF