证明：∵四边形ABCD是矩形，
∴AB=CD，
又∵DE=DC，
∴AB=DE，
∵AD∥BC，
∴∠BFA=∠DAE，
∴在△ABF和△DEA中

∠BFA=∠DAE ∠B=∠DEA=90° AB=DE

，
∴△ABF≌△DEA，
∴AE=BF．