九点円

九点円（きゅうてんえん、英: nine-point circle）は、三角形において特定の9個の点を通る円の名称である。発見した人の名前から、オイラー円（英: Euler's circle）・フォイエルバッハ円（英: Feuerbach circle）とも呼ばれる^[1]。

概要[編集]

九点円は三角形ABCの以下の9個の点を通る^[2]。

3辺の中点（D、E、F）
3頂点から対辺に下ろした垂線の足（G、H、I）
垂心と3頂点の中点（J、K、L）

九点円の中心Nはオイラー線上の垂心と外心の中点であり、半径は外接円の半径 $R$ の半分 $R$ /2である^{[注釈 1]}。

歴史[編集]

三角形上の6個の点（上述の点のうち辺上にあるもの）を通る円の存在をオイラーが1765年に証明していたともいわれる^[1]。

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

証明[編集]

右図で四角形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点が同一円周Γ上にあることが分かる^[2]^[5]。

脚注[編集]

[脚注の使い方]

注釈[編集]

^ 重心Gを中心とする拡大・縮小率－+1/2 の相似変換 $f$ により三角形ABCは三角形DEFに写され、垂心Hを中心とする拡大・縮小率 1/2 の相似変換 $g$ により三角形ABCは三角形JKLに写されるから、外接円は相似変換 $f$ および相似変換 $g$ により九点円に写されるので、九点円の半径は外接円の半径 $R$ の半分 $R$ /2 である^[3]。さらに、重心Gと垂心Hは相似の中心となり、外心を O、九点円の中心を N とすると、重心Gと垂心Hはオイラー線上で線分 ON をそれぞれ 2：1 に外分および内分するので、九点円の中心 N は外心 O と垂心 H の中点となる^[3]。
${\begin{aligned}{\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{aligned}}$
^ 1990年バルト海団体数学コンテスト問8^[9]
^ 垂心Hを中心とする拡大・縮小率 1/2 の相似変換 $g$ により外接円は九点円に写されるから^[10]。
^ 三角形ABCの内心Iは三角形I_AI_BI_Cの垂心であり、三角形ABCの外接円は三角形I_AI_BI_Cの九点円となるから^[11]。

出典[編集]

^ ^a ^b Weisstein
^ ^a ^b コクセター 2009, pp. 55–56.
^ ^a ^b コクセター 2009, pp. 145–146.
^ ^a ^b Feuerbach & Buzengeiger 1822.
^ 安藤 2006, pp. 79–80.
^ 安藤 2006, pp. 81, 201–205.
^ 安藤 2006, p. 81.
^ コクセター 2009, pp. 56–57.
^ 安藤 2006, pp. 127, 129–130.
^ コクセター 2009, p. 145.
^ 安藤 2006, pp. 80–81.

参考文献[編集]

安藤哲哉『三角形と円の幾何学　数学オリンピック幾何問題完全攻略』海鳴社、2006年10月10日。ISBN 978-4-87525-234-4。
H. S. M. コクセター著、銀林浩訳『幾何学入門』上、筑摩書房〈ちくま学芸文庫コ27-1 Math & Science〉、2009年9月10日。ISBN 978-4-480-09241-0。
高木貞治『近世数学史談・数学雑談』（復刻版）共立出版、1996年12月10日、88-90頁。ISBN 978-4-320-01551-7。 - 複素数を用いた九点円の定理の証明。
Feuerbach, Karl Wilhelm; Buzengeiger, Carl Heribert Ignatz (1822), Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks und mehrerer durch sie bestimmten Linien und Figuren. Eine analytisch-trigonometrische Abhandlung (Monograph ed.), Nürnberg: Wiessner . online book - Google ブックス

外部リンク[編集]

『九点円』 - コトバンク
『九点円の定理の証明と諸性質』 - 高校数学の美しい物語
『フォイエルバッハの定理と計算による証明』 - 高校数学の美しい物語
Weisstein, Eric W. "Nine-Point Circle". mathworld.wolfram.com (英語).
Weisstein, Eric W. "Feuerbach's Theorem". mathworld.wolfram.com (英語).
History of the Nine Point Circle （英語）

[4] 重心Gを中心とする拡大・縮小率－+1/2 の相似変換 $f$ により三角形ABCは三角形DEFに写され、垂心Hを中心とする拡大・縮小率 1/2 の相似変換 $g$ により三角形ABCは三角形JKLに写されるから、外接円は相似変換 $f$ および相似変換 $g$ により九点円に写されるので、九点円の半径は外接円の半径 $R$ の半分 $R$ /2 である^[3]。さらに、重心Gと垂心Hは相似の中心となり、外心を O、九点円の中心を N とすると、重心Gと垂心Hはオイラー線上で線分 ON をそれぞれ 2：1 に外分および内分するので、九点円の中心 N は外心 O と垂心 H の中点となる^[3]。
${\begin{aligned}{\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{aligned}}$

[11] 1990年バルト海団体数学コンテスト問8^[9]

[13] 垂心Hを中心とする拡大・縮小率 1/2 の相似変換 $g$ により外接円は九点円に写されるから^[10]。

[15] 三角形ABCの内心Iは三角形I_AI_BI_Cの垂心であり、三角形ABCの外接円は三角形I_AI_BI_Cの九点円となるから^[11]。

[Weisstein-1] Weisstein

[FOOTNOTEコクセター200955–56-2] コクセター 2009, pp. 55–56.

[FOOTNOTEコクセター2009145–146-3] コクセター 2009, pp. 145–146.

[FOOTNOTEFeuerbachBuzengeiger1822-5] Feuerbach & Buzengeiger 1822.

[FOOTNOTE安藤200679–80-6] 安藤 2006, pp. 79–80.

[FOOTNOTE安藤200681,_201–205-7] 安藤 2006, pp. 81, 201–205.

[FOOTNOTE安藤200681-8] 安藤 2006, p. 81.

[FOOTNOTEコクセター200956–57-9] コクセター 2009, pp. 56–57.

[FOOTNOTE安藤2006127,_129–130-10] 安藤 2006, pp. 127, 129–130.

[FOOTNOTEコクセター2009145-12] コクセター 2009, p. 145.

[FOOTNOTE安藤200680–81-14] 安藤 2006, pp. 80–81.

[1]

[2]

[注釈 1]

[4]

[5]

[6]

[7]

[8]

[注釈 2]

[注釈 3]

[注釈 4]

[3]

[9]

[10]

[11]

九点円