延长CD至G,使DG=BE；
连接AG
∵四边形ABCD是正方形
∴∠ADC=90°.AB=AD
∴∠ADG=90°
在△ABE和△ADG中 AB=AD,∠B=∠ADG,BE=DG
∴△ABE≌△ADG（SAS）
∴∠BAE=∠DAG,AE=AG
∵∠BAE ∠FAD=90°-∠EAF=90°-45°=45°
∴∠DAG ∠FAD=45°=∠GAF
在△AEF和△AGF中AE=AG,∠EAF=∠GAF=45°,AF=AF
∴△AEF≌△AGF（SAS）
∴EF=GF
∵GF=DG FD=BE FD
∴EF=BE FD