角平分线定理1是描述角平分线上的点到角两边距离定量关系的定理，也可看作是角平分线的性质。
定理定义
从一个
角的顶点引出的把这个角分成两个相等的角的
射线，叫做这个角的
角平分线。
三角形的一个角（内角）的角平分线交其对边的点所连成的
线段，叫做这个三角形的一条角平分线。
定理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
由
斯台沃特定理，有w2=(x2v+y2u)/(u+v)-uv
用u=xv/y,v=uy/x替换原式中的u和v
即得AD2=xy-uv=AB×AC-BD×DC
验证推导
已知，如图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
∴sin∠BAM=sin∠CAM
又∠AMB+∠AMC=180°
sin∠AMB=sin∠AMC
∴AB:AC=MB:MC
应用例子
三角形内外角平分线性质定理：三角形的内外角平分线内、外分对边与其延长线所得的两条线段与夹这个角的两边对应成比例。