Расстояние от точки до прямой
В прямоугольных декартовых координатах рассмотрим прямую
\[Ax+By=D,\qquad (A,B)\ne(0,0),\]
и точку \(M_0=(x_0,y_0)\). Именно в такой системе вектор \(n=(A,B)\) является нормалью к прямой. Выражение
\[\delta=Ax_0+By_0-D\]
показывает, насколько точка смещена от прямой в направлении нормали. Деление на длину нормали даёт ориентированное расстояние, а его модуль — обычное расстояние:
\[d(M_0,l)=\frac{|Ax_0+By_0-D|}{\sqrt{A^2+B^2}}.\]1, 2
Ортогональная проекция
Основание перпендикуляра \(H\) лежит на прямой и отличается от \(M_0\) на вектор, параллельный нормали. Поэтому \(H=M_0-\lambda n\). Подстановка в уравнение прямой даёт
\[\lambda=\frac{Ax_0+By_0-D}{A^2+B^2}.\]
Следовательно,
\[H=\left(x_0-\frac{A\delta}{A^2+B^2},\;y_0-\frac{B\delta}{A^2+B^2}\right).\]1
Симметрия относительно прямой
Если \(M'\) симметрична \(M_0\) относительно прямой, то \(H\) является серединой отрезка \(M_0M'\). Поэтому
\[M'=2H-M_0=M_0-2\frac{\delta}{A^2+B^2}(A,B).\]
Если \(M_0\) уже лежит на прямой, то \(\delta=0\), расстояние равно нулю, а проекция и симметричная точка совпадают с \(M_0\).1