Twierdzenie (odległość punktu od prostej)

Odległość punktu P(x₀, y₀) od prostej k opisanej równaniem Ax+By+C=0, gdzie A²+B² ≠ 0, wyraża się wzorem 

$d\left(P,k\right)=\frac{\left|A{x}_0+B{y}_0+C\right|}{\sqrt{A^2+B^2}}$  

Twierdzenie (odległość między prostymi równoległymi)

Odległość między dwiema prostymi równoległymi k i l, które są dane równaniami ogólnymi k:Ax+By+C=0 i l:Ax+By+C₁=0, gdzie A²+B² ≠ 0, wyraża się wzorem 

$d\left(k,l\right)=\frac{\left|C_1-C\right|}{\sqrt{A^2+B^2}}$