シムソンの定理

ウィキペディアから、無料の百科事典
三角形 ABC のシムソン線
シムソン線(赤)は、スタイナーのデルトイド(青)に接する

幾何学におけるシムソンの定理とは、△ABC の外接円上の点 P から三角形の各辺 BC, CA, AB におろした垂線の足 L, N, M がすべて同一直線上にある(共線関係にある)という定理である。この直線のことをシムソン線(シムソンライン)と呼ぶ。この定理はロバート・シムソンから名づけられた[1]。しかし、最初に1797年にこの概念を出版したのはウィリアム・ウォレス[2]である。

シムソン線の性質

  • 三角形の1つの頂点をPとすると、Pに対するシムソン線はPから対辺に下ろした垂線になる。またPを外接円の中心に対して頂点と対称の位置に取ると、Pに対するシムソン線は辺の1つと一致する。
  • Oを外接円の中心、PとP'を外接円上の点とする。Pに対するシムソン線とP'に対するシムソン線が成す角は、POP'の半分に等しい。特にPとP'が直径の両端にあるとき、2本のシムソン線は垂直に交わる。このときの交点は九点円上にある。
  • 三角形のABCの垂心をHとする。Pに対するシムソン線は、PHの中点を通る。
  • 共通の外接円を持つ2つの三角形があったとき、Pに対する2本のシムソン線が成す角はPによらず一定の値をとる。
  • シムソン線による包絡線はデルトイド(内サイクロイドの一種)となる。このデルトイドをスタイナー(シュタイナー)のデルトイドという。
  • 三角形の外接円上に点Pをとる。ポンスレの閉形定理よりこの三角形と、内接円と外接円を共有する三角形は無数に存在するが、これらの三角形におけるPのシムソン線は、定点を通る。これをグリーンヒル-ディクソンの定理(Greenhill-Dixon theorem)という[3][4]。サー・ジョージ・グリーンヒルとA. C. ディクソンの名を冠する[5]。後述の双心多角形におけるシムソン線でも同様に成立する[6]。

証明

初等幾何による証明

初等幾何による証明
A,B,Cの内の点Pの右回り隣の点をA,左回り隣の点をB,対角点をCとする。

AとBは対角点だから∠PAC+∠CBP=180度。

∠PAC>90度の場合、AとBを入れ替えて∠PAC≦90度とする。 ∠PAC=90度の場合,∠CBP=90度,A=M,B=L,Nは直線AB上の点だからL,M,Nは同一直線上にある. ∠PAC<90度とする。

点A,P,N,Mは同一円周上にある。 A,P,B,C はこの順で外接円周上にあるから 直線BAに対してPとCは反対側にある。

∠PAC<90度だから(A→C)と(A→M)の向きが同じになるから ∠PAM=∠PAC…①

直線BAに対してPとMは反対側にある。 Nは直線BA上の点だから 直線NAに対してPとMは反対側にあるから NとAは四角形APNMの対角点となるから ∠PAM+∠MNP=180度…②

点P,L,B,Nは同一円周上にある。 B,C,A,P はこの順で外接円周上にあるから 直線BAに対してPとCは反対側にある。

∠CBP>90度だから 直線BAに対してLとCは反対側にあるから 直線BAに対してLとPは同じ側にある。

Nは直線BA上の点だから 直線BNに対してLとPは同じ側にあるから BNは四角形PLBNの対角線でない辺となるから ∠PNL=∠PBL…③

∠CBP>90度だから (B→L)と(B→C)の向きが180度異なるから∠PBL+∠CBP=180度. ∠PAC+∠CBP=180度だから ∠PBL=∠PAC…④

①,②,③,④から、∠MNP+∠PNL=180度。

したがって、3点L,M,Nは同一直線上にある。Q.E.D.

複素数による証明

一般化

一般化1

一般化1

△ABCと、外心を通る直線l、点Pについて、AP,BP,CPとlの交点のBC,CA,ABにおける直交射影は共線である。またPと垂心の中点もこの直線上にある。Pをl上に置けば、lと一致する[7][8][9]。

一般化2

シムソン線の射影幾何学的な一般化

外接円錐曲線Γと、平面上の2点P,Qについて、直線PA,PB,PCとΓの第二交点をそれぞれA1,B1,C1とする。Pと、QA1,QB1,QC1とBC,CA,ABの交点延べ4点が共線であることと、QがΓ上にあることは同値[10]。

