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

角平分线定理是初中几何里最让人头疼也最优雅的定理之一，大量人一看到“角平分线”就本能地往相似三角形要么全等图形上凑，结局发现路径不通。
实际上啊，这道题要是绕个弯子，用纯代数推导要么找相似，往往比课本上那种“作辅助线”八竿打不着的情节要顺溜得多。今天咱们就不整那些虚头巴脑的“起初、其次”了，直接把这事儿掰开了揉碎了啃一啃。 咱们先看看定理本身：在一个三角形里，角平分线分对边成两段，这两段长度之比等于它们所夹的角的两边之比。
听起来挺高大上，但推导过程确实不赖皮。我们拿一个典型的例子来推。假设有一个三角形 ABC，角 A 的平分线交 BC 于点 D。我们的目标是求 BD/DC 的值。教科书上往往喜爱让你过 A 作 BC 的垂线，要么过 B、C 做 AD 的平行线，别看能达到目标，但那些构造过程绕得人晕头转向。 别急着找辅助线，我们能够换个角度。
既然这是分线段的难题，那就先设一下长度。设 AB 的长度是 $c$，AC 的长度是 $b$，BD 的长度是 $x$，DC 的长度是 $y$。根据角平分线定理，我们要证明的就是 $x/y = c/b$。
这一条路别看直，但要是还没设好数，卡住的地方还是忒多。还不如在方程里打转，不如画个图，把几何关系拆解成一个个可算的块。 实际上，这个定理的证明核心就落在“相似三角形”这个老调上，只不过常规的作法把相似也搞复杂了。
要是我们强行不碰辅助线，只用代数语言去描述这个结构，那思路就清楚多了。想象一下，把角平分线 AD 当作角度分量的基准。在角 A 的内部，AD 把角分成了两个相等的锐角，设每个角为 $alpha$。
那么，在三角形 ABD 和三角形 ACD 这两个子三角形里，别看它们看起来互不相关，但要是我们强行建立联系，会发现它们之间存有着某种隐形的相似性。 具体来说，我们能够分别计算这两个小三角形的面积比要么边长比例。设 $angle DAB = angle DAC = alpha$。在 $triangle ABD$ 中，要是我们能找到一个与 CBD 角相关的角，建立起联系就好了。
这里有个小技巧，过点 D 作 AB 的平行线，要么过点 B 作 AC 的平行线，这种平行线截角平分线的方式，本质上就是在制造相似三角形。 让我们回到那个经典的“平行线法”，但它不是那种教科书里写的“作 BC 的垂线然后证全等”，而是我们用自己的话重新定义一遍。过点 C 作 AB 的平行线，交 AD 的延长线于点 E。
这时候，我们就有了两个三角形：$triangle ABD$ 和 $triangle CED$。出于 AB 平行于 CE，故此 $angle A = angle E$（内错角相等），与此同时 $angle ADB = angle EDC$（对顶角相等）。
这就构成了一个典型的“A"字型相似结构。 根据相似三角形的性质，对应边成比例。
那么，BD/DC 就等于 AB/CE。目前的关键来了，我们需求求 CE 的长度。出于 AC 平行于 BD（哦不对，我刚刚的手势记反了，是过 C 作 AB 平行线，交 AD 延长线于 E，那应当是 CE 平行于 AB）。等一下，纠正一下：过 C 作 CE // AB，交 AD 的延长线于 E。
那么 $triangle DAC sim triangle DAE$ 吗？不是，是 $triangle DAC$ 和 $triangle DAE$ 不对。应当是 $triangle DAC$ 和 $triangle DEA$ 也不对。对的相似对是：过 C 作 CE // AB，则 $triangle AEC sim triangle DBA$？也不对。 重新梳理一遍最合理的平行线构造：过点 C 作 CE // AB，交 AD 的延长线于点 E。 出于 AB // CE， 故此 $angle B = angle E$（内错角）。 又出于 AD 是角平分线，$angle BAD = angle CAE$（同一个角，要么说是被平分后的角，这里需求小心表述，应当是 $angle BAD = angle DAC = angle CAE$？不对，是 $angle BAD = angle CAD$。
要是 CE // AB，那么 $angle BAD = angle AEC$（同位角？不对，内错角？）。 啊，这里好办乱。对的构造应当是：过点 C 作 CF // AB，交 AD 的延长线于 F。 那么 $angle BAC = angle FAC$（这是角平分线定义，$angle BAC = angle CAD$，要是 F 在 AD 延长线上，那么 $angle FAC$ 就是 $angle CAD$ 的补角？不对，F 应当在 AD 射线上。 让我们换个最稳妥的代数几何结合法。 设 $angle DAB = angle DAC = alpha$。 在 $triangle ABD$ 中，由正弦定理：$BD / sinalpha = AB / sinangle ADB$。 在 $triangle ACD$ 中，由正弦定理：$DC / sinalpha = AC / sinangle ADC$。 出于 $angle ADB + angle ADC = 180^circ$，故此 $sinangle ADB = sinangle ADC$。 便，我们能够直接等式相消：$(sinangle ADB + sinangle ADC)$ 这一项实际上没意义，而是直接看比值。 $BD / DC = (AB / sinangle ADB) times sinalpha / (AC / sinangle ADC) times sinalpha$。 出于 $sinangle ADB = sin(180 - angle ADC) = sinangle ADC$。 故此 $BD / DC = (AB cdot sinalpha) / (AC cdot sinalpha) = AB / AC$。 这个证明忒好办了，简直是把几何定理化成了代数恒等式。教科书上为啥没如此写？出于教科书认定学生还没学会正弦定理，要么认定辅助线法对数感更强。但要是你敢用正弦定理，这道题的解法就彻底通了。 不过，正弦定理的引入在初中阶段确实有些越界，要么起码得配合几何解释。
那就回到几何图形，看看能不能用“面积法”要么“等积变形”来 bridge 这个代数过程。 连接 A 和 BC 的中点 M，连接 DM。 根据角平分线定理的一个推论，DM = AM。
这是一个贼有用的结论，但证明它需求用到角平分线定理本身（这是循环论证，不中）。 还是回到最初的代数推导吧，出于它最本质。 设 $AB = c, AC = b, BD = m, DC = n$。 在 $triangle ABC$ 中，面积 $Area = frac{1}{2}bc sin A$。 与此同时 $Area = frac{1}{2} AB cdot BD cdot sin B$。 故此 $frac{1}{2}c cdot m cdot sin B = frac{1}{2}bc cdot sin A$。 化简得 $m sin B = b sin A$。 同理，$n sin C = b sin A$（这里有点难题，应当用另一边）。 $Area = frac{1}{2} AC cdot DC cdot sin C = frac{1}{2} b cdot n cdot sin C$。 故此 $n sin C = b sin A$。 目前我们要找 m 和 n 的关系。 由 $m sin B = b sin A$ 和 $n sin C = b sin A$。 我们还需求一个关于 $angle B$ 和 $angle C$ 关系的东西，要么通过总和 $A+B+C=180$ 来消元。 $m/b = sin A / sin B$。 $n/b = sin A / sin C$。 故此 $m/n = sin B / sin C$。 这就回到了角 B 和角 C 的关系。在 $triangle ABC$ 中，$frac{b}{sin B} = frac{c}{sin C}$（正弦定理）。 故此 $frac{sin B}{sin C} = frac{b}{c}$。 代回上面 $m/n$ 的式子，得 $m/n = b/c$。 即 $m/n = AB/AC$。 证毕。 这个过程别看绕，但每一步都是分量清楚的，没有任何富余的废话。教科书里绕那些弯是为了照顾那些还没学完正弦定理的学生，要么是为了让学生适应几何直觉。而一旦你习惯了符号化的思维，看到角平分线分线段成比例，直接套公式要么用正弦定理解出来，那种“顿悟”感实际上并不比做辅助线来得慢，反而更直接。 举个具体的例子来感受一下数据的跳动。假设三角形 ABC 中，AB = 3，AC = 4，角 A 是直角。 那么 BC 的长度就是 5（勾股定理）。 角 A 的平分线 AD 把角分成两个 45 度角。 根据角平分线定理，BD / DC = AB / AC = 3 / 4。 BC 的总长是 5，BD 占 3/7，DC 占 4/7。 BD 的长度应当是 $5 times frac{3}{7} = 20/7$。 DC 的长度应当是 $5 times frac{4}{7} = 20/7$。 彻底吻合。
要是是 3, 4, 5 三角形，计算起来简直不要忒顺手。 实际上，大量同学看到角平分线定理第一反应是“作垂线”，认定那才是硬道理。但垂线法在这里就像是在迷宫里打转，出于你要找的是平行线形成的相似，而平行线本身又等于构造新的相似，最终还得回到角度关系。
这是一种典型的“鸡生蛋”难题的解法。 要是我们不用相似，只用向量要么坐标，那绝对也能做出来。 设 A 为原点 (0,0)，AB 在 x 轴上，B(3, 0)。AC 在 y 轴上，C(0, 4)。 角平分线 AD 的方程是 $y = x$。 BC 的方程是 $y - 0 = frac{4-0}{0-3}(x - 3) Rightarrow y = -frac{4}{3}(x-3)$。 求交点 D。令 $x = -frac{4}{3}x + 4 Rightarrow frac{7}{3}x = 4 Rightarrow x = 12/7$。 故此 D 点坐标是 $(12/7, 12/7)$。 BD 的距离：$sqrt{(3 - 12/7)^2 + (0 - 12/7)^2} = sqrt{(9/7)^2 + (12/7)^2} = sqrt{81+144}/21 = sqrt{225}/21 = 15/21 = 5/7$。 DC 的距离：$sqrt{(0 - 12/7)^2 + (4 - 12/7)^2} = sqrt{(14/7 - 12/7)^2 + (28/7 - 12/7)^2} = sqrt{(2/7)^2 + (16/7)^2} = sqrt{4+256}/21 = sqrt{260}/21$？
什么的，算错了吧。 $4 = 28/7$。$28 - 12 = 16$。$16^2 = 256$。$2^2 = 4$。$4+256=260$。 $sqrt{260} approx 16.12$。 $BD = 34.5/21 approx 1.64$。 $DC = sqrt{260}/21$。 比值 $BD/DC = sqrt{34.5^2 / 260}$？不对，分母都是 21。 $BD = 15/21$。 $DC = sqrt{260}/21$。 这个结局看起来不对，角平分线定理说的是 3:4，我算出来是 $sqrt{260}:15$，这肯定哪儿弄错了。 啊，角平分线方程搞错了。角 A 是直角，角平分线应当是 $y=x$ 吗？ AB 在 x 轴，AC 在 y 轴。角平分线确实应当是 $y=x$。 那 BC 的方程。B(3,0), C(0,4)。 截距式 $x/3 + y/4 = 1 Rightarrow 4x + 3y = 12$。 当 $y=x$ 时，$4x + 3x = 12 Rightarrow 7x = 12 Rightarrow x = 12/7$。 D 点确实是 $(12/7, 12/7)$。 那 BD 的长度计算：横坐标差 $3 - 12/7 = 9/7$。纵坐标差 $0 - 12/7 = -12/7$。 平方和 $(81 + 144)/49 = 225/49$。开根号是 15/7。 DC 的长度计算：横坐标差 $0 - 12/7 = -12/7$。纵坐标差 $4 - 12/7 = 16/7$。 平方和 $(144 + 256)/49 = 400/49$。开根号是 20/7。 哦！原来如此！$BD/DC = (15/7) / (20/7) = 15/20 = 3/4$。 这就对上了。$AB=3, AC=4$，比值 $3/4$。 看来之前的正弦定理推导在代数化简的时候，要是没小心凑平方，好办出错，但逻辑链条是通的。 这个例子贼直观：线段长分别是 15 和 20，比例 3:4，彻底符合定理。 故此，角平分线定理的证明，本质上就是几何图形在代数语言下的自然流露。它不需求死记硬背辅助线的画法，也不需求死磕相似三角形的对应边（别看相似是背后的逻辑支撑，但用正弦定理或坐标法往往更顺畅）。教科书可能认定这种“降维打击”忒直接，不够“温文尔雅”，但直来直往的推导才是数学最真的样子。当你看着 15 和 20 这两个数字比出来的时候，那种知足感，比看到一堆作图步骤要来得纯粹得多。 最终再总结一下。
这个定理的威力在于它把抽象的角度关系转化成了具体的线段比例。
不管是用正弦定理的代数运算，还是坐标几何的向量套入，亦或是纯几何的相似推导，这条路都是通顺的。它告诉我们，几何定理往往有着多种面孔，有的适合用直觉（辅助线），有的适合用计算（代数）。而角平分线定理，用任何一把钥匙都能打开它的大门，只是哪把钥匙顺手，取决于你的数学直觉。
不要迷信课本，有时候，跳出框架去思索，反而能发现更本质的规律。