Skorzystamy z twierdzenia mówiącego że:

Jeżeli mamy dane dwie proste o równaniach ogólnych: 

oraz

to są one prostopadłe wtedy i tylko wtedy gdy:

a)

Z danych równań otrzymujemy