Niech 

będą dwiema prostymi.

Proste  oraz  są do siebie prostopadłe, gdy ich współczynniki spełniają następujący warunek: , czyli .

a)

Postać kierunkowa prostej: