モーリーの定理

モーリーの定理

モーリーの定理とは、三角形に関する幾何学の定理である。1899年にアメリカの数学者フランク・モーリーによって証明された。

概要

任意の三角形においてそれぞれの内角の三等分線を引く。各辺に近い線同士の交点を P, Q, R とすると、三角形PQR は正三角形になる。この正三角形をモーリーの三角形という。

内角の三等分線の他に外角の三等分線などでも同様に正三角形を作ることができる。

証明

モーリーの定理にはいくつかの証明があるが、その多くが簡単ではない。多くの証明法が、最初に正三角形を定義し、その正三角形の頂点が三等分線の交点上にあることを示すものである。

証明の例

ここでは、三角関数を利用した証明を挙げる。

a, b, c を以下のように定義する。

• $\widehat {BAC} = 3 \times a$
• $\widehat {ABC} = 3 \times b$
• $\widehat {ACB} = 3 \times c$

$\widehat {BAC} + \widehat {ABC} + \widehat {ACB} = 180^\circ$

なので

a + b + c = 60

計算を簡単にするために外接円の半径を1とおくと、3辺の長さは

• AB = 2 sin(3c)
• BC = 2 sin(3a)
• AC = 2 sin(3b)

となる。

三角形 BPC に正弦定理を適用すると、

$\frac {BP}{\sin (c)} = \frac {BC}{\sin (180 - b - c)} = \frac {2 \sin (3a)}{\sin (b + c)} = \frac {2 \sin (3a)}{\sin (60 - a)}$

$BP = \frac {2 \sin (3a) \sin (c)}{\sin (60 - a)}$

sin(3a) を以下のように変形する。

$\begin{align} \sin(3a) & = 3\sin(a) - 4\sin^3(a)\\ & = 4\sin(a)\left(\left(\frac{\sqrt{3}}{2}\right)^2-\sin^2(a)\right)\\ & = 4\sin(a)(\sin^2(60) - \sin^2(a))\\ & = 4\sin(a)(\sin(60) + \sin(a))(\sin(60) - \sin(a))\\ & = 4\sin(a) \times 2\sin \left(\frac{60 + a}{2}\right)\cos \left(\frac{60 - a}{2}\right) \times 2\sin \left(\frac{60 - a}{2}\right)\cos \left(\frac{60 + a}{2}\right)\\ & = 4\sin(a)\sin(60 + a)\sin(60 - a) \end{align}$

この式を上の BP の式に代入すると

BP = 8 sin(a) sin(c) sin(60+a)

となる。同様に、

BR = 8 sin(a) sin(c) sin(60+c)

三角形 BPR に余弦定理を適用すると

PR² = BP² + BR² - 2BPBRcos(b)

この式に上で得た BP, BR の値を代入すると

PR² = 64 sin²(a) sin²(c) (sin²(60+a) + sin²(60+c) - 2 sin(60+a) sin(60+c) cos(b))

ここで (60+a)+(60+c)+b=120+(a+b+c)=180 である。3つの角が (60+a), (60+c), b の三角形に正弦定理と余弦定理を適用すると、

sin²(b) = sin²(60+a) + sin²(60+c) - 2 sin(60+a) sin(60+c) cos(b)

よって、

PR = 8sin(a)sin(b)sin(c)

同様に

PQ = 8sin(b)sin(a)sin(c)

QR = 8sin(a)sin(c)sin(b)

これより

PR = PQ = QR

となり、3辺が等しいことが示された。