Пусть на плоскости относительно прямоугольной системы координат прямая задается уравнением , где .
Расстояние от точки до прямой равняется длине перпендикуляра , проведенного из к прямой .
Так как , то .
. Так как равен либо , либо , то получаем
. Учитывая, что , то есть , получаем формулу для вычисления расстояния от точки до прямой
.