シムソンの定理

幾何学の分野には、視覚的に美しい性質を持つ定理が数多く存在します。その一つがシムソンの定理です。この定理は、ある三角形とその外接円上の点に関する驚くべき事実を示しています。

具体的には、平面上の三角形ABCを考え、その外接円周上に任意の点Pをとります。この点Pから、三角形の各辺である辺BC、辺CA、辺ABに対してそれぞれ垂線を下ろします。これらの垂線が各辺と交わる点、すなわち垂線の足は、通常はバラバラの位置にありますが、シムソンの定理によれば、これらの三つの垂線の足は必ず一直線上に並ぶのです。この特別な直線のことを、シムソン線（Simson Line）と呼びます。

この定理の名称は、スコットランドの数学者ロバート・シムソンに由来するとされています。しかし、歴史的な研究によると、この幾何学的な性質を最初に公に発表したのは、同じくスコットランドの数学者であるウィリアム・ウォレスであり、1797年のことでした。シムソンがこの定理にどのように関わったのか、明確な証拠は今日まで見つかっていません。そのため、「ウォレス＝シムソンの定理」と呼ばれることもありますが、一般にはシムソンの定理として広く知られています。

シムソン線は、点Pの位置によって様々な興味深い性質を示します。例えば、点Pが三角形ABCのいずれかの頂点（例えばA）に一致する場合、そのシムソン線は点P（A）から対辺BCに下ろした垂線そのものとなります。また、もし点Pを外接円の中心Oに対して、三角形のいずれかの頂点と対称な位置に取ると、その点Pに対応するシムソン線は、元の三角形の一つの辺と完全に一致します。

外接円上に二つの異なる点PとP'があるとき、それぞれの点に対応するシムソン線が互いになす角は、外接円の中心Oに対して点PとP'がなす中心角∠POP'のちょうど半分に等しいという性質があります。この性質の特別な場合として、もしPとP'が外接円の直径の両端にある場合、つまりPとP'が外接円の中心Oに対して点対称の位置にある場合、それらのシムソン線は互いに直交します。この直交する二つのシムソン線の交点は、元の三角形の九点円上に位置することが知られています。

さらに、三角形ABCの垂心をHとすると、点Pに対応するシムソン線は、常に点Pと垂心Hを結んだ線分PHのちょうど中点を通ります。これはシムソン線が三角形の中心的な点とも深く関わっていることを示唆しています。

共通の外接円を持つ複数の三角形が存在する場合、外接円上の同じ点Pに対してそれぞれの三角形から得られるシムソン線が互いになす角は、点Pの位置によらず常に一定の値をとるという性質も確認されています。

シムソン線は、点Pが外接円上を連続的に動くときに描かれる包絡線としても興味深い図形を生み出します。この包絡線は、デルトイドと呼ばれる内サイクロイドの一種となります。このデルトイドは、ドイツの数学者ヤコブ・シュタイナーにちなんでスタイナー（シュタイナー）のデルトイドとも呼ばれます。

また、グリーンヒル-ディクソンの定理として知られる性質もシムソン線に関連しています。三角形とその内接円・外接円を共有する無限に多くの三角形が存在することがポンスレの閉形定理により示されていますが、これらの三角形全てにおいて、外接円上の同じ点Pに対応するシムソン線は、全て同一の定点を通るという驚くべき事実がグリーンヒルとディクソンによって発見されました。この性質は、円に内接する多角形（双心多角形）に拡張した場合でも同様に成り立ちます。

シムソンの定理自体の証明は、初等幾何学の手法や、複素数を用いた解析的な手法など、いくつかの方法で与えられます。これらの証明は、定理の美しさをさらに際立たせるものです。

シムソンの定理は、多くの数学者によって様々な方向へ一般化されてきました。例えば、E. M. ラングレーによって円に内接する任意のn角形へと拡張する試みがなされています。円に内接するn角形とその外接円上の点Pを考えたとき、そのn個の頂点からn-1個を選んでできる多角形それぞれに対するPのシムソン線（再帰的に定義される）と、Pから元のn角形の各辺に下ろした垂線の足が、すべて共線となることが示され、これをn角形におけるシムソン線と定義できます。

他にも、円錐曲線上での点や直線に関する直交射影や交点の共線性、配景（デザルグの定理などに関連する概念）を用いた一般化など、多くの拡張が知られています。これらの一般化は、シムソンの定理が持つ幾何学的な構造が、より広い数学的な枠組みの中で理解できることを示しています。

シムソンの定理とその様々な性質、そして豊かな一般化は、初等幾何学の奥深さを示す好例であり、多くの数学愛好家を魅了し続けています。

もう一度検索