如图1，四边形ABCD是正方形，E，F分别在边BC和CD上，且∠EAF＝45°，我们把这种模型称为“半角模型”，在解决“半角模型”问题时，旋转是一种常用的方法。小明为了解决线段EF，BE，DF之间的关系，将△ADF绕点A顺时针旋转90°后解决了这个问题。