フォイエルバッハの定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > フォイエルバッハの定理の意味・解説 

フォイエルバッハの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/06/22 09:13 UTC 版)

フォイエルバッハの定理

幾何学において、フォイエルバッハの定理(フォイエルバッハのていり、: Feuerbach's theorem: Satz von Feuerbach)は、三角形九点円内接円ないし傍接円とが接することを述べる定理である[1]。1822年に定理を示したカール・フォイエルバッハの名を冠する。

平面幾何学の中で最も美しい定理の一つと評価されている[2]。現在までに様々な証明や拡張が見つかっている。

なお、九点円と呼ばれる円の存在を単にフォイエルバッハの定理と呼ぶこともある[3]

主張

正三角形内接円。内接円と九点円は一致する。

三角形の辺の各中点、頂点と垂心の中点、三角形の頂点から対辺に降ろした垂線の足は共円である。この円を九点円という。半径は、外接円の半径の半分である。

三角形の3辺に、内接する円を内接円という。三角形の3辺の1つと内部で接し、2つと外部で接する円を傍接円という。

正三角形の九点円と内接円は内接する。また九点円と傍接円は外接する[4]。これをフォイエルバッハの定理という。内接円と九点円の接点は、フォイエルバッハ点と呼ばれる。

正三角形の九点円と内接円は一致するため[5]、厳密にいえば、正三角形に対して内接円と九点円は接するということはない[6]。これは、正三角形の場合は例外として排除するか[7]極限の場合として見る[8]ことで解決できる[注釈 1]

証明

フォイエルバッハの定理の証明にはさまざまなものが知られ[9]、現代でも新たな証明が発見される[10]。フォイエルバッハの定理の証明を数学の一分野と見なす数学者がいるとも言われる[11]自動定理証明を用いるものも存在する[12]。ジョン・マッケイの論文内では、マッケイ自身やE. M. ラングレーなどによる、9つの証明が紹介されている。

ケイシーの定理による証明

次の証明はケイシーの定理[13]、特にパーサーの定理を使うものである[14]

ABCについて、BC, CA, ABの中点をそれぞれD, E, FBC, CA, ABと内接円の接点をそれぞれX, Y, Zとする。

ハートの定理

1861年、アンドルー・サール・ハートは、六円定理を九円定理に拡張するように、3辺が直線でなくともよいことを示した[22]。ハートの定理は、ラーモアの示した定理の様に、非ユークリッド平面上の三角形の4つの外接円がある円に接するということに他ならない[23]

フォントネー

フォントネーの定理

次の定理は、1867年にグリフィス[24]、1880年にヴェイユ[25]、1889年にW. S. マッケイ[26]、1905年にジョルジュ・フォントネー[27]が示したものである[28]

Pとその等角共役点P'と三角形の外心共線ならば、P, P'垂足円は九点円に接する[29]

Pを内心か傍心とすればフォイエルバッハの定理となる。P, P'が外心と共線になるようなPマッケイ三次曲線上にある。

一般に、等角共役な2点P, P'の垂足円と九点円の2交点は、三角形の3頂点とそれぞれP, P'を通る直角双曲線の中心である[30]

ロジャース

ロジャースの定理

1930年、レナード・ジェームズ・ロジャースは、Mathematical Gazette において、円錐曲線連合準円を用いて、一般化を行った[31]。1897年にV・ラマスワミ・エイヤールも、同様の結果を導出している[32]

三角形の内接円錐曲線と、その円錐曲線と焦点を共有する外心を通る円錐曲線の連合準円は九点円に接する。

内接円錐曲線の2焦点が外心と共線であるとき、フォントネーの定理を得る[注釈 2]

荻野修作は、フォントネーの定理やロジャースの定理の拡張を2つ示している[34]。次はその1つ目の定理である。

三角形の外心と九点円の中心をそれぞれO, Nとする。焦点をP, Qとする内接円錐曲線Γについて、POQにおける等角共役線l, l'を書く。ΓΓ共焦点l, l'に接する円錐曲線の連合準円と、九点円の交点X, Yl, l'直極点である。さらに、直線NX, NYの成す角はl, l'の成す角の2倍の角に等しい。

l, l'の成す角が、0, 180度ならば、ロジャースの定理を得る。l, l'OP, OQに一致すれば、1907年にプレ[35]、1933年にフランク・モーリーが著書 Inversive Geometry で示した[36]、フォントネーの定理の拡張になる。プレによれば、このときX, Yは、それぞれ中点三角形に内接しOP, OQ準線とする放物線の焦点である。

ロジャースの定理において円錐曲線が外心を通る場合、その準円は九点円だけでなく外接円に接触する[37]。また、ナラヤナン(Narayanan)は、外心を通る場合のロジャースの定理について外心を任意の点に拡張している[38]

等角共役点P, P'上の点Oにて内接円錐曲線Γが直線PP'に接するとき、Pの垂足円、Oの垂足円、Γの準円は共軸。

ラオ

次の定理はインド数学会英語版の雑誌にて、M. Bhimasena Rao(ラオ)がW. S. マッケイらの垂足円への拡張から類推して[39]、"Contact circle"と呼ばれるものに拡張したものである[40]

ある点Pを中心とする内接円錐曲線と各辺の接点からなる三角形の外接円をPの Contact circle と呼ぶ。点Pとその等角共役点P'類似重心が共線ならば、Pの Contact circle は九点円と接する。

Pを内心か傍心とすれば、フォイエルバッハの定理を得る。P, P'が類似重心と共線になるようなPはグリーブ三次曲線K102上にある[41]。 逸見伝三郎、濱田隆資らは、この定理の拡張を示している[42]。ランガスワミは垂足円と Contact circle を統一的に扱うことを試みている[43]。また、ラオは自身でも更なる拡張を示している[39]

Pを中心とする内接円錐曲線と各辺の交点をD,E,FDEFの内心または傍心と、内接円錐曲線と基準三角形の配景の中心Qを結ぶ直線とEFの交点をGAGと基準三角形の中点三角形のBCに平行な辺の交点をVとすれば、PV上にある等角共役点の Contact circle はPの Contact circle と接する。

Pが類似重心ならば、Qが垂心となり、垂心は垂心三角形の内心であるから、元のラオの拡張となる。

ラオなど雑誌への寄稿者は、他にもフォイエルバッハの定理に関する定理を残している[44]。次の定理はその一例[45]

Pの垂足円が九点円に接するときPAB + ∠PBC + ∠PCA = 90°[注釈 3]

ハミルトン

ウィリアム・ローワン・ハミルトンは、2つの内接円錐曲線の第四共通接線(3辺と異なる接線)と三線極線を用いて拡張を行った[48]

2つの内接円錐曲線U, Vについて、Uと三角形の配景の中心をOとする。Uと3辺とのそれぞれの接点と、Oの三線極線とVの2交点(虚でもよい)を通る円錐曲線Sは、UVの第四共通接線とVの接点でVに接する。

Uシュタイナーの内接楕円Vを内接円としたとき、Oは重心、Oの三線極線は無限遠直線で、Sは2つの虚円点を通るため円になって、フォイエルバッハの定理が導かれる。

Oを重心、Vを放物線とすると、1939年にデ・チッコが得た定理[49]となる。

この性質から、フォイエルバッハ点は、シュタイナーの内接楕円と内接円の第四共通接線と内接円の接点であることが分かる[50]

ブリカール

1907年、ラウル・ブリカールは、Nouvelles Annales de Mathématiques において、有向直線を用いた拡張を発表した[51]

3対の平行な同じ向きの有向直線(A1, B1), (A2, B2), (A3, B3)について、(A1, A2, A3), (A1, B2, B3), (B1, A2, B3), (B1, B2, A3)に接する同じ向きの有向円は、ある一つの有向円に接する。

B1, B2, B3の成す三角形を中点三角形にすると、フォイエルバッハの定理を得る。

2024年には、それぞれA1, A2, A3の成す三角形TB1, B2, B3の成す三角形が前者の三角形の重心で相似であるときの場合について Keita Miyamoto が再発見し、さらにこの場合に4つの円に接する円とTの内接円との接点はフォイエルバッハ点であることを示している[52]

ヴォンドラチェク

1933年、ヴォンドラチェクは円錐曲線の交点を用いて一般化した[53]

3つの直線に接するかつ共通の2点を通る4つの円錐曲線を用意する。この4つの円錐曲線に接するかつその2点を通る円錐曲線が存在する。

濱田

1943年、東北数学雑誌において濱田隆資は根円を用いて拡張を行った[54]。2021年には、Tran Quang HungとNguyen Thi Thuy Duongも同様の定理を得ている[55]

任意の点P垂足三角形PaPbPcとする。BC, CA, ABの中点を中心とし、それぞれPa, Pb, Pcを通る円の根円は九点円に接する。

1925年、J. P. Gabbattは、一般に任意の点P, Qの辺に対する垂足を反転によって移すような、辺の中点を中心とする3円の根円と、九点円の2交点は、P, Qと外心を結ぶ直線の直極点であることを示した[56]。更に、3円の中心が、辺の中点以外(外心以外の垂足三角形の頂点)では成立しないことも示している。

プロタソフ

V. プロタソフ(Protasov)は segment theorem と称した定理の特殊な場合としてフォイエルバッハの定理を示している[57]

Oで交わる2直線に接する円Γの中心をIとする。今、2直線のそれぞれに点A, Bを線分ABΓに接するように作る。A, Bを通る円Ωの弧ABOA, OBに接する円が2つ存在し、2円のAOとの接点とIが直角三角形を作るように配置できる。

基準三角形ABCにおいて、AB, ACの中点をB', C'と置く。ΓAB'C' の内接円、Ωを九点円とすれば元の定理を演繹できる。

グエンとレ

2023年、Nguyen Ngoc GiangとLe Viet Anは3つの一般化を示した[58]。次の定理はその一つである。

ABCとその垂心でないかつ辺上・外接円上にない任意の点Pについて、PB, PCにおけるA直交射影を結ぶ直線をlaとして、lb, lcも同様に定義する。la, lb, lcから成る三角形の外接円は、Pの垂足円に接する。

グエンとレの論文の Remark 12 ではArt of Problem Solving英語版にて Nguyen Van Lich と Telv Cohlの示した一般化[59]が紹介されている。

基準三角形ABCの垂心でない点Pにおいて、それぞれBC, CA, ABの中点を通るAP, BP, CPの垂線の成す三角形の九点円はPの垂足円に接する。

モーリー

1916年、フランク・モーリーは雑誌 Proceedings of the National Academy of Sciences of the United States of America において、三級曲線(任意の点から実あるいは虚の接線を3本引くことができる代数曲線)への拡張を発表した[60]

垂心系英語版を成す4点を結ぶすべての直線に接する、かつ2つの虚円点を通る三級曲線は、垂心系の作る三角形の九点円に接する。 三級曲線を内接円(傍接円)と垂心の和集合とすれば、フォイエルバッハの定理となる。

マルグーズー

1919年、マルグーズー(Malgouzou)は、三次曲線への拡張を示したが、複雑な手順を要しており、また、ハートの定理のように、直接的な拡張とはなっていない[61]

三次曲線Cと点Oについて、Oを通る直線lCと3点P, Q, Rで交わっているとする。今、

カール・ヴィルヘルム・フォイエルバッハ
ウィルキンソンの提起した問題。垂心系を成す4点からなる4つの三角形の九点円は一致する。

フォイエルバッハの定理の歴史はジョン・スタージャン・マッケイ英語版の九点円に関する作品に詳しい[73][74]マックス・シモン英語版ドイツ語版の書籍[75]にも、フォイエルバッハの定理の歴史や作品がまとめられている。

フォイエルバッハの定理は、1822年のドイツの数学者カール・フォイエルバッハのモノグラフ Eigenschaften einiger merkwiirdigen Punkte des geridlinigen Dreiecks の§57で初めて証明された[76]。フォイエルバッハによる証明は九点円の中心と内心の距離を三角法を用いて計算する方法による。この発見はフォイエルバッハの名声を構成する要素の一つとなっている[77]。1828年、ヤコブ・シュタイナーAnnales de Gergonne でフォイエルバッハの功績について知らぬまま定理について述べた[78]。その後シュタイナーは論文 Die geometrischen Con structionen, ausgefuhrt mittelst der geraden Linie und eines festen Kreises の最後の脚注でフォイエルバッハにこの定理を帰した[79]

フォイエルバッハの論文は即座に広まらなかったため、再発見をする者も存在した[75]。1842年、フランスの数学者オルリー・テルケムが解析的な証明でフォイエルバッハの定理を再発見した[80]初等幾何学的証明は、雑誌 Nouvelles Annales における1850年のJ. メンションの作品で示された[81]。1854年に、W. H. レヴィが The Lady's and Gentleman's Diary英語版 において、2つ目の初等的証明を示した[82]。同年同雑誌で、 T. T. ウィルキンソンは、垂心系英語版を成す4つの三角形の内接円と傍接円の延べ16円が、九点円に接するという問題を投げかけた[83][注釈 4]。これは、1855年の同雑誌で解決された[84]。1860年頃[75]、イギリスの数学者ウィリアム・ローワン・ハミルトンによってフォイルバッハの定理が再発見された[85]。1860年6月17日、ジョージ・サーモンは、The Quarterly Journal of Pure and Applied Mathematics で、フォイエルバッハの定理について、次の様に述べた[86]

" The following elementary theorems may interest some of the readers of the Quarterly Journal..."

1864年、ジョン・ケイシーは、Quarterly Journal で、現在ケイシーの定理と呼ばれる定理を用いてフォイエルバッハの定理を示した[87]。ケイシーの書籍 Sequel to Euclid にも、証明が示されている[88]

ハインリヒ・シュレーターは1868年にその時点で定理を拡張できるような証明方法がないことを述べた[89]。1874年の論文ではフォイエルバッハやケイシー、バルツァードイツ語版[90]の証明をあくまで代数的で明確さに欠けると指摘し、自身で純粋幾何学的な証明を行った[91][注釈 5]

1882年、ヴィルヘルム・フィードラーは 円点投象法[注釈 6](Zyklographie)と呼ばれる空間的な手法によって証明を試みた[94]。フィードラーの証明は一部不足があった。この不足は1911年にミュラー英語版ドイツ語版によって修正され[95]、更に1922年、ヤン・ソボトカチェコ語版によって単純な解法が示された[96]

他に、C. Leudesdorf(1884)[97]サミュエル・ロバーツ(1887)[98]ヴィクトル・テボー(1910)[99]など多くの数学者が、フォイエルバッハの定理を独自に証明している[100]

日本では、和算の時代においてフォイエルバッハの定理に到達することはできなかった[101]。明治時代に入り、澤山勇三郎がフォイエルバッハの定理を約20通りの方法で証明した[102][注釈 7]

脚注

注釈

  1. ^ 参考文献の中には、「正三角形を除き」のような文言を書いていないものも少なくない。
  2. ^ 三角形の任意の内接円錐曲線の2つの焦点は等角共役の関係にある。円錐曲線とその2焦点を通る直線の連合準円は円錐曲線の補助円(Auxiliary Circle;大副円, 副円、長軸を直径とする円)となり、等角共役点を焦点とする内接円錐曲線の補助円は垂足円であることから従う。また、虚焦点が外心と共線、つまり円錐曲線の短軸上に外心が存在するときは、内接円錐曲線の小副円(Minor auxiliary circle、短軸を直径とする円)が九点円と接する[33]
  3. ^ 一般に、Pの垂足円と九点円(の交点における接線)が成す角はPBC + ∠PCA + ∠PAB ± 90°である[46]。この角が一定であるときPの軌跡は種数1の6級代数曲線である[47]
  4. ^ ABC垂心Hとすると、BCHの辺の各中点は、BC, BH, CHの各中点であるから、ABCBCHの九点円は一致する。同様にCAHABHの九点円も一致することが分かる。
  5. ^ 1886年、証明の誤りがLangeによって訂正されている[92]
  6. ^ 円点投影法とも訳される。空間の直交座標系xy平面において、中心(x ,y)、半径rの有向円を点(x , y , r)に対応させる手法[93]
  7. ^ 森本清吾による澤山の論文をまとめた書籍『澤山勇三郎全集』によれば、澤山は『東京物理学校雑誌』に発表した証明の中で、ケイシーの定理や解析幾何学を用いたものには番号を付けなかった。

出典

  1. ^ Sherman 2021, pp. 44–46; Davis 1919.
  2. ^ 小林 1958; Smarandache & Patrascu 2023.
  3. ^ Weisstein, Eric W. “Feuerbach's theorem”. mathworld.wolfram.com (英語).
  4. ^ Krishna 2016.
  5. ^ Akopyan & Zaslavsky 2009.
  6. ^ a b Morton 2017.
  7. ^ Guinand 1985.
  8. ^ Mackay 1892, pp. 54.
  9. ^ Elder 1960.
  10. ^ Smarandache & Patrascu 2023.
  11. ^ Coolidge 1916, p. 14.
  12. ^ Chou 1988.
  13. ^ González 2011.
  14. ^ Nixon 1899.
  15. ^ Taylor 1875.
  16. ^ Canon 1902.
  17. ^ Harvey 1887.
  18. ^ McDowell 1862; Walker 1867; Richardson 1883; Ligniéres 1886; Lauvernay 1890; Sanjana 1924; Scheer 2011; Hofbauer 2016; Krishna 2017.
  19. ^ M'clelland 1891, p. 181.
  20. ^ Lachlan 1893, p. 74; Vautré 1895.
  21. ^ Mackay 1892, p. 24; Robinson 1857.
  22. ^ Hart 1861; Mackay 1892, p. 27; Coolidge 1916.
  23. ^ Gabbatt 1925b.
  24. ^ Griffiths 1867.
  25. ^ Weill 1880.
  26. ^ M'Cay 1889.
  27. ^ Fontené 1905; Weber 1906.
  28. ^ Johnson 1929, p. 245.
  29. ^ Court 1952, p. 273; García-Máynez 1969.
  30. ^ Neville 1944.
  31. ^ Rogers 1930; Ayyangar 1930; Hilton & Neville 1930.
  32. ^ Aiyar 1897.
  33. ^ Thébault 1938; Thébault, Goormaghtigh & Ramler 1940.
  34. ^ Ogino 1937.
  35. ^ Pellet 1907.
  36. ^ Morley & Morley 1933, p. 198.
  37. ^ 窪田 1947, p. 62.
  38. ^ Rangaswami 1938.
  39. ^ a b Rao 1919.
  40. ^ Rao 1927; 窪田 1947, pp. 139–141; Henmi 1950.
  41. ^ Gibert, Bernard. “K102”. Cubics in the Triangle Plane. 2024年12月3日閲覧。
  42. ^ 濱田 & 逸見 1950.
  43. ^ Rangaswami 1939b.
  44. ^ Grace 1917; Rao 1917.
  45. ^ Rao 1918, p. 319.
  46. ^ Sandham 1949.
  47. ^ Rao 1933.
  48. ^ Salmon 1879, p. 313; Baker 1922; Gibbins 1935.
  49. ^ De Cicco 1939.
  50. ^ 窪田 1932, p. 104.
  51. ^ Bricard 1907; 窪田 1932, pp. 104–105; Kubota 1941.
  52. ^ Encyclopedia of Triangle Centers, X(61152) preamble.
  53. ^ Vondráček 1933.
  54. ^ Hamada 1943.
  55. ^ Tran & Nguyen 2021.
  56. ^ Gabbatt 1925a.
  57. ^ Protasov 1999.
  58. ^ Nguyen & Le 2023.
  59. ^ livetolove212. “Tangent circles”. Art of Problem Solving. 2025年3月29日閲覧。
  60. ^ Morley 1916; Richmond 1919; 窪田 1932, pp. 108–110.
  61. ^ Malgouzou 1919; 窪田 1932, pp. 110–111.
  62. ^ Gabbatt 1926.
  63. ^ Lewis 1919; 五十嵐 et al. 2006; Srdanov, Andreja & Dragan 2022; Avksentyev 2023.
  64. ^ Akopyan 2009.
  65. ^ Cao 2024.
  66. ^ Minevich & Morton 2015; Beltrami 1875.
  67. ^ Beare & Wildberger 2020.
  68. ^ 遠山 1991, p. 412.
  69. ^ Dergiades & Tran 2018.
  70. ^ Bradley 2005.
  71. ^ Emelyanov 2001; Yiu 2005.
  72. ^ Tran 2017.
  73. ^ Mackay 1892; Johnson 1929, p. 196.
  74. ^ History of the Nine Point Circle”. 2024年12月14日閲覧。
  75. ^ a b c Simon 1906.
  76. ^ Feuerbach & Buzengeiger 1822.
  77. ^ O'Connor, John J.; Robertson, Edmund F., “Karl Wilhelm Feuerbach”, MacTutor History of Mathematics archive, University of St Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Feuerbach/ .
  78. ^ Steiner 1828.
  79. ^ Steiner 1833, p. 110.
  80. ^ Terquem 1842.
  81. ^ Mention 1850.
  82. ^ Levy 1854.
  83. ^ Wilkinson 1854.
  84. ^ Wilkinson et al. 1855.
  85. ^ Casey 1861.
  86. ^ Salmon 1861.
  87. ^ Casey 1864.
  88. ^ Casey 1886, pp. 105–106.
  89. ^ Schröter 1868; Lappe 1870.
  90. ^ Baltzer 1870.
  91. ^ Schröter 1874.
  92. ^ Lange 1886.
  93. ^ 窪田 1947, p. 110.
  94. ^ Fiedler 1882.
  95. ^ Müller 1911.
  96. ^ Sobotka 1922.
  97. ^ Leudesdorf 1884.
  98. ^ Roberts 1887.
  99. ^ Thébault 1910.
  100. ^ Goormaghtigh 1926, p. 101.
  101. ^ 岩田 1969.
  102. ^ 森本 1938, pp. 109–167; 澤山 1904.

参考文献

The Mathematical Gazette

The Mathematical GazetteISSN 0025-5572)にはフォイエルバッハの定理を扱うものが数多く存在する。

関連項目

外部リンク


フォイエルバッハの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 12:50 UTC 版)

円 (数学)」の記事における「フォイエルバッハの定理」の解説

三角形の内接円は、九点円内接する

※この「フォイエルバッハの定理」の解説は、「円 (数学)」の解説の一部です。
「フォイエルバッハの定理」を含む「円 (数学)」の記事については、「円 (数学)」の概要を参照ください。

ウィキペディア小見出し辞書の「フォイエルバッハの定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「フォイエルバッハの定理」の関連用語

フォイエルバッハの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



フォイエルバッハの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのフォイエルバッハの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの円 (数学) (改訂履歴)、九点円 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS