かえでです.
私が知る限りの九点円の特徴をまとめます.点,線,円の定義が省かれている場合は以前の定義に則ってください.
また,意味が分からない単語があったら各自調べてください.
初投稿 :2024/04/24
更新 :
三角形$ABC$において,その垂心を$H$とし,$A,B,C$から対辺に下ろした垂線の足をそれぞれ$D,E,F$とし,$BC,CA,AB,AH,BH,CH$の中点をそれぞれ$M_A,M_B,M_C,N_A,N_B,N_C$とする.このとき,$D,E,F,M_A,M_B,M_C,N_A,N_B,N_C$は共円である.これらの$9$点が通る円を三角形$ABC$の九点円という.
九点円
以下,証明部分においては三角形$ABC$が鋭角三角形であるとする.鈍角三角形の場合も同様に証明ができるため各々試してみよ.
以降の内容に大きく通ずるような証明を与える.
相似拡大を考えることにより,$D,E,F,M_A,M_B,M_C$について$H$と対称な点が$ABC$の外接円$\Gamma$上にあることを示せばよい.
対称性から$D,M_A$の場合のみ考えればよい.
$D,M_A$について$H$と対称な点をそれぞれ$H_A,A'$とする.また,$\Gamma$の中心を$O$とする.
$\angle BH_AC = \angle BHC = \angle A + 180^{\circ}-2\angle A = 180^{\circ}-\angle A $
よって,$H_A$は直線$BC$について$A$と反対側にあるので$A,B,C,H_A$の共円が示される.
$A'$の場合の証明は読者に委ねる.
(ヒント:外心$O$と中点連結定理を考えてみよ)
よって,以上から九点円の存在及び九点円が外接円に垂心を中心として$1/2$倍の相似拡大を施したものであることが示された.
$\Gamma$を$H$中心で$\frac{1}{2}$倍拡大する
三角形$ABC$の九点円を$\Omega$とし,$\Omega$の中心を$N$とする.このとき,$N$が$HO$の中点であることを示せ.
問題1の図
外接円を$\Omega $,垂心を$H$とする鋭角三角形$ABC$において,$A$から$BC$におろした垂線の足を$D$,$AC$の中点を$M$とし,半直線$MD$と$\Omega$の交点を$X$とするとき,$AH = XH$が成立した.$AC=24,XD=6$のとき,$AB$の長さの$2$乗を求めよ.
問題2の図
三角形の外接円の半径を$R$,内接円の半径を$r$とする.このとき,この三角形の九点円の半径は$\frac{R}{2}$である.
また,明らかに$\frac{R}{2} \ge r$であるから,$R \ge 2r$が成り立つ.これをオイラーの不等式という.
(ただし,等号成立は三角形が正三角形のとき.)
なぜ九点円の半径は$\frac{R}{2}$なのか,簡潔な説明を与えよ.
まず,以下に重要な基本性質を記述する.
異なる$2$円に対し$2$円への方べきの値が等しい点の集合を根軸という.
また,根軸は必ず直線である.
赤線:根軸
異なる$2$円について,$2$円の中心を結ぶ直線と$2$円の根軸は直交する.
証明は読者に委ねる.
以上は必ず覚えておくべき性質である.
さて,この節の本題に入ろう.
三角形$ABC$において,直線$BC$と直線$EF$の交点を$X$とし,同様に$CA,AB$についてそれぞれ点$Y,Z$を定める.
このとき,$3$点$X,Y,Z$は共線である.
この直線を三角形$ABC$の垂軸という.
赤線:垂軸
三角形$ABC$の外接円$\Gamma$と九点円$\Omega$の根軸を$\Delta$とする.このとき,
$XB \times XC = XF \times XE$ ($\because$$BCEF$の共円)
よって,$X$は$\Delta$上の点である.
同様に$Y,Z$も$\Delta$上の点である.
よって$3$点$X,Y,Z$の共線が従う.
(Desarguesの定理を用いるとより簡潔に示せる.)
垂軸とオイラー線は直交する.
これは私が初等幾何に惹かれる要因となった性質である.以下に証明を載せるがぜひ自力で証明を与えてほしい.
※オイラー線の定義は各自調べること
内心と外心をそれぞれ,$I,O$とする不等辺三角形$ABC$において,$\angle A$内の傍心を$I_A$とし同様に点$I_B,I_C$を定める.直線$AC$と$I_CB$の交点を$X$,直線$CB$と$I_BA$の交点を$Y$,直線$BA$と$I_AC$の交点を$Z$とする.$\angle AIO = 90^{\circ} $のとき,$XY = ZY$を示せ.
鋭角三角形$ABC$において,その外接円を$\Gamma$,九点円を$\omega$,外心を$O$,$A$から$BC$に下ろした垂線の足を$D$,$AB,AC$の中点をそれぞれ$M,N$とする.また,$\Gamma$の$A$における接線と$\omega$の$D$における接線の交点を$S$,三角形$SAO$の外接円と$\Gamma$の交点を$T$とする.このとき,三角形$ADT$の外接円と$MN$は$\angle A$の二等分線上で交わることを示せ.
三角形$ABC$において,$A,B,C$から対辺に下した垂線の足をそれぞれ$D,E,F$とする.このとき,三角形$AEF,BFD,CDE$のオイラー線は三角形$ABC$の九点円$\Omega$上で交わることを示せ.
外接円が$\Gamma$である三角形$ABC$において,$AB,AC$及び円$\Gamma$に接する円はただ一つ存在するのでそれを$A-$混線内接円と言い,これを$\Omega _A$とする.$\Gamma$と$\Omega _A$の接点を$T$とし,三角形$ABC$の内心を$I$,$A,B,C$に対する傍心をそれぞれ$I_A,I_B,I_C$とする.このとき,$T$について$I$と対称な点$T_I$は円$I_AI_BI_C$上にあることを示せ.
$x$を求めよ
$x$(青の面積)を求めよ
三角形$ABC$において,その外接円を$\Gamma$とする.$\Gamma$上に点$P(≠A,B,C)$をとり,$P$から直線$BC,CA,AB$に下ろした垂線の足をそれぞれ$D,E,F$とすると,$P$によらず$3$点$D,E,F$は共線である.この直線を三角形$ABC$の$P$におけるシムソン線という.
容易なAngle chaseにより示される(複数の共円に注意)
定理4において,$P$におけるシムソン線に対し,$P$を中心として2倍の相似拡大を施した直線を三角形$ABC$の$P$におけるシュタイナー線という.
$P$におけるシムソン線は垂心$H$と$P$の中点を通る.特に,この点は九点円上にある.
証明は少し難しいが,九点円に直接影響するような議論はしないので省く.以降要望があれば載せようと思う.
以下には非常に複雑な定理が並ぶが,以降の証明で用いることがあるので知っておいた方がよいだろう.
シュタイナー線は垂心を通る.
定理5において,$P$を中心とする2倍の相似拡大を施せばよい.
$\Gamma$上に直径$PQ$を取る.このとき$P,Q$におけるシムソン線は九点円上で直交する.
$HP,HQ$の中点をそれぞれ$X,Y$とする.定理5よりこれらは九点円上にあることに留意せよ.九点円を外接円に移す相似拡大を考えることにより,$XY$は九点円の直径を成すことが分かるので示される.
これらを数オリの問題で使うことは殆ど無いであろうが,より深くシムソン線について知りたい場合は以下のdenta氏の記事を見てみるとよい.(この記事の内容より遥かに難解である)
以下に示す定理は初等幾何学でもっとも興味深いもののひとつである.
三角形$ABC$において,その九点円を$\Omega$,内接円を$\omega$,$A,B,C$に対する傍接円をそれぞれ$\omega _A,\omega _B,\omega _C$とする.このとき,$\Omega$は$\omega$に内接し,$\omega _A,\omega _B,\omega _C$に外接する.$\Omega$ と $\omega$の接点を,三角形$ABC$のフォイエルバッハ点という.
フォイエルバッハの定理を証明するにあたって,より強い主張を以下に示す.
三角形$ABC$において,互いに等角共役な点$P,P'$と外心が共線ならば,$P$の垂足円は三角形$ABC$の九点円に接する.
等角共役,垂足円の定義は各自調べよ.
$P$を内心,傍心にすることでフォイエルバッハの定理が従う.
$\Gamma$の中心を$O$,$\Gamma$の直径$PP'$の両端を$X,Y$,$X,Y$から$BC$に下ろした垂線の足をそれぞれ$X',Y'$,$P,P'$から$BC$に下ろした垂線の足をそれぞれ$D,D'$,$BC$の中点を$M$,$\Gamma$の半径を$R$とすると,
$MD:MX'=OP:R$
$MD':MX'=OP':R$
よって,$(MD×MD'):MX'^2=(OP×OP'):R^2$
$X,Y$におけるシムソン線は九点円上で交わるから,この点を$L$とすると,定理6より$L$は$X'Y'$を直径とする円上にある.よって$MX'=ML$であるから,$(MD×MD'):ML^2=(OP×OP'):R^2$
全く同様に,$CA,AB$の中点をそれぞれ$N,K$,$P$から$CA,AB$へ下ろした垂線の足をそれぞれ$E,F$,$P'$から$CA,AB$へ下ろした垂線の足をそれぞれ$E',F'$とすると,
$(MD×MD'):ML^2=(NE×NE'):NL^2=(KF×KF'):KL^2=(OP×OP'):R^2$
2円に関するべきの比が等しい点の軌跡は2円と共軸な定円であるから,これは九点円が$P$の垂足円,点円$L$と共軸であることを示している.$L$は九点円上の点であるから,この共軸円足の根軸は$L$における九点円の接線である.よって$P$での垂足円と九点円は点$L$で接する.
定理8によってフォイエルバッハの定理を系として証明できた.
$x$を求めよ
$p+y=q+x$を示せ
ここまでに得た九点円の知識を利用して,定理8を用いずにフォイエルバッハの定理の証明を与えよ.
(フォイエルバッハの定理には非常に多くの証明法が存在している.)
鋭角三角形$ABC$が円$\omega$に内接しており,その垂心を$H$,外心を$O$とする.$AB,AC$の中点をそれぞれ$M,N$とし,半直線$MH,NH$と $\omega$の交点をそれぞれ$P,Q$とする.直線$MN$と直線$PQ$の交点を$R$とするとき,$OA ⊥ RA$を示せ.
四角形$APBQ$が円$\omega$に内接しており,$\angle P = \angle Q = 90^{\circ} $および$AP=AQ < BP$をみたしている.$PQ$上に点$X$を任意にとり,直線$AX$と$\omega$の交点のうち$A$でない方を$S$とする.$\omega$の弧$AQB$上の点$X$は$AX ⊥ XT$をみたし,弦$S,T$の中点を$M$とする.$X$が線分$PQ$上を任意に動くとき,$M$はある円上を動くことを示せ.
いかがだったでしょうか?これからも問題,定理の追加と修正は繰り返し行っていくので,是非定期的にご覧下さい!
また,初投稿時点(23/04/24)時点の予定として,次は反転のことを入れたいと思っています.
反転,射影,ミケル点などについては高度な内容なので上手くまとまってから追加していきます.
訂正や追加して欲しい問題などについては私のdmで教えてくださるようお願いします.
以上です.