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

在平面几何中，角平分线定理不仅是判断三角形性质的有力工具，更是解析几何与三角形研究中的经典模型。对于外角平分线定理，其核心逻辑在于利用三角形外角与内角的关系，结合全等或相似三角形的判定，推导出线段长度的比例关系。这一定理在解决涉及平行线、线段比以及几何变换的题目时具有极高的应用价值。 本文旨在通过系统的梳理与实例分析，帮助读者深入理解外角平分线定理的证明过程，掌握解题技巧。

一、定理内涵与几何直观

外角平分线定理指出：三角形的一个外角平分线，将该三角形分成两部分，其中一边与外角平分线夹角的对边比剩余一边，等于角平分线与另一边夹角的对边比另一部分。更通俗地说，若 AP 是三角形 ABC 内角 A 的平分线（P 在 BC 上），则 BP/CP = AB/AC。对于外角平分线，其比例关系同样成立，即 BP/CP = AB/AC，但这里的点 P 位于 BC 的延长线上，且 AP 平分的是包含角 A 的外角。我们可以通过向量或坐标法快速验证其成立性，这为图形直观提供了坚实的理论支撑。

为了更直观地理解，我们可以借助图形辅助思考。假设三角形 ABC 中，AD 平分角 A 的外角，且 D 点落在 BC 的延长线上。那么，AD 这条线实际上将角 A 分成了两部分，其中一部分与内角平分线关于角 A 的角平分线对称。这种对称性往往隐藏在背后的全等三角形中。

二、经典证明方法一：利用全等三角形构造

证明是解题的关键。我们需要通过构造全等三角形来转化线段长度。过点 A 作 BC 的平行线，并延长 CA 至点 E，使得 AE = AB，连接 BE 并延长交 AD 于点 F。

在三角形 ABC 和三角形 ABE 中，由于 AB = AB，AE = AB，且它们共用顶点 A，虽然 SSS 不能直接证明全等，但我们可以通过平行线的性质来寻找关系。更标准的构造方法是：过顶点 C 作 AB 的平行线，过顶点 B 作 AC 的平行线，这两条平行线的交点与顶点 A 构成一个平行四边形。在这个新构造的图形中，利用对角线互相平分的性质，可以迅速推导出比例关系。

让我们采用最直观的全等构造法：过点 C 作 AB 的平行线，过点 A 作 BC 的平行线，设这两条平行线的交点为 D。此时四边形 ABCD 为平行四边形，因此 AB = CD。由于 AD 平分三角形 ABC 的外角，且 AD // BC，根据平行线的性质，可以推导出角 CAD 与角 ADC 的关系。进而可以证明三角形 ADC 是全等的或相似的三角形，从而得出比例线段。

具体步骤如下：

• 设 AD 为角平分线，交 BC 于点 E，交 BC 的延长线于点 F。
• 过点 C 作 CG // AB，交 AD 的延长线于点 G。
• 因为 AB // CG，所以角 BAE 等于角 GCA（内错角）。又因为 AD 平分外角，所以角 EAC 等于角 GCA。由此可得角 EAC 等于角 GCA。
• 在三角形 AEG 和三角形 AEC 中，角 EAG 等于角 EAC，角 E 为公共角的一部分。实际上，更严谨的证明是利用平行线分线段成比例定理。
• 由于 CG // AB，根据平行线分线段成比例定理，在三角形 ACF 中，CG/AB = FC/FA。
  于此同时呢，由角平分线性质可得角 CAF 等于角 FCA，这会导致三角形 ACF 成为等腰三角形，即 FC = FA。
  因此，FC/FA = 1，这意味着 CG = AB，从而 FC = AB。

经过上述逻辑推导，我们成功建立了线段之间的等量关系，进而证明了外角平分线定理的成立。

三、经典证明方法二：向量法与坐标解析

对于不想使用几何构造的同学，向量法是另一种高效的途径。我们可以通过设定三个不共线的向量作为基底，利用平面向量基本定理来证明。

设三角形 ABC 的顶点分别为 A, B, C，外角平分线 AD 交 BC 于点 E。我们要证明 BE/CE = AB/AC。

