垂直二等分線(perpendicular bisector)

2点を結ぶ線分に対して垂直で線分の中点を通る直線のことを垂直二等分線

垂直二等分線上の点は，線分の両端の2点からの距離が等しい．

線分 $AB$ $AB$ の垂直二等分線を $l$ $l$ ととし，線分 $AB$ $AB$ との垂直二等分線 $l$ $l$ の交点を $O$ $O$ ，の垂直二等分線 $l$ $l$ 上の点を $P$ $P$ とする．

△ $AOP$ $AOP$ と△ $BOP$ $BOP$ において， $l$ $l$ が線分 $AB$ $AB$ の垂直二等分線より

$OA = OB$ $OA = OB$ 　･･････(1)

$∠ AOP = ∠ BOP=90 °$ $∠ AOP = ∠ BOP=90 °$ 　･･････(2)

また

$OP$ $OP$ は共通　･･････(2)

(1)，(2)，(3)より2辺とその間の角がそれぞれ等しいことより

$△ AOP \equiv △ BOP$ $△ AOP \equiv △ BOP$ 　（2つの三角形は合同）

となる．よって

$AP = BP$ $AP = BP$

となる．

最終更新日： 2025年1月8日