Формула расстояния d от точки M(xo;yo) до прямой ax+by+c=0:
Доказательство:
Пусть N(x1;y1) — основание перпендикуляра, опущенного из точки M(xo;yo) на прямую ax+by+c=0.
Найдём угловой коэффициент прямой ax+by+c=0:
Из условия перпендикулярности прямых угловой коэффициент прямой MN
то есть уравнение прямой MN имеет вид
Так как точка M(xo;yo) принадлежит этой прямой, то её координаты удовлетворяют уравнению:
Так как N(x1;y1) принадлежит этой прямой, то её координаты также удовлетворяют этому уравнению:
Отсюда
Обозначим
тогда
По формуле расстояния между точками
Таким образом,
Подставим x1 и y1 в уравнение ax+by+c=0:
откуда
Подставим найденное значение q в равенство
и после сокращения — окончательный вариант:
Что и требовалось доказать.