美しい公式

『美しい証明』解答



◆大阪府の高校生 CHECK さんからの解答。

 私は数学の美しさは、幾何学が最高だと自分の中では思っています。
そのうちの一つ「三角形の9点円」を紹介します。
これは、僕が中学生の時に授業中、先生が三角形の9カ所に点を打ち、「これは実は同一円周上にある。」と言われて、とても驚きました。

(9点円の問題)

三角形ABCの3辺BC,CA,ABの中点をL,M,Nとし、点A,B,Cから対辺におろした垂線の足をD,E,F,垂心をHとする。
AH,BH,CHの中点をP,Q,Rとすると、L,M,N,D,E,F,P,Q,Rの9点は同一円周上にあることを証明せよ。

(解答)

AB,AHの中点がN,PであるからNPとBHは平行である
さらに、BH⊥AC ∴NP⊥AC

また、点L,NはBC,BAの中点であるからLNとACは平行である
∴NP⊥LN よって∠PNL=90°

同様に、MPとCH、MLとABが平行で、CH⊥ABなのでMP⊥MLがいえる
∴∠PML=90° また∠PDL=90°

よって5点P,N,D,L,MはPLを直径とする同一円周上にある
すなわち、点P,Dは円LMNの上にある

同様に点Q,E及びR,Fも円LMNの上にあることがいえる
∴点P,D,Q,E,R,Fは円LMNの上にある

すなわち9点L,M,N,D,E,F,P,Q,Rは同一円周上にある

証明終

以上、この証明を黒板で解かれたときは唖然としましたね。
高校になってからはこの問題を複素数平面での証明をやってみたらできました。
書くのが大変なのでそちらの証明は省かせていただきますが、こちらの証明もかなり美しいです。
やり方は三角形の外心を原点にとり、三角形の各頂点と外心との距離を1として解いていけば、外心と垂心の中点を中心とする半径1/2の円周上に9点がきます。
一度おためしあれ。

この9点円の発展型として「フォイエルバッハ(Feuerbach)の定理」があります。
証明してみて下さい。

「定理:三角形の9点円は内接円と傍接円に接する」


 数学の美しさへもどる

 数学の部屋へもどる