三角形の3辺の垂直二等分線は必ず1点で交わる.}}\ その交点を\textbf{\textcolor{blue}{外心}}という.} \\[.2zh] 外心は\textbf{\textcolor{red}{3頂点からの距離が等しい点}(\textcolor{red}{外接円の中心})}である. 辺AB,\ ACの垂直二等分線の交点をO}とする. \\[.2zh] \phantom{ [1]}\ \ このとき $\mathRM{OA=OB\ \ かつ\ \ OA=OC\ より \textcolor{red}{OB=OC}}$ \\[.2zh] \phantom{ [1]}\ \ よって,\ 点Oは辺BCの垂直二等分線上にある. \\[.2zh] \phantom{ [1]}\ \ \scalebox{.96}[1]{ゆえに,\ \textbf{三角形の3辺の垂直二等分線は1点Oで交わり,\ Oは3頂点から等距離にある 外心は,\ \bm{鋭角三角形なら三角形内部,\ 直角三角形なら斜辺の中点,\ 鈍角三角形なら三角形外部にある.} \\[.2zh] \mathRM{\angle A=90\Deg のとき,\ 斜辺BCが外接円の直径となる(直径に対する円周角は90\Deg).} \\[1zh] 外心の存在は,\ \bm{2辺の垂直二等分線の交点を残りの辺の垂直二等分線も通る}ことを示せば保証される. \\[.2zh] 上の証明では,\ 「\mathRM{点Pが線分ABの垂直二等分線上にある\ \Longleftrightarrow\ PA=PB}\ \cdots\,\maru1\,」を既知とした. \\[1zh] \maru1を既知としない場合,\ 以下のようにして\mathRM{OA=OB}を示すことができる. \\[.2zh] \mathRM{ABの中点をMとする. AM=BM,\ OM共通,\ \angle OMA=\angle OMB=90\Deg\,より\ \ \triangle OAM\equiv\triangle OBM} \\[1zh] さらに,\ 以下のようにして点\mathRM{Oが辺BCの垂直二等分線上にあることを示すことができる.} \\[.2zh] \mathRM{点Oから辺BCに下ろした垂線をONとすると OB=OC,\ ON共通} \\[.2zh] よって \mathRM{\triangle OBN\equiv \triangle OCN\ (直角三角形の合同条件:斜辺と他の1辺が等しい)より BN=CN} \\[1zh] なお,\ 外心の存在をチェバの定理の逆を用いて証明することは,\ 直接的にはできない. 点Oは$\triangle$ABCの外心である.\ 角$\alpha,\ \beta$を求めよ.中心角と円周角の関係}より $ 外心に関する角度の問題では次の2点が重要である. \\[.2zh] \maru1\ \ \bm{外心と3頂点を結ぶと3つの二等辺三角形ができる.} \\[.2zh] \maru2\ \ \bm{補助円を描いて円の性質を利用する.} \\[1zh] (1)\ \ とにかく二等辺三角形ができるように補助線を描き,\ その底角が等しいことを利用する. \\[.2zh] \phantom{(1)}\ \ \beta\ を求める方法は2通り考えられる. \\[.2zh] \phantom{(1)}\ \ \bm{中心角が円周角の2倍}であることを用いて\mathRM{\angle BOC}から求める方法を本解とした. \\[.2zh] \phantom{(1)}\ \ \bm{\triangle\mathRM{ABC}の内角の和が180\Deg}\ であることを用いたのが別解である. \\[1zh] (2)\ \ \bm{鈍角三角形では外心が三角形の外部に存在する}が,\ 基本方針は同じである. \\[.2zh] \phantom{(1)}\ \ 3個の二等辺三角形の底角がそれぞれ等しいことを用いるのが本解である. \\[.2zh] \phantom{(1)}\ \ 別解のように\bm{円の性質を利用}して先に\ \beta\ を求めるとより簡潔に済む.$\triangle$ABCの内心Iを辺BC,\ CA,\ ABに関して対称移動した点をそれぞれP,\ Q,\ Rとする. \\[.2zh] \hspace{.5zw}Iが$\triangle$PQRの外心であることを示せ. \\ 辺BC,\ CA,\ ABとIP,\ IQ,\ IRの交点をそれぞれD,\ E,\ Fとする. \\[1zh] 点P,\ Q,\ Rは辺BC, CA, ABに関する対称点であるから \\[.2zh] \centerline{$\mathRM{IP=2ID,\ \ IQ=2IE,\ \ IR=2IF,\ \ ID\perp BC,\ \ IE\perp CA,\ \ IF\perp AB}$} \\[1zh] Iは$\triangle$ABCの内心であるから $\mathRM{\textcolor{forestgreen}{ID=IE=IF}}$ \\[1zh] よって,\ $\textcolor{red}{\mathRM{IP=IQ=IR}}$\ より,\ \textbf{Iは$\bm{\triangle}$PQRの外心}である. \\\\[1zh]
