14
高校数学解説
文献あり

シムソン線であそぼう!

2101
0

シムソンの定理・シュタイナーの定理

 まずはこの記事の主役であるシムソン線とシュタイナー線を導入します. 証明中に出てくる有向角については こちらの記事 [3]を参照してください.

シムソンの定理

三角形ABCとその外接円上に点Dをとる. Dから直線BC,CA,ABに下した垂線の足をそれぞれP,Q,Rとするとき, この3点は共線である. この直線をシムソン線(Simson line)という.

次のように角度計算できる.
QPR=QPD+DPR=QCD+DBR=ACD+DBA=0

  高校数学の美しい物語 では複素座標でも証明されています.

シュタイナーの定理

三角形ABCとその外接円上に点Dをとる. 直線BC,CA,ABに対してDと対称な点をそれぞれP,Q,Rとするとき, この3点は共線である. この直線をシュタイナー線(Steiner line)という.

シュタイナー線はシムソン線を2倍に相似拡大したものなので明らか.

シムソン線とシュタイナー線 シムソン線とシュタイナー線

シムソン線周りの構図

 この章では, シムソン線に関連する構図をいくつか紹介します. 構図と言っても数オリで使えるわけではなさそうです.

シムソン線に平行な直線

三角形ABCとその外接円上に点Dをとる. Dを通りBCに垂直な直線が外接円と再び交わる点をDとすると, ADDにおけるシムソン線に平行である.

定理1と同様にP,Q,Rを定める.
ADP=ADD=ACD=QCD=QPD=QPD
よりよい.

シムソン線に平行な直線 シムソン線に平行な直線

シムソン線と垂心

シュタイナー線と垂心

垂心をHとする三角形ABCとその外接円上に点Dをとる. このとき, Dにおけるシュタイナー線はHを通る.

定理2と同様にP,Q,Rを定め, 三角形ABCの外接円をΓとする. BC,CA,ABについてHと対称な点はΓ上にあるから, BC,CA,ABについてΓと対称な円ΓA,ΓB,ΓCはすべてHを通り, P,Q,Rはそれぞれこれらの円上にある. よって, 次が成り立つ.
QHR=QHC+CHB+BHR=QAC+BAC+BAR=CAD+BAC+DAB=0
よって, 3点Q,R,Hは共線であり, Hはシュタイナー線上にある.

垂心を通るシュタイナー線 垂心を通るシュタイナー線

 EGMO(p.59)では, 命題4は別の方法で(命題3を用いて)証明されています. 気になる方は参照してください. 命題4とは逆に, Hを通る任意の直線はある点におけるシュタイナー線になることが知られています. それが次の命題5です.

反シュタイナー点

垂心をHとする三角形ABCHを通る直線mをとる. このとき, BC,CA,ABについてmと対称な直線は外接円上の1点で交わる. この点をm反シュタイナー点(Anti-Steiner point))という.

BC,CA,ABについてHと対称な点をそれぞれHA,HB,HCとし, mと対称な直線をそれぞれmA,mB,mCとする. mAΓHA以外の交点をDとすると, mDにおけるシュタイナー線である. よって, DHB,DHCはそれぞれCA,ABについてmと対称な直線であるから, mB,mCDを通る. よって主張は示された.

反シュタイナー点 反シュタイナー点

 これを使うとEGMOの問題が瞬殺できます.

EGMO2017-6

どの辺の長さも相異なる鋭角三角形ABCがある. 三角形ABCの重心Gと外心Oを辺BC,CA,ABに関して対称移動させた点をそれぞれG1,G2,G3O1,O2,O3とする. このとき, 三角形G1G2C,G1G3B,G2G3A,O1O2C,O1O3B,O2O3A,ABCの外接円は共通の点を通ることを示せ.

 反シュタイナー点についてより詳しく知りたい方は こちらの資料 を参照してください.

シムソン線とミケル点

 さて, 次はミケル点の登場です.

ミケル点からの垂線の足

