Odległość punktu od prostej

Odległość punktu $P$P od prostej $k$k ($P\notin k$P\notin k) to najmniejsza spośród odległości pomiędzy punktem $P$P i punktami prostej $k$k (lub inaczej: długość najkrótszego odcinka łączącego punkt $P$P z prostą $k$k - odcinek ten jest prostopadły do tej prostej). Oznaczenie: $d(P,k)$d(P,k) i jeżeli $P\in k$P\in k, to $d(P,k)=0$d(P,k)=0.