1. 高校数学の美しい物語
  2. 九点円の定理の証明と諸性質

九点円の定理の証明と諸性質

更新日時 2021/03/07

九点円の定理

九点円の定理:

三角形 ABCABC において,以下の9点は同一円周上にある。

三辺の中点 AM,BM,CMA_M,B_M,C_M

垂線の足 AH,BH,CHA_H,B_H,C_H

垂心と各頂点の中点 AN,BN,CNA_N,B_N,C_N

九点円のことをオイラー円,フォイエルバッハ円とも言います。初等幾何好きなら知っておきたい美しい定理です。

数学オリンピックでも九点円の定理を知らないと解けないような問題は出題されないと思いますが,証明中で図形の基礎的な手法をふんだんに使うので,証明の流れを理解しておくとJMOの本選以降で役に立つかもしれません。

目次
  • 九点円の定理の証明

  • 九点円にまつわる諸性質

九点円の定理の証明

方針:やるべきことは2つ。まずは4点 BM,CN,BN,CMB_M,C_N,B_N,C_M が同一円周上にあることを証明します。次に,BH,CHB_H,C_H もその円周上にあることを示します。そうすれば対称性から残りの3点も同一円周上にあることが分かります。

証明

九点円の定理の証明

中点連結定理より,

CMBM//BC//BNCNC_MB_M//BC//B_NC_N

CMBN//AH//BMCNC_MB_N//AH//B_MC_N

これと,AHBCAH\perp BC より,四角形 BM,CN,BN,CMB_M,C_N,B_N,C_M は長方形となり同一円周上にある。長方形の対角線 BMBNB_MB_N 及び CMCNC_MC_N はその円 Γ\Gamma の直径となる。

また,BNBHBM=90\angle B_NB_HB_M=90^{\circ} より BHB_HΓ\Gamma の円周上にある。同様にして CHC_HΓ\Gamma の円周上にある。

よって,BM,BN,BH,CM,CN,CHB_M,B_N,B_H,C_M,C_N,C_H は同一円周上にあることが分かったが,全く同様にして,AM,AN,AH,BM,BN,BHA_M,A_N,A_H,B_M,B_N,B_H も同一円周上にあることが分かる。しかし,三点 BM,BN,BHB_M,B_N,B_H を通る円は1つしかないので上記の2つの円は一致する。以上から九点は同一円周上にあることが証明された。

九点円にまつわる諸性質

九点円の半径は三角形 ABCABC の外接円の半径の半分です。なぜなら,九点円は「三角形 ABCABC を2分の1に縮小した三角形 AMBMCMA_MB_MC_M の外接円」であるからです。また,明らかに内接円の半径より九点円の半径の方が大きいことと合わせるとオイラーの不等式 R2rR\geq 2r が導かれます!!

・九点円の中心を NN とおくと, NN は外心 OO と垂心 HH の中点となります。このことから,NN もオイラー線上にあることが分かります。 →オイラー線の3通りの証明

・フォイエルバッハの定理:九点円と内接円は一点のみを共有します(内接します)。九点円と傍接円も一点のみを共有します(外接します)。

ここでも内心と傍心の類似性を垣間見ることができます。 →内心と傍心の性質の比較

フォイエルバッハの定理は非常に美しいですが,証明はかなり難しいです。 →フォイエルバッハの定理と計算による証明

九点円の図を睨んで平行な直線がいっぱいイメージできれば玄人です。

数学オリンピック対策の公式まとめ

人気記事
  1. 高校数学の美しい物語
  2. 九点円の定理の証明と諸性質