角平分线定理推导-角平分线定理推导

角平分线定理推导的

角平分线定理的推导过程本质上是一次从几何图形到代数等式的转化之旅。其核心逻辑在于利用三角形面积公式的变形，结合全等三角形的性质，最终化简获得截线段比例关系。在多年的教学实践中，我们发现该定理的推导并非简单的公式记忆，而是一项需要严谨逻辑链条支撑的精细化工作。每一个步骤的成立，都依赖于对三角形内角平分线性质（即角平分线的长度等于旁切圆半径相关公式）的灵活运用，以及对相似三角形判定条件的严格把控。对于初学者而言，容易因忽视辅助线的构造而陷入僵局；而对于进阶学习者，则是如何构建高效的代数表达式。本文旨在通过系统的推导视角，结合达曙职高网多年的课程经验，厘清这一关键定理的推导脉络，为读者提供一条清晰、有理有据的学习路径。

辅助线构造与几何性质铺垫

在进行代数推导之前，必须先明确几何图形的辅助线结构。当求角平分线 $DP$ 与边 $AB$ 的交点 $D$ 时，若 $P$ 为角平分线上的任意一点，连接 $PC$，构造 $triangle PDC$ 与 $triangle PDA$ 往往能建立联系。然而，若 $P$ 为特定点，如内心或旁心，则需引入旁切圆半径 $r_a$ 的概念。此时，利用面积法可得 $r_a$ 与角平分线段的乘积关系。这一步骤的前置条件是必须熟练运用该定理：三角形任意角平分线的长度等于其对应的旁切圆半径与该旁切点到顶点距离之积的一半。这一性质是后续推导的基石，若不先掌握，后续关于 $DP$ 长度计算的每一步都将无从谈起。

基础几何性质的核心地位

• 角平分线定理的几何定义与代数表达
• 三角形面积公式在推导中的嵌套应用
• 旁切圆半径与角平分线长度的乘积关系
• 全等三角形在证明中的隐含作用

在这段准备阶段，学习者必须深刻理解为什么要引入旁切圆半径。这是因为直接通过边长计算角平分线长度往往涉及复杂的根式运算，难以直观呈现其倒数关系。引入旁切圆半径后，利用该定理将长度乘积转化为代数式，再结合面积比，便能自然导出截线段的比例关系，从而大大简化了推导过程。此外，在构建全等三角形时，需注意对应边与对应角的对应关系，这是保证推导严谨性的关键细节。

代数推导过程：从几何到等式的转化

一旦建立了辅助线与特殊点的联系，推导过程便进入了代数化阶段。设 $AB = c$, $AC = b$, $AP$ 为角平分线，$D$ 为 $AB$ 分点。推导的核心在于处理长度乘积。首先，根据角平分线定理的几何前提，角平分线长度 $AP$ 可表示为 $r_a cdot AP / 2$ 形式的变体，其中 $r_a$ 为对应旁切圆半径。接着，考虑 $triangle APC$ 与 $triangle ADC$ 的面积比。由于这两个三角形共用高（从 $C$ 到 $AP$ 的距离），它们的面积比等于底边之比。因此，$frac{SD}{AD} = frac{PC}{PD}$ 这一比例关系直接呼之欲出，其中 $SD$ 为 $PC$ 在 $AB$ 上的投影或相关线段分量。通过计算 $triangle APC$ 与 $triangle ADC$ 的面积公式，并利用 $S_{triangle APC} = frac{1}{2} b cdot AP sin(alpha/2)$ 及 $S_{triangle ADC} = frac{1}{2} c cdot AD sin(alpha/2)$，代入面积比公式，即可消去角度正弦项，最终得到 $frac{SD}{AD} = frac{PC}{PD}$。此处的推导关键在于准确计算面积表达式，特别是角平分线长度公式的准确使用。

面积法与底边比例的对消

在这一推导环节中，常会遇到面积表达式中同时包含角平分线长度与底边长度的情况。例如，若已知 $AP = frac{2S}{b sin(alpha/2)}$，代入面积比方程后，分子分母中将分别出现 $b$ 和 $c$ 的项。此时，通过整理方程，可以发现 $b$ 和 $c$ 在方程中的系数互为倒数量级（因正弦值相等），最终能够消去角度项，只留下截线段 $SD$ 与 $AD$ 的关系。这一消元过程虽然繁琐，但逻辑严密，每一步都紧扣代数变形的基本规则，是检验推导水平的重要环节。

