フォイエルバッハの定理

幾何学において、フォイエルバッハの定理（フォイエルバッハのていり、、）は、三角形の九点円と内接円ないし傍接円とが接するという定理である。1822年に定理を示したカール・フォイエルバッハの名を冠する。

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

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

 主張 

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

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

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

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

 歴史 

フォイエルバッハの定理の歴史はの九点円に関する作品に詳しい。の書籍にも、フォイエルバッハの定理の歴史や作品がまとめられている。

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

フォイエルバッハの論文は即座に広まらなかったため、再発見をする者も存在した。1842年、フランスの数学者オルリー・テルケムが解析的な証明でフォイエルバッハの定理を再発見した。初等幾何学的証明は、雑誌 Nouvelles Annales における1850年のJ. メンションの作品で示された。1854年に、W. H. レヴィが において、2つ目の初等的証明を示した。同年同雑誌で、 T. T. ウィルキンソンは、を成す4つの三角形の内接円と傍接円の延べ16円が、九点円に接するという問題を投げかけた。これは、1855年の同雑誌で解決された。1860年頃、イギリスの数学者ウィリアム・ローワン・ハミルトンによってフォイルバッハの定理が再発見された。1860年6月17日、ジョージ・サーモンは、The Quarterly Journal of Pure and Applied Mathematics で、フォイエルバッハの定理について、次の様に述べた。
" The following elementary theorems may interest some of the readers of the Quarterly Journal..."
1864年、ジョン・ケイシーは、Quarterly Journal で、現在ケイシーの定理と呼ばれる定理を用いてフォイエルバッハの定理を示した。ケイシーの書籍 Sequel to Euclid にも、証明が示されている。

は1868年にその時点で定理を拡張できるような証明方法がないことを述べた。1874年の論文ではフォイエルバッハやケイシー、の証明をあくまで代数的で明確さに欠けると指摘し、自身で純粋幾何学的な証明を行った。

1882年、ヴィルヘルム・フィードラーは 円点投象法（Zyklographie）と呼ばれる空間的な手法によって証明を試みた。フィードラーの証明は一部不足があった。この不足は1911年にによって修正され、更に1922年、によって単純な解法が示された。

他に、C. Leudesdorf（1884）、（1887）、ヴィクトル・テボー（1910）など多くの数学者が、フォイエルバッハの定理を独自に証明している。

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

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

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

について、の中点をそれぞれ、と内接円の接点をそれぞれとする。

が計算できる。適切に符号を選ぶことで、

とすることができるため、ケイシーの定理の逆より、内接円と九点円は接する。同様にして傍接円と九点円が接することも証明できる。

J. P. テイラーなどによる反転幾何学を使った証明を紹介する。

の中点をそれぞれ、の二等分線との交点を、からに降ろした垂線の足を、内心を、それぞれと内接円・傍接円の接点を、九点円の直径をとする。

が成立する。中心、半径の円による反転を施すと、内接円と傍接円は自身に移り、九点円はに垂直なを通る直線に移動する。この直線との成す角は

である。今、をを通る内接円の接線とすると、反転より、この直線は傍接円とも接する。更にと

で交わる。したがって九点円の反転像は直線である。ゆえに九点円は内接円及び傍接円と接する。

次の証明では、三角形の相似を利用して内心と九点円中心の距離を計算する。

の外心、内心、垂心、九点円中心をそれぞれ、外接円半径と内接円半径をそれぞれ、からに降ろした垂線の足を、と内接円の接点を、の中点をそれぞれとする。

の二等分線が三角形の外接円と再び交わる点は弧の中点である（南極定理参照）。

トリリウムの定理から、。

の中点はともにであるので。ゆえには平行。

からに降ろした垂線の足を、半直線と九点円の弧の交点をとする。

を通るの平行線とそれぞれの交点をとして、。ととは相似なので

と、との相似による式より、

今、ピタゴラスの定理より、
.
よって九点円と内接円は接する。

相似などを用いた円の中心の距離の計算による証明は上記の方法以外にもいくつかの方法がある（出典などを参照せよ）。

シムソン線による特徴づけを用いた解法も存在する。

の外心と内心を結ぶ直線と外接円の交点を、からそれぞれ各辺に降ろした垂線の足を、のシムソン線の交点を、各辺の中点をそれぞれ、内接円と各辺の接点をとする。

である。は九点円上にある。シムソン線は垂直に交わるから、。

平行線と比の定理より、。したがって。

ここで、ある2円について、方べきの比が一定な点の軌跡は2円の共軸円である。2円を内接円と点円とすると、九点円は内接円と点円の共軸円である。今、は九点円上にあるから、根軸はにおける九点円の接線であり、内接円もこの接線に接する。
ゆえに内接円と九点円はで接する。