• 选取点 A 为原点，向量 AB 和向量 AC 为基底向量 $vec{b}$ 和 $vec{c}$。
• 设点 E 在 BC 上，其位置向量可以表示为 $vec{e} = xvec{b} + (1-x)vec{c}$，其中 x 为比例系数，且 $0 < x < 1$。
• 外角平分线 AD 上的任意一点 P 可以表示为 $tvec{b} + (1-t)vec{c}$，其中 $t$ 为参数，且 $0 < t < 1$。
• 利用角平分线的向量性质，角平分线方向向量与两条边方向向量的单位向量之和平行。即 $vec{AP} = k(frac{vec{b}}{|vec{b}|} + frac{vec{c}}{|vec{c}|})$。不过，在本题中，由于 AD 是外角平分线，其方向向量实际上是 $frac{vec{b}}{|AB|} + frac{vec{c}}{|AC|}$ 的中点形式或者更准确地说是通过单位向量合成的点。
• 特别是对于外角平分线，其方向向量 $vec{d} = frac{vec{b}}{|AB|} - frac{vec{c}}{|AC|}$（符号取决于外角定义，这里简化处理，本质是利用单位向量之和或差）。

更简单的向量法是利用角平分线定理的逆命题或性质。已知角平分线上的点到角两边的距离相等。设 E 为 BC 上的点，F 为 BC 延长线上的点。若 AE 平分角 A 的外角，则 E 到 AB 的距离等于 E 到 AC 的距离。这可以通过面积法快速证明：$S_{triangle ABE} = S_{triangle ACE}$。即 $frac{1}{2}AB cdot h_1 = frac{1}{2}AC cdot h_2$。由于两三角形同高（从 A 到 BC 所在直线的距离），面积比等于底边比。
也是因为这些吧， $BE/CE = AB/AC$。进而推导出外角平分线定理的结论。这种基于面积相等的证明方法逻辑清晰，易于操作。

四、典型例题解析

掌握理论后，通过实战来巩固知识。请看下面的例题：

例题

如图，在 $triangle ABC$ 中，$angle BAC = 90^circ$，AB = 4，AC = 6。AD 是 $angle BAC$ 的外角平分线，交 BC 的延长线于点 D。求 CD 的长。

解答步骤

• 计算 $triangle ABC$ 的斜边 BC 的长度。根据勾股定理，$BC = sqrt{AB^2 + AC^2} = sqrt{4^2 + 6^2} = sqrt{16+36} = sqrt{52} = 2sqrt{13}$。
• 应用外角平分线定理：$CD/BD = AB/AC$。设 $CD = x$，则 $BD = BC + CD = 2sqrt{13} + x$。
• 代入比例式：$x / (2sqrt{13} + x) = 4 / 6 = 2 / 3$。
• 解方程：$3x = 2(2sqrt{13} + x)$，即 $3x = 4sqrt{13} + 2x$，得 $x = 4sqrt{13}$。
• 因此，CD 的长度为 $4sqrt{13}$。

此题展示了定理在实际计算中的应用。需要注意的是，外角平分线定理中的比例关系是线段在角平分线两侧的比。在解题时，务必明确哪一段是“内角”对应，哪一段是“外角”对应。在本题中，角平分线在外部，因此比例仍然是 AB:AC 的比值。

五、常见误区与注意事项

在学习和应用过程中，同学们常 encountered 一些陷阱：

• 混淆内外角：最容易出错的地方是将内角平分线定理与外角平分线定理搞混。内角平分线定理是 BP/CP = AB/AC（P 在 BC 上），而外角平分线是 BP/CP = AB/AC（P 在 BC 延长线上），虽然比例式看起来一样，但点的位置完全不同，这会导致计算结果完全相反。
• 比例关系的理解：比例是指分线段被角平分线分成的两部分的比，而不是指角平分线分成的两段。必须明确“分”是指由角平分线与底边相交而成的两段。
• 图形直观性：在处理复杂的几何图形时，如果能画出辅助线，往往能瞬间理清思路。特别是在涉及平行线和角平分线时，构造“8 字模型”或“沙漏模型”是常用的技巧。

六、总结与展望

外角平分线定理是三角形几何中一个基础而重要的定理，它的证明过程既可以通过全等三角形的构造，也可以通过向量解析，甚至利用面积法，展现了数学证明的多种魅力。通过上述的详细解析与例题演练，同学们已经掌握了该定理的核心思想和解题技巧。在实际应用中，只要注意区分内外角的位置关系，准确运用比例公式，便能轻松应对各类几何难题。希望本文能为广大数学爱好者提供有益的参考，大家在几何学习的道路上越走越宽，不断突破自我。

（完）