角平分线长公式推理-角平分线长推导

角平分线的基本概念与性质回顾

在深入探讨角平分线长公式之前，我们有必要对角平分线本身及其基本性质进行清晰的回顾。在三角形中，一个内角的角平分线是指从该角顶点出发，将角平分为两个相等角的射线。这条射线与对边的交点，将对边分成的两条线段，与构成这个角的两条邻边成比例。这一重要结论被称为角平分线性质定理。

具体来说呢，在三角形ABC中，设AD为∠BAC的平分线，交对边BC于点D。根据角平分线性质定理，有如下比例关系成立：AB / AC = BD / DC。这个定理是推导角平分线长公式的几何基石。它揭示了角平分线在分割对边时，所产生线段之比等于其邻边之比。这个比例关系可以通过相似三角形（通常通过作平行线构造）或面积法（利用等高的三角形面积比等于底边比）两种经典方式加以证明，是平面几何中的核心结论之一。

除了这些之外呢，三角形三条内角平分线必定交于一点，这一点称为三角形的内心。内心到三角形三边的距离相等，是三角形内切圆的圆心。这些性质虽然不直接用于推导长度公式，但它们共同勾勒出角平分线在三角形整体结构中的核心地位。

公式的两种主流推导思路

角平分线长公式的推导并非只有一条路径。掌握多种推导方法，有助于我们从不同角度理解公式的内涵，加深记忆。这里将重点介绍两种最为经典和实用的推导思路：一是基于斯图瓦特定理（Stewart's Theorem）的推导，二是利用三角形面积与余弦定理的推导。

思路一：基于斯图瓦特定理的推导

斯图瓦特定理是处理三角形中顶点到对边上任意一点连线长度的强大工具。其内容是：在三角形ABC中，点D是边BC上一点，记BD = m，DC = n，AD = d，则有：AB² n + AC² m = AD² BC + BD DC BC。这个定理将三角形三边与一条“截线”的长度紧密联系起来。

当我们应用此定理于角平分线时，点D是角平分线与边BC的交点。根据前述角平分线性质定理，我们有BD / DC = AB / AC。设AB = c， AC = b， BC = a，并令BD = m， DC = n，则有 m/n = c/b，且 m + n = a。

由此可以解出：

• m = ac / (b + c)
• n = ab / (b + c)

将AB = c, AC = b, AD = t_a（表示角A的平分线长），BC = a，以及m, n的表达式代入斯图瓦特定理公式：

c² n + b² m = t_a² a + m n a

代入m和n：

c² [ab / (b+c)] + b² [ac / (b+c)] = t_a² a + [ac/(b+c)] [ab/(b+c)] a

化简左边：左边 = abc(c + b) / (b+c) = abc

化简右边：右边 = a t_a² + a³bc / (b+c)²

于是得到：abc = a t_a² + a³bc / (b+c)²

两边同时除以a（a > 0）：bc = t_a² + a²bc / (b+c)²

整理出t_a²：t_a² = bc - a²bc / (b+c)² = bc [1 - a²/(b+c)²] = bc [(b+c)² - a²] / (b+c)²

注意到(b+c)² - a² = (b+c+a)(b+c-a)，利用平方差公式。但更常见的表达是进一步利用半周长。设三角形半周长p = (a+b+c)/2。

我们有 (b+c)² - a² = (b+c+a)(b+c-a) = (2p)(2p - 2a) = 4p(p-a)。因为 b+c-a = (a+b+c) - 2a = 2p - 2a。

代入上式：t_a² = bc [4p(p-a)] / (b+c)²

为了得到更对称的形式，通常还会进行一步变换。注意到(b+c)² = (2p - a)²？实际上 b+c = 2p - a。所以 (b+c)² = (2p - a)²。

也是因为这些，t_a² = [4bc p(p-a)] / (2p - a)²。这就是角平分线长公式的一种表达形式。但最经典和便于记忆的形式是通过进一步恒等变形得到：

