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

内角平分线定理：在任意三角形ABC中，若AD是∠BAC的平分线，交对边BC于点D，则有以下比例关系成立： $$ frac{BD}{DC} = frac{AB}{AC} $$ 即，点D分边BC所得的两条线段BD与DC的长度之比，等于角A的两条邻边AB与AC的长度之比。

外角平分线定理：在任意三角形ABC中，延长边BA至点E，则∠CAE是三角形的一个外角。设AF是∠CAE的平分线，交对边BC的延长线于点F（即F在直线BC上，且位于点C的外侧），则有以下比例关系成立： $$ frac{BF}{CF} = frac{AB}{AC} $$ 注意，此时点F分线段BC（从B到C的方向，并延长至F）所得的两条线段BF与CF之比，同样等于边AB与AC之比。

方法一：面积法（最直观的方法）

面积法利用“等高三角形面积之比等于底边之比”以及“角平分线上的点到角两边距离相等”这两个核心性质。

• 第一步：作辅助线。过点D分别作DE⊥AB于点E，DF⊥AC于点F。
• 第二步：根据角平分线性质。因为AD是∠BAC的平分线，所以DE = DF（角平分线上的点到角两边的距离相等）。
• 第三步：表达三角形面积。连接AD后，三角形ABD和三角形ACD可以分别看作以BD和DC为底，以高DE和DF为高的三角形。
  于此同时呢，它们也可以看作以AB和AC为底，具有相同高（从D向AB、AC作垂线，但此处更常用另一种表达）。更巧妙的是，将三角形ABD和三角形ACD视为拥有共同顶点A，底边分别在BD和DC上，则它们的高都是从A向BC所作的垂线，设为AH，因此这两个三角形等高。
• 第四步：建立面积比例关系。 三角形ABD的面积可以表示为：S△ABD = (1/2) AB DE。 三角形ACD的面积可以表示为：S△ACD = (1/2) AC DF。 由于DE = DF，所以S△ABD : S△ACD = AB : AC。
• 第五步：转换面积比为底边比。另一方面，若以BD和DC为底，从顶点A作高AH，则S△ABD = (1/2) BD AH，S△ACD = (1/2) DC AH。
  也是因为这些，S△ABD : S△ACD = BD : DC。
• 第六步：得出结论。综合第四步和第五步，有 BD : DC = AB : AC，即 $frac{BD}{DC} = frac{AB}{AC}$。

面积法证明过程简洁优美，逻辑链条清晰，是理解和记忆该定理的优选方法。易搜职考网的几何课程中，特别强调这种通过面积桥梁转化比例关系的思维训练。

方法二：相似三角形法（构造平行线）

这是教科书中最常见的方法，通过构造平行线来创造相似三角形，从而导出比例关系。

• 第一步：延长角平分线或作平行线。过点C作直线CE，使得CE // AD，交边BA的延长线于点E。
• 第二步：寻找等角关系。因为AD // CE，由平行线性质可得： ∠BAD = ∠AEC（同位角相等）， ∠DAC = ∠ACE（内错角相等）。 又因为AD是角平分线，∠BAD = ∠DAC。 所以∠AEC = ∠ACE。
• 第三步：推导等腰三角形。在三角形ACE中，由于∠AEC = ∠ACE，根据“等角对等边”，可得AC = AE。
• 第四步：利用平行线截线段成比例。在三角形BCE中，因为AD // CE，根据平行线分线段成比例定理，有： $frac{BD}{DC} = frac{BA}{AE}$。
• 第五步：等量代换。由第三步知AE = AC，将其代入第四步的比例式，即得： $frac{BD}{DC} = frac{BA}{AC}$。

这种方法的核心技巧在于通过平行线将待证比例$frac{BD}{DC}$转移到一个新的、更容易处理的三角形中，并结合角平分条件产生等腰三角形进行替换。这是几何证明中“转化与化归”思想的典型体现。

方法三：正弦定理法（三角学方法）

当学习者具备三角学知识后，利用正弦定理证明角平分线定理非常迅速且具有统一性，能同时处理内、外角平分线的情况。

• 第一步：分别在三角形ABD和三角形ACD中应用正弦定理。 在△ABD中：$frac{BD}{sin(angle BAD)} = frac{AB}{sin(angle ADB)}$。 在△ACD中：$frac{DC}{sin(angle DAC)} = frac{AC}{sin(angle ADC)}$。
• 第二步：利用角平分线和补角关系。因为AD是角平分线，所以$sin(angle BAD) = sin(angle DAC)$。 又因为点D在BC上，所以∠ADB与∠ADC互为补角，即∠ADB + ∠ADC = 180°。
  也是因为这些，$sin(angle ADB) = sin(180° - angle ADC) = sin(angle ADC)$。
• 第三步：两式相除。将两个正弦定理的等式左右分别相除： $frac{BD}{DC} = frac{AB cdot sin(angle DAC) cdot sin(angle ADC)}{AC cdot sin(angle BAD) cdot sin(angle ADB)}$。
• 第四步：化简。由于$sin(angle BAD) = sin(angle DAC)$ 且 $sin(angle ADB) = sin(angle ADC)$，约去相同因子，直接得到： $frac{BD}{DC} = frac{AB}{AC}$。

