Две прямые на плоскости называются перпендикулярными, если при пересечении образуют 4 прямых угла.
В аналитическом выражении прямые, заданные линейными функциями
и
будут перпендикулярны, если выполнено условие
. Эти же прямые будут перпендикулярны, если
. (Здесь
— углы наклона прямой к горизонтали)
Для обозначения перпендикулярности имеется общепринятый символ:
, предложенный в 1634 году французским математиком Пьером Эригоном.