Рассмотрим произвольную точку B(x1;y1) прямой l.
Вектор →n(a;b) является нормалью к прямой l.
Тогда ρ(A;l)=Пр→n(→AB).
По пункту 3 теоремы ??? pr→n(→AB)=|→n⋅→AB||→n|=|(x1−x0;y1−y0)⋅(a;b)|√a2+b2=|x1a−x0a+y1b−y0b|√a2+b2=|−x0a−y0b+x1a+y1b|√a2+b2.
Так как точка B(x1;y1) лежит на прямой l, то ax1+by1+c=0, то есть ax1+by1=−c.
Подставив это выражение в последнее равенство, получим: ρ(A;l)=|−ax0−by0−c|√a2+b2=|+ax0+by0+c|√a2+b2.
Модуль в числителе необходим, чтобы выражение было положительным вне зависимости от выбора направления нормали к прямой.