Перпендикулярность

---

Перпендикуля́рность (от лат. perpendicularis — букв. отвесный)^[1] — бинарное отношение между различными объектами (векторами, прямыми, подпространствами и т. д.).

Для обозначения перпендикулярности имеется общепринятый символ: ⊥, предложенный в 1634 году французским математиком Пьером Эригоном. Например, перпендикулярность прямых ${\displaystyle m}$ и ${\displaystyle n}$ записывают как ${\displaystyle m\perp n}$.

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

Про прямую ${\displaystyle m}$ перпендикулярную к прямой ${\displaystyle \ell }$ проведённую через точку ${\displaystyle P}$ вне прямой ${\displaystyle \ell }$, говорят, что ${\displaystyle m}$ есть перпендикуляр опущенный из ${\displaystyle P}$ на ${\displaystyle \ell }$. Если же точка ${\displaystyle P}$ лежит на прямой ${\displaystyle \ell }$, то говорят, что ${\displaystyle m}$ есть перпендикуляр к восстановленный из ${\displaystyle P}$ к ${\displaystyle \ell }$ (устаревший термин восставленный^[2]).

Шаг 2: Не меняя радиуса, построим две полуокружности с центром в точках A и В соответственно, проходящими через точку P. Кроме точки P есть ещё одна точка пересечения этих полуокружностей, назовём её Q.

---