角平分线定理验证推导

已知，如图4，AM为△ABC的角平分线，求证:

角平分线定理面积法

由三角形面积公式，得

S△ABM=(1/2)·AB·AM·sin∠BAM

S△ACM=(1/2)·AC·AM·sin∠CAM

∵AM是∠BAC的角平分线

∴∠BAM=∠CAM

∴sin∠BAM=sin∠CAM

∴S△ABM:S△ACM=AB:AC

根据：等高底共线，面积比=底长比

可得：S△ABM:S△ACM=MB:MC，则AB:AC=MB:MC

角平分线定理相似法

过C作CN∥AB，交AM的延长线于N

∵CN∥AB

∴∠ABC=∠BCN

又 ∠AMB=∠CMN

∴△ABM∽△NCM

∴AB:NC=BM:CM

∵AM是∠BAC的角平分线

∴∠BAN=∠CAN

又 ∠BAN=∠ANC

∴∠CAN=∠ANC

∴AC=CN

∴AB:AC=MB:MC

（过M作MN∥AB交AC于N也可证明）

角平分线定理正弦定理法

作△ABC的外接圆，AM交圆于D

由正弦定理，得

AB:sin∠AMB=MB:sin∠BAM,

AC:sin∠AMC=MC:sin∠CAM

∵AM是∠BAC的角平分线

∴∠BAM=∠CAM

又∠AMB ∠AMC=180°

∴sin∠BAM=sin∠CAM

sin∠AMB=sin∠AMC

∴AB:AC=MB:MC

从一个角的顶点引出的把这个角分成两个相等的角的射线，叫做这个角的角平分线。

三角形的一个角（内角）的角平分线交其对边的点所连成的线段，叫做这个三角形的一条角平分线。

角平分线定理定理1

角平分线上的点到这个角两边的距离相等。

证明：如图1，AD平分∠BAC，DB⊥AB，DC⊥AC

∵AD是∠BAC的平分线

∴∠BAD=∠CAD

∵DB⊥AB，DC⊥AC，垂足分别为B、C

∴∠ABD=∠ACD=90°

又 AD=AD

∴△ABD≌△ACD

∴CD=BD

故原命题得证。

该命题有逆定理：

逆定理：在角的内部到一个角的两边距离相等的点在这个角的角平分线上。

证明：如图，DB⊥AB，DC⊥AC，且DB=DC

∵DB⊥AB，

∴∠DBA=90

同理∴∠DCA=90

在RT△DBA和RT△DCA中，

{DB=DC(已知）

AD=AD（公共边）

∴RT△DBA≌RT△DCA（HL）

∴∠BAD=∠CAD（全等三角形对应角相等）

角平分线定理定理2

三角形一个角的平分线与其对边所成的两条线段与这个角的两边对应成比例。

证明：如图2，在△ABC中，AD是∠BAC的平分线

过点D作DE⊥AB，DF⊥AC

∵AD是∠BAC的平分线，DE⊥AB，DF⊥AC

∴DE=DF(定理1)

∵2S△ABD=AB×DE,2S△ACD=AC×DF

∴S△ABD：S△ACD=AB：AC

过点A作AG⊥BC，垂足为G

∵2S△ABD=BD×AG，2S△ACD=CD×AG

∴S△ABD:S△ACD=BD:CD

∴AB:AC=BD:CD

故原命题得证。

该命题有逆定理：

如果三角形一边上的某个点与这条边所成的两条线段与这条边的对角的两边对应成比例，那么该点与对角顶点的连线是三角形的一条角平分线。

证明略。

角平分线定理角平分线长

由定理2和斯特瓦尔特定理可以推导出三角形内的角平分线长公式。

如右图3，在△ABC中，AD平分∠BAC

可设AB=x,AC=y,BD=u,CD=v，则BC=u v

由定理2我们知道 AB:AC=BD:CD，所以xv=uy

由斯台沃特定理，有w²=(x²v y²u)/(u v)-uv

用u=xv/y,v=uy/x替换原式中的u和v

即得AD²=xy-uv=AB×AC-BD×DC

三角形内外角平分线性质定理：三角形的内外角平分线内、外分对边与其延长线所得的两条线段与夹这个角的两边对应成比例。 2100433B

角平分线长公式公式

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

角平分线长公式推导过程

证明。如图3，延长AC到E，使CE=CD，连接DE，则AE=AC CD，

即

又

则

于是

又

由角平分线定理得

即

代入①中得

证毕。

角平分线长公式公式

在△ABC中，∠A的角平分线记为

其中p是半周长。

角平分线长公式推导过程

证明。法一。如图1，我们先证明

由角平分线定理可得

由余弦定理，

把

即

设

于是

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

证毕。

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