t_a = (√[bc(b+c+a)(b+c-a)]) / (b+c) = (√[bc 2p (2p-2a)]) / (2p-a) = (2√[bc p(p-a)]) / (b+c)。

更常见的是去掉分母中的(b+c)，利用bc - [(b+c)² - a²]/(b+c)² bc 的形式，最终可以化为：

t_a = (2/(b+c)) √[b c p (p-a)]， 其中 p = (a+b+c)/2。

或者等价地，写作：t_a = √[bc - (a²bc)/(b+c)²]。这两种形式在解题中各有便利。

思路二：利用面积法与余弦定理的推导

第二种推导方法更具几何直观性，巧妙地利用了三角形的面积关系。设三角形ABC的面积为S，AD是∠A的平分线，长度为t_a。

三角形ABC的面积S可以看作三角形ABD和三角形ACD的面积之和。即：S = S△ABD + S△ACD。

由于AD是角平分线，点D到边AB和AC的距离（即两个小三角形分别以AB和AC为底时的高）并不直接相等，但我们可以利用公式 S = (1/2) a b sinC。

因此：

• S△ABD = (1/2) AB AD sin(∠BAD) = (1/2) c t_a sin(A/2)
• S△ACD = (1/2) AC AD sin(∠DAC) = (1/2) b t_a sin(A/2)
• S△ABC = (1/2) AB AC sin(∠BAC) = (1/2) b c sinA

因为 sinA = 2 sin(A/2) cos(A/2)，代入面积和式：

(1/2) b c 2 sin(A/2) cos(A/2) = (1/2) c t_a sin(A/2) + (1/2) b t_a sin(A/2)

两边同时乘以2，并约去公因子sin(A/2)（A为内角，A/2不为0，sin(A/2) > 0）：

2 b c cos(A/2) = t_a (c + b)

于是得到：t_a = [2 b c cos(A/2)] / (b + c)。

这个公式已经将角平分线长与两边及其夹角半角的余弦联系起来。为了得到纯边长的公式，我们需要用边长表示cos(A/2)。这就要用到余弦定理。

在三角形ABC中，由余弦定理：cosA = (b² + c² - a²) / (2bc)。

利用半角公式：cos²(A/2) = (1 + cosA) / 2。

所以，cos(A/2) = √[(1 + cosA)/2] = √[ (1 + (b²+c²-a²)/(2bc)) / 2 ] = √[ ((2bc + b² + c² - a²) / (2bc)) / 2 ] = √[ ( (b+c)² - a² ) / (4bc) ] = √[ ((b+c+a)(b+c-a)) / (4bc) ]。

代入 t_a = [2bc / (b+c)] cos(A/2) 中：

t_a = [2bc / (b+c)] √[ ((b+c+a)(b+c-a)) / (4bc) ] = [2bc / (b+c)] (1/2) √[ ((b+c+a)(b+c-a)) / (bc) ] = [bc / (b+c)] √[ ( (b+c+a)(b+c-a) ) / (bc) ]。

化简：t_a = (1/(b+c)) √[ bc (b+c+a)(b+c-a) ]。

设半周长 p = (a+b+c)/2，则 b+c+a = 2p， b+c-a = 2(p-a)。

所以 t_a = (1/(b+c)) √[ bc 2p 2(p-a) ] = (2/(b+c)) √[ b c p (p-a) ]。

这与通过斯图瓦特定理推导出的结果完全一致。易搜职考网的数学教研团队指出，第二种推导方法通过面积桥接，过程清晰，且中途得到的公式 t_a = [2 b c cos(A/2)] / (b + c) 本身也非常有用，特别是在已知夹角或容易求夹角半角余弦值时。

公式的常见形式与记忆要点

综合以上推导，我们得到三角形中，角A的平分线长t_a的几种等价公式：

形式一（纯边长，含半周长）：t_a = (2/(b+c)) √[b c p (p-a)]， 其中 p = (a+b+c)/2。

这是最常用且易于记忆的形式。口诀可以是：“两倍根号下b、c、p、p减a，再除以b加c”。

形式二（纯边长，不含半周长）：t_a = √[b c - (a² b c) / (b+c)²]。