完全四辺形をなす4直線m1,m2,m3,m4があり, これらのミケル点をMとする. このとき, Mからm1,m2,m3,m4に下した垂線の足P1,P2,P3,P4は共線である.

Mと3直線m1,m2,m3の作る三角形にシムソンの定理を用いてP1,P2,P3の共線がわかる. 同様の議論をもう1つの三角形に対しても行えば主張は従う.

 命題6と先ほどの命題4を合わせると, 次の定理が証明できます. これはEGMO (pp.198-200)では根軸を用いて証明されています.

ガウス・ボーデンミラーの定理

完全四辺形をなす4直線m1,m2,m3,m4がある. このとき, この4直線のうち3直線がなす三角形の垂心は4つあるが, これらは共線である.

ミケル点をMとすれば, 命題6よりMにおける4つの三角形のシムソン線は一致する. よって, 命題4より従う.

ガウス・ボーデンミラーの定理 ガウス・ボーデンミラーの定理

シムソン線のなす角

 2つのシムソン線がなす角は簡単に表すことができます.

シムソン線同士のなす角

三角形ABCとその外接円上の2点P,Qをとる. このときP,Qにおけるシムソン線のなす角は弧PQに対する円周角に等しい.

P,Qを通りACに垂直な直線と外接円が再び交わる点をP,Qとすると, 命題3より, P,Qにおけるシムソン線はそれぞれBP,BQに平行である. よって, 2つのシムソン線のなす角はPBQに等しく, 対称性よりこれは弧PQの円周角に等しい.

シムソン線のなす角 シムソン線のなす角

 外接円の直径の両端点におけるシムソン線に関してはさらに面白い結果が知られています.

対蹠点におけるシムソン線

三角形ABCとその外接円の直径の両端点をP,Qとする. このとき, P,Qにおけるシムソン線はABCの9点円上で直交する.

2本のシムソン線の交点をXとし, HP,HQの中点をそれぞれM,Nとすれば, 命題4よりM,NはそれぞれP,Qにおけるシムソン線上にある. ここで, 命題8よりNPM=90であるから, NMを直径とする円はXを通る. 一方この円はHを中心に外接円を1/2倍に縮小したものであるから, 9点円に一致する. 従って主張は示された.

対蹠点におけるシムソン線 対蹠点におけるシムソン線

 実はこの対蹠点におけるシムソン線が9点円上で直交するという事実は氷山の一角にすぎず, さらに強い主張が存在します. それについてはまた別の記事でいつか書こうと思いますが, 興味のある方はPoncelet pencilで調べてみてください.
 (結論から言うと, この2本のシムソン線はある直角双曲線の漸近線になっており, その双曲線はジェラベク双曲線やキーペルト双曲線などの仲間です.)

清宮の定理とターナーの定理

 シムソンの定理の拡張は, 清宮俊雄をはじめとする日本人数学者によってかなり前から研究されていました. 今回はそのうち有名な2つの結果を紹介します.

ターナーの定理

三角形ABCと点Dをとり, Dを円ABCで反転した点をEとする. BC,CA,ABについてDと対称な点をそれぞれP,Q,Rとし,EP,EQ,ERBC,CA,ABと交わる点をそれぞれX,Y,Zとしたとき, 3点X,Y,Zは共線である. この直線をターナー線(Turner line)という.

『シムソンの定理拡張における発想の分析』を参照.

清宮の定理

三角形ABCとその外接円上に2点D,Eがある. BC,CA,ABについてDと対称な点をそれぞれP,Q,Rとし, EP,EQ,ERBC,CA,ABと交わる点をそれぞれX,Y,Zとしたとき, 3点X,Y,Zは共線である. この直線を清宮線(Seimiya line)という.

『シムソンの定理拡張における発想の分析』を参照.

 これらの定理については僕もあまり知らないので詳しくは言えないのですが, お気持ち的にはどちらも三角形+2点に対してシムソン線の類似物を定めているとみることができます.

シムソン線の包絡線と傍接放物線

