角の二等分線の定理のソースを表示

{{Infobox mathematical statement|name=角の二等分線の定理|statement=三角形の1つの[[二等分線|内角のニ等分線]]と、その角と向かい合う[[辺]]（対辺）との交点が、対辺をその角をはさむ2つの辺の長さの[[比]]と等しい比に内分する。|field=[[ユークリッド幾何学]]}}

[[幾何学|初等幾何学]]における'''角の二等分線の定理'''（かくの にとうぶんせんのていり、{{Lang-en-short|Angle bisector theorem}}）は、三角形の内角および外角の二等分線と線分の長さの比について述べた[[定理]]である。

== 内角における角の二等分線の定理 ==
[[ファイル:Triangle_ABC_with_bisector_AD.svg|右|サムネイル|240x240ピクセル|{{math|∠ ''BAD''}} = {{math|∠ ''CAD''}} ならば <math>BD : CD = AB : AC</math> が成り立つ。]]
{{math|△''ABC''}} を考える。{{math|∠ ''A''}} （内角）の二等分線が、辺{{math|''BC''}}上の点{{math|''D''}}で交わるとする。このとき、線分{{math|''BD''}}の長さと、線分{{math|''CD''}}の長さとの比は、辺{{math|''AB''}}の長さと辺{{math|''AC''}}の長さの比に等しい。すなわち

: <math>{\frac {BD} {CD}}={\frac {AB}{AC}} </math>

である。この定理の[[逆]]、すなわち「{{math|△''ABC''}} の辺{{math|''BC''}}上の点{{math|''D''}}について、線分{{math|''BD''}}の長さと、線分{{math|''CD''}}の長さとの比が、辺{{math|''AB''}}の長さと辺{{math|''AC''}}の長さの比に等しいならば、直線{{math|''AD''}}は{{math|∠ ''A''}} の二等分線である」も成り立つ。

この定理の一般化として、{{math|''D''}}が辺{{math|''BC''}}上の点ならば

: <math>{\frac {BD} {CD}}={\frac {AB  \sin \angle DAB}{AC \sin \angle DAC}} </math>

が成り立つ。