の内接円との接点を、の二等分線との交点を、の中点を、からに降ろした垂線の足を、を通りとは異なる内接円の接線の内接円との接点を、が内接円と再び交わる点を、における九点円の接線をとする。

より、とは平行。
より、は共円。ゆえに。したがっては九点円上にある。

さらに、をとなるように配置すると、は内接円及び九点円の接線となる。したがって、内接円と九点円はで接する。

 一般化・拡張 
フォイエルバッハの定理の一般化・拡張もまた様々なものが知られている。

 ロビンソン 
1857年、ジョン・ジョシュア・ロビンソンは The Lady's and Gentleman's Diary で次の定理を示した。
三角形の内接円及び傍接円の根心4つを取り、これら根心からなる三角形の内接円と傍接円の根心を取る。このような操作を繰り返して得られるすべての円は、最初の三角形の九点円に接する。

 ハート 

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

 フォントネー 

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

点とその等角共役点と三角形の外心が共線ならば、の垂足円は九点円に接する。
を内心か傍心とすればフォイエルバッハの定理となる。が外心と共線になるようなはマッケイ三次曲線上にある。

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

 ロジャース 

1930年、レナード・ジェームズ・ロジャースは、Mathematical Gazette において、円錐曲線の連合準円を用いて、一般化を行った。1897年にV・ラマスワミ・エイヤールも、同様の結果を導出している。
三角形の内接円錐曲線と、その円錐曲線と焦点を共有する外心を通る円錐曲線の連合準円は九点円に接する。
内接円錐曲線の2焦点が外心と共線であるとき、フォントネーの定理を得る。

荻野修作は、フォントネーの定理やロジャースの定理の拡張を2つ示している。次はその1つ目の定理である。
 三角形の外心と九点円の中心をそれぞれとする。焦点をとする内接円錐曲線について、における等角共役線を書く。とに共焦点でに接する円錐曲線の連合準円と、九点円の交点はの直極点である。さらに、直線の成す角はの成す角の2倍の角に等しい。
の成す角が、0, 180度ならば、ロジャースの定理を得る。がに一致すれば、1907年にプレ、1933年にフランク・モーリーが著書 Inversive Geometry で示した、フォントネーの定理の拡張になる。プレによれば、このときは、それぞれ中点三角形に内接しを準線とする放物線の焦点である。

ロジャースの定理において円錐曲線が外心を通る場合、その準円は九点円だけでなく外接円に接触する。また、ナラヤナン（Narayanan）は、外心を通る場合のロジャースの定理について外心を任意の点に拡張している。
等角共役点上の点にて内接円錐曲線が直線に接するとき、の垂足円、の垂足円、の準円は共軸。

 ラオ 
次の定理はの雑誌にて、M. Bhimasena Rao（ラオ）がW. S. マッケイらの垂足円への拡張から類推して、"Contact circle"と呼ばれるものに拡張したものである。
ある点を中心とする内接円錐曲線と各辺の接点からなる三角形の外接円をの Contact circle と呼ぶ。点とその等角共役点と類似重心が共線ならば、の Contact circle は九点円と接する。
を内心か傍心とすれば、フォイエルバッハの定理を得る。が類似重心と共線になるようなはグリーブ三次曲線K102上にある。
逸見伝三郎、濱田隆資らは、この定理の拡張を示している。ランガスワミは垂足円と Contact circle を統一的に扱うことを試みている。また、ラオは自身でも更なる拡張を示している。
を中心とする内接円錐曲線と各辺の交点を、の内心または傍心と、内接円錐曲線と基準三角形の配景の中心を結ぶ直線との交点を、と基準三角形の中点三角形のに平行な辺の交点をとすれば、上にある等角共役点の Contact circle はの Contact circle と接する。
が類似重心ならば、が垂心となり、垂心は垂心三角形の内心であるから、元のラオの拡張となる。

ラオなど雑誌への寄稿者は、他にもフォイエルバッハの定理に関する定理を残している。次の定理はその一例。
点の垂足円が九点円に接するとき。

 ハミルトン 
ウィリアム・ローワン・ハミルトンは、2つの内接円錐曲線の第四共通接線（3辺と異なる接線）と三線極線を用いて拡張を行った。
 2つの内接円錐曲線について、と三角形の配景の中心をとする。と3辺とのそれぞれの接点と、の三線極線との2交点（虚でもよい）を通る円錐曲線は、との第四共通接線との接点でに接する。
をシュタイナーの内接楕円、を内接円としたとき、は重心、の三線極線は無限遠直線で、は2つの虚円点を通るため円になって、フォイエルバッハの定理が導かれる。

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

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

 ブリカール 
1907年、ラウル・ブリカールは、Nouvelles Annales de Mathématiques において、有向直線を用いた拡張を発表した。
3対の平行な同じ向きの有向直線について、に接する同じ向きの有向円は、ある一つの有向円に接する。

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

