Пусть точка
лежит на данной прямой. Нормалью к прямой в точке
называется прямая, перпендикулярная данной и проходящая через точку
.
Случай 1. Прямая задана уравнением
,
,
тогда уравнение нормали имеет вид
.
Случай 2. Прямая перпендикулярна оси
:
- уравнение прямой,
- уравнение нормали к этой прямой.
Случай 3. Прямая перпендикулярна оси
:
- уравнение прямой,
- уравнение нормали к этой прямой.
Замечание. Если прямая задана уравнением
,
то уравнение нормали имеет вид
,
действительно
.