初等幾何学のハイライトの一つが、三角形の外心と垂直二等分線の関係です。任意の三角形において、3つの辺それぞれの垂直二等分線を引くと、驚くべきことに必ず1点（外心）で寸分の狂いもなく交わります。この「垂直二等分線の交点理由」を証明せよという問題は、難関大入試の論述問題や定期テストの思考力問題として極めて高い頻度で採用されています。
なぜ偶然のように見える「3本の直線の合流」が必然として起こるのか。ここでも「2点から等距離にある点の集合」という定義が鮮やかな論理展開を見せます。
【線分の垂直二等分線の証明プロセス】
1. 三角形ABCにおいて、辺ABの垂直二等分線を直線$l$、辺BCの垂直二等分線を直線$m$とし、その交点を$O$と名付けます。
2. 点$O$は直線$l$（辺ABの垂直二等分線）上にあるため、定義より$OA = OB$が成立します。
3. 同時に、点$O$は直線$m$（辺BCの垂直二等分線）上にもあるため、定義より$OB = OC$が成立します。
4. 以上の2つの式を連立させると、$OA = OB = OC$、すなわち$OA = OC$が導かれます。
5. $OA = OC$ということは、「点$O$は点Aと点Cから等しい距離にある」ことを意味します。これはまさに、点$O$が残る1辺である「辺CAの垂直二等分線上にある」ことの動かぬ証明に他なりません。
この簡潔にして完璧な三段論法により、3本目の垂直二等分線は引くまでもなく交点$O$を通ることが確定します。そして $OA = OB = OC = R$（一定）であることから、点$O$を中心として半径$R$の円を描けば、3頂点A, B, Cを過不足なく通過する「外接円」が誕生します。外接円の中心だからこそ「外心」と呼ばれるのです。暗記に頼らず幾何学的必然をたどることで、難解に見えた定理の骨格がクリアに立ち現れてきます。
