Twierdzenie
Dane są dwie funkcje liniowe określone wzorami: $y=a_{1}x+b_1$, $y=a_{2}x+b_2$. Wykresy tych funkcji są prostopadłe wtedy i tylko wtedy, gdy $a_1\cdot a_2=-1$.