Для доказательства того, что все точки каждой из двух параллельных прямых равноудалены, рассмотрим прямые l₁ и l₂, которые параллельны друг другу. Предположим, что у нас есть две точки A и B на прямой l₁, а также две точки C и D на прямой l₂.
Так как прямые l₁ и l₂ параллельны, то угол между ними равен 180 градусов. Поэтому можно построить прямую m, которая является серединным перпендикуляром к отрезку AB и пересекает прямую l₂ в точке O.
Теперь рассмотрим треугольники ΔAOB и ΔCOD. По построению углы AOB и COD равны друг другу, так как они соответственные углы при пересечении прямых l₁ и m. Углы OAB и ODC равны друг другу, так как они вертикальные углы. Таким образом, треугольники ΔAOB и ΔCOD равны по двум углам и общей стороне.
Из равенства треугольников следует, что отрезки AO и CO равны, так как соответствующие стороны равны. То же самое можно сказать и об отрезках BO и DO.
Таким образом, мы доказали, что все точки каждой из двух параллельных прямых равноудалены от серединного перпендикуляра к этим прямым.