三角形の外心と垂心には次のような性質があります。
「三角形のある頂点から垂心までの距離は、その対辺から外心までの距離の2倍である。」
上図のように頂点\text{A}とその対辺\text{BC}に着目した場合は、頂点\text{A}から垂心\text{H}までの距離\text{AH}と外心\text{O}から対辺\text{BC}までの距離\text{OM}の間には\text{AH}=2\text{OM}が成り立ちます。
これが成り立つことを鋭角三角形、直角三角形、鈍角三角形それぞれの場合にわけて確かめてみます。
鋭角三角形の場合
鋭角三角形
\text{ABC}の垂心を
\text{H}と外心を
\text{O}とします。また、外接円の半径を
\text{R}とします。
頂点\text{A}とその対辺\text{BC}に着目した場合を考えます。
頂点
\text{A}から垂心
\text{H}までの距離、すなわち線分
\text{AH}の長さは
鋭角三角形の3本の垂線の性質より
\text{AH}=2\text{R}\cos∠\text{A}
となります。
外心\text{O}から辺\text{BC}までの距離は\text{O}から\text{BC}へおろした垂線の長さとなります。すなわち、その垂線の足を\text{M}とすると、線分\text{OM}の長さとなります。
ここで、
△\text{OBC}に着目すると内角
∠\text{BOC}は弧
\text{BC}に対する中心角であることがわかります。また、弧
\text{BC}に対する円周角は
∠\text{A}なので、円周角の定理より
∠\text{BOC}=2∠\text{A}となります。
さらに△\text{OBC}は\text{BO}=\text{CO}=\text{R}より二等辺三角形なので、\text{OM}は辺\text{BC}の垂直二等分線かつ∠\text{BOC}の二等分線であるとわかります。
このことから、点\text{M}は辺\text{BC}の中点であり、∠\text{BOM}=∠\text{A}となることがわかります。
△\text{OBM}に着目すると三角比より
\text{OM}=\text{BO}\cos∠\text{BOM}=\text{R}\cos∠\text{A}
となります。
したがって、\text{AH}=2\text{OM}が成り立つことがわかります。
これは頂点\text{B}とその対辺\text{AC}、頂点\text{C}とその対辺\text{AB}それぞれに着目した場合も同様に成り立つことを確かめることができます。
直角三角形の場合
∠\text{A}=90°である直角三角形の垂心
\text{H}は頂点
\text{A}と重なり、外心
\text{O}は斜辺
\text{BC}の中点
\text{M}と重なります。
したがって、頂点\text{A}とその対辺\text{BC}に着目した場合、頂点\text{A}から垂心\text{H}までの距離も外心\text{O}から辺\text{BC}までの距離も0となるため、\text{AH}=2\text{OM}が成り立っているといえます。
頂点
\text{B}とその対辺
\text{AC}に着目した場合、頂点
\text{B}から垂心
\text{H}までの距離は、直角三角形
\text{ABC}の垂心
\text{H}と頂点
\text{A}が一致していることから辺
\text{AB}の長さに等しいです。
外心\text{O}辺\text{AC}までの距離は、\text{O}から\text{AC}へおろした垂線の足を\text{P}とすると線分\text{OP}の長さとなります。これは相似を利用して求めます。
△\text{ABC}と△\text{POC}に着目すると、∠\text{BAC}=∠\text{OPC}=90°、共通の角∠\text{ACB}=∠\text{PCO}より2組の角がそれぞれ等しいので相似であることがわかります。
その相似比は
\text{BC}:\text{OC}=2:1となります。また、
\text{AB}:\text{PO}=2:1でもあるので
\begin{align*}\text{AB}&=2\text{PO}\\[0.5em]\therefore&\text{AB}=2\text{OP}\end{align*}
となり、成り立つことがわかります。
頂点\text{C}とその対辺\text{AB}に着目した場合も同様に成り立つことを確かめることができます。
鈍角三角形の場合
∠\text{A}が鈍角である鈍角三角形\text{ABC}について考えます。
鈍角三角形
\text{ABC}の垂心
\text{H}と外心
\text{O}はともに三角形の外部に存在します。
頂点\text{A}とその対辺\text{BC}に着目した場合を考えます。
頂点
\text{A}から垂心
\text{H}までの距離は、
鈍角三角形の3本の垂線の性質より
\text{AH}=-2\text{R}\cos∠\text{A}
となります。
外心\text{O}から辺\text{BC}までの距離は、\text{O}から\text{BC}へおろした垂線の足を\text{M}とすると線分\text{OM}の長さとなります。
△\text{OBC}に着目すると内角でないほうの∠\text{BOC}は点\text{A}を含まないほうの弧\text{BC}の中心角で、大きさは∠\text{BOC}=2∠\text{A}となります。
すると、内角∠\text{BOC}の大きさは∠\text{BOC}_{(内角)}=360°-2∠\text{A}となります。
さらに△\text{OBC}は\text{BO}=\text{CO}=\text{R}より二等辺三角形なので、\text{OM}は辺\text{BC}の垂直二等分線かつ∠\text{BOC}_{(内角)}の二等分線であるとわかります。
このことから、点\text{M}は辺\text{BC}の中点であり、∠\text{BOM}=180°-∠\text{A}となることがわかります。
△\text{OBM}に着目すると三角比より
\begin{align*}\text{OM}&=\text{BO}\cos∠\text{BOM}\\[0.5em]&=\text{R}\cos(180°-∠\text{A})\\[0.5em]&=-\text{R}\cos∠\text{A}&\bigl(\because
\cos(180°-\theta)=-\cos\theta\bigr)\end{align*}
となります。
したがって、\text{AH}=2\text{OM}が成り立つことがわかります。
これは頂点\text{B}とその対辺\text{AC}、頂点\text{C}とその対辺\text{AB}それぞれに着目した場合も同様に成り立つことを確かめることができます。
以上より、いずれの三角形の場合でも
「三角形のある頂点から垂心までの距離は、その頂点の対辺から外心までの距離の2倍である。」
が成り立つことがわかります。
二等辺三角形の外心と垂心
また、特定の場合の性質として「二等辺三角形の外心と垂心は底辺の垂直二等分線上に存在する」というものがあります。
これは底辺の垂直二等分線が外心が存在している「辺の垂直二等分線」であり、垂心が存在している「頂点から対辺へおろした垂線」でもあるためです。
では、二等辺三角形の外心と垂心が重なる条件は何でしょうか?
上図の∠\text{B}=∠\text{C}である二等辺三角形\text{ABC}の外心と垂心が重なる可能性のあるのは、∠\text{A}が鋭角のときだけです。
∠\text{A}=90°のときは外心は辺\text{BC}の中点\text{M}と重なり、垂心は頂点\text{A}と重なっているため、外心と垂心が重なることはありません。
また、∠\text{A}が鈍角のとき、頂点\text{A}を通る中線の\text{A}の側を延長した先に垂心が、辺\text{BC}の中点\text{M}の側を延長した先に外心があるため、このときも外心と垂心は重なりません。
∠\text{A}が鋭角のとき、頂点
\text{A}から垂心
\text{H}までの距離
\text{AH}は
2\text{R}\cos∠\text{A}、外心
\text{O}から辺
\text{BC}までの距離
\text{OM}は
\text{R}\cos∠\text{A}となります。また、辺
\text{BC}の垂直二等分線
\text{AM}の長さは
鋭角三角形の3本の垂線の性質より
2\text{R}\sin∠\text{B}\sin∠\text{C}となります。
外心と垂心が重なるならば、
\text{AH}+\text{OM}=\text{AM}が成り立つので
\begin{align*}2\text{R}\cos∠\text{A}+\text{R}\cos∠\text{A}&=2\text{R}\sin∠\text{B}\sin∠\text{C}\\[0.5em]3\cos∠\text{A}&=2\sin∠\text{B}\sin∠\text{C}\\[0.5em]3\cos\bigl\{180°-(∠\text{B}+∠\text{C})\bigr\}&=2\sin∠\text{B}\sin∠\text{C}&&\bigl(\because∠\text{A}=180°-(∠\text{B}+∠\text{C})\bigr)\\[0.5em]3\cos(180°-2∠\text{B})&=2\sin^2∠\text{B}&&(\because∠\text{B}=∠\text{C})\\[0.5em]-3\cos2∠\text{B}&=2\sin^2∠\text{B}\\[0.5em]-3(1-2\sin^2∠\text{B})&=2\sin^2∠\text{B}&&(\because\cos2\theta=1-2\sin^2\theta)\\[0.5em]4\sin^2∠\text{B-}3&=0\\[0.5em]\sin^2∠\text{B}&=\frac{3}{4}\\[0.5em]\sin∠\text{B}&=\pm\frac{\sqrt{3}}{2}\end{align*}
ここで、二等辺三角形の底角は頂角に関わらず常に鋭角なので
\sin∠\text{B}>0となります。
したがって、
\begin{align*}\sin∠\text{B}&=\frac{\sqrt{3}}{2}\\[0.5em]∠\text{B}&=60°&(\because
0°<∠\text{B}<90°)\end{align*}
∠\text{B}=∠\text{C}=60°なので∠\text{A}=60°であり、外心と垂心が一致する三角形は正三角形であることがわかります。