垂心の存在の3通りの証明

どんな三角形でも,各頂点から向かいの辺に下ろした3本の垂線は一点で交わる。その点を三角形の垂心と呼ぶ。

垂心

三角形の垂心について,垂心が存在することの3通りの証明を紹介します。

  1. 外心の存在を用いた証明

まずは1つめの証明です。三角形の外心については前提知識とします。つまり,三角形において,各辺の垂直二等分線は1点で交わるという定理を使います。

証明

垂心の証明

三角形 ABCABC の各頂点を通り対辺と平行な直線を3つ引き,それらの交点を D,E,FD,E,F とおく。

まず,三角形 ABCABCBAFBAF は合同である。なぜなら,以下のように1辺とその両端がそれぞれ等しいから:

  • 平行線の錯角より ABC=BAF\angle ABC=\angle BAF
  • 平行線の錯角より BAC=ABF\angle BAC=\angle ABF
  • ABAB は共通

同様に考えると,4つの小さい三角形 ABC,BAF,CEA,DCBABC,BAF,CEA,DCB はすべて合同である。特に,AF=AEAF=AE。 よって,

  • AA から BCBC におろした垂線」EFEF の垂直二等分線」

同様に,

  • BB から CACA におろした垂線」FDFD の垂直二等分線
  • CC から ABAB におろした垂線」DEDE の垂直二等分線」

ここで, 三角形 DEFDEF において,3辺の垂直二等分線は1点で交わるので,ABCABC における3本の垂線も1点で交わる。以上により垂心の存在が証明された。

  1. チェバの定理の逆を用いた証明

証明2では,チェバの定理の逆を使います。チェバの定理の逆については,チェバの定理:例題と3通りの証明を参考にしてください。

証明

垂心の証明

垂線の足を P,Q,RP,Q,R とおくと,

BPPC=AB×cosBCA×cosC\dfrac{BP}{PC}=\dfrac{AB\times\cos B}{CA\times\cos C}

CQQA=BC×cosCAB×cosA\dfrac{CQ}{QA}=\dfrac{BC\times\cos C}{AB\times\cos A}

ARRB=CA×cosABC×cosB\dfrac{AR}{RB}=\dfrac{CA\times\cos A}{BC\times\cos B}

より,ARBPCQRBPCQA=1\dfrac{AR\cdot BP\cdot CQ}{RB\cdot PC\cdot QA}=1

よって,チェバの定理の逆より,AP,BQ,CRAP,BQ,CR は1点で交わる。つまり,垂心が存在する。

  1. 座標を用いた証明

3本の直線が1点で交わることを,直交座標を用いて証明します。垂線の1つと yy 軸が一致するように座標を設定すると計算が楽になります。

証明

垂心の証明

AA が最大角としても一般性を失わない。

A(0,a),B(b,0),C(c,0)A(0,a),B(b,0),C(c,0) と座標を設定する。

ACAC の傾きは ac-\dfrac{a}{c} より,直線 BQBQ の方程式は,y=ca(xb)y=\dfrac{c}{a}(x-b)

これと,yy 軸との交点の yy 座標は,bca-\dfrac{bc}{a}

同様にして(または対称性より),CRCR(0,bca)(0,-\dfrac{bc}{a}) を通る。 よって,AP,BQ,CRAP,BQ,CR はすべて (0,bca)(0,-\dfrac{bc}{a}) を通る。よって,垂心の存在が証明された。

注: AA が最大角という条件を指定することで a,b,c0a,b,c\neq 0 となり傾きが定義できます。

垂直が多い構図では座標で計算するのがうまくいく場合が多いです。

Tag:数学Aの教科書に載っている公式の解説一覧