这个形式直接来自斯图瓦特定理推导的中间步骤，有时在计算时更直接。

形式三（含角）：t_a = (2 b c cos(A/2)) / (b + c)。

当已知角A或容易求出cos(A/2)时，使用此式极为快捷。

形式四（对称形式）：t_a = (√[b c (a+b+c)(b+c-a)]) / (b+c)。

强调了边长组合的对称性。

记忆和应用这些公式的关键在于：

• 明确公式中a, b, c的对应关系：公式中的a永远是角A所对的边，b和c是角A的两条邻边。对于角B或角C的平分线长，需进行相应的轮换。
• 理解半周长p的意义：p = (a+b+c)/2，它是一个在三角形公式中频繁出现的辅助量，如海伦面积公式。
• 公式的几何本质：角平分线长度由构成角的两边长度及其夹角共同决定，并通过与第三边的关系体现出来。公式中的根式部分√[bcp(p-a)]与三角形的面积有密切联系（海伦公式中S=√[p(p-a)(p-b)(p-c)]），暗示了角平分线与面积的内在关联。

公式的扩展与特例

角平分线长公式并非孤立存在，它有一些重要的扩展形式和特殊情形。

外角平分线长公式：三角形一个角的外角平分线，其长度也有类似的公式。设AD‘是∠A的外角平分线（即平分∠A的外角），交对边BC的延长线于D'。则外角平分线长t_a'的公式为：t_a' = (2/(|b-c|)) √[b c (p-b)(p-c)]。注意分母是两边之差的绝对值。推导过程与内角平分线类似，但需注意外角平分线性质定理：AB / AC = BD' / D'C，此时点D'外分边BC，比值关系与内分时不同。易搜职考网提醒考生，在涉及外角平分线的问题时，务必仔细区分内分与外分，准确应用公式。

特殊三角形的角平分线长：

• 等腰三角形：若AB=AC（即b=c），则顶角A的平分线也是底边BC上的中线和高。此时公式简化为：t_a = √[b² - (a/2)²]。这实际上就是利用勾股定理求得的结果。
• 直角三角形：设∠C=90°，则a， b为直角边，c为斜边。角C的平分线公式较为复杂。但对于锐角A的平分线，公式仍然适用，且有时可以结合勾股定理进行简化计算。
• 等边三角形：三边相等，设为a。任何一条角平分线长都相等，且公式退化为：t = (2/(a+a)) √[aa(3a/2)((3a/2)-a)] = (1/a) √[a² (3a/2) (a/2)] = √[ (3a²/4) ] = (√3 / 2) a。这正是等边三角形的高、中线、角平分线三线合一的结果。

公式的应用实例与解题策略

掌握公式的最终目的是为了应用。下面通过几个典型例子，展示角平分线长公式在解题中的威力。

例1：直接计算

已知三角形ABC中，AB=5， AC=6， BC=7，求∠A的平分线AD的长度。

解：这里a=BC=7， b=AC=6， c=AB=5。半周长p=(5+6+7)/2=9。

代入公式：t_a = (2/(b+c)) √[b c p (p-a)] = (2/(6+5)) √[659(9-7)] = (2/11) √[6592] = (2/11) √540 = (2/11) 6√15 = (12√15)/11。

例2：结合其他几何条件

在三角形ABC中，AD平分∠BAC，AB=4， AC=6，且三角形ABC的面积为3√15。求AD的长。

解：已知两边和面积，可先求sinA。由面积公式S=(1/2)ABACsinA，得3√15 = (1/2)46sinA，解得sinA=√15/4。进而可求cosA=±√(1-sin²A)=±1/4。由于是三角形内角，sinA为正且较大，cosA可能正可能负，对应锐角或钝角。但角平分线在三角形内，公式通用。

利用含角的公式t_a = (2 b c cos(A/2)) / (b + c)。需要cos(A/2)。由半角公式，cos²(A/2)=(1+cosA)/2。

若cosA=1/4，则cos²(A/2)=(1+1/4)/2=5/8， cos(A/2)=√(5/8)=√10/4（取正）。

若cosA=-1/4，则cos²(A/2)=(1-1/4)/2=3/8， cos(A/2)=√(3/8)=√6/4。

代入：当cosA=1/4时，t_a = (264(√10/4)) / (6+4) = (12√10) / 10 = (6√10)/5。

当cosA=-1/4时，t_a = (264(√6/4)) / (6+4) = (12√6) / 10 = (6√6)/5。

故AD长为(6√10)/5或(6√6)/5。此题展示了当已知条件涉及角度三角函数时，含角形式的公式更具优势。

例3：证明题中的应用

证明：在三角形ABC中，三条角平分线t_a, t_b, t_c满足关系：1/t_a + 1/t_b + 1/t_c = 1/r，其中r为三角形内切圆半径。

证明思路：这个恒等式的证明巧妙地串联了多个公式。由面积公式S = p r（p为半周长，r为内切圆半径）。我们已有t_a = (2/(b+c))√[bcp(p-a)]。但更直接的关系可以从面积法推导的中间步骤得到：S = S△ABD + S△ACD = (1/2) t_a (c sin(A/2) + b sin(A/2))？实际上之前推导有：S = (1/2) t_a (b+c) sin(A/2)? 让我们回顾：由S△ABD + S△ACD = (1/2) t_a c sin(A/2) + (1/2) t_a b sin(A/2) = (1/2) t_a (b+c) sin(A/2)。而整个三角形面积S = (1/2) b c sin A = (1/2) b c 2 sin(A/2)cos(A/2) = b c sin(A/2) cos(A/2)。

但另一个有用的关系是：由t_a = [2bc cos(A/2)]/(b+c)，可得 cos(A/2) = t_a (b+c)/(2bc)。
于此同时呢，由面积S = (1/2)(b+c) t_a sin(A/2)，可得 sin(A/2) = 2S / [t_a (b+c)]。

利用恒等式 sin²(A/2) + cos²(A/2) = 1，将上述表达式代入： [2S / (t_a (b+c))]² + [t_a (b+c)/(2bc)]² = 1。 两边乘以 t_a²，整理后可以得到关于t_a的表达式，但过程较繁。对于要证明的求和式，一个更简洁的方法是考虑每个小三角形的面积。 事实上，由于AD是角平分线，点D到AB和AC的距离相等，都等于内切圆半径r吗？不，那是内心到边的距离。这里D不是内心，除非是等腰三角形顶点。所以此路不通。

一个经典的证明是利用公式 t_a = (2bc cos(A/2))/(b+c) 和面积S = (1/2)bc sinA = bc sin(A/2)cos(A/2)。所以，1/t_a = (b+c) / (2bc cos(A/2))。 同理，1/t_b = (a+c)/(2ac cos(B/2))， 1/t_c = (a+b)/(2ab cos(C/2))。 求和后，需要处理余弦半角。另一个关键公式是：r = 4R sin(A/2)sin(B/2)sin(C/2) 以及一些恒等式。完整的证明涉及较多的三角恒等变换，是体现公式综合运用能力的好题目。限于篇幅，此处不展开完整计算，但其过程充分显示了角平分线长公式在串联三角形各元素关系中的纽带作用。

通过以上系统性的阐述，我们从角平分线的定义和性质出发，沿着两种主要推导路径，详细推演了角平分线长公式的诞生过程，并探讨了其不同形式、记忆方法、扩展特例以及实际应用。这个公式是三角形几何知识网络中的一个重要节点，它将边长、角度、半周长、面积等核心量紧密地联系在一起。对于学习者来说呢，亲自动手完成推导比单纯记忆结论更有价值。在备考过程中，如易搜职考网所倡导的，应注重知识体系的构建与公式原理的理解，通过典型例题的练习，将公式内化为解决几何问题的有力工具。只有这样，当面对复杂的几何综合题时，才能准确识别出角平分线相关的条件，并灵活选用最合适的公式形式进行求解或证明，从而在考试中赢得主动，取得优异成绩。