九点円のソースを表示

[[Image:Triangle.NinePointCircle.svg|thumb|九点円]]
'''九点円'''（きゅうてんえん、{{lang-en-short|nine-point circle}}）は、[[三角形]]において特定の9個の点を通る[[円 (数学)|円]]の名称である。発見した人の名前から、オイラー円（{{Lang-en-short|Euler's circle}}）・フォイエルバッハ円（{{Lang-en-short|Feuerbach circle}}）とも呼ばれる<ref name=Weisstein>{{Cite web|author=|title=Nine-Point Circle|url=https://mathworld.wolfram.com/Nine-PointCircle.html|website=mathworld.wolfram.com|accessdate=2024-10-02}}</ref>。

==概要==
[[ファイル:Nine-point circle.svg|thumb|九点円]]
九点円は三角形ABCの以下の9個の点を通る{{Sfn|コクセター|2009|pp=55-56}}。
*3辺の中点（D、E、F）
*3頂点から対辺に下ろした垂線の足（G、H、I）
*[[垂心]]と3頂点の中点（J、K、L）

九点円の中心Nは[[オイラー線]]上の垂心と外心の[[中点]]であり、半径は[[外接円]]の半径{{mvar|R}}の半分{{sfrac|{{mvar|R}}|2}}である{{efn|重心Gを中心とする拡大・縮小率 {{Sfrac|－|1|2}} の相似変換 {{mvar|f}} により三角形ABCは三角形DEFに写され、垂心Hを中心とする拡大・縮小率 {{Sfrac|1|2}} の相似変換 {{mvar|g}} により三角形ABCは三角形JKLに写されるから、[[外接円]]は相似変換 {{mvar|f}} および相似変換 {{mvar|g}} により九点円に写されるので、九点円の半径は外接円の半径 {{mvar|R}} の半分 {{sfrac|{{mvar|R}}|2}} である{{Sfn|コクセター|2009|pp=145-146}}。さらに、重心Gと垂心Hは相似の中心となり、外心を O、九点円の中心を N とすると、重心Gと垂心Hは[[オイラー線]]上で線分 ON をそれぞれ 2：1 に外分および内分するので、九点円の中心 N は外心 O と垂心 H の[[中点]]となる{{Sfn|コクセター|2009|pp=145-146}}。
:<math>\begin{align}\overrightarrow{\mathrm{OH}} &= \overrightarrow{\mathrm{OA}} + \overrightarrow{\mathrm{OB}} + \overrightarrow{\mathrm{OC}},\\
\overrightarrow{\mathrm{OG}} &= \frac{1}{3}\left(\overrightarrow{\mathrm{OA}} + \overrightarrow{\mathrm{OB}} + \overrightarrow{\mathrm{OC}}\right) = \frac{1}{3}\overrightarrow{\mathrm{OH}},\\
\overrightarrow{\mathrm{ON}} &= \frac{1}{2}\left(\overrightarrow{\mathrm{OA}} + \overrightarrow{\mathrm{OB}} + \overrightarrow{\mathrm{OC}}\right) = \frac{1}{2}\overrightarrow{\mathrm{OH}}.\\
\end{align}</math>}}。

== 歴史 ==
三角形上の6個の点（上述の点のうち辺上にあるもの）を通る円の存在を[[レオンハルト・オイラー|オイラー]]が1765年に証明していたともいわれる<ref name=Weisstein/>。

九点円が三角形上の6個の点に加えて残りの3点を通ることは、フランスの[[ジャン＝ヴィクトル・ポンスレ]]と[[シャルル・ブリアンション]]によって1821年に証明された。その翌年の1822年に、ドイツの[[カール・フォイエルバッハ]]が同じ円が三角形の内接円と傍接円に接することも含めてモノグラフで証明を発表した{{Sfn|Feuerbach|Buzengeiger|1822}}。さらにその後の1842年に、フランスの[[オルリー・テルケム]]が[[フォイエルバッハの定理]]の解析的な証明を与え、この円を九点円（{{Lang-fr-short|le cercle des neuf points}}、{{Lang-en-short|nine-point circle}}）と命名した。この円は六点円とも呼ばれていたが、現在[[六点円]]は三角形上の別の円を指す名称となっている。

== 証明 ==
[[ファイル:九点円.png|代替文=九点円|サムネイル|254x254ピクセル|九点円]]
右図で四角形ELMGを作る。[[中点連結定理]]より、EG, LM, BCは平行となり、EL, AI, GMも平行となる。AI, BCは垂直となる。以上より、四角形ELMGは長方形で、その4つの頂点は同一円周Γ上にある。したがって、この長方形ELMGの対角線EM, LGは、円Γの直径となる。角LJGは90゜だから、JはLGを直径とする円Γ上にあることが分かる。同様にHもEMを直径とする円Γ上にある。

次に、四角形KLFGについて同様に議論すると、四角形KLFGは長方形となる。したがって、その4つの頂点は同一円周Γ'上にあり、IはKFを直径とする円Γ'上に, JもLGを直径とする円Γ'上にあることが分かる。

しかし、LGを直径とする円は一つしかないので、上記の二つの円Γ, Γ'は一致する。

以上より、9点が同一円周Γ上にあることが分かる{{Sfn|コクセター|2009|pp=55-56}}{{sfn|安藤|2006|pp=79-80}}。

==関連する性質==
===フォイエルバッハの定理===
フォイエルバッハは、1822年に以下の定理を証明している{{Sfn|Feuerbach|Buzengeiger|1822}}{{sfn|安藤|2006|pp=81, 201-205}}。
{{math_theorem|フォイエルバッハの定理|九点円は[[三角形の内接円と傍接円|内接円]]に内接し、[[三角形の内接円と傍接円|傍接円]]に外接する。}}
この定理は「[[フォイエルバッハの定理]]」と呼ばれる、九点円に関する最も有名な定理のひとつである。

九点円と内接円の接点を[[フォイエルバッハ点]]と呼ぶ{{sfn|安藤|2006|p=81}}。

この定理は、[[フォイエルバッハの定理#ロジャース|ロジャースの定理]]や、[[ハートの定理]]、[[フォントネーの定理]]などに一般化されている。他にも、[[ラウル・ブリカール]]や[[フランク・モーリー]]などがこの定理の拡張について述べている{{Sfn|窪田|1932}}。

===その他の性質===
他に以下のような性質がある。
*三角形の3個の頂点と垂心の4点からどの3個を選んでも、その三角形に対する九点円は同じになる{{Sfn|コクセター|2009|pp=56-57}}。
*外接円の対蹠点上にある2点から導かれる2本の[[シムソン線]]は、九点円上で直交する{{efn|1990年バルト海団体数学コンテスト問8{{sfn|安藤|2006|pp=127, 129-130}}}}。
*[[垂心]]と外接円上の任意の点の中点は九点円上にある{{efn|垂心Hを中心とする拡大・縮小率 {{Sfrac|1|2}} の相似変換 {{mvar|g}} により外接円は九点円に写されるから{{Sfn|コクセター|2009|p=145}}。}}。

また、九点円の定理から以下のことも導かれる。
*三角形の内心Iと傍心 I{{sub|A}}, I{{sub|B}}, I{{sub|C}} の中点、傍心 I{{sub|A}}, I{{sub|B}}, I{{sub|C}} 同士の中点はどれも外接円上にある{{efn|三角形ABCの内心Iは三角形I{{sub|A}}I{{sub|B}}I{{sub|C}}の垂心であり、三角形ABCの外接円は三角形I{{sub|A}}I{{sub|B}}I{{sub|C}}の九点円となるから{{sfn|安藤|2006|pp=80-81}}。}}。これは[[トリリウムの定理]]を含んでいる。
<gallery>
SquaresAround9PointCircle TomoyukiMogi.gif|図のように三角形（黄）の九点円（緑）の中心から当該三角形の各辺への垂線として交わる点で辺を分割して分割後の長さの辺を持つ正方形６個を描き、それらの正方形の面積の巡回奇偶別合計を求めると、両合計面積（赤・青）は等しくなっている（[[カルノーの定理 (垂線)|カルノーの定理]]）。
SquareDeltaWith9PointsCircle TomoyukiMogi.gif|図のように三角形（黄）の底辺が当該三角形の九点円（緑）の中心からの垂線で分割されている場合、分割後の長さの辺（紫・桃）を持つ正方形同士の面積の差は、頂点へ向けての二辺それぞれを辺として持つ正方形（赤・青）同士の面積の差の半分となっている。
</gallery>

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{Reflist|2}}

== 参考文献 ==
*{{Cite book|和書
|author=安藤哲哉
|date=2006-10-10
|title=三角形と円の幾何学　数学オリンピック幾何問題完全攻略
|publisher=海鳴社
|isbn=978-4-87525-234-4
|ref={{Harvid|安藤|2006}}
}}
*{{Cite book|和書
|author=H. S. M. コクセター|authorlink=ハロルド・スコット・マクドナルド・コクセター
|translator=[[銀林浩]]
|date=2009-09-10
|title=幾何学入門
|series=ちくま学芸文庫 コ27-1 Math & Science
|volume=上
|publisher=筑摩書房
|isbn=978-4-480-09241-0
|ref={{Harvid|コクセター|2009}}
}}
*{{Cite book|和書
|author=高木貞治|authorlink=高木貞治
|date=1996-12-10
|title=近世数学史談・数学雑談
|edition=復刻版
|publisher=共立出版
|pages=88-90
|isbn=978-4-320-01551-7
|ref={{Harvid|高木|1996}}
}} - 複素数を用いた九点円の定理の証明。
* {{citation | last1 = Feuerbach | first1 = Karl Wilhelm | author1-link = カール・フォイエルバッハ | last2 = Buzengeiger | first2 = Carl Heribert Ignatz  | year = 1822 | title = Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks und mehrerer durch sie bestimmten Linien und Figuren. Eine analytisch-trigonometrische Abhandlung | publisher = Wiessner | location = Nürnberg | edition = Monograph | url = http://resolver.sub.uni-goettingen.de/purl?PPN512512426 }}. {{Google books|azfIjumeVdEC|online book}}
* {{Cite book|和書 |title=初等幾何学特選問題 |year=1932 |publisher=[[共立出版|共立社書店]] |pages=95-113 |doi=10.11501/1211458 |ref={{Harvid|窪田|1932}} |author=窪田忠彦|authorlink=窪田忠彦}}

== 外部リンク ==
*{{kotobank|九点円}}
*{{高校数学の美しい物語|690|九点円の定理の証明と諸性質}}
*{{高校数学の美しい物語|967|フォイエルバッハの定理と計算による証明}}
*{{Mathworld|urlname=Nine-PointCircle|title=Nine-Point Circle}}
*{{Mathworld|urlname=FeuerbachsTheorem|title=Feuerbach's Theorem}}
*[http://jwilson.coe.uga.edu/EMT668/EMT668.Folders.F97/Anderson/geometry/geometry1project/historyofninepointcircle/history.html History of the Nine Point Circle] {{En icon}}

{{DEFAULTSORT:きゆうてんえん}}
[[Category:円 (数学)]]
[[Category:三角形]]
[[Category:数学に関する記事]]