定理已证明
角平分线定理
命题陈述
在 中,若角 的内角平分线与边 交于 ,则 。
为什么成立?
该定理把关于角的信息( 平分角 )直接转化为对边上的长度之比,使我们仅凭 的三边长就能确定角平分线落点的位置。
证明思路
第一步(利用从 出发的公共高比较面积)。三角形 与 共享从顶点 到直线 的同一条高,因此它们的面积之比等于 上的底边之比:。
第二步(以 与 为底再比较这两个面积)。因为 在角 的平分线上, 到该角两边的垂直距离相等:。取 与 分别为 与 的底,这两条相等的垂线段恰好就是对应的高,所以面积之比也等于这两条底边之比:。
第三步(令两式相等)。由于两个右边都等于同一个面积比,将第一步与第二步联立立即得到 ,证毕。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited
- Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)