Powiemy że proste o równaniach  oraz  są prostopadłe jeżeli:

a)

Prosta jest prostopadła do prostej , czyli współczynnik kierunkowy szukanej prostej spełnia równanie: