План вывода формулы для нахождения расстояния от точки до прямой:
  1. Выберем текущую точку прямой l M(x;y);
  2. Проведём к прямой l нормальный вектор;
  3. Составим вектор, начало которого - это текущая точка прямой l M(x;y), а конец - данная точка M0(x0;y0);
  4. Расстояние рассмотрим как длину полученного вектора;
  5. Воспользуемся параллельностью двух векторов (модуль произведения);
  6. Произведем алгебраические преобразования;

[Подробный вывод формулы см. здесь]