2024年には、それぞれの成す三角形との成す三角形が前者の三角形の重心で相似であるときの場合について Keita Miyamoto が再発見し、さらにこの場合に４つの円に接する円との内接円との接点はフォイエルバッハ点であることを示している。

 ヴォンドラチェク 
1933年、ヴォンドラチェクは円錐曲線の交点を用いて一般化した。
 3つの直線に接するかつ共通の2点を通る4つの円錐曲線を用意する。この4つの円錐曲線に接するかつその2点を通る円錐曲線が存在する。

 濱田 
1943年、東北数学雑誌において濱田隆資は根円を用いて拡張を行った。2021年には、Tran Quang HungとNguyen Thi Thuy Duongも同様の定理を得ている。
任意の点の垂足三角形をとする。の中点を中心とし、それぞれを通る円の根円は九点円に接する。
1925年、J. P. Gabbattは、一般に任意の点の辺に対する垂足を反転によって移すような、辺の中点を中心とする3円の根円と、九点円の2交点は、と外心を結ぶ直線の直極点であることを示した。更に、3円の中心が、辺の中点以外（外心以外の垂足三角形の頂点）では成立しないことも示している。

 プロタソフ 
V. プロタソフ（Protasov）は segment theorem と称した定理の特殊な場合としてフォイエルバッハの定理を示している。
点で交わる2直線に接する円の中心をとする。今、2直線のそれぞれに点を線分がに接するように作る。を通る円の弧とに接する円が2つ存在し、2円のとの接点とが直角三角形を作るように配置できる。
基準三角形において、の中点をと置く。をの内接円、を九点円とすれば元の定理を演繹できる。

 グエンとレ 
2023年、Nguyen Ngoc GiangとLe Viet Anは3つの一般化を示した。次の定理はその一つである。
とその垂心でないかつ辺上・外接円上にない任意の点について、におけるの直交射影を結ぶ直線をとして、も同様に定義する。から成る三角形の外接円は、の垂足円に接する。

グエンとレの論文の Remark 12 ではにて Nguyen Van Lich と Telv Cohlの示した一般化が紹介されている。
基準三角形の垂心でない点において、それぞれの中点を通るの垂線の成す三角形の九点円はの垂足円に接する。

 モーリー 
1916年、フランク・モーリーは雑誌 Proceedings of the National Academy of Sciences of the United States of America において、三級曲線（任意の点から実あるいは虚の接線を3本引くことができる代数曲線）への拡張を発表した。
を成す4点を結ぶすべての直線に接する、かつ2つの虚円点を通る三級曲線は、垂心系の作る三角形の九点円に接する。
三級曲線を内接円（傍接円）と垂心の和集合とすれば、フォイエルバッハの定理となる。

 マルグーズー 
1919年、マルグーズー（Malgouzou）は、三次曲線への拡張を示したが、複雑な手順を要しており、また、ハートの定理のように、直接的な拡張とはなっていない。
 三次曲線と点について、を通る直線がと3点で交わっているとする。今、

を満たす点が2つ存在する。を動かしたとき、の軌跡は極円錐曲線と呼ばれる円錐曲線になる。さらにある定直線に極円錐曲線が接するようにを動かしたとき、の軌跡はPoloconicと呼ばれる円錐曲線になる。Poloconicが円となるようなは4つ存在するが、このときの4円は、一つの円に接する。
が3直線へ退化したとき、フォイエルバッハの定理を間接的に得る。Gabbattはマルグーズーの一般化をさらに空間へ一般化している。

ユークリッド空間や、双曲平面などの非ユークリッド平面、ミンコフスキー平面、ヒルベルト平面、あるいは九点円錐曲線や有限体などへの拡張なども示されている。

 応用 
フォイエルバッハの定理は美しくはあるものの、定理を使用することはほとんどなく、役に立たないと評される。
一方、初等幾何学において多くの応用に重要とされるとも言われる。例えば、次のような応用例がある。
 三角形の内接円・外接円の半径をそれぞれとして、外心とナーゲル点の距離は。
三角形の内心、九点円中心、重心をそれぞれとする。（補点の関係）より。

4円の接触という点で派生した定理としてエメリャノフの円定理（Emelyanov's circle theorem）がある。の外心をとする。との交点にてと接し、更にの外接円と接するような三角形の外側の円と、の内接円に接するような円が存在する。これをエメリャノフの円定理という。4円に接する円と内接円の接点はフォイエルバッハ点となる。

特殊な場合から派生した定理もある。直角三角形の九点円は直角を持つ頂点を通る。チャン・クアン・フン（Tran Quang Hung）はこの場合の円の接触を任意の三角形に拡張した。のの二等分線が外接円と再び交わる点を中心とする、の内接円ととの接点を通る円と、外接円との共通弦ととのそれぞれの交点とを通る円は円に接する。