三角形の垂心は、3つの頂点からそれぞれの対辺、またはその延長へ引いた垂線同士の交点となります。
どの三角形にも垂心があることを確かめます。
鋭角三角形の場合
鋭角三角形
ABCの頂点
A, Bからそれぞれ
BC, ACへ垂線を下ろし、交点を
D, Eとします。
AD, BEの交点をHとし、半直線CHとABの交点をFとします。
このとき点
Hが垂心であるならば、
CFは
ABに対する垂線となるはずです。
そして∠BFC=90°となるのならば、△BFHと△CHEに着目したとき、
∠BFH=∠CEH=90°、対頂角より∠BHF=∠CHEとなるから∠FBH=∠ECHが成り立つはずです。
なので、∠FBH=∠ECHが成り立つことを示すことにより、3本の頂点から対辺への垂線が1点で交わり、垂心が存在することを確かめます。
4点
A, B, D, Eに着目すると
∠ADB=∠AEB=90°なので、円周角の定理の逆より
A, B, D, Eは同一円周上にあることがわかります。
この円において、円周角の定理より∠ABE(=∠FBH)=∠ADEが成り立ちます。
また、4点
C, D, E, Hに着目すると、これらを頂点とする四角形
CDEHは
∠CDH=∠CEH=90°となり対角の和が
180°なので円に内接するため、
C, D, E, Hは同一円周上にあることがわかります。
この円において、円周角の定理より∠EDH(=∠ADE)=∠ECHが成り立ちます。
したがって、∠FBH=∠ECHが成り立つのでCFはABに対する垂線となり、鋭角三角形には垂心が存在することがわかります。
直角三角形の場合
∠C=90°である直角三角形
ABCの頂点
Aから辺
BCへおろした垂線は辺
ACと同一の直線となります。
同様に頂点BからACへおろした垂線は辺BCと同一の直線となります。
垂線AC, BCの交点は点Cとなるので、頂点CからABへおろした垂線も必ずCで交わることになります。
したがって、直角三角形の垂心は直角の頂点と一致します。
鈍角三角形の場合
∠Aが鈍角である鈍角三角形
ABCの頂点
Aから
BCへ垂線を下ろし、交点を
Dとします。頂点
Bからは
ACの延長線へ垂線を下ろし、交点を
Eとします。
AD, BEを延長してその交点をHとし、直線CHとABの延長との交点をFとします。
鋭角三角形の場合と同様にCHがABの延長に対する垂線ならば、△BFHと△CHEに着目したとき、∠BFH=∠CEH=90°、共通の角より∠BHF=∠CHEとなるから∠FBH=∠ECHが成り立つはずなので、このことを示して点Hが垂心であることを確かめます。
4点A, B, D, Eに着目すると、これらを頂点とする四角形ABDEは∠ADB=∠AEB=90°となり対角の和が180°なので円に内接するため、A, B, D, Eは同一円周上にあることがわかります。
この円において、円周角の定理より∠ABE(=∠FBH)=∠ADEが成り立ちます。
また、4点C, D, E, Hに着目すると∠CDH=∠CEH=90°なので、円周角の定理の逆よりC, D, E, Hは同一円周上にあることがわかります。
この円において、円周角の定理より∠EDH(=∠ADE)=∠ECHが成り立ちます。
したがって、∠FBH=∠ECHが成り立つのでCHはABの延長に対する垂線となり、鈍角三角形には垂心が存在することがわかります。また、鈍角三角形の垂心は三角形の外部に存在します。
すべての三角形は鋭角三角形、直角三角形、鈍角三角形のいずれかに分類されるので、以上からすべての三角形には垂心が存在することがわかります。