MathLabs
定理已证明

角平分线定理

命题陈述

在 △ABC\triangle ABC 中,若角 AA 的内角平分线与边 BCBC 交于 DD,则 BDDC=ABAC\dfrac{BD}{DC} = \dfrac{AB}{AC}。

为什么成立?

该定理把关于角的信息(ADAD 平分角 AA)直接转化为对边上的长度之比,使我们仅凭 △ABC\triangle ABC 的三边长就能确定角平分线落点的位置。

证明思路

第一步(利用从 AA 出发的公共高比较面积)。三角形 △ABD\triangle ABD 与 △ACD\triangle ACD 共享从顶点 AA 到直线 BCBC 的同一条高,因此它们的面积之比等于 BCBC 上的底边之比:S(△ABD)S(△ACD)=BDDC\dfrac{S(\triangle ABD)}{S(\triangle ACD)} = \dfrac{BD}{DC}。

第二步(以 ABAB 与 ACAC 为底再比较这两个面积)。因为 DD 在角 AA 的平分线上,DD 到该角两边的垂直距离相等:d(D,AB)=d(D,AC)d(D, AB) = d(D, AC)。取 ABAB 与 ACAC 分别为 △ABD\triangle ABD 与 △ACD\triangle ACD 的底,这两条相等的垂线段恰好就是对应的高,所以面积之比也等于这两条底边之比:S(△ABD)S(△ACD)=ABAC\dfrac{S(\triangle ABD)}{S(\triangle ACD)} = \dfrac{AB}{AC}。

第三步(令两式相等)。由于两个右边都等于同一个面积比,将第一步与第二步联立立即得到 BDDC=ABAC\dfrac{BD}{DC} = \dfrac{AB}{AC},证毕。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited
  2. Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)