Пусть дана прямая, проходящая через середину О отрезка АВ и перпендикулярная ему. Возьмём на этой прямой произвольную точку X.
Рассмотрим треугольники AOX и BOX.
По второму признаку равенства треугольников (по стороне и двум прилежащим к ней углам), \(\triangle AOX = \triangle BOX\).
Из равенства треугольников следует равенство соответствующих сторон:
AX = BX.
Это означает, что каждая точка X прямой, перпендикулярной отрезку AB и проходящей через его середину, одинаково удалена от точек A и B.
Доказано.