証明 AB の垂直二等分線と AC の垂直二等分線との交点を O とする。 O が AB の垂直二等分線上にあるので OA = OB である。 (垂直二等分線の話より) O が AC の垂直二等分線上にあるので OA = OC である。 よって OB = OA = OC である。 特に OB = OC なので O は BC の垂直二等分線上にある。 (二等辺三角形の話より) 以上より証明は終了した。 戻る