三角形内角平分线定理的证明-内角平分线定理证

上文中多次强调角平分线的核心地位，

而内角平分线定理的成立依赖于三角形闭合性的约束条件，

若边长关系推导出角的关系，同样成立。

在平行线模型中，通过构造辅助线或利用同位角进行转移，往往能简化证明路径，

而相似三角形模型则是处理比例关系最直接的代数工具，

利用梅涅劳斯定理或塞瓦定理的推广形式，则为一般三角形提供了强大的计算桥梁。

此外，余弦定律在解决涉及未知角或未知边的变种问题时不可或缺，

它能够将几何图形转化为代数方程，从而化解复杂性。

灵活运用不同辅助线作法是解决几何证明题的关键，

对于不规则图形或特殊条件，构造全等或相似往往能打开局面。

对于通用性的证明过程，则需要严谨的逻辑推演，

避免跳跃而忽略中间步骤的合理性。

本攻略将围绕角平分线的定义出发，结合边长关系，提供多角度的证明策略。

从等边三角形到任意锐角三角形，逻辑链条始终贯穿严谨科学。

内角平分线定理的本质在于把角平分后的线段长度比例与邻边长度关系确立起来，

这一结论不仅适用于任意三角形，也适用于直角三角形甚至钝角三角形。

通过对证明过程的深度剖析，我们可以更清晰地看到逻辑如何串联起结论。

以下是详细的内容攻略。

其核心属性是角的两部分相等，

但这并不意味着角平分线的长度相等，

而是角平分线上任意一点到两边距离相等。

内角平分线定理的具体表述为：三角形一个内角的平分线，与对边相交，

该平分线将三角形的对边分成两段，

其长度之比等于相邻两边的长度之比。

用数学语言表述，若AB上点C满足AC是BC的一部分，

且AD平分角BAC，则AC/CB = AB/AD。这一公式看似简单，实则蕴含了几何构造与代数运算的双重逻辑。

证明策略一：等腰三角形模型（极限情况法） 等腰三角形作为三角形家族的基准，其对称性极强，因此是证明的基石。

当三角形ABC为等腰三角形，且底边为AB，顶角为C（即AC = BC），

此时角BAC = 角CBA，它们的平分线分别为AD和BE。

根据等腰三角形性质，角BAC的平分线AD垂直于底边AB，且AD平分底边AB。

在直角三角形ABD中（假设角C是直角），根据射影定理或相似三角形全等关系，

可推导出AD与AB、AC及BC之间的比例关系。

具体而言，若AC = BC，则角BAC = 角CBA = 45 度，

此时AD 垂直 AB，且AD是角BAC的平分线，故AD平分角A和角B。

在Rt三角形ABD中，角DAB = 角BDA = 45 度，故AD = AB/ sin45°。

同理，若BC = AC，则AD = AB/ sin45°。

因此，AD = AB/ sin45°，即AD = AB√2。

而AC = AB/ cos45° = AB√2。

由此得出AC/CB = AB/ AD。这一特例为一般情况的证明提供了参照，

其逻辑链条为：特例成立，逆推一般成立。

证明策略二：截长补短法（构造法） 截长补短是几何证明中常用的技巧，常用于延长或移动线段以构造新的等腰或等边三角形。

当AC < AB时，延长CB至E使BE = AC，连接AE。

此时，在三角形ABE中，BE = AC（已知），AB = AB（公共边），

但AE是角BAC的平分线，故角BAE = 角CAB，即角EAB = 角CAB。

这似乎无法直接证明AE = AC，我们需要换一个思路：

设角BAC = 角B'AC = ，则角EAB = 。

在三角形ABE中，边AB, 边BE, 角B'。

我们要证明AE = AC，即AE = BE。

因为角EAB = 角BAE = ，

所以三角形ABE是等腰三角形，故AE = BE = AC。

同理，若AC > AB，延长BA至F使BF = AC，连接AF。

则角FAB = 角BAC，故三角形ABF是等腰三角形，

即AF = AB = BE。若补全图形，可证AE = AF。

这种构造方法使问题转化为等腰三角形的性质应用，极大简化证明过程。

证明策略三：解析几何法（代数推导） 解析法将几何问题转化为代数问题，非常适合复杂情况下的证明。

建立坐标系，设A(0,0), B(c,0), C(a,b)。

利用斜率公式求出直线AC的方程，利用角平分线的斜率关系列方程。

解出点C的坐标，再代入距离公式计算AC/BC。

虽然代数步骤繁琐，但能验证结论的正确性，并推导出万能公式（tan(A/2) = (s-b)/a 等）。

此法则适用于计算机辅助或高难度竞赛场景。

证明策略四：相似三角形法（经典几何） 相似三角形是证明比例关系的神器。

延长平分线交外接圆于点D。

则角CDA = 角DBA（同弧所对圆周角相等）。

又因AD平分角CAB，故角CDA = 角CBD（同弧所对圆周角相等）。

所以角CBD = 角CDA，说明BD平分角CBA，故BD = BA。

在Rt三角形（若角C为直角）中，利用射影定理或相似关系。

对于一般三角形，延长AC至E使CE = AB，连接BE。

则角EAB = 角CAB，故AE = AB。

因为AB是外接圆直径，故角ACB = 90°，故角EAB = 90°。

在Rt三角形EAB中，AE = AB，BE = AB（斜边）。

故BE = AB + CE = AB + AB = 2AB。这似乎不对，需修正。

修正：延长CB至E使BE = AC，连接AE，则AE = AB（如前所述）。

此时三角形AEC与三角形BAC的边对应成比例。

最终通过余弦定理或相似性可导出角平分线定理。

证明策略五：正弦定理法（三角转换） 正弦定理（a/sinA = b/sinB = c/sinC）是几何与三角结合的最佳工具。

在三角形ABC中，角BAC的平分线交对边BC于点D。

在三角形AED和三角形ABD中（假设角A、角B、角C为锐角），

tan(1/2 A) = (b-c)/(a+b) (半角公式，需结合正弦定理推导）。

利用正弦定理在Rt三角形AED中：sin(1/2 A) = ED/AD。

在Rt三角形ABD中：sin(1/2 A) = BD/AB。

由此可得 ED/AD = BD/AB。

进一步，在Rt三角形EAB中，ED是角E的对边。

通过正弦定理推导可得出AE = AC，AD = AB，即AE = AB + CE = AB + AC。此路不通。

重新思考：

在Rt三角形ABD中，角BAD = 1/2 A。

sin(1/2 A) = BD/AB。

在三角形EAD中，角EAD = 1/2 A，角E = 90° - 1/2 A，角D = 1/2 A。

sin(1/2 A) = ED/AD。

故 BD/AB = ED/AD，即 BD