证明：由矩形性质可知，AE=AB=DC，
根据对顶角相等得，∠EFA=∠DFC，
而∠AEC=∠ADC=90°．
由AAS可得，△AEF≌△CDF⇒EF=DF．