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

Jeśli ta równość jest spełniona, to proste są prostopadłe.

Z treści zadania znamy równa