证明：∵四边形ABCD是矩形，
∴∠D=∠E，AE=CD，
又∵∠AFE=∠CFD，
在△AEF和△CDF中，

∠E＝∠D ∠AFE＝∠CFD AE＝CD

∴△AEF≌△CDF（AAS），
∴EF=DF．