角平分线长公式是专业术语,拼音为jiǎo pínɡ fēn xiàn 查海遗址nɡ ɡōnɡ shì,描述了三角形内角平分线长与各线段间的定量关系。

第一形式

公式

在△ABC中,∠A的角平分线记为,∠B的角平分线记为,∠C的角平分线记为,三边边长为a、b、c,则

其中p是半周长

推导过程

证明。法一。如图,我们先证明。

角平分线定理可得,并注意到,消去,化简得。

余弦定理,,

把和y的表达式代入(1)中,

设,那么上式可以写成

于是

其他角平分线长度同理可证。

证毕。

提要。法二。运用斯特瓦尔特定理,可得证明。

第二形式

公式

三角形ABC的角平分线为AD,D在CB上。则

推导过程

证明。如图,延长AC到E,使,连接DE,则, 。在AB边上取点F,使,连接DF,则,。则

于是,便有,故

角平分线定理

代入①中得

证毕。

第三形式

公式

△ABC中,角平分线

推导过程

证明。如图,设AB、AC、AD长a、b、f。易知

于是

证毕。

外角平分线长公式

公式

下面不加证明地给出公式。在△ABC中,∠A的外角平分线记为,∠B的角平分线记为,∠C的角平分线记为,三边边长为a、b、c,则

参考资料