原题:如图1,点E、F分别在正方形ABCD的边BC、CD上,∠EAF=45°,连接EF,求证:EF=BE+DF.
解题分析:由于AB=AD,我们可以延长CD到点G,使DG=BE,易得∠ABE=∠ADG=90°,可证△ABE≌△ADG
再证明△AFG≌△AFE,得EF=FG=DG+FD=BE+DF