全等三角形之半角模型
一、什么叫半角模型
定义：我们习惯把过等腰三角形顶角的顶点引两条射线，使两条射线的夹角为等腰三角形顶角的一半这样的模型称为半角模型。

常见的图形为正方形，正三角形，等腰直角三角形等，解题思路一般是将半角两边的三角形通过旋转到一边合并形成新的三角形，从而进行等量代换，然后证明与半角形成的三角形全等，再通过全等的性质得出线段之间的数量关系，从而解决问题。

二、基本模型（1）——正方形内含半角
如图，在正方形ABCD中，E、F分别是BC、CD边上的点，∠EAF=45°，
求证：EF=BE+DF。

三、基本模型（2）——等边三角形内含半角
已知：如图，△ABC是等边三角形，点D是△ABC外一点，DB=DC且
∠BDC=120°，∠EDF=60°，DE、DF分别交AB、AC于点E、F．
求证：EF =BE+CF．
四、基本模型（3）——等腰直角三角形内含半角
已知：△ABC是等腰直角三角形，点D、E在BC上，且满足∠DAE=45°求证：DE²=BE²+CD²（请使用旋转和翻折两种方法解决）。