シュタイナーデルトイド

 ある円に半径がその3分の1である円が内接しながら転がるとき, 動円の円周上の定点の軌跡をデルトイドといいます. 下の図は外接円上の点を動かしたときのシムソン線の軌跡を表示したものです. なにやらきれいな正三角形のような図形が浮かび上がっていると思いますが, これがデルトイドです.

シュタイナーデルトイド シュタイナーデルトイド

シュタイナーデルトイド

三角形ABCの外接円上に点Dを取る. Dが動くとき, シムソン線は常にあるデルトイドに接する. これをシュタイナーデルトイド(Steiner Deltoid)という.

数研通信の記事 で初等的に証明されている.

 12/11の るささんの記事 にシュタイナーデルトイドとモーリーの三角形の話が出てきて面白かったです.

シムソン線と傍接放物線

 三角形に傍接円なるものがあるじゃないですか. だったら傍接放物線があったっておかしくないですよね. (雑)

三角形ABCとその外接円上に点Dをとる. このとき, Dを焦点とし, Dにおけるシュタイナー線を準線とする放物線は直線BC,CA,ABに接する. この放物線を傍接放物線という.

傍接放物線 傍接放物線

垂足円とオイラー・ポンスレ点

 ここまでの話では, シムソン線を「三角形とその外接円上にある点」について定まるものとして, シムソン線自体の性質をたくさん見てきました. 残る2章では, 三角形の世界を離れ, より多くの図形(例えば四角形や多角形など)にシムソン線の類似物を定めていきます.

 まず次の命題をご覧ください.

円に内接する四角形ABCDに対し, 次の8つの図形は共点である.

  • 三角形BCD,CDA,DAB,ABCの9点円
  • A,B,C,Dにおける三角形BCD,CDA,DAB,ABCのシムソン線

 見た目はなんかヤバそうな感じがしますが, 丁寧にAngle-chaseをすれば簡単に示すことができます.
 実は命題12はより強い主張があり, ABCDが円に内接しない場合にも成立することが知られています. しかし, 先ほど述べた通り我々はまだ三角形に対してはその外接円上の点からしかシムソン線を定義することができなかったはずです. そこで, まずは三角形と任意の点についてシムソン線の類似物を定めます.

垂足円

三角形ABCと点Dに対し, Dから直線BC,CA,ABに下した垂線の足を通る円を垂足円(pedal circle)という.

 Dが円ABC上にあれば垂足円はシムソン線に他なりません. つまりシムソン線は半径無限大の垂足円と言えます. また, 9点円は垂心または外心における垂足円と言えます.
 このとき, 命題12でシムソン線を垂足円に置き換えた次の定理が成り立ちます. 

オイラー・ポンスレ点

垂心系をなさない4点A,B,C,Dに対し, 次の8つの図形は共点であり, 交点をオイラー・ポンスレ点(Euler-Poncelet point)という.

  • 三角形BCD,CDA,DAB,ABCの9点円
  • A,B,C,Dにおける三角形BCD,CDA,DAB,ABCの垂足円

AB,BC,CD,DA,AC,BDの中点をそれぞれE,F,G,H,I,Jとし, 三角形ABD,ACDの9点円の交点をXとする.
EXI=EXH+HXI=EJH+HGI=HAE+IAH=IAE=EFI
より, 4点EIFXは共円. 同様に, 4点GJFXも共円である.

AからBC,CD,DAに下した垂線の足をK,L,M; BからAC,CD,DAに下した垂線の足をN,O,P; CからAB,BD,DAに下した垂線の足をQ,R,S; DからAB,BC,CAに下した垂線の足をT,U,Vとすると,次を得る.
TXV=TXH+HXV=TPH+HSV=TPD+BSU=ABD+VCD

ABD+VCD=(90+TDB)+(90+CDV)=(90+TUB)+(90+CUV)

(90+TUB)+(90+CUV)=TUB+CUD=TUB+BVU=TUV

よって, 4点TUVXは共円である. 他の3組についても同様に示される.

