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

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

Przekształcamy równania do postaci