فرض کنید خط $L$ به معادله $ax+by+c=0$ را داشته باشیم ( $a,b\neq 0$ ) و بخواهیم فاصله ی $A(x_0,y_0)$ از خط $L$ یعنی طول پاره خط $AB$را بیابیم. توجه کنید که $AB$ برخط$L$ عمود است.

شیب خط $L$ برابر است با $m=\frac{-a}{b}$ و چون خط $AB$ بر خط $L$ عمود است پس شیب خط $AB$ برابر است با $m'=\frac{-1}{m}=\frac ba$ . اما شیب خط $AB$ را اگر با استفاده از مختصات نقاط $A,B$ بیابیم داریم:
$m'=\frac{y_0-y_b}{x_0-x_b}$ . پس باید $\frac{y_0-y_b}{x_0-x_b}=\frac ba $ و لذا $ a(y_0-y_b)-b(x_0-x_b)=0 $ . اگر طرفین این تساوی را به توان دو برسانیم داریم:
$$a^2(y_0-y_b)^2+b^2(x_0-x_b)^2=2ab(x_0-x_b)(y_0-y_b)\tag{*}$$ .
حال داریم:
$$\begin{align}(a^2+b^2)((x_0-x_b)^2+(y_0-y_b)^2)&=a^2(x_0-x_b)^2\\&+a^2(y_0-y_b)^2+b^2(x_0-x_b)^2\\&+b^2(y_0-y_b)^2\\
&=^{(*)}a^2(x_0-x_b)^2\\&+2ab(x_0-x_b)(y_0-y_b)\\& +b^2(y_0-y_b)^2\\
&=(a(x_0-x_b)+b(y_0-y_b))^2\end{align}$$
و لذا داریم:
$$(x_0-x_b)^2+(y_0-y_b)^2=\frac{(a(x_0-x_b)+b(y_0-y_b))^2}{a^2+b^2}$$
اگر از طرفین جذر بگیریم داریم:
$$|AB|=\sqrt{(x_0-x_b)^2+(y_0-y_b)^2}=\frac{|ax_0+by_0-(ax_b+by_b)|}{\sqrt{a^2+b^2}}$$
اما توجه کنید که $B(x_b,y_b)$ در معادله خط $ax+by+c=0$ صدق می کند لذا $ax_b+by_b=-c$
بنابراین تساوی قبل به صورت زیر در می آید:
$$|AB|=\frac{|ax_0+by_0+c|}{\sqrt{a^2+b^2}}$$
برای اثبات های بیشتر به اینجا نگاه کنید.