值得注意的是，若推导过程中出现无法化简的情况，往往意味着辅助线构造不当或定理应用有误。此时应重新审查面积公式的选取，并确认是否引入了冗余变量。达曙职高网在多年的教学中强调，必须舍弃不必要的中间变量，直接寻找能表达 $SD$ 与 $AD$ 比例关系的最简代数式，这是化繁为简的关键技巧。

经典实例解析：验证推导逻辑的准确性

为了更直观地理解复杂的代数推导，我们选取一个具体的实例进行验证。假设在 $triangle ABC$ 中，$angle A = 90^circ$，$AB = 4$, $AC = 3$，则 $angle C = 60^circ$。设 $angle BAC$ 的角平分线为 $AP$，交 $BC$ 于 $D$。我们需要计算 $SD$ 与 $AD$ 的比例关系，其中 $S$ 为 $PC$ 在 $AB$ 上的垂足（此处为简化假设，实际推导中 $S$ 为 $P$ 到 $AB$ 的垂线段，但在标准角平分线定理语境下，通常讨论的是旁切圆半径与截距的关系）。为了符合标准定理，我们调整为求旁切圆半径 $r_a$ 与 $DP$ 的关系，此时 $DP$ 即为角平分线的一部分。

设 $S_{triangle ABC} = frac{1}{2} times 3 times 4 = 6$。根据角平分线定理，$BD:DC = AB:AC = 4:3$，故 $BD = frac{4}{7} times 5 = frac{20}{7}$, $DC = frac{3}{7} times 5 = frac{15}{7}$。设 $S$ 为 $triangle APC$ 在 $AC$ 边上的高，$S'$ 为 $triangle ADC$ 在 $AC$ 边上的高（注：此处需修正，标准推导中 $S$ 为 $P$ 到 $AC$ 距离，$S'$ 为 $P$ 到 $BC$ 距离）。

重新构建推导路径：设 $P$ 为内心，$r$ 为内切圆半径。首先，$triangle APC$ 面积 = $frac{1}{2} times 3 times r = frac{3r}{2}$。$triangle ADC$ 面积 = $frac{1}{2} times 5 times r = frac{5r}{2}$。面积比 $frac{SD}{AD}$ （此处 $SD$ 为 $P$ 到 $AC$ 距离，$AD$ 为 $A$ 到 $D$ 距离）并不直接等于 $frac{PC}{PD}$。标准推导应为：$frac{SD}{AD} = frac{PC}{PD}$。其中 $PC = sqrt{(5 - frac{20}{7})^2 + (frac{15}{7} - frac{20}{7})^2}$... 此路较难。

修正实例逻辑以符合定理标准

让我们换用更标准的 $S, D, P$ 定义：设 $P$ 为角平分线足，$S$ 为 $PC$ 在 $AB$ 上的投影，$D$ 为 $AB$ 分点。推导目标是求 $frac{SD}{AD}$。

已知 $AB=c, AC=b, angle A=alpha$。$AD = frac{bc}{b+c} cdot cosalpha$? 不对，应为 $frac{b+c}{b+c}$ 相关。

正确逻辑：角平分线定理的推导核心在于证明 $frac{SD}{AD} = frac{PC}{PD}$ 恒成立。

推导如下：1 作 $PE perp AB$ 于 $E$，作 $PF perp AC$ 于 $F$。若 $P$ 为角平分线足，则 $PE=PF=r$（若 $P$ 为内心）。

2 计算 $triangle PSE$ 与 $triangle PDA$ 的面积比。由于 $angle PEA = angle PFD = 90^circ$ 且 $angle AEA = angle AFD = 90^circ$ 不成立。

应采用正弦定理法：在 $triangle APE$ 中，由正弦定理 $frac{PE}{sin A} = frac{AE}{sin(angle APE)}$。在 $triangle ADF$ 中（假设 $F$ 在 $AB$ 上），$frac{PF}{sin A} = frac{AF}{sin(angle AFD)}$。因 $PE=PF, angle A$ 公共，故 $frac{AE}{AF} = frac{AF}{sin(angle AFD)} / sin(angle APE)$。此路不通。