内角平分線定理及逆定理：{\displaystyle \angle \alpha =\angle \beta \Leftrightarrow {\tfrac {DB}{DC}}={\tfrac {AB}{AC}}}  
外角平分線定理及逆定理：{\displaystyle \angle \gamma =\angle \delta \Leftrightarrow {\tfrac {EB}{EC}}={\tfrac {AB}{AC}}}
**（内）角平分線定理**是一個平面幾何定理：三角形一角的内角平分線分割对边为两段，两段的长度之比等于两条邻边的长度之比。反过来，有**（内）角平分线逆定理**：把三角形一边分割为长度之比等于邻边长度之比的两段，则经过分割点与对角顶点的直线为对角的内角平分线。以上两条定理见于古希腊数学家欧几里得的《几何原本》，属于平面几何最基本的定理之列。

类似地，存在**外角平分線定理**和**外角平分线逆定理**。前者指的是：三角形一角的外角平分線与对边所在的直线相交，交点到对边上两顶点的距离之比等于两条邻边的长度之比。后者指的是：三角形一边的延长线上有一点到该边上两顶点的距离之比等于另外两边的长度之比，则经过该点与对角顶点的直线为对角的外角平分线。内、外角平分线定理（及逆定理），合称**角平分線定理**（及**角平分线逆定理**），又称**角平分線性质**。

历史
--

内角平分线定理及其逆定理出现在古希腊数学家欧几里得的《几何原本》的第六卷命题三。至于外角平分线定理及其逆定理，古希腊数学家帕普斯直接采纳了该命题的结论，但没有给出证明。近代苏格兰数学家罗伯特·西姆松（英语：）将内、外角平分线定理视为两个命题，而英国数学家奥古斯塔斯·德摩根、苏联数学家德米特里·别列标尔金（俄语：）等则视二者为一统的角平分线定理。

證明
--

内、外角平分线定理及逆定理均有多种证明方法。以下列出欧几里得《几何原本》采用的思路，以及将该思路推广至外角平分线的证法。

### 内角平分線

{\displaystyle \angle \alpha =\angle \beta }{\displaystyle \;\Leftrightarrow \;}{\displaystyle AE=AC}{\displaystyle \;\Leftrightarrow \;}{\displaystyle {\tfrac {DB}{DC}}={\tfrac {AB}{AE}}={\tfrac {AB}{AC}}}
在 \triangle ABC 中，在 BC 边上任取一点 D 。过点 C 做 AD 的平行线，与 {\displaystyle {\overline {BA}}} 的延长线相交于点 E 。

{\displaystyle \angle BAD=\angle AEC}
{\displaystyle \angle CAD=\angle ACE}
{\displaystyle \triangle DBA} {\displaystyle {\color {Blue}\sim }} {\displaystyle \triangle CBE}{\displaystyle \;\Rightarrow \;}{\displaystyle {DB \over DC}={AB \over AE}}
**證内角平分线定理**

{\displaystyle \angle BAD=\angle CAD}{\displaystyle \;\Rightarrow \;}{\displaystyle \angle AEC=\angle ACE}{\displaystyle \;\Rightarrow \;}{\displaystyle \triangle ACE} 为等腰三角形{\displaystyle \;\Rightarrow \;}{\displaystyle AC=AE}{\displaystyle \;\Rightarrow \;}{\displaystyle {DB \over DC}={AB \over AE}={AB \over AC}}
**證内角平分线逆定理**

{\displaystyle AC={AB\cdot DC \over DB}=AE}{\displaystyle \;\Rightarrow \;}{\displaystyle \triangle ACE} 为等腰三角形{\displaystyle \;\Rightarrow \;}{\displaystyle \angle AEC=\angle ACE}{\displaystyle \;\Rightarrow \;}{\displaystyle \angle BAD=\angle CAD}
### 外角平分線

{\displaystyle \angle \alpha =\angle \beta }{\displaystyle \;\Leftrightarrow \;}{\displaystyle AE=AC}{\displaystyle \;\Leftrightarrow \;}{\displaystyle {\tfrac {DB}{DC}}={\tfrac {AB}{AE}}={\tfrac {AB}{AC}}}
在 \triangle ABC 中，令 {\displaystyle AB>AC} 。在 {\displaystyle {\overline {BC}}} 的延长线上取一点 D 。过点 C 做 AD 的平行线，与 BA 边相交于点 E 。在 BA 的延长线上任取一点 F 。

{\displaystyle \angle FAD=\angle AEC}
{\displaystyle \angle CAD=\angle ACE}
{\displaystyle \triangle DBA\sim \triangle CBE}{\displaystyle \;\Rightarrow \;}{\displaystyle {DB \over DC}={AB \over AE}}
**證外角平分线定理**

易证得，三角形外角平分线与对边直线的交点，必定落在较短的邻边的一侧。

{\displaystyle \angle FAD=\angle CAD}{\displaystyle \;\Rightarrow \;}{\displaystyle \angle AEC=\angle ACE}{\displaystyle \;\Rightarrow \;}{\displaystyle \triangle ACE} 为等腰三角形{\displaystyle \;\Rightarrow \;}{\displaystyle AC=AE}{\displaystyle \;\Rightarrow \;}{\displaystyle {DB \over DC}={AB \over AE}={AB \over AC}}
**證外角平分线逆定理**

易证得，三角形一边所在直线上符合要求的点，必定落在较短的邻边的一侧。

{\displaystyle AC={AB\cdot DC \over DB}=AE}{\displaystyle \;\Rightarrow \;}{\displaystyle \triangle ACE} 为等腰三角形{\displaystyle \;\Rightarrow \;}{\displaystyle \angle AEC=\angle ACE}{\displaystyle \;\Rightarrow \;}{\displaystyle \angle FAD=\angle CAD}

应用
--

角平分线性质有广泛的应用。其中一个关系相当紧密的应用是，证明平面上到两定点的距离之比为定值（不等于1）的点的轨迹是一个圆。该圆即阿波罗尼奥斯圆。

參見
--

* 角平分線長公式
* 三角形内心

参考文献
----

1. 1 2 3  Heath, Thomas L.  (PDF) **II**. Cambridge: Cambridge University Press. 1908: 197  [2023-06-24]. （原始内容存档 (PDF)于2022-02-02） （英语）.
2. 1 2 3  别列标尔金（俄语：）.. 马忠林 (译). 北京: 高等教育出版社. 1955: 134-136.
3. ↑ . Cut the Knot.  [2023-06-24]. （原始内容存档于2023-06-17） （英语）.
4. ↑ . Cut the Knot.  [2023-06-24]. （原始内容存档于2023-06-17） （英语）.
5. ↑ . Cut the Knot.  [2023-06-24]. （原始内容存档于2023-06-17） （英语）.
6. ↑ . Cut the Knot.  [2023-06-24]. （原始内容存档于2023-06-17） （英语）.
7. ↑ . Cut the Knot.  [2023-06-24]. （原始内容存档于2023-06-17） （英语）.
8. ↑  Amarasinghe, G. W. I. S.  (PDF). *Global Journal of Advanced Research on Classical and Modern Geometries*. 2012, **1** (1): 15-27  [2023-06-24]. （原始内容存档 (PDF)于2022-06-18） （英语）.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
古希臘數學 |
| --- |
|  |
| 數學家（英语：）（年表）（英语：） | 
* 阿那克萨哥拉
* 特拉勒斯的安提莫斯
* 阿尔库塔斯
* Aristaeus the Elder（英语：）
* 阿里斯塔克斯
* 阿波罗尼奥斯
* 阿基米德
* 奥托里库斯 (皮塔内)
* Bion（英语：）
* Bryson（英语：）
* 卡里普斯
* Carpus（英语：）
* 克律西波斯
* 克莱奥迈季斯
* 科农
* 克特西比乌斯
* 德谟克利特
* Dicaearchus（英语：）
* 戴可利斯
* 丢番图
* Dinostratus（英语：）
* Dionysodorus（英语：）
* Domninus（英语：）
* 埃拉托斯特尼
* Eudemus（英语：）
* 欧几里得
* 欧多克索斯
* Eutocius（英语：）
* Geminus（英语：）
* Heliodorus（英语：）
* 亚历山大港的希罗
* 喜帕恰斯
* 希帕索斯
* 希庇亚
* Hippocrates（英语：）
* 希帕提婭
* Hypsicles（英语：）
* 米利都的伊西多爾
* Leon（英语：）
* Marinus（英语：）
* Menaechmus（英语：）
* Menelaus（英语：）
* Metrodorus（英语：）
* 尼科马库斯
* Nicomedes（英语：）
* Nicoteles（英语：）
* 恩诺皮德斯
* 帕普斯
* Perseus（英语：）
* 菲洛勞斯
* 菲隆
* Philonides（英语：）
* 波菲利 (哲學家)
* 波希多尼
* 普罗克洛
* 克劳狄乌斯·托勒密
* 毕达哥拉斯
* Serenus（英语：）
* 西里西亚的辛普利修斯
* Sosigenes（英语：）
* Sporus（英语：）
* 泰勒斯
* 泰阿泰德
* Theano（英语：）
* 西奥多罗斯
* Theodosius（英语：）
* Theon of Alexandria（英语：）
* Theon of Smyrna（英语：）
* Thymaridas（英语：）
* 色诺克拉底
* 埃利亚的芝诺
* Zeno of Sidon（英语：）
* Zenodorus（英语：）

 |  |
|  |
| 著名論著 | 
* *天文學大成*
* 阿基米德重寫本（英语：）
* *Arithmetica（英语：）*
* 阿波罗尼奥斯
* *反射光學*
* *Data* (Euclid)（英语：）
* 几何原本
* *Measurement of a Circle（英语：）*
* *On Conoids and Spheroids（英语：）*
* *On the Sizes and Distances* (Aristarchus)（英语：）
* *On Sizes and Distances* (Hipparchus)（英语：）
* 奥托里库斯 (皮塔内)
* *Optics* (Euclid)（英语：）
* *On Spirals（英语：）*
* *圓柱內切球體*
* *Ostomachion（英语：）*
* *Planisphaerium（英语：）*
* *Sphaerics（英语：）*
* *抛物线的求积*
* *The Sand Reckoner（英语：）*

 |
|  |
| 著名問題 | 
* 規矩數
	+ 三等分角
	+ 倍立方
	+ 化圓為方
* 阿波罗尼奥斯问题

 |
|  |
| 概念及定義 | 
* 角
	+ 圆心角
	+ Inscribed
* 公理系统
	+ 公理
* 弦 (幾何)
* Circles of Apollonius（英语：）
	+ 阿波羅尼奧斯圓
	+ Apollonian gasket（英语：）
* 外接圓
* 通約性
* 丟番圖方程
* Doctrine of proportionality
* 欧几里得几何
* 黄金分割率
* 希腊数字
* Incircle and excircles of a triangle（英语：）
* 穷竭法
* 平行公設
* 柏拉圖立體
* Lune of Hippocrates（英语：）
* Quadratrix of Hippias（英语：）
* 正多边形
* 尺规作图
* Triangle center（英语：）

 |
|  |
| 研究 | 

|  |  |
| --- | --- |
| 几何原本 | 
* 角平分線定理
* 外角定理
* 輾轉相除法
* 欧几里得定理
* 幾何平均定理（英语：）
* 希臘幾何代數（英语：）
* 樞紐定理
* 圆周角
* 截線定理
* 相交弦定理
* 相交割線定理（英语：）
* 餘弦定理
* 驴桥定理
* 勾股定理
* 切線割線定理（英语：）
* 泰勒斯定理
* 日規定理（英语：）

 |
|  |
| 阿波羅尼烏斯 | 
* 中線定理

 |
|  |
| 其它 | 
* Aristarchus's inequality（英语：）
* Crossbar theorem（英语：）
* 海伦公式
* 無理數
* 正弦定理
* 梅涅劳斯定理
* 帕普斯面積定理
* Problem II.8 of *Arithmetica*（英语：）
* Ptolemy's inequality（英语：）
* 托勒密全弦表
* 托勒密定理
* Spiral of Theodorus（英语：）

 |

 |
|  |
| 學術中心 | 
* 昔兰尼
* 亚历山大图书馆
* 柏拉图学院

 |
|  |
| 相關 | 

|  |
| --- |
| 
* 古希臘天文學
* Attic numerals（英语：）
* 希腊数字
* Latin translations of the 12th century（英语：）
* 非欧几里得几何
* 数学哲学
* 二刻尺作圖

 |
|  |
| 歷史 | 
* algebra（英语：）
	+ timeline（英语：）
* arithmetic（英语：）
	+ timeline（英语：）
* 无穷小演算
	+ timeline（英语：）
* geometry（英语：）
	+ timeline（英语：）
* 逻辑史
	+ timeline（英语：）
* 数学史
	+ timeline（英语：）
* 数
	+ prehistoric counting（英语：）
* numeral systems（英语：）
	+ 數字系統列表（英语：）

 |
|  |
| 其他文化 | 
* 伊斯蘭黃金時代的數學
* 巴比伦数学
* 中國算學
* 古埃及数学
* 印加人數學（英语：）
* 印度数学
* 和算

 |
|  |
|  **希臘主题** ·  **數學主题** |

 |

 |