模型概述：什么是正方形中的半角模型？
⚡ 模型定义
在正方形ABCD中，若点E、F分别是边BC、CD上的点，且∠EAF = 45°（即∠BAD的一半），则称图形中存在正方形半角模型。
在初中数学几何体系中，正方形是最完美的四边形，而半角模型则是考察正方形性质、全等三角形判定与性质、勾股定理以及旋转变换的经典载体。该模型之所以被称为“模型”，是因为其结论具有高度的稳定性和通用性，无论点E、F在边上的位置如何变化，只要满足45度角条件，其线段关系和面积关系始终保持不变。
许多学生在面对此类问题时，往往感到无从下手，主要原因在于无法识别出隐藏的旋转对称性。实际上，通过观察图形的对称特征，我们可以迅速找到解题的突破口——即通过旋转法构造全等三角形，将分散的已知条件集中起来。
核心证明：为什么 EF = BE + DF？
这是半角模型最核心的结论之一。为了证明这一结论，我们需要引入辅助线，将原本分散的线段BE和DF“拼接”在一起。
详细步骤演示
- 旋转构造：将△ABE绕点A逆时针旋转90°，使AB与AD重合，得到△ADG。
- 证明共线：因为∠ADC = 90°，∠ADG = ∠ABE = 90°，所以∠FDG = 180°，即F、D、G三点共线。
- 角度转换：
- ∠GAF = ∠GAD + ∠DAF
- 因为∠GAD = ∠BAE（旋转性质）
- 所以∠GAF = ∠BAE + ∠DAF
- 又因为∠BAD = 90°，∠EAF = 45°，所以∠BAE + ∠DAF = 45°
- 故∠GAF = 45° = ∠EAF
- 全等判定：在△AEF和△AGF中：
- AE = AG（旋转性质）
- ∠EAF = ∠GAF = 45°
- AF = AF（公共边）
- 所以△AEF ≌ △AGF (SAS)
- 得出结论：由全等可得 EF = GF。因为 GF = GD + DF = BE + DF，所以 EF = BE + DF。
辅助线作法
在EF上截取EG = EB，连接AG。或者延长CB至G，使BG = DF，连接AG。
证明逻辑： 若延长CB至G使BG=DF，则易证△ABG ≌ △ADF (SAS)。 此时AG = AF，∠BAG = ∠DAF。 ∠GAE = ∠GAB + ∠BAE = ∠DAF + ∠BAE = 90° - 45° = 45°。 所以∠GAE = ∠FAE。 又AE=AE，AG=AF，故△AGE ≌ △AFE (SAS)。 所以GE = EF。 而GE = GB + BE = DF + BE。 故EF = BE + DF。
代数推导
设正方形边长为1，BE=x，DF=y。
在Rt△ABE中，tan∠BAE = x/1 = x。
在Rt△ADF中，tan∠DAF = y/1 = y。
因为∠BAE + ∠DAF = 45°，
所以 tan(∠BAE + ∠DAF) = tan45° = 1。
利用公式 tan(α+β) = (tanα+tanβ)/(1-tanαtanβ)，
得 (x+y)/(1-xy) = 1，即 x+y = 1-xy。
在Rt△CEF中，CE=1-x，CF=1-y，EF² = (1-x)² + (1-y)²。
经过代数变形可验证 EF = x+y = BE+DF。
经典应用：不止于线段关系
掌握了半角模型的基本结论后，我们可以进一步挖掘其衍生性质，这些性质在解决复杂几何证明题和计算题中极为有用。
① 周长守恒
结论：△CEF的周长恒等于正方形边长的2倍。
推导：C△CEF = CE + CF + EF = CE + CF + (BE + DF) = (CE + BE) + (CF + DF) = BC + CD = 2a。
② 面积关系
结论：S△AEF = S△ABE + S△ADF。
推导：由△AEF ≌ △AGF，可知S△AEF = S△AGF = S△ADG + S△ADF = S△ABE + S△ADF。
③ 角度关系
结论：∠AFE = ∠AFD + 45°（不一定成立，需具体推导），更准确的性质是：
∠AEB = ∠AEF，∠AFD = ∠AFE。
这意味着AE、AF分别是∠BEF和∠DFE的外角平分线相关的角。
④ 内切圆性质
结论：若正方形边长为a，则△CEF的内切圆半径 r = (a - EF)/2 ? 不，更常用的性质是： S△AEF = (1/2) EF h，其中h为A到EF的距离。 实际上，A到EF的距离等于正方形边长。这是一个非常隐蔽但强大的性质。
变式拓展：当角度或形状改变时
半角模型不仅仅局限于正方形中的45度角，它可以推广到菱形、矩形甚至任意平行四边形中，但结论会有所变化。
| 模型类型 | 条件设置 | 核心结论 | 备注 |
|---|---|---|---|
| 正方形半角 | ∠EAF = 45° | EF = BE + DF | 最经典模型，结论简洁 |
| 菱形半角 | ∠B = 2∠EAF | EF = BE + DF (需∠BAD+∠B=180°) | 若td>若∠B≠90°，结论可能不成立或需修正 |
| 一般四边形 | AB=AD, ∠B+∠D=180° | 若∠EAF = 1/2 ∠BAD，则 EF = BE + DF | 这是半角模型的广义形式 |
| 外部半角 | E、F在延长线上 | EF = |BE - DF| | 注意线段的加减关系变化 |
网友还关心：半角模型在中考中的地位
在近年来的各地中考数学试卷中，正方形半角模型常以填空题压轴题或解答题辅助线的形式出现。它不仅仅考察学生的计算能力，更考察几何直观和构造能力。
- 高频考点：求线段长度、求三角形周长、求面积最值。
- 易错点：忘记分类讨论（点E、F可能在边的延长线上）；辅助线作法单一，只会旋转法。
- 提分关键：熟练掌握“旋转构造全等”这一核心思想，并能灵活迁移到“手拉手”模型中。
高频问答：学生最常问的10个问题
因为正方形的邻边相等且夹角为90度，旋转90度可以让相等的边重合，从而构造出新的全等三角形，这是利用正方形性质最直接的方法。
不成立。EF = BE + DF 这一结论严格依赖于 ∠EAF = 1/2 ∠BAD。如果角度改变，线段关系也会改变，通常需要借助余弦定理或相似三角形来求解。
观察图形中是否有“正方形”或“等腰直角三角形”，且顶点处有一个角是另一个角的一半（通常是45度是90度的一半）。
可以尝试“截长补短”：在长线段上截取一段等于短线段，或者延长短线段使其等于长线段。此外，还可以尝试作垂线，利用角平分线的性质。
“手拉手”模型通常涉及两个共顶点的等腰三角形（或正方形），通过旋转证明全等。半角模型可以看作是“手拉手”模型的一种特例，即两个正方形共顶点，且其中一个正方形的边长无限小或退化时的情况。