幾何的な証明はこちら。
3頂点A,B,Cを動かして直角三角形や直角二等辺三角形や鈍角三角形を作ってみましょう。
正三角形では重心・外心・垂心が一致するためにオイラー線は存在しないので描かれません。しかし、手動で完全な正三角形を作ることはできないので正三角形にするボタンを作成しています。
ABCにおいて,\ 重心をG,\ 外心をOとする.
$OH}=OA}+OB}+OC}\ を満たす点{H}は垂心であることを示せ.$
3点O,\ G,\ Hが一直線上にあり,\ ${OG:GH=1:2}$であることを示せ.
オイラー線（重心・外心・垂心の位置関係）
{ }ここで,\ $∠{C}=90°$としても一般性を失わないから,\
{ }$ AH⊥ BC,\ BH⊥ CA\ より,\ 点Hは ABCの垂心である.}
{垂心は,\ 3頂点から対辺に下ろした3本の垂線の交点}である.
2本の垂線で垂心が定まるから,\ 2つの垂直条件を確認すれば十分であり,\ 当然{(内積)=0}を示す.
{基準点を外心{O}に統一して展開し,\ OA=OB=OC\ を利用}すればよい.
AH}0,\ BH}0,\ BC}0,\ CA}0\ を確認した上で,\ {AH⊥ BC,\ BH⊥ CA}とする必要がある.
{BC,\ CA}は三角形の辺であるから,\ BC}0,\ CA}0\ は明らかである.
しかし,\ 直角三角形のとき,\ 垂心{H}は三角形の頂点と一致する.
例えば,\ ∠{A}=90°\ のとき\ AH}=0\ であるから,\ 安易に\ AH}0\ とはできない.
{A,\ B,\ C}のどれを直角としても一般性を失わないので,\ ∠{C}=90°\ として考える.
このとき,\ {垂心HはCと一致し,\ 結局\ AH}=AC}0,\ BH}=BC}0}\ とできる.
{外心を始点にすると垂心の位置ベクトルが\ OH}=OA}+OB}+OC}\ となる}ことは覚えておきたい.
このとき,\ Oは外心であって任意の点ではないので注意してほしい.
3点O,\ G,\ Hは一直線上にあり,\ OG:GH=1:2である.$}
頂点\ {A(a),\ B(b),\ C(c)}\ の三角形の重心の位置ベクトルは g={a+b+c}{3}
位置ベクトルの基準点はどこでもよいので,\ 外心{O}を基準点としても式は変わらない.
結局,\ {OG}=kOH}\ (k:実数)}と表されるので,\ 一直線上にあることが示される.
同時に,\ OG}の大きさが{OH}の13}であることから,\ {OG:GH=1:2もわかる.}
は三角形の有名性質であり,\ 3点{外心O,\ 重心G,\ 垂心H}を通る直線を{オイラー線}という.
なお,\ 正三角形では,\ 3点{G,\ O,\ H}が一致するからオイラー線は存在しない.
$OH}=OA}+OB}+OC}\ を満たす点{H}は垂心であることを示せ.$
3点O,\ G,\ Hが一直線上にあり,\ ${OG:GH=1:2}$であることを示せ.
オイラー線（重心・外心・垂心の位置関係）
{ }ここで,\ $∠{C}=90°$としても一般性を失わないから,\
{ }$ AH⊥ BC,\ BH⊥ CA\ より,\ 点Hは ABCの垂心である.}
{垂心は,\ 3頂点から対辺に下ろした3本の垂線の交点}である.
2本の垂線で垂心が定まるから,\ 2つの垂直条件を確認すれば十分であり,\ 当然{(内積)=0}を示す.
{基準点を外心{O}に統一して展開し,\ OA=OB=OC\ を利用}すればよい.
AH}0,\ BH}0,\ BC}0,\ CA}0\ を確認した上で,\ {AH⊥ BC,\ BH⊥ CA}とする必要がある.
{BC,\ CA}は三角形の辺であるから,\ BC}0,\ CA}0\ は明らかである.
しかし,\ 直角三角形のとき,\ 垂心{H}は三角形の頂点と一致する.
例えば,\ ∠{A}=90°\ のとき\ AH}=0\ であるから,\ 安易に\ AH}0\ とはできない.
{A,\ B,\ C}のどれを直角としても一般性を失わないので,\ ∠{C}=90°\ として考える.
このとき,\ {垂心HはCと一致し,\ 結局\ AH}=AC}0,\ BH}=BC}0}\ とできる.
{外心を始点にすると垂心の位置ベクトルが\ OH}=OA}+OB}+OC}\ となる}ことは覚えておきたい.
このとき,\ Oは外心であって任意の点ではないので注意してほしい.
3点O,\ G,\ Hは一直線上にあり,\ OG:GH=1:2である.$}
頂点\ {A(a),\ B(b),\ C(c)}\ の三角形の重心の位置ベクトルは g={a+b+c}{3}
位置ベクトルの基準点はどこでもよいので,\ 外心{O}を基準点としても式は変わらない.
結局,\ {OG}=kOH}\ (k:実数)}と表されるので,\ 一直線上にあることが示される.
同時に,\ OG}の大きさが{OH}の13}であることから,\ {OG:GH=1:2もわかる.}
は三角形の有名性質であり,\ 3点{外心O,\ 重心G,\ 垂心H}を通る直線を{オイラー線}という.
なお,\ 正三角形では,\ 3点{G,\ O,\ H}が一致するからオイラー線は存在しない.
