九点円
九点円 (きゅうてんえん、英 : nine-point circle )は、三角形 において特定の9個の点を通る円 の名称である。発見した人の名前から、オイラー円(英 : Euler's circle )・フォイエルバッハ円(英 : Feuerbach circle )とも呼ばれる[ 1] 。
概要
九点円
九点円は三角形ABCの以下の9個の点を通る。
3辺の中点(D、E、F)
3頂点から対辺に下ろした垂線の足(G、H、I)
垂心 と3頂点の中点(J、K、L)
九点円の中心Nはオイラー線 上の垂心と外心の中点 であり、半径は外接円 の半径R の半分R / 2 である[ 注釈 1] 。
歴史
三角形上の6個の点(上述の点のうち辺上にあるもの)を通る円の存在をオイラー が1765年に証明していたともいわれる[ 1] 。
九点円が三角形上の6個の点に加えて残りの3点を通ることは、フランスのジャン=ヴィクトル・ポンスレ とシャルル・ブリアンション によって1821年に証明された。その翌年の1822年に、ドイツのカール・フォイエルバッハ が同じ円が三角形の内接円と傍接円に接することも含めてモノグラフで証明を発表した。さらにその後の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点が同一円周Γ上にあることが分かる。
関連する性質
フォイエルバッハの定理
フォイエルバッハは、1822年に以下の定理を証明している。
フォイエルバッハの定理 ― 九点円は内接円 に内接し、傍接円 に外接する。
この定理は「フォイエルバッハの定理」と呼ばれる、九点円に関する最も有名な定理のひとつである。
九点円と内接円の接点をフォイエルバッハ点 と呼ぶ。
この定理は、ロジャースの定理 や、ハートの定理 、フォントネーの定理 などに一般化されている。他にも、ラウル・ブリカール やフランク・モーリー などがこの定理の拡張について述べている。
その他の性質
他に以下のような性質がある。
三角形の3個の頂点と垂心の4点からどの3個を選んでも、その三角形に対する九点円は同じになる。
外接円の対蹠点上にある2点から導かれる2本のシムソン線 は、九点円上で直交する[ 注釈 2] 。
垂心 と外接円上の任意の点の中点は九点円上にある[ 注釈 3] 。
また、九点円の定理から以下のことも導かれる。
三角形の内心Iと傍心 IA , IB , IC の中点、傍心 IA , IB , IC 同士の中点はどれも外接円上にある[ 注釈 4] 。これはトリリウムの定理 を含んでいる。
脚注
注釈
^ 重心Gを中心とする拡大・縮小率 -+ 1 / 2 の相似変換 f により三角形ABCは三角形DEFに写され、垂心Hを中心とする拡大・縮小率 1 / 2 の相似変換 g により三角形ABCは三角形JKLに写されるから、外接円 は相似変換 f および相似変換 g により九点円に写されるので、九点円の半径は外接円の半径 R の半分 R / 2 である。さらに、重心Gと垂心Hは相似の中心となり、外心を O、九点円の中心を N とすると、重心Gと垂心Hはオイラー線 上で線分 ON をそれぞれ 2:1 に外分および内分するので、九点円の中心 N は外心 O と垂心 H の中点 となる。
O
H
→ → -->
=
O
A
→ → -->
+
O
B
→ → -->
+
O
C
→ → -->
,
O
G
→ → -->
=
1
3
(
O
A
→ → -->
+
O
B
→ → -->
+
O
C
→ → -->
)
=
1
3
O
H
→ → -->
,
O
N
→ → -->
=
1
2
(
O
A
→ → -->
+
O
B
→ → -->
+
O
C
→ → -->
)
=
1
2
O
H
→ → -->
.
{\displaystyle {\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
^ 垂心Hを中心とする拡大・縮小率 1 / 2 の相似変換 g により外接円は九点円に写されるから。
^ 三角形ABCの内心Iは三角形IA IB IC の垂心であり、三角形ABCの外接円は三角形IA IB IC の九点円となるから。
出典
参考文献
外部リンク