Пусть первая прямая имеет угловой коэффициент , а вторая прямая имеет угловой коэффициент , где и - соответствующие углы наклона прямых к положительному направлению оси .
Рассмотрим угол между этими прямыми. Пусть \beta" alt="\alpha >\beta" align="absmiddle" class="latex-formula">, тогда он равен . Найдем соотношение между этим углом и угловыми коэффициентами прямых. Используем формулу тангенса разности:
Так как мы хотим получить условие перпендикулярности двух прямых, то считаем угол между прямыми .
Тангенс 90 градусов не определен, но можно сказать что он стремится к бесконечности к стремлении аргумента к 90 градусам.
Но если дробь стремится к бесконечности, то знаменатель стремится к нулю.
В пределе знаменатель равен нулю. Тогда получим:
Можно выразить один из коэффициентов:
Тогда формулируется легкое правило: Две прямые перпендикулярны, когда их угловые коэффициенты являются противоположными обратными числами.