オイラー・ポンスレ点 オイラー・ポンスレ点

 オイラー・ポンスレ点は垂足円の応用事例として「こんなのがあるよ」という紹介にとどめてもよかったのですが, それだとシムソンの定理と同じく「ふ~ん」となって終わりかねないので, せっかくなのでオイラー・ポンスレ点に関する面白い事実を1つ紹介します.

補足:オイラー・ポンスレ点と直角双曲線

 漸近線が直交する双曲線を直角双曲線といいます. 直角双曲線は初等幾何と円錐曲線のつながりにおいてとても重要で, 代表的な双曲線であるジェラベク双曲線, キーペルト双曲線, フォイエルバッハ双曲線などはすべて直角双曲線です. これらの双曲線はいずれも三角形の五心やオイラー線に関わるものですが, 実はオイラー・ポンスレ点と直角双曲線も密接に関係しています.

直角双曲線と垂心

3点A,B,Cを通る双曲線Hに対し, 以下は同値である.

  • 直角双曲線である
  • 三角形ABCの垂心を通る.

本質でないので省略. 幾何教程(下)(pp.298-299)ではパスカルの定理を用いて証明されている.

 4点A,B,C,D垂心系(orthocentric system)をなすとは, Dが三角形ABCの垂心であることを指します.

オイラー・ポンスレ点は直角双曲線の中心

垂心系をなさない4点A,B,C,Dに対し, A,B,C,Dを通る直角双曲線の中心はオイラー・ポンスレ点に一致する.

Hの中心が三角形ABCの9点円上にあることを示す.
Hと円ABCが再び交わる点をE, 三角形ABCの垂心をHE, 三角形ACEの垂心をHBとし, BHE,EHBと円ABC が再び交わる点をそれぞれHE,HBとする.
簡単な角度計算より, ACHEHE,HBHBの垂直二等分線であるから, HEHEHBHBは等脚台形である.
一方, BHEEHBも等脚台形であるから, 三角形HEEHBと三角形HEBHBは合同である. よってBHEHBEは平行四辺形であるから, Hの中心はHBEの中点であり, これは9点円上にある.

同様にしてHの中心は三角形BCD,CDA,DABの9点円上にあることが示せるから, オイラー・ポンスレ点に一致する.

\mathcal{H}の中心はオイラー・ポンスレ点 \mathcal{H}の中心はオイラー・ポンスレ点

 これを使うとこんなことが示せます.

垂心系をなさない4点A,B,C,Dに対し, 三角形BCD,CDA,DAB,ABCの垂心をそれぞれHA,HB,HC,HDとすると, A,B,C,Dのオイラー・ポンスレ点とHA,HB,HC,HDのオイラー・ポンスレ点は一致する.

4点A,B,C,Dを通る直角双曲線Hをとれば, 補題14よりこれはHA,HB,HC,HDを通る. よって, 2つのオイラー・ポンスレ点はHの中心に他ならない.

オイラー・ポンスレ点の一致 オイラー・ポンスレ点の一致

 4点をそれぞれの垂心に置き換えることでオイラー・ポンスレ点を共有する4点の組が次々と作られるの, 面白いですよね. さらに, 命題16においてABCDが共円の時, 四角形ABCDHAHBHCHDは合同になります. これの証明は皆さんに投げておきます

四角形に対するシムソン線・垂足円

 最後にシムソン線を四角形, 多角形の世界まで広げていきます.

四角形に対するシムソン線

円に内接する四角形ABCDとその外接円上に点Eをとる. このとき, Eにおける三角形BCD,CDA,DAB,ABCのシムソン線にEから下した垂線の足は共線である. この4点を通る直線をEにおけるABCDのシムソン線とする.

MからAB,BC,CD,DA,AC,BDに下した垂線の足をそれぞれP,Q,R,S,T,Uとすると, AMPST,BMPQU,CMQRT,DMRSUはすべて共円である. よって, Eは4本のシムソン線がつくる完全四辺形のミケル点に他ならない. よって命題6より主張は従う.

