Как доказать по координатам, что прямые в системе координат перпендикулярны

Если прямые перпендикулярны, то произведение их угловых коэффициентов равно -1
Пример: у=2х+3, к=2
               у=-1/2х+1, к=-1/2
2*(-1/2)=-1, значит прямые перпендикулярны

Если прямые перпендикулярны, то произведение их угловых коэффициентов равно -1