<正>一模型介绍如图1,正方形ABCD中,E,F分别是BC,CD上的点,且有∠EAF=45°,则BE+DF=EF.证明:把△ADF绕点A顺时针旋转90。至△ABG,如图2,于是AG=AF,∠GAB=∠FAD.因∠EAF+∠FAD+∠BAE=90°且∠EAF=45°,故∠FAD+∠BAE=45°,