Расстояние от точки до прямой

Теорема. Если задана точка М(х₀ , у₀ ), то расстояние до прямой Ах + Ву + С =0 определяется как

.

Доказательство. Пусть точка М ₁(х ₁, у ₁) – основание перпендикуляра, опущенного из точки М на заданную прямую. Тогда расстояние между точками М и М₁ :

 (1)

Координаты x₁ и у₁ могут быть найдены как решение системы уравнений:

Второе уравнение системы – это уравнение прямой, проходящей через заданную точку М ₀ перпендикулярно заданной прямой.

Если преобразовать первое уравнение системы к виду:

A(x – x ₀ ) + B(y – y₀ ) + Ax₀ + By₀ + C = 0,

то, решая, получим:

Подставляя эти выражения в уравнение (1), находим:

Теорема доказана.