1、正方形半角模型是从正方形的一个顶点引出夹角为45°的两条射线，并连结它们与该顶点的两对边的交点构成的基本平面几何模型。

2、由于两射线的夹角是正方形一个内角的一半，故名半角模型，又称“角含半角模型”。

3、其中，将45°角的两边及其对边围成的三角形称为“半角三角形”（即图中的△AEF）

【证法】（截长补短法）

延长CB至点F'，使BF'=DF，连结AF'。

易证△ADF≌△ABF'(SAS)，∴AF=AF'，∠BAF'=∠DAF，

∴∠EAF'=∠BAE+∠BAF'=∠BAE+∠DAF=45°=∠EAF，

则△AEF'≌△AEF(SAS)，∴EF=EF'=BF'+BE=BE+DF，

即EF=BE+DF。