フランク・モーリーの定理の証明
フランクモーリーの定理:
任意の三角形 に対して,3つの角の三等分線どうしが最初にぶつかる点を とおくとき三角形 は正三角形である。
別名:モーレーの定理,Morley’s trisector theorem。
ステートメントも単純で非常に美しい定理ですが,実用的な定理ではありません。しかし, この定理の証明からは多くのことを学べます。証明を見る前にぜひトライしてみてください。
証明の道具
証明の方針
フランクモーリーの定理の証明
証明の道具
フランクモーリーの定理の証明はいくつか知られていますが,まずはどの道具を使うか考えます。
一般に図形の性質を証明する方法は大きく分けて3つあります:
- 初等幾何,図形的な性質のみで証明
- 三角関数を用いてゴリゴリ計算
- 座標またはベクトルを用いた解析幾何的アプローチ
しかし,一般的に 座標やベクトルは「直角以外の角度を扱うのが難しい」のでフランクモーリーの定理の証明には向いていません。そこで,このページでは三角関数を用いてゴリゴリ計算する方法で証明していきます。
ちなみに,図形的な性質だけでフランクモーリーの定理を証明する方法は三角形と円の幾何学という本に載っています。
証明の方針
の長さを三角形 の情報(角度,長さ)で表したときに, に関して対称であることを示せれば が言えます。そこで,三角形 に余弦定理を使いたくなります。そのためには, を三角形 の情報で表す必要があるので,三角形 に注目します。
また, 辺の情報と角度の情報が混在していると複雑になるので,辺の情報は正弦定理で角度の情報に変換します。(外接円の半径 は に関して「対称」なので扱い易い)
の形をにらんで変形三倍角の公式がひらめくとよいです。(→三倍角の公式と変形三倍角の公式)ここがこの証明一番の難所です。
フランクモーリーの定理の証明
三角形 に正弦定理を用いて を三角形 の情報で表す:
ただし,最後の変形で三角形 に正弦定理を用いた。
ここで,変形三倍角の公式:
を用いると
同様にして,
出てきた式より, が分かるので,補足1から,
が分かる。他の角も同様に求めることができ,
が分かる(→補足2)。
補足1: は,
及び,正弦定理から
という2つの式を満たす。
これを, の連立方程式とみなすと, が解になっていることが,上記の証明中の議論から分かる。
そして,それ以外の解が( の範囲で)存在しないことも分かる(1つめの式を について解いて,2つめの式に代入して変形していくと確認できる)
補足2:
例えば,
フランクモーリーは最も美しくて実用性のない初等幾何の定理の1つです。
Tag:とにかく美しい数学公式まとめ