Рассмотрим параллельные прямые a и b, изображённые на рисунке 3

Рис. 3. Параллельные прямые a и b

Зафиксируем две точки на прямой a и опустим из них перпендикуляры на параллельную ей прямую b. Докажем, что если ,

Проведём отрезок АМ для удобства доказательства. Рассмотрим полученные треугольники АВМ и АНМ. Поскольку , а , то . Аналогично, . У данных прямоугольных треугольников () сторона АМ – общая. Она является гипотенузой в обоих треугольниках. Углы АМН и АМВ являются внутренними накрестлежащими при параллельных прямых АВ и НМ и секущей АМ. По известному свойству, .

Из всего выше изложенного следует, что . Из равенства треугольников следует, что АН = ВМ

Итак, мы доказали, что на рисунке 3 отрезки АН и ВМ равны. Это значит, что расстоянием между параллельными прямыми является длина их общего перпендикуляра, при чём выбор перпендикуляра может быть произвольным. Таким образом,

Верно и обратное утверждение: множество точек, которые находятся на одном и том же расстоянии от некоторой прямой, образуют прямую, параллельную данной

Закрепим наши знания, решим несколько задач