深入解析几何学中的经典命题，从基础定义到高等数学视角的多元证明，一网打尽三角形内角平分线的所有核心知识点。
在平面几何学中，三角形内角平分线定理（Angle Bisector Theorem）是研究三角形边角关系的重要工具。该定理揭示了三角形一个角的平分线与其对边分割成的两条线段之间的比例关系。这一结论不仅是初中数学几何证明的基础，也是解决复杂几何问题、进行三角函数计算以及向量分析的关键依据。
其中，AB 和 AC 为夹角的两边，BD 和 CD 为角平分线分对边所得的两段。值得注意的是，该定理不仅适用于锐角三角形，对于钝角三角形和直角三角形同样成立。理解这一定理，关键在于掌握“比例”与“角平分”这两个核心概念的几何转化。
虽然直观上看，角平分线似乎将“大边”对应的部分切得更长，但具体的比例关系并非简单的线性对应，而是严格依赖于两边的长度比。通过严谨的三角形内角平分线定理证明，我们可以消除直觉上的误差，建立精确的数学模型。此外，该定理的逆定理（Converse Theorem）同样具有极高的应用价值，即如果一条线段分对边成比例，则该线段即为角平分线。
针对三角形内角平分线定理，数学界存在多种经典的证明路径。不同的证明方法展示了不同的数学思想，如相似变换、面积法、三角函数以及向量运算。为了帮助读者全面理解，我们整理了以下四种主流证明方式。
此方法利用平行线分线段成比例定理，结合等腰三角形的判定，逻辑链条最为清晰。
面积法不依赖复杂的辅助线构造，直接利用三角形面积公式进行推导，非常适合处理涉及高线或距离的问题。
设△ABC 的面积为 S，AD 为角平分线。我们将△ABC 分割为△ABD 和△ACD。
此方法在解三角形问题中极为常用，特别是当题目给出角度或边长数值时。
在△ABD 和△ACD 中分别应用正弦定理：
由于 ∠ADB + ∠ADC = 180°，故 sin(∠ADB) = sin(∠ADC)。又因 AD 平分∠BAC，故 sin(∠BAD) = sin(∠CAD)。
将两式相除，消去相同的正弦值，整理后即可得到 。
利用向量的线性运算和角平分线的向量表示形式，可以简洁地证明该定理。
设向量 ，。角平分线方向向量可表示为 。
设 。由于 B, D, C 三点共线，存在实数 k 使得 。
通过比较系数，可以推导出 D 点分 BC 的比例关系，最终验证 。
三角形内角平分线定理不仅仅是一个孤立的结论，它在几何解题、工程测量以及计算机图形学等领域都有广泛的应用。以下是几个典型的应用场景。
当题目中给出三角形的两边长度以及角平分线分对边的比例（或其中一段长度）时，可以直接利用定理列方程求解第三边或另一段长度。
| 已知条件 | 求解目标 | 计算示例 |
|---|---|---|
| AB=6, AC=4, BD=3 | 求 CD 长度 | |
| AB=x, AC=5, BD=4, CD=2 | 求 x 的值 | |
| 周长 P, AB:AC = m:n | 求各边长 | 结合周长公式与比例关系联立求解 |
除了分对边的比例，我们还可以进一步推导角平分线本身的长度。设 AD 长度为 ，则有著名的斯特瓦尔特定理（Stewart's Theorem）的特例公式：
或者写作：
这一公式在已知三边求角平分线长度时非常实用，避免了复杂的几何作图。
在处理复杂的几何图形，特别是涉及多条截线的问题时，三角形内角平分线定理常与梅涅劳斯定理（Menelaus' Theorem）联合使用。例如，在证明某些点共线或比例乘积为 1 的问题中，引入角平分线作为桥梁可以简化计算过程。
古希腊数学家欧几里得在其巨著《几何原本》第六卷命题 3 中首次系统阐述了角平分线定理，并给出了基于相似三角形的严格证明。这是该定理最早的书面记录之一。
波斯数学家阿尔·卡西（Al-Kashi）等人在三角学的发展中，进一步挖掘了角平分线定理在球面几何中的应用，将其推广到更广阔的领域。
随着解析几何的诞生，角平分线定理被赋予了代数形式，可以通过坐标计算轻松验证，极大地推动了其在工程制图和物理力学中的应用。
A: 若 AD 是△ABC 中∠A 的平分线，则 AB/AC = BD/DC。即角平分线分对边所得的两条线段和这个角的两边对应成比例。
A: 内角平分线位于三角形内部，将对边分为两部分；外角平分线位于三角形外部，其性质涉及外角与邻补边的比例关系，通常满足 AB/AC = BD'/CD'（D'为外角平分线与对边延长线的交点）。
A: 是的，逆定理成立。如果在△ABC 中，点 D 在 BC 上，且满足 AB/AC = BD/DC，那么 AD 一定是∠BAC 的角平分线。
A: 因为角平分线定理表明的是比例关系（AB/AC = BD/DC），只有当 AB = AC 时，BD 才会等于 DC。在非等腰三角形中，边长不等导致分得的线段也不等。