正弦定理法虽然涉及高中知识，但证明过程一气呵成，显示了三角工具在解决几何问题时的强大威力。对于学有余力，尤其是参加易搜职考网提供的拔高课程的学员，掌握这种方法能极大提升解题效率。

方法一：相似三角形法（构造平行线）

• 第一步：明确图形。设三角形ABC，延长BA至E，AF平分外角∠CAE，交BC的延长线于点F。
• 第二步：作平行线。过点C作CG // AF，交边AB于点G。
• 第三步：寻找等角关系。因为AF // CG，所以： ∠FAC = ∠ACG（内错角相等）， ∠EAF = ∠AGC（同位角相等）。 又因为AF是外角∠CAE的平分线，所以∠EAF = ∠FAC。 也是因为这些，∠ACG = ∠AGC。
• 第四步：推导等腰三角形。在三角形ACG中，∠ACG = ∠AGC，所以AG = AC。
• 第五步：利用平行线截线段成比例。在三角形BGF中（或视AF截△BCG），因为AF // CG，根据平行线分线段成比例定理，有： $frac{BF}{CF} = frac{BA}{AG}$。
• 第六步：等量代换。将AG = AC代入，得到： $frac{BF}{CF} = frac{BA}{AC}$。

这个证明过程与内角定理的相似三角形法如出一辙，只是平行线作的位置和产生的等腰三角形不同。对比学习可以加深对两者联系与区别的理解。

方法二：面积法（类比内角定理）

面积法同样可以用于证明外角平分线定理，但需要对面积的方向或符号有更深入的理解，或者采用绝对面积进行处理。

• 第一步：作辅助线。过点F分别作FM⊥直线AB于点M（在AB延长线上），FN⊥直线AC于点N。
• 第二步：利用外角平分线性质。因为AF是外角∠CAE的平分线，所以F到角的两边（AB的延长线和AC）的距离相等，即FM = FN。
• 第三步：表达三角形面积。考虑三角形ABF和三角形ACF。它们拥有共同的顶点A，底边BF和CF在一条直线（BC的延长线）上。从A向直线BC作垂线，设垂足为H，则这两个三角形等高（高均为AH）。
  也是因为这些，S△ABF : S△ACF = BF : CF。
• 第四步：另一种面积表达。另一方面，也可以将三角形ABF和三角形ACF分别看作以AB和AC为底，以FM和FN为高的三角形。即S△ABF = (1/2) AB FM，S△ACF = (1/2) AC FN。
• 第五步：建立比例。由于FM = FN，所以S△ABF : S△ACF = AB : AC。
• 第六步：得出结论。结合第三步和第五步，得到BF : CF = AB : AC，即 $frac{BF}{CF} = frac{AB}{AC}$。

需要注意的是，在严格意义上，当点F在BC延长线上时，三角形ABF和ACF的“高”AH可能不在形内，但线段长度的比值关系依然成立。这种证明再次彰显了面积法在统一处理几何问题时的优势。

内角平分线判定定理：在三角形ABC的边BC上（或其延长线上）有一点D，如果满足 $frac{BD}{DC} = frac{AB}{AC}$，且点D在线段BC上（而非延长线上），则AD是∠BAC的平分线。

外角平分线判定定理：在三角形ABC中，边BC的延长线上有一点F（点C在B、F之间或点B在C、F之间，需结合图形判断），如果满足 $frac{BF}{CF} = frac{AB}{AC}$，且点F满足外角平分线的位置特征，则AF是∠BAC的一个外角（通常指与∠BAC相邻的外角）的平分线。

逆定理的证明通常采用同一法或反证法。
例如，对于内角平分线判定定理，可以假设AD不是角平分线，那么可以过A作另一条角平分线，根据角平分线定理它会把BC分成特定比例，这与已知的D点分BC的比例矛盾，从而证明AD就是角平分线。

• 计算线段长度：在已知三角形边长和角平分线长度或分点位置时，可以直接利用比例式求未知线段长。
  例如，已知AB=6，AC=4，BD=3，求DC，直接由$frac{3}{DC}=frac{6}{4}$即可解得DC=2。
• 证明线段成比例或相等：当图形中出现角平分线时，应立刻联想到相关边成比例，这常常是证明其他比例式的起点或中间步骤。
• 与相似三角形结合：角平分线定理常作为证明三角形相似的一个条件，或者与相似三角形得出的比例式联立，建立方程。
• 在解析几何中的应用：在平面直角坐标系中，若已知三角形顶点坐标和角平分线与对边的交点，可以利用定比分点坐标公式与角平分线定理结合解题。
  例如，已知A(x1,y1), B(x2,y2), C(x3,y3)，以及∠A的平分线交BC于D，则可以根据$frac{BD}{DC}=frac{AB}{AC}$，先计算出比值，再用定比分点公式直接写出D点坐标。这是解析几何中解决角平分线相关问题的有效手段，也是易搜职考网在解析几何专题训练中重点强化的技巧之一。
• 处理内外角平分线综合问题：一个三角形的一个内角平分线和一个外角平分线常常互相垂直。结合两个定理，可以推导出一些有趣的结论，例如，三角形一角的内、外角平分线将对边（及其延长线）分得的四条线段成比例。