角の二等分線の定理は[[日本]]の[[数学 (教科)|数学教育]]では[[高等学校]]の[[数学A]]の「図形の性質」で扱われるが、[[中学校]]の「[[図形の相似]]」単元の応用でも扱われる場合がある<ref>{{Cite web |title=角の二等分線と比 |url=https://jhs.yorikuwa.com/mm3511/ |website=教科書より詳しい中学数学 |date=2022-08-29 |access-date=2023-12-25 |language=ja |last=教科書より詳しい中学数学}}</ref>。

== 証明 ==
内角における角の二等分線の定理の[[証明 (数学)|証明]]にはさまざまな方法が存在する。そのうちのいくつかを以下に示す。
以下、特に断りのない限り {{math|△''ABC''}}で{{math|∠ ''A''}} （内角）の二等分線と辺 {{math|''BC''}} の交点を点 {{math|''D''}} とする。

=== 相似な三角形を利用した証明 1 ===
[[ファイル:内角平分线定理证明.svg|右]]
点 {{math|''C''}} を通り、辺{{math|''AD''}}に平行な直線と辺{{math|''AB''}}の延長の交点を {{math|''E''}} とする。
このとき、平行線の同位角から <math>\angle BAD = \angle BEC , \angle BDA = \angle BCE</math>、共通の角より<math>\angle ABD = \angle CBE</math>である。これらのうち2つから、<math>\triangle BAD \sim \triangle BCE</math> となる。このことから、
: <math>{\frac {AB} {AE}}={\frac {BD}{DC}} </math>
（このことは{{仮リンク|平行線と線分の比の定理|en|Intercept theorem}}からも証明できる）

また、 <math>\angle BAD = \angle CAD</math> かつ<math>AD \parallel CE</math>より<math>\angle AEC = \angle ACE</math> だから、<math>AC=AE</math> である。よって
: <math>{\frac {AB} {AC}}={\frac {BD}{DC}} </math>

=== 相似な三角形を利用した証明 2 ===
[[ファイル:Bisekt.svg|右|300x300ピクセル]]
図で、点 {{mvar|B}} から直線 {{mvar|AD}} に下ろした[[垂直|垂線]]の足を {{math|''B''<sub>1</sub>}} とし、点 {{mvar|C}} から直線 {{mvar|AD}} におろした垂線の足を{{math|''C''<sub>1</sub>}} とする。

{{math|△''AB''B''<sub>1</sub>''}}と{{math|△''AC''C''<sub>1</sub>''}}において、

<math>\angle BAB_1 = \angle CAC_1</math> 、<math>\angle AB_1B = \angle AC_1C = 90^\circ</math>であるから

<math>\triangle  ABB_1 \sim \triangle ACC_1</math> である。

したがって、<math>{\frac {AB} {AC}} = {\frac {BB_1}{CC_1}}</math> である。

さらに、<math>\triangle BB_1D \sim \triangle CC_1D</math>であるから

<math> {\frac {BB_1}{CC_1}} =  {\frac {BD}{CD}}</math>

前の式と合わせて、

<math>{\frac {BD} {DC}}={\frac {AB}{AC}} </math>

点 {{mvar|D}} を、点 {{mvar|B}} や点 {{mvar|C}} と一致しない辺 {{mvar|BC}} 上の点とすると

: <math>{\frac {BD} {CD}}= {\frac {BB_1}{CC_1}} = \frac {AB \sin \angle BAD}{AC \sin \angle CAD}</math>（一般化）

=== [[正弦定理]]を利用した証明 ===
 {{math|△''ABD''}} と {{math|△''ACD''}}に正弦定理を用いることで、{{NumBlk|:|<math>{\frac {AB} {BD}} = {\frac {\sin \angle ADB} {\sin \angle DAB}} </math>|{{EquationRef|1}}}}{{NumBlk|:|<math>{\frac {AC} {CD}} = {\frac {\sin \angle ADC} {\sin \angle DAC}} </math>|{{EquationRef|2}}}}{{math|∠ ''ADB''}} と {{math|∠ ''ADC''}}は補角（大きさの和が180度）だから、

: <math>{{\sin \angle ADB}} = {{\sin \angle ADC}} </math>

<math>\angle DAB = \angle DAC</math> だから、式({{EquationNote|1}})と({{EquationNote|2}})の右辺は等しい。したがって、

: <math>{\frac {BD} {CD}}={\frac {AB}{AC}} </math>

辺{{math|''BC''}}上に点{{math|''D''}}があるとき、その位置に関係なく、式({{EquationNote|1}})と({{EquationNote|2}})は次のように変形できる。

: <math> {\frac {AB} {BD} \sin \angle DAB = \sin \angle ADB}</math>
: <math> {\frac {AC} {CD} \sin \angle DAC = \sin \angle ADC}</math>

{{math|∠ ''ADB''}} と {{math|∠ ''ADC''}}は補角だから、式({{EquationNote|1}})と({{EquationNote|2}})の右辺が等しいので 

: <math> {\frac {AB} {BD} \sin \angle DAB = \frac {AC} {CD} \sin \angle DAC}</math>、

すなわち<math>{\frac {BD} {CD}}={\frac {AB  \sin \angle DAB}{AC \sin \angle DAC}} </math>（この定理の一般化）を得る。

=== 三角形の面積を利用した証明 ===
[[ファイル:Angle_bisector_proof.svg|サムネイル|<math display="inline">\alpha = \frac{\angle BAC}{2} = \angle BAD = \angle CAD</math>]]
図で、{{math|△''BAD''}}と{{math| △''CAD''}}の面積比を調べる。

: <math>
  \frac{\triangle ABD}{\triangle ACD} =
  \frac{\frac{1}{2}BD h}{\frac{1}{2}CD h} = \frac{BD}{CD}
</math>および

<math>
  \frac{\triangle ABD}{\triangle ACD} =
  \frac{\frac{1}{2} AB AD\sin\alpha}{\frac{1}{2} AC AD\sin\alpha} =
  \frac{AB}{AC}
</math>から

: <math>
\frac{BD}{CD} = \frac{AB}{AC}
</math>

== 外角における角の二等分線の定理 ==
[[ファイル:内外角平分线定理.svg|サムネイル|<math>\angle \gamma = \angle \delta \Leftrightarrow \tfrac{EB}{EC} = \tfrac{AB}{AC}</math>]]
{{math|△''ABC''}} で、 {{math|AB ≠ AC}} であるとき、 外角{{math|''A''}} の二等分線と辺 {{math|''BC''}} との交点を {{math|''E''}} とすると
: <math>{\frac {BE} {CE}}={\frac {AB}{AC}} </math>
が成り立つ（外角における角の二等分線定理）。これについても、逆が成り立つ。

=== 証明 ===
[[ファイル:外角平分线定理证明.svg|右|フレームなし|300x300ピクセル]]
図のように、 {{math|AB ≠ AC}} である {{math|△''ABC''}} のとき、 外角{{math|''A''}}の二等分線と辺 {{math|''BC''}} との交点を {{math|''D''}}、点 {{math|''C''}} を通り辺ADに平行な直線と辺{{math|''AB''}}との交点を {{math|''E''}} とし、辺 {{math|''BA''}} の延長上に点 {{math|''F''}} をとる。
このとき、<math>AD \| EC</math>から <math>\triangle BAD \sim \triangle BEC</math> であり
: <math>{\frac {BD} {CD}}={\frac {AB}{AE}} </math>
平行線の同位角から <math>\angle AEC = \angle FAD</math> 、平行線の錯角から <math>\angle ACE = \angle CAD</math> が成り立つ。したがって、<math>\angle FAD = \angle CAD</math>であるから、<math>\angle AEC = \angle ACE</math>となり、 <math>AC=AE</math> が成り立つ。このことから、
: <math>{\frac {BD} {CD}}={\frac {AB}{AC}} </math>

== 歴史 ==
内角における角の二等分線の定理は、『[[ユークリッド原論]]』の第6巻の命題3として登場する。 {{harvtxt|Heath|1956|page=197 (vol. 2)}}によると、外角の二等分線についてのこれに対応する記述は[[ロバート・シムソン]]によって与えられ、[[パップス]]は証明なしにこの結果を仮定したと指摘した。Heathは続けて、[[オーガスタス・ド・モルガン]]は2つの定理を次のように組み合わせる必要があると提案したと述べた<ref>{{cite book|洋書 |last=Heath |first=Thomas L. |author-link=T. L. Heath |title=The Thirteen Books of Euclid's Elements |url=https://archive.org/details/thirteenbooksofe00eucl |url-access=registration |edition=2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] |year=1956 |publisher=Dover Publications |location=New York |ref=harv}}

: (3 vols.): {{ISBN|0-486-60088-2}} (vol. 1), {{ISBN|0-486-60089-0}} (vol. 2), {{ISBN|0-486-60090-4}} (vol. 3). Heath's authoritative translation plus extensive historical research and detailed commentary throughout the text.</ref>。

: ''If an angle of a triangle is bisected internally or externally by a straight line which cuts the opposite side or the opposite side produced, the segments of that side will have the same ratio as the other sides of the triangle; and, if a side of a triangle be divided internally or externally so that its segments have the same ratio as the other sides of the triangle, the straight line drawn from the point of section to the angular point which is opposite to the first mentioned side will bisect the interior or exterior angle at that angular point.''

== 応用 ==
この定理は、次のようなことがらの議論で使用される。

* 三角形の[[内接円|内心]]と線分の長さ / 三角形の内心の座標
* [[アポロニウスの円]]

== 脚注 ==
<references />

== 参考文献 ==

* G.W.I.S Amarasinghe: [https://web.archive.org/web/20150113000335/http://gjarcmg.geometry-math-journal.ro/index/ ''On the Standard Lengths of Angle Bisectors and the Angle Bisector Theorem''], Global Journal of Advanced Research on Classical and Modern Geometries, Vol 01(01), pp.&nbsp;15 – 27, 2012

== 外部リンク ==
* [http://www.cut-the-knot.org/Curriculum/Geometry/AngleBisectorRatio.shtml A Property of Angle Bisectors] at [[cut-the-knot]]
* [http://www.khanacademy.org/math/geometry/hs-geo-similarity/hs-geo-angle-bisector-theorem/v/angle-bisector-theorem-proof Intro to angle bisector theorem] at [[Khan Academy]]

{{DEFAULTSORT:かくのにとうふんせんのていり}}<!--カテゴリの50音順-->
[[Category:数学に関する記事]]
[[Category:三角形に関する定理]]
[[Category:証明を含む記事]]
[[Category:初等幾何学]]
[[Category:初等数学]]