四角形のシムソン線 四角形のシムソン線

 私はこの事実を このサイト で知りました. 証明が載っていなかったので自分で示しましたが, ミケル点からの垂線の足の構図に帰着されるのは面白いです.
 そして五角形やそれ以上の多角形の場合もミケル点からの垂線の足による議論でこの命題が成立することが示せるはずです.

円に内接するN角形A1A2ANとその外接円上の点Bに対し, Bにおける「NA1,A2,ANからN1点を選んでできるN個のN1角形」のシムソン線にBから下した垂線の足は共線である. このN点を通る直線をBにおけるA1A2ANのシムソン線とする.

 さて, ひとつ前の章で垂足円を導入したときと同じように, 「外接円上の点」にしか定義されないという制約はなくしたいわけです. そこで, 円に内接するとは限らない四角形に対し, 任意の点における垂足円を定義します.
 命題17において, シムソン線を垂足円に置き換えればうまくいきそうな感じがしますが, 1つ問題があります. 命題17をそのまま拡張すると, 4つの垂足円にEから下した「垂線の足」が共円, みたいなことが言えたらうれしいのですが, 「円に垂線を下す」というところが意味不明ですね.
 しかし, 実はこの場合4つの垂足円は本質的に4直線, つまりシムソン線と変わりません. その理由となるのが次の補題です.

四角形ABCDと点Eについて, Eにおける三角形BCD,CDA,DAB,ABCの垂足円は共点である.

EからAB,BC,CD,DA,AC,BDに下した垂線の足をそれぞれP,Q,R,S,T,Uとし,垂足円PTQ,QRUの交点をOとする.
このとき, 5点AEPST,BEPQU,CEQRT,DERSUはそれぞれ共円である. よって, 次のように計算できるので, 4点RTSOは共円である.
TOR=TOQ+QOR=TOQ+QUR=TPQ+QUB+DUR=TPQ+QPB+DSR=TPA+DSR=TSA+DSR=TSR

同様にして, 4点PUSOの共円も示されるから主張は従う.

(下の図でOに相当するところがXと書かれています. 申し訳ありません.)
垂足円の束 垂足円の束

 実は補題20はミケルの定理の特殊な場合に他なりません.

ミケルの四辺形定理(反転形)

1点Oで交わる4円Ci(i=1,2,3,4)をとり. 各i,jに対しCi,CjO以外の交点をVijとする. このとき, 4円V12V23V31,V23V34V42,V34V41V13,V41V12V24は共点である. この交点を4円Ci(i=1,2,3,4)のミケル点とする.

Oを中心に反転すれば通常のミケルの四辺形定理に帰着される.

反転されたミケル点 反転されたミケル点

 「一般の位置にある4直線」と「1点を共有する4円」は本質的にほとんど同じとみなせます. なぜなら4円を共有点を中心に 反転 すれば4直線に移るからです. 従って, 次のようにすれば四角形の垂足円が定義できます.

四角形の垂足円

四角形ABCDと点Eをとる. Eにおける三角形BCD,CDA,DAB,ABCの垂足円をCA,CB,CC,CDとし, 各i=A,B,C,DについてEを通りCiに直交する円がCiと再び交わる点をHiとする. このとき, HAHBHCHDは共円である. この4点を通る円をEにおけるABCDの垂足円とする.

CA,CB,CC,CDの共有点を中心に反転すれば命題6と同値. (そうなるようにHAたちを定めたため)

四角形の垂足円 四角形の垂足円

 最後の命題は少し無理やり感がありますね... 「だから何」とか言わないでください.

参考文献

投稿日:20221217
更新日:202417
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

受験生をしています→受験終わりました また初等幾何で遊びたいです

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. シムソンの定理・シュタイナーの定理
  2. シムソン線周りの構図
  3. シムソン線と垂心
  4. シムソン線とミケル点
  5. シムソン線のなす角
  6. 清宮の定理とターナーの定理
  7. シムソン線の包絡線と傍接放物線
  8. シュタイナーデルトイド
  9. シムソン線と傍接放物線
  10. 垂足円とオイラー・ポンスレ点
  11. 四角形に対するシムソン線・垂足円
  12. 参考文献