モーリーの定理

モーリーの定理：「３角形ABCの各内角の3等分線の交点（最初に出会う３点）が作る3角形DEFは，常に正3角形である」

1899年にフランク・モーリーによって発見されたこの定理の証明はとても難解です．一般角の3等分自体が，定規とコンパスでは作図不可能ですから，この定理の証明も困難なことが予想されます．この定理の背景には，「一般角度の3等分」という不可能作図があるので，この定理の存在自体が盲点だったのでしょう．ユークリッドの時代に発見されていても良さそうな初等幾何の定理なのに，この発見は最近百年の出来事です．

■Frank Morlay（1860年英国生まれ．ケンブリッジ卒業．1887年より米国定住）学生時代から始まるThe Edcational Timesへの数学問題（主として幾何学）掲載は，50年にわり，60題を越す．1900年，ジョンズ・ホプキンス大，数学教授
米数学協会Bulletinの編集，ジョンズ・ホプキンス大では the American Journal of Mathematicsの編集を30年間務めた．

http://jwilson.coe.uga.edu/EMT668/EMAT6680.F99/Estes/morley/morley.html

■モーリーの定理の証明は，モーリー後も，いろいろな人が，さまざまな方法で証明しました．三角関数を使ってM. Satyanarayana，初等幾何学的にN. Naranjengar(1909), Alain Connes(1998), John Conway などなど...．
数学では，定理を発見し証明するのは価値がありますが，すでに証明されている定理でも，別の方法で証明することは重要です．特に，その証明法が飾りを削ぎ落し定理の本質を暴き出すものであれば非常に価値が高い．
皆様もこの定理の証明に挑戦ください．

■ Taylor and Marr（1914）は、2つの幾何学的証明と1つの三角関数を使った証明を提示しました．
この定理を広げて，さらに美しい驚くべき結果も得られています．内部の正３角形に加えて、外部に4つの追加の正３角形があります（Wells 1991）．

http://mathworld.wolfram.com/MorleysTheorem.html