Dwie proste o równaniach oraz są prostopadłe wtedy i tylko wtedy, gdy .

Odległość między punktami i wynosi .

Współrzędne środka odcinka , gdzie