九点円

九点円（きゅうてんえん、）は、三角形において特定の9個の点を通る円の名称である。発見した人の名前から、オイラー円（）・フォイエルバッハ円（）とも呼ばれる。
概要.
九点円は三角形ABCの以下の9個の点を通る。
九点円の中心Nはオイラー線上の垂心と外心の中点であり、半径は外接円の半径の半分である &= \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年に証明していたともいわれる。
九点円が三角形上の6個の点に加えて残りの3点を通ることは、フランスのジャン＝ヴィクトル・ポンスレとによって1821年に証明された。その翌年の1822年に、ドイツのカール・フォイエルバッハが同じ円が三角形の内接円と傍接円に接することも含めてモノグラフで証明を発表した。さらにその後の1842年に、フランスのがフォイエルバッハの定理の解析的な証明を与え、この円を九点円（、）と命名した。この円は六点円とも呼ばれていたが、現在六点円は三角形上の別の円を指す名称となっている。
証明.
右図で四角形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点が同一円周Γ上にあることが分かる。
関連する性質.
フォイエルバッハの定理.
フォイエルバッハは、1822年に以下の定理を証明している。
この定理は「フォイエルバッハの定理」と呼ばれる、九点円に関する最も有名な定理のひとつである。
九点円と内接円の接点をと呼ぶ。
その他の性質.
他に以下のような性質がある。
また、九点円の定理から以下のことも導かれる。