MathLabs
定理証明済み

角の二等分線定理

内容

△ABC\triangle ABC において、角 AA の内角の二等分線が辺 BCBC と点 DD で交わるならば、BDDC=ABAC\dfrac{BD}{DC} = \dfrac{AB}{AC} が成り立つ。

なぜ正しいのか?

これは角に関する情報(ADAD が角 AA を二等分すること)を対辺上の長さの比へと直接変換し、△ABC\triangle ABC の三辺の長さだけから二等分線の足の位置を求められるようにする。

証明の概略

ステップ1(頂点 AA からの共通の高さを用いて面積を比較する)。三角形 △ABD\triangle ABD と △ACD\triangle ACD は頂点 AA から直線 BCBC への高さを共有するので、その面積の比は BCBC 上の底辺の比に等しい:S(△ABD)S(△ACD)=BDDC\dfrac{S(\triangle ABD)}{S(\triangle ACD)} = \dfrac{BD}{DC}。

ステップ2(ABAB と ACAC を底辺として同じ二つの面積を比較する)。DD は角 AA の二等分線上にあるので、DD から角の二辺への垂線の長さは等しい:d(D,AB)=d(D,AC)d(D, AB) = d(D, AC)。△ABD\triangle ABD と △ACD\triangle ACD の底辺として ABAB と ACAC をとれば、この等しい二つの垂線がそれぞれの高さになるから、面積の比はこれら底辺の比にも等しい:S(△ABD)S(△ACD)=ABAC\dfrac{S(\triangle ABD)}{S(\triangle ACD)} = \dfrac{AB}{AC}。

ステップ3(二つの式を等置する)。両方の右辺が同じ面積比に等しいので、ステップ1とステップ2を等置すれば直ちに BDDC=ABAC\dfrac{BD}{DC} = \dfrac{AB}{AC} が得られ、証明が完了する。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited
  2. Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)