角平分线长定理：从基础公式到几何竞赛的深度解析
什么是角平分线长定理？
在平面几何中，角平分线长定理（Length of Angle Bisector Theorem）是一个连接三角形边长与角平分线长度的重要桥梁。它不仅仅是一个简单的计算公式，更是斯特瓦尔特定理（Stewart's Theorem）在特定几何条件下的完美体现。对于广大学生、教师以及数学爱好者而言，深入理解这一定理，对于解决复杂的几何证明题和计算题具有不可替代的作用。
许多人在学习三角形时，容易混淆“角平分线定理”（比例关系）与“角平分线长定理”（长度计算）。前者描述的是角平分线将对边分成的两段线段与邻边的比例关系（即 BD/DC = AB/AC），而后者则直接给出了角平分线线段 AD 的长度与三角形三边 a, b, c 之间的数量关系。本文将为您详细拆解这一核心知识点。
核心公式与记忆技巧
掌握正确的公式是解题的第一步。角平分线长定理主要有两种常见的表达形式，分别适用于不同的已知条件场景。
形式一：基于邻边与对边分段
这是最直观的形式。其中，AB 和 AC 是角 A 的两条邻边，BD 和 DC 是角平分线 AD 将对边 BC 分成的两段。这个公式告诉我们，角平分线的平方等于两邻边之积减去对边被分成的两段之积。
形式二：基于三角形三边 a, b, c
在实际解题中，我们往往只知道三角形的三边长 a, b, c。此时需要结合角平分线性质定理（BD/DC = c/b）进行代换。推导后的最终公式为：
或者写作更对称的形式：
这个形式特别适用于已知两边及其夹角的情况，因为它直接引入了角度余弦值，方便与三角函数知识结合。
💡 记忆口诀
“角平分线平方，等于邻边乘积，减去对边两段，积在中间藏。”
⚠️ 易错点提示
注意区分内角平分线与外角平分线。上述公式仅适用于内角平分线。外角平分线长公式符号会有所变化（BD·DC 前变为加号）。
多维视角：三种经典证明方法
理解定理的来源比死记硬背更重要。以下列出三种最常用的证明思路，帮助读者构建完整的几何逻辑链。
利用斯特瓦尔特定理（Stewart's Theorem）
这是最直接、最通用的证明方法。斯特瓦尔特定理描述了三角形中 cevian（塞瓦线，即顶点到对边的连线）长度与三边及分段的关系。
斯特瓦尔特定理公式为：b²m + c²n = a(d² + mn)，其中 d 为 cevian 长度，m, n 为对边分段，a = m + n。
在角平分线 AD 的情况下，根据角平分线性质定理，我们有 BD/DC = c/b，即 m/n = c/b。由此可解出 m 和 n 关于 a,b,c 的表达式。将 m, n 代入斯特瓦尔特定理，经过代数化简，即可得到 AD² = bc - mn，从而得证。这种方法体现了代数运算在几何证明中的强大威力。
利用外接圆与相似三角形
这是一种纯几何的优雅证明法。延长 AD 交 △ABC 的外接圆于点 E，连接 EC。
1. 因为 AD 是角平分线，所以 ∠BAD = ∠CAD。
2. 在圆中，同弧所对的圆周角相等，故 ∠BAD = ∠BEC（对弧 BC）...
（此处省略详细步骤，核心在于证明 △ABD ∽ △AEC，从而得到 AB/AE = AD/AC，即 AD·AE = AB·AC。再利用相交弦定理 AE·AD = AB·AC 并不直接成立，而是利用切割线定理的变体或圆幂定理推导 AD·DE = BD·DC，最终结合 AE = AD + DE 推导出结论。注：此方法需仔细处理线段关系，通常表述为 AD·AE = AB·AC 是错误的，正确相似比为 △ABD ∽ △AEC 推出 AB/AE = AD/AC 是错误的，应为 △ABD ∽ △CED 或 △ABE ∽ △ADC。标准证明：连接 EC，易证 △ABD ∽ △AEC 不成立，应是 △ABD ∽ △AEC 的对应点找错。正确是：连接 EC，∠B = ∠E (同弧)，∠BAD = ∠EAC，故 △ABD ∽ △AEC? 不对。应为 △ABD ∽ △AEC 的对应角：∠BAD=∠CAE, ∠ABD=∠AEC. 所以 △ABD ∽ △AEC. 于是 AB/AE = AD/AC => AD·AE = AB·AC. 又由相交弦定理 AD·DE = BD·DC. AE = AD+DE. 故 AD(AD + BD·DC/AD) = bc => AD² + BD·DC = bc => AD² = bc - BD·DC. 证毕。）
此方法巧妙结合了圆的性质，是几何直观思维的典范。
利用面积法与余弦定理
利用 S△ABC = S△ABD + S△ACD。
1. S△ABC = 1/2 bc sin A
2. S△ABD = 1/2 c·AD sin(A/2)
3. S△ACD = 1/2 b·AD sin(A/2)
联立可得 AD = [bc / (b+c)] cos(A/2)。再利用余弦定理 cos A = 2cos²(A/2) - 1，将 cos(A/2) 用边长表示，最终化简可得仅含边长的公式。这种方法适合已经熟练掌握三角恒等变换的学生。
实战演练：典型应用场景
定理的生命力在于应用。以下列举三种在考试和竞赛中高频出现的场景。
场景一：求角平分线长度
已知 △ABC 中，AB=6, AC=8, BC=10。求 ∠A 的角平分线 AD 的长。
解析：首先观察三边 6,8,10，满足 6²+8²=10²，故 △ABC 为直角三角形，∠A=90°。
利用公式 AD = [2bc/(b+c)] cos(A/2)。
AD = [2×6×8 / (6+8)] × cos(45°) = [96/14] × (√2/2) = 48√2 / 14 = 24√2 / 7。
此方法比使用面积法求高再结合勾股定理要快捷得多。
场景二：证明不等式
在任意 △ABC 中，证明：AD ≤ √(bc)。
解析：由角平分线长公式 AD² = bc - BD·DC。因为 BD>0, DC>0，所以 BD·DC > 0。因此 AD² < bc，即 AD < √(bc)。当且仅当 BD 或 DC 趋近于 0 时取等号（此时三角形退化）。这个不等式在几何极值问题中非常有用。
场景三：结合海伦公式求面积
若已知三边及角平分线长，可反向验证数据一致性，或在不直接知道高的情况下，通过分割三角形面积来求解。
| 已知条件 | 推荐公式 | 计算复杂度 | 适用题型 |
|---|---|---|---|
| 三边 a, b, c | AD² = bc [ 1 - (a / (b + c))² ] | 中 | 常规计算题 |
| 两边 b, c 及夹角 A | AD = [2bc/(b+c)] cos(A/2) | 低 | 三角函数综合题 |
| 邻边及分段 BD, DC | AD² = AB·AC - BD·DC | 低 | 几何证明、竞赛技巧 |
常见问题解答 (FAQ)
Q: 角平分线长定理的公式是什么？
A: 若 AD 是 △ABC 中 ∠A 的角平分线，D 在 BC 上，则 AD² = AB·AC - BD·DC。或者写作 AD² = bc(1 - (a/(b+c))²)，其中 a,b,c 分别为角 A 的对边及邻边。
Q: 角平分线长定理与斯特瓦尔特定理有什么关系？
A: 角平分线长定理是斯特瓦尔特定理（Stewart's Theorem）的一个特例。当分点 D 满足角平分线性质（即 BD/DC = AB/AC）时，斯特瓦尔特定理简化即为角平分线长公式。
Q: 如何证明角平分线长定理？
A: 常用证明方法包括：1. 利用斯特瓦尔特定理结合角平分线性质；2. 通过延长 AD 交外接圆于 E，利用相似三角形 △ABD ∽ △AEC 推导；3. 利用面积法结合余弦定理推导。
Q: 角平分线长公式在竞赛中常见吗？
A: 非常常见。特别是在初中数学竞赛和高中数学联赛的几何部分。它常用于计算题的最后一步化简，或在证明题中作为中间结论使用。熟练掌握可以节省大量考试时间。
Q: 如果三角形是等边三角形，角平分线长怎么算？
A: 在等边三角形中，边长为 a。角平分线也是高和中线。长度为 (√3/2)a。代入公式验证：AD² = a·a - (a/2)(a/2) = a² - a²/4 = 3a²/4，开方得 (√3/2)a。结果一致。
角平分线长定理看似简单，实则蕴含了丰富的几何变换与代数思想。从基础的公式记忆到复杂的斯特瓦尔特定理应用，它不仅是解题的工具，更是培养逻辑思维的重要载体。希望本文能帮助您彻底掌握这一知识点，在几何学习的道路上更进一步。
— 几何学习中心 整理 —