シムソンの定理とその2通りの証明
三角形 と点 がある。 から直線 に下ろした垂線の足を とおく。
このとき, が三角形 の外接円上にあるならば, は同一直線上にある。この直線をシムソン線と呼ぶ。
シムソンの定理の構図は覚えておくと数学オリンピックでまれに役立ちます。
シムソンの定理とシムソンの定理の逆の証明を二通り解説します。
シムソンの定理の特殊な場合
シムソンの定理とその逆の証明1
シムソンの定理とその逆の証明2
シムソンの定理の特殊な場合
・自明な場合1:
が三角形の頂点と一致する場合。例えば の場合, は と一致するので,シムソンの定理は成り立ち,シムソン線は を通り に垂直な直線です。
・自明な場合2:
が三角形の頂点のちょうど反対側にある場合。例えば が三角形 の外接円の直径となる場合(このときの を とおく)。 となり,シムソンの定理は成り立ち,シムソン線は直線 となります。
・シムソンの定理の証明を考えます。以上の自明な場合を除くと,対称性より が弧 (の内点)にある場合のみ考えればOKです。このとき, と は平行なので は円の外側にあり, と は平行なので は円の内側にあります。
ついでに以下のシムソンの定理の逆も証明します。
上記の設定において が同一直線上にあるなら は三角形 の外接円上にある。
シムソンの定理とその逆の証明1
まずは図形的に証明します。
直角二つで同一円周上の4点が作られることに注目します。シムソンの定理の条件を言い換えて定理と逆を同時に証明します。
まず, が三角形 の外接円上にある
⇔
また, が同一直線上にある
⇔
この2つが互いに必要十分条件であることを言えばよい。
円周角の定理の逆より は同一円周上にあるので,
同様に は同一円周上にあるので,
以上2つの式より,
となり証明完了。
シムソンの定理とその逆の証明2
計算を使えば場合分けは不要です。直交座標では同一円周上にあるという条件が扱いにくいので複素数平面で考えます。複素数平面に慣れていないと多少計算に苦労しますが,やるべきことはは一本道です。
三角形 の外接円の半径は としても一般性を失わない。 とおく。 に注意する。
から に下ろした垂線の足 の複素座標は,
である。(注)
同様に, の座標は,
の座標は,
よって,
したがって, が同一直線上にある
⇔ が実数
⇔
⇔
ここで, などに注意して両辺を適当に割り算すると,
上記の条件
⇔
⇔
⇔
⇔
となり証明完了。
注の部分は基本的な計算で確認できます。補題として覚えておくとよいでしょう。詳しくは,複素数平面の基本的な公式集の一番下側。
図形的な証明の方が美しいですが,計算による証明の方が機械的です。どちらも強くなりたいものです。