モーリーの定理

モーリーの定理とは、初等幾何学における三角形についての定理である。1899年にアメリカの数学者によって証明された。
概要.
任意の三角形においてそれぞれの内角の三等分線を引く。各辺に近い線同士の交点を P, Q, R とすると、三角形PQR は正三角形になる。この正三角形をモーリーの三角形という。
内角の三等分線の他に外角の三等分線などでも同様に正三角形を作ることができる。
証明.
モーリーの定理にはいくつかの証明があるが、その多くが簡単ではない。多くの証明法が、最初に正三角形を定義し、その正三角形の頂点が三等分線の交点上にあることを示すものである。
証明の例.
ここでは、三角関数を利用した証明を挙げる。
 を以下のように定義する。
なので
計算を簡単にするために外接円の半径を とすると、3辺の長さは
となる。
 に正弦定理を適用すると、
 を以下のように変形する。
この式を上の の式に代入すると
となる。同様に、
 に余弦定理を適用すると
この式に上で得た の値を代入すると
ここで である。内角が の三角形に正弦定理と余弦定理を適用すると、
同様に
これより
となり、3辺が等しいことが示された。