ベクトルを用いた証明はこちら。
3頂点A,B,Cを動かして直角三角形や直角二等辺三角形や鈍角三角形を作ってみましょう。
正三角形では重心・外心・垂心が一致するためにオイラー線は存在しないので描かれません。しかし、手動で完全な正三角形を作ることはできないので正三角形にするボタンを作成しています。
正三角形でない鋭角三角形ABCの重心をG,\ 外心をO,\ 垂心をH,\ 辺BCの中点を \\[.2zh] \hspace{.5zw}Mとする.\ また,\ 線分BDが$\triangle$ABCの外接円の直径となるように点Dをとる. \\[1zh] \hspace{.5zw} (1)\ \ $\mathRM{DC=2OM}$を示せ. \\[.8zh] \hspace{.5zw} (2)\ \ 四角形AHCDが平行四辺形となることを示せ. \\[.8zh] \hspace{.5zw} (3)\ \ $\mathRM{AH:OM}$を求めよ. \\[.8zh] \hspace{.5zw} (4)\ \ 3点O,\ G,\ Hが一直線上にあり,\ $\mathRM{OG:GH=1:2}$であることを示せ. \\ 三角形の重心・外心・垂心の位置関係（オイラー線）}}}} \\\\[.5zh] 受験数学ではベクトルを用いた証明の重要度が高いが,\ 本項では\textbf{\textcolor{blue}{幾何的な証明}}を紹介する. \\\\\\ (1)\ \ Mは辺BCの中点,\ Oは線分BDの中点である. \\[.2zh] \phantom{ (1)}\ \ よって,\ \textcolor{magenta}{中点連結定理}により $\mathRM{\bm{DC=2OM}}$ \\\\[1zh] (2)\ \ 直径に対する円周角であるから $\mathRM{\angle BCD=\angle BAD=90\Deg}$ \\[.5zh] \phantom{ (1)}\ \ $\mathRM{AH\perp BC,\ DC\perp BC\ より \textcolor{red}{AH\heikou DC}}$ \\[.2zh] \phantom{ (1)}\ \ $\mathRM{CH\perp AB,\ DA\perp AB\ より \textcolor{red}{CH\heikou DA}}$ \\[1zh] \phantom{ (1)}\ \ \textcolor{forestgreen}{2組の対辺がそれぞれ平行}であるから,\ \textbf{四角形AHCDは平行四辺形}である. \\\\[1zh] (3)\ \ (2)より $\mathRM{AH=DC}$ \\[.5zh] \phantom{ (1)}\ \ これと(1)より $\mathRM{\bm{AH:OM}=\textcolor{magenta}{DC}:OM=\textcolor{magenta}{2OM}:OM=\bm{2:1}}$ \\\\[1zh] (4)\ \ \textcolor{red}{直線OHと中線AMの交点をG$’$}とする. \\[1zh] \phantom{ (1)}\ \ ここで $\mathRM{OM\perp BC,\ AH\perp BC\ より \textcolor{red}{OM\heikou AH}}$ \\[.2zh] \phantom{ (1)}\ \ よって $\textcolor{cyan}{\mathRM{\triangle OG’M\souzi\triangle HG’A}}$\ および(3)より $\mathRM{AG’:G’M=\textcolor{red}{AH:OM=2:1}}$ \\[.2zh] \phantom{ (1)}\ \ \textcolor{magenta}{G$’$は中線AMを$2:1$に内分する点}であるから,\ $\triangle$ABCの重心Gと一致する. \\[1zh] \phantom{ (1)}\ \ したがって,\ \textbf{3点O,\ G,\ Hは一直線上にある.} \\[.2zh] \phantom{ (1)}\ \ さらに,\ $\mathRM{\bm{OG:GH}=\textcolor{red}{OM:AH}=\bm{1:2}}$である. \\\\\\ (1)\ \ \triangle\mathRM{BCD}に対して,\ 以下の中点連結定理を適用する. \\[.2zh] \phantom{(1)}\ \ 「三角形の底辺以外の2辺の中点を結ぶ線分は,\ 底辺と平行で,\ \bm{長さは底辺の半分}である」 \\[1zh] (4)\ \ \bm{2点\mathRM{OHを通る直線上に点G’を設定し,\ G’=Gとなることを示す.}} \\[.2zh] \phantom{(1)}\ \ \mathRM{\triangle OG’M,\ \triangle HG’Aにおいて,\ \angle OG’M=\angle HG’A\ (対頂角),\ \angle MOG’=\angle AHG’\ (錯角)である.} \\[1zh] 三角形の重心・外心・垂心を通る直線を\bm{オイラー線}という. \\[.2zh] 重心・外心・垂心が一致する正三角形では,\ オイラー線を定義できない.