一般化3

三角形のシムソン線から出発して、帰納的に任意の円内接多角形におけるシムソン線を定義することができる[11][12][13]。これは大抵E. M. ラングレーに帰される。特に円に内接する四角形に拡張したものはよく知られる[14]。

円に内接するn角形とその外接円上の点Pについて、n角形の頂点のうち、n - 1個からなる多角形におけるPのシムソン線延べn本に、Pから降ろした垂線の足はすべて共線である。これをn角形におけるシムソン線と定義できる。

一般化4

円錐曲線Γ上に7点A, B, C, A', B, C', Iを、△ABC, △A'B'C' がSを中心に配景となるように配置する。このときIA'とBC、IB'とCA、IC'とABのそれぞれの交点とSは共線である[15][16]。Sを無限遠に置き、Γを円とすれば、任意角に一般化されたシムソン線を得る。

他にも多くの拡張が知られる[17][18]。

脚注

  1. ↑ “Gibson History 7 - Robert Simson”. 2008年11月11日閲覧。
  2. ↑ “Simson Line from Interactive Mathematics Miscellany and Puzzles”. 2008年9月23日閲覧。
  3. ↑ 小林, 幹雄「Simson線ニ就テ」『日本中等教育数学会雑誌』第11巻第2号、1929年、66–71頁、doi:10.32296/jjsmet.11.2_66。
  4. ↑ Kubota, Tadahiko (1928). “Some Theorems on Poncelet's Problem in Closure, I”. Tohoku Mathematical Journal, First Series 29: 296–299.
  5. ↑ William Gallatly (1910). The Morden Geometry of the Triangle.. F. Hodgson, n.d.
  6. ↑ 窪田忠彦『初等幾何学特選問題』共立社書店、1932年、81-84頁。NDLJP:1211458。
  7. ↑ “A Generalization of Simson Line”. Cut-the-knot (April 2015). 2024年11月4日閲覧。
  8. ↑ Nguyen Van Linh (2016), “Another synthetic proof of Dao's generalization of the Simson line theorem”, Forum Geometricorum 16: 57–61, オリジナルの2023-10-23時点におけるアーカイブ。
  9. ↑ Phuoc, Nguyen Le; Chi, Nguyen Chuong (2016-07). “100.24 A synthetic proof of Dao's generalisation of the Simson line theorem” (英語). The Mathematical Gazette 100 (548): 341–345. doi:10.1017/mag.2016.77. ISSN 0025-5572.
  10. ↑ Smith, Geoff (2015), “99.20 A projective Simson line”, The Mathematical Gazette 99 (545): 339–341, doi:10.1017/mag.2015.47
  11. ↑ Steggall (1895-02). “On the envelope of the Simson line of a polygon” (英語). Proceedings of the Edinburgh Mathematical Society 14: 122–126. doi:10.1017/S0013091500031874. ISSN 1464-3839.
  12. ↑ Loong, Chi-Ho (1940). “Further Generalizations of Simson Line, Kantor Plint and Kantor Line”. Tohoku Mathematical Journal, First Series 46: 173–180.
  13. ↑ The Educational Times and Journal of the College of Preceptors (1898). The Educational Times and Journal of the College of Preceptors. The UCL Institute of Education. Francis Hodgson, London
  14. ↑ Cyster, R. F. (1941). “1507. The Simson Lines of a Cyclic Quadrilateral”. The Mathematical Gazette 25 (263): 56–58. doi:10.2307/3606490. ISSN 0025-5572.
  15. ↑ 平野, 幸太郎「しむそん線ノ射影幾何學並ニ擬眞幾何學ヘノ擴張 I.」『日本中等教育数学会雑誌』第16巻第6号、1934年、361-379頁、doi:10.32296/jjsmet.16.6_361。
  16. ↑ Aubert. “Sur une généralisation du théorème de Pascal donnant neuf points en ligne droite”. Nouvelles annales de mathématiques 8 (3): 529-535..
  17. ↑ Ogino, Shusaku (1937). “On the Extension of Simson's Theorem”. Tohoku Mathematical Journal, First Series 43: 304–309.
  18. ↑ F. G.-M., Exercise de Géométrie, Éditions Jacques Gabay, 1991

参考文献

関連項目

外部リンク