经探求，结论是：DF=AB．（1分）
证明：∵四边形ABCD是矩形．
∴∠B=90°，AD∥BC．
∴∠DAF=∠AEB．（2分）
∵DF⊥AE．
∴∠AFD=90°．
∵AE=AD．
∴△ABE≌△DFA．（5分）
∴AB=DF．（6分）