查看“︁角平分線定理”︁的源代码

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

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

== 历史 ==
内角平分线定理及其逆定理出现在[[古希腊数学|古希腊数学家]][[欧几里得]]的《[[几何原本]]》的第六卷命题三。至于外角平分线定理及其逆定理，古希腊数学家[[帕普斯]]直接采纳了该命题的结论，但没有给出证明。近代[[苏格兰]]数学家{{le|罗伯特·西姆松|Robert Simson}}将内、外角平分线定理视为两个命题，而[[英国]]数学家[[奥古斯塔斯·德摩根]]、[[苏联]]数学家{{link-ru|德米特里·伊万诺维奇·别列标尔金|Перепёлкин, Дмитрий Иванович|德米特里·别列标尔金}}等则视二者为一统的角平分线定理。<ref name=heath>{{cite book|last=Heath|first=Thomas L.|author-link=托马斯·希思|title=''The Thirteen Books of Euclid's Elements''|url=https://classicalliberalarts.com/resources/EUCLID_ENGLISH_2.pdf|volume=II|year=1908|publisher=Cambridge University Press|location=Cambridge|page=197|language=en|access-date=2023-06-24|archive-date=2022-02-02|archive-url=https://web.archive.org/web/20220202052105/https://classicalliberalarts.com/resources/EUCLID_ENGLISH_2.pdf|dead-url=no}}</ref><ref name=perepelkin>{{cite book|author={{link-ru|德米特里·伊万诺维奇·别列标尔金|Перепёлкин, Дмитрий Иванович|别列标尔金}}|others=马忠林 (译)|title=初等几何学教程 上卷|location=北京|publisher=高等教育出版社|year=1955|page=134-136}}</ref>

== 證明 ==
内、外角平分线定理及逆定理均有多种证明方法。<ref>{{cite web|url=https://www.cut-the-knot.org/triangle/AngleBisectorTheorem.shtml|title=Angle Bisector Theorem|language=en|website=Cut the Knot|access-date=2023-06-24|archive-date=2023-06-17|archive-url=https://web.archive.org/web/20230617081733/https://www.cut-the-knot.org/triangle/AngleBisectorTheorem.shtml|dead-url=no}}</ref><ref>{{cite web|url=https://www.cut-the-knot.org/Curriculum/Geometry/AngleBisectorRatio.shtml|title=Property of Angle Bisectors|language=en|website=Cut the Knot|access-date=2023-06-24|archive-date=2023-06-17|archive-url=https://web.archive.org/web/20230617131251/https://www.cut-the-knot.org/Curriculum/Geometry/AngleBisectorRatio.shtml|dead-url=no}}</ref><ref>{{cite web|url=https://www.cut-the-knot.org/Curriculum/Geometry/AngleBisectorRatio2.shtml|title=Property of Angle Bisectors II|language=en|website=Cut the Knot|access-date=2023-06-24|archive-date=2023-06-17|archive-url=https://web.archive.org/web/20230617081734/https://www.cut-the-knot.org/Curriculum/Geometry/AngleBisectorRatio2.shtml|dead-url=no}}</ref><ref>{{cite web|url=https://www.cut-the-knot.org/Curriculum/Geometry/GeoGebra/AngleBisectorTheorem.shtml|title=A Property of Angle Bisectors III|language=en|website=Cut the Knot|access-date=2023-06-24|archive-date=2023-06-17|archive-url=https://web.archive.org/web/20230617081735/https://www.cut-the-knot.org/Curriculum/Geometry/GeoGebra/AngleBisectorTheorem.shtml|dead-url=no}}</ref><ref>{{cite web|url=https://www.cut-the-knot.org/Curriculum/Geometry/GeoGebra/AngleBisectorHubert.shtml|title=Property of Internal Angle Bisector - Hubert Shutrick's PWW|language=en|website=Cut the Knot|access-date=2023-06-24|archive-date=2023-06-17|archive-url=https://web.archive.org/web/20230617081735/https://www.cut-the-knot.org/Curriculum/Geometry/GeoGebra/AngleBisectorHubert.shtml|dead-url=no}}</ref><ref name=amarasinghe>{{cite journal|last=Amarasinghe|first=G. W. I. S.|title=On the standard lengths of angle bisectors and the angle bisector theorem|journal=''Global Journal of Advanced Research on Classical and Modern Geometries''|volume=1|issue=1|year=2012|page=15-27|language=en|url=http://www.geometry-math-journal.ro/pdf/Volume1-Issue1/ON%20THE%20STANDARD%20LENGTHS%20OF%20ANGLE%20BISECTORS%20AND%20THE%20ANGLE%20BISECTOR%20THEOREM.pdf|access-date=2023-06-24|archive-date=2022-06-18|archive-url=https://web.archive.org/web/20220618015305/http://geometry-math-journal.ro/pdf/Volume1-Issue1/ON%20THE%20STANDARD%20LENGTHS%20OF%20ANGLE%20BISECTORS%20AND%20THE%20ANGLE%20BISECTOR%20THEOREM.pdf|dead-url=no}}</ref>以下列出欧几里得《几何原本》采用的思路，以及将该思路推广至外角平分线的证法。<ref name=heath/><ref name=perepelkin/>
===内角平分線===
[[File:内角平分线定理证明.svg|thumb|250px|<math>\angle \alpha = \angle \beta</math><math>\;\Leftrightarrow\;</math><math>AE=AC</math><math>\;\Leftrightarrow\;</math><math>\tfrac{DB}{DC} = \tfrac{AB}{AE} = \tfrac{AB}{AC}</math>]]
在 <math>\triangle ABC</math> 中，在 <math>BC</math> 边上任取一点 <math>D</math> 。过点 <math>C</math> 做 <math>AD</math> 的[[平行线]]，与 <math>\overline {BA}</math> 的延长线相交于点 <math>E</math> 。
:<math>\angle BAD = \angle AEC</math>
:<math>\angle CAD = \angle ACE</math>
:<math>\triangle DBA</math> [[∼|<math>{\color{Blue}\sim}</math>]] <math>\triangle CBE</math><math>\;\Rightarrow\;</math><math>{DB \over DC}={AB \over AE}</math>

'''證内角平分线定理'''
:<math>\angle BAD = \angle CAD</math><math>\;\Rightarrow \;</math><math>\angle AEC = \angle ACE</math><math>\;\Rightarrow \;</math><math>\triangle ACE</math> 为[[等腰三角形]]<math>\;\Rightarrow \;</math><math>AC = AE</math><math>\;\Rightarrow \;</math><math>{DB \over DC} = {AB \over AE} = {AB \over AC}</math>

'''證内角平分线逆定理'''
:<math>AC = {AB \cdot DC \over DB} = AE</math><math>\;\Rightarrow \;</math><math>\triangle ACE</math> 为等腰三角形<math>\;\Rightarrow \;</math><math>\angle AEC = \angle ACE</math><math>\;\Rightarrow \;</math><math>\angle BAD = \angle CAD</math>

===外角平分線===
[[File:外角平分线定理证明.svg|thumb|250px|<math>\angle \alpha = \angle \beta</math><math>\;\Leftrightarrow\;</math><math>AE=AC</math><math>\;\Leftrightarrow\;</math><math>\tfrac{DB}{DC} = \tfrac{AB}{AE} = \tfrac{AB}{AC}</math>]]

在 <math>\triangle ABC</math> 中，令 <math>AB > AC</math> 。在 <math>\overline {BC}</math> 的延长线上取一点 <math>D</math> 。过点 <math>C</math> 做 <math>AD</math> 的平行线，与 <math>BA</math> 边相交于点 <math>E</math> 。在 <math>BA</math> 的延长线上任取一点 <math>F</math> 。
:<math>\angle FAD = \angle AEC</math>
:<math>\angle CAD = \angle ACE</math>
:<math>\triangle DBA \sim \triangle CBE</math><math>\;\Rightarrow\;</math><math>{DB \over DC}={AB \over AE}</math>

'''證外角平分线定理'''

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

:<math>\angle FAD = \angle CAD</math><math>\;\Rightarrow \;</math><math>\angle AEC = \angle ACE</math><math>\;\Rightarrow \;</math><math>\triangle ACE</math> 为[[等腰三角形]]<math>\;\Rightarrow \;</math><math>AC = AE</math><math>\;\Rightarrow \;</math><math>{DB \over DC} = {AB \over AE} = {AB \over AC}</math>

'''證外角平分线逆定理'''

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

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

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

== 參見 ==
*[[角平分線長公式]]
*三角形[[内心]]

== 参考文献==
{{reflist}}

{{古希臘數學}}

[[Category:几何定理]]
[[Category:初等几何]]
[[Category:三角形几何]]