モーリーの定理は三角関数なしで証明できる？高校1年までの数学範囲で考える証明方法

モーリーの定理は、三角形の各頂点の角を3等分してできる3本の直線の交点が正三角形を作るという非常に美しい幾何学の定理です。見た目が単純な図形問題である一方、証明には三角関数を使う方法も多く、高校数学の範囲で証明できるのか疑問に感じる人もいます。

この記事では、モーリーの定理をsin・cos・tanなどの三角関数を使わずに証明できる可能性や、高校1年程度までの幾何の知識で考える場合のポイントについて解説します。

モーリーの定理とはどのような定理か

モーリーの定理とは、任意の三角形において、3つの内角をそれぞれ3等分する線を引いたとき、その隣り合う3本の交点が作る三角形が必ず正三角形になるという定理です。

例えば、三角形ABCの角A、角B、角Cをそれぞれ3等分すると、頂点付近から引いた角の三等分線が交わります。その交点3つを結ぶと、必ず3辺が等しい正三角形になります。

1910年にイギリスの数学者フランク・モーリーによって発見されたこの定理は、初等幾何の中でも特に美しい結果として知られています。

一般的なモーリーの定理の証明では、三角関数を利用する方法がよく使われます。特に、正弦定理や三角関数の加法定理を用いることで、角度の関係から辺の長さを比較します。

例えば、交点によってできた三角形の角度を調べ、正三角形の条件である60度になることを示したり、3辺の長さが等しいことを計算によって証明したりします。

この方法は高校数学の三角関数を学んだ後であれば比較的整理しやすいですが、高校1年生までの範囲では直接利用できません。

結論から言うと、三角関数を使わない証明は存在します。ただし、それは高校1年までに習う基本的な図形知識だけで簡単に導けるという意味ではありません。

三角関数を使わない証明では、補助線を引いたり、特別な図形を作ったりして、合同条件や相似、円の性質などを利用します。

例えば、正三角形を意図的に作って回転移動を利用する方法や、角度の関係から新しい三角形を構成して合同を示す方法があります。

高校1年程度までの幾何の知識でモーリーの定理を考える場合、主に以下のような性質を利用します。

これらの知識だけでも証明の構造を作ることは可能ですが、モーリーの定理は非常に巧妙な補助構成を必要とするため、普通の高校1年の図形問題よりかなり難しい内容になります。

モーリーの定理が難しい理由は、単純な角度追跡だけでは正三角形になることを直接示しにくい点にあります。

角の三等分によって生じる角度は、例えば元の三角形の角をA、B、CとするとA/3、B/3、C/3になります。このような複雑な角度関係を扱うため、通常は三角関数による計算が便利です。

三角関数を使わない場合は、計算の代わりに図形そのものを工夫して、隠れた正三角形や合同な図形を発見する必要があります。

高校1年までの範囲で挑戦するなら、「計算で証明する」のではなく、「新しい図形を作って性質を利用する」という発想が重要になります。

例えば、元の三角形の中に正三角形を配置すると、60度の角が自然に生まれます。その60度と三等分された角を組み合わせることで、合同な三角形を見つけることができます。

このような方法は、数学オリンピックなどでも使われる初等幾何的な考え方であり、三角関数を使わない美しい証明につながります。

モーリーの定理は、sin・cos・tanなどの三角関数を使わなくても証明することは可能です。

ただし、高校1年までの基本的な知識だけで簡単に証明できる定理ではなく、補助線や図形の構成を工夫する高度な幾何の発想が必要になります。

三角関数を使う証明は計算によって整理する方法、使わない証明は図形の美しさを利用する方法と言えます。モーリーの定理は、同じ数学の事実でも複数の視点から証明できることを示す代表的な例です。