外角平分线定理证明-外角平分线定理证

外角平分线定理的几何直觉 站在三角形的顶点往外看，你会发现那里有个有趣的“陷阱”。
一般我们讲三角形内角平分线，那是把角一分为二，把对面切成一样大小；但外角平分线可就不一样了，它只管方向，不管长度。要想证明它“分对边的比等于邻边的比”，先得搞清楚它到底在切哪块肉。想象一下，要是三角形 $ABC$ 的外角平分线交 $BC$ 的延长线于点 $D$，那么 $AD$ 这条线把整个 $BC$ 这一整条线段给分成了两段：一段是 $BD$，另一段是 $DC$。
这时候，定理说的就是，$BD$ 和 $DC$ 的长度比，等于 $AB$ 和 $AC$ 的长度比。
这听起来有点绕，出于 $AB$ 和 $AC$ 是夹在中间的两侧边，而 $BD$ 和 $DC$ 是延伸出去的两段。直接去证这个比例关系，就像是要解一个复杂的代数方程，务必得先把几何图形拆解清楚。 先看看能不能用常规的方式套公式。设 $angle BAD = alpha$，$angle CAD = beta$。
既然 $AD$ 是外角平分线，那 $alpha$ 和 $beta$ 肯定相等。接下来就需求用到正弦定理，这是解析几何里最稳的武器。在 $triangle ABD$ 里，$frac{BD}{sin alpha} = frac{AB}{sin angle ADB}$；在 $triangle ACD$ 里，$frac{DC}{sin beta} = frac{AC}{sin angle ADC}$。出于 $alpha = beta$，并且 $angle ADB$ 和 $angle ADC$ 是互补的，它们的正弦值实际上是一样的。如此一比对，$sin alpha$ 和 $sin beta$ 就消掉了一大半，剩下的就是 $frac{BD}{DC} = frac{AB}{AC}$。别看推导过程看起来像严丝合缝的公式堆砌，但真正让人眼前一亮的，实际上是中间那个“正弦值相等”的瞬间。它暗示了角平分线在同一个三角形里，不管两边长短，对角的正弦量是恒定的。
这就像在说，甭管两边如何拉长，只要角度不变，它们对“斜边”的受力（即正弦定理中的对边）就是平衡的。 再换个角度，从面积法入手会不会更俏皮？假设三角形的三边长分别是 $a, b, c$，对应的高分别是 $h_a, h_b, h_c$。
这里的高实际上是有方向的，外角平分线的高方向也得对应着旋转。但这步仿佛绕远了。还是回到最直观的图形分割吧。
既然 $AD$ 平分那个外角，那 $triangle ABD$ 和 $triangle ACD$ 实际上能够看作是两个大三角形，它们的底边都在直线 $BC$ 上（别看 $D$ 在延长线上，但底边依然共线）。根据面积公式 $S = frac{1}{2} times text{底} times text{高}$，只要它们的高相等，面积之比就等于底边之比。
这“高相等”这个前提有点意思。
为啥这两个三角形的高会相等？出于它们都从顶点 $A$ 出发，分别指向直线 $BC$ 的同一侧（要么说，一个指向 $B$ 的外侧，一个指向 $C$ 的外侧，但在计算到直线的垂直距离时，这个距离是固定的）。
这就好比两个人从同一个高度跳向地面，他们之间的距离就是高度差，而这个距离对于两个不同长度的跳跃者来说，实际上是相同的。
故此，只要知道高相等，底边比自然出来了，也就是 $BD/DC = AB/AC$。 让我们代入一些具体数据，看看这抽象的比例到底长啥样。假设 $AB = 2$，$AC = 3$，那么 $BD$ 和 $DC$ 应当分别是 $2$ 份和 $3$ 份吗？不对，定理说的是 $BD:DC = AB:AC = 2:3$。
要是 $BC$ 总长是 $1$，那么 $BD$ 就是 $1/5$，$DC$ 就是 $3/5$。
这时候我们能够算一下 $triangle ABD$ 和 $triangle ACD$ 的面积。以 $BC$ 所在直线为基准，假设 $angle ABC = angle ACB = 45^circ$，这样撇脱绘图。 对于 $triangle ABD$，底边 $BD$ 是 $0.2$，高（从 $A$ 到 $BC$ 的垂直距离）是 $h$。面积 $S_1 = 0.5 times 0.2 times h = 0.1h$。 对于 $triangle ACD$，底边 $DC$ 是 $0.8$，高也是 $h$。面积 $S_2 = 0.5 times 0.8 times h = 0.4h$。 显然 $S_1 : S_2 = 1 : 4$。 而 $triangle ABD$ 和 $triangle ACD$ 的高实际上是一样的，出于它们的顶点 $A$ 都在直线的同侧。
故此面积之比等于底边之比，$BD : DC = 1 : 4$。 什么的，这里仿佛有点不对劲，我刚刚的数值模拟里 $BD$ 是 $1/5$，$DC$ 是 $4/5$，比例是 $1:4$，但这和定理里的 $AB:AC = 2:3$ 矛盾啊？啊，我犯了低级毛病。定理说的是 $frac{BD}{DC} = frac{AB}{AC}$。
要是 $AB=2, AC=3$，那 $BD:DC$ 应当是 $2:3$，也就是 $6:9$。 让我重新算一下面积法。$S_{triangle ABD} = frac{1}{2} cdot BD cdot h$，$S_{triangle ACD} = frac{1}{2} cdot DC cdot h$。出于 $h$ 相同，故此 $S_{triangle ABD} / S_{triangle ACD} = BD / DC$。 而 $S_{triangle ABD} = frac{1}{2} cdot AB cdot h'$，其中 $h'$ 是 $AB$ 边上的高。$S_{triangle ACD} = frac{1}{2} cdot AC cdot h''$，其中 $h''$ 是 $AC$ 边上的高。 这仿佛走不通，要不就 $h' = h''$，但这仅当 $AB=AC$ 时成立。
看来面积法需求一点调整，不能直接拿总面积比，得拿“小三角形”的面积比。 换个思路，$S_{triangle ABD} = frac{1}{2} AB cdot AD cdot sin angle BAD$。$S_{triangle ACD} = frac{1}{2} AC cdot AD cdot sin angle CAD$。 出于 $angle BAD = angle CAD$（外角平分线），故此它们的正弦值相等。 那么 $frac{S_{triangle ABD}}{S_{triangle ACD}} = frac{AB cdot AD cdot sin alpha}{AC cdot AD cdot sin alpha} = frac{AB}{AC}$。 这就对了！两个三角形共用顶点 $A$ 和底边 $AD$（在角平分线方向上），它们的高都是从 $D$ 点出发垂直于 $AD$ 的线段，长度自然相等。
故此面积比直接就是邻边比。
这意味着 $BD/DC = AB/AC$。 为了让这个结论更丰满，我们给数据做个演示。假设 $AB = 6$，$AC = 9$。
那么 $BD$ 和 $DC$ 的比就是 $6:9$，化简成 $2:3$。 这意味着要是我们在 $BC$ 上取一点 $E$，把 $BC$ 分成 $2:3$ 的份数，让 $BE:EC = 2:3$，那么 $AE$ 就是外角平分线吗？不一定，那是内角平分线。外角平分线是在 $BC$ 的延长线上。 若 $BD = 2x$，$DC = 3x$，则 $BC = BD + DC = 5x$。 此时 $frac{BD}{DC} = frac{2}{3} = frac{AB}{AC}$。 这个例子展示了具体的数字关系。当两边长分别为 $6$ 和 $9$ 时，分成的两段长度就是 $2$ 和 $3$，它们的比例 $2:3$ 完美印证了定理。
要是两边是 $3$ 和 $4$呢？那分成的两段就是 $3$ 和 $4$。
这就像是一个跷跷板，两边重了，跷起来的高度差就特别明显，但在几何上，这种高度差的比例关系一直能保持不变的。 再深入一点，思索一下外角平分线到底“分”出了啥。它不只是是分割线段，它还是角 $angle BAC$ 的补角的平分线。补角的度数比内角多 $180$ 度吗？不对，外角是 $180$ 减去内角，故另外角比内角大那个角。
比如内角是 $60$ 度，外角就是 $120$ 度，平分线把它分成 $60$ 和 $60$。 要是用面积法看 $triangle ABD$ 和 $triangle ACD$，它们的面积比确实是 $AB:AC$。但这并没有告诉我们 $BD:DC$ 的具体数值，只是说了它们成正比。要拿到比值，务必结合正弦定理，出于正弦定理把边和角联系了起来。 $frac{BD}{sin alpha} = frac{AB}{sin angle ADB}$，$frac{DC}{sin beta} = frac{AC}{sin angle ADC}$。 出于 $alpha = beta$，且 $angle ADB + angle ADC = 180^circ$，故此 $sin angle ADB = sin angle ADC$。 这就解释了为啥之前的推导如此顺滑。正弦定理就像是一个翻译官，它把“边长”和“角度大小”互换了一下。在同一个三角形里，角度大对边就大，角度相等对边就相等。 要是我们取极端情况，设 $angle ADB = 90^circ$，那么 $sin angle ADB = 1$。此时 $frac{BD}{sin alpha} = frac{AB}{1}$，故此 $BD = AB sin alpha$。
同理 $DC = AC sin alpha$。
那么 $BD:DC = (AB sin alpha) : (AC sin alpha) = AB : AC$。 哇，当垂直的时候，这个比例简直像多米诺骨牌一样干脆利落。
要是不是垂直，正弦值别看还在，但通过三角恒等变换也能消掉，最终结局就是邻边比。
这说明甭管三角形形状如何，这个关系都是普适的。 最终再总结一下这个定理的几何意义。外角平分线定理本质上是一个“杠杆原理”的变体。想象 $AB$ 和 $AC$ 是两个力臂，它们形成的力矩驱动着角平分线去切割 $BC$ 的延长线。力臂长短（$AB$ 和 $AC$），拍板了切割点在 $BC$ 延长线上的位置（$BD$ 和 $DC$）如何分配。别看 $BD$ 和 $DC$ 是在同一条直线上，但它们并不是好办地加减关系，而是比例关系。
这个定理告诉我们，角平分线不只是是一条射线，它还是一根天平，左边用 $AB$ 去平衡，右边用 $AC$ 去平衡，天平停在 $BC$ 的延长线处，划出的两段比例，一辈子等于两边的力臂之比。
这不仅是一个公式，更是一种空间力量的平衡关系。