Перпендикулярные прямые

Две прямые на плоскости называются перпендикулярными, если при пересечении образуют 4 прямых угла.

В аналитическом выражении прямые, заданные линейными функциями и будут перпендикулярны, если выполнено условие . Эти же прямые будут перпендикулярны, если . (Здесь α₁,α₂ — углы наклона прямой к горизонтали)

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