Доказательство. Пусть a∥b, AB⊥b, X — любая точка a, XY⊥b (тогда и XY⊥a).
Прямоугольные △ABY и △YXA равны по гипотенузе и острому углу: AY общая, ∠1=∠2 (накрест лежащие). Поэтому XY=AB.
Это расстояние называется расстоянием между параллельными прямыми. Верно и обратное: точки по одну сторону от прямой на одном расстоянии от неё лежат на параллельной ей прямой — так работает столярный рейсмус.
Все точки каждой из двух параллельных прямых равноудалены от другой прямой.