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

На плоскости

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

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

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

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

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

Шаг 1: (красный) С помощью циркуля проведём полуокружность с центром в точке P, получив точки А' и В'.

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

Шаг 3: (синий) Соединяем точки Р и Q. PQ и есть перпендикуляр к прямой АВ.

Координаты точки основания перпендикуляра к прямой

A(xa,ya) и B(xb,yb) — прямая, O(xo,yo) — основание перпендикуляра, опущенного из точки P(xp,yp).

Если xa = xb (вертикаль), то xo = xa и yo = yp. Если ya = yb (горизонталь), то xo = xp и yo = ya.

Во всех остальных случаях

xo = (xa*(yb-ya)^2 + xp*(xb-xa)^2 + (xb-xa) * (yb-ya) * (yp-ya)) / ((yb-ya)^2+(xb-xa)^2);

yo = (yb-ya)*(xo-xa)/(xb-xa)+ya.

В трёхмерном пространстве

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

Две прямые в пространстве перпендикулярны друг другу, если они соответственно параллельны некоторым двум другим прямым, лежащим в одной плоскости и перпендикулярным в ней.

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

Определение: Прямая называется перпендикулярной плоскости, если она перпендикулярна всем прямым лежащим в этой плоскости.

Признак: Если прямая перпендикулярна каждой из двух пересекающихся прямых плоскости, то она перпендикулярна этой плоскости.

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

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

Две плоскости называются перпендикулярными, если двугранный угол между ними равен 90°.

• Если плоскость проходит через прямую, перпендикулярную другой плоскости, то эти плоскости перпендикулярны.
• Если из точки, принадлежащей одной из двух перпендикулярных плоскостей, провести перпендикуляр к другой плоскости, то этот перпендикуляр полностью лежит в первой плоскости.
• Если в одной из двух перпендикулярных плоскостей провести перпендикуляр к их линии пересечения, то этот перпендикуляр будет перпендикулярен второй плоскости.
• Плоскость, перпендикулярная двум пересекающимся плоскостям, перпендикулярна их линии пересечения^[1].

В многомерных пространствах

Перпендикулярность плоскостей в 4-мерном пространстве

Перпендикулярность плоскостей в четырёхмерном пространстве имеет два смысла: плоскости могут быть перпендикулярны в 3-мерном смысле, если они пересекаются по прямой (а следовательно, лежат в одной гиперплоскости), и двугранный угол между ними равен 90°.

Плоскости могут быть также перпендикулярны в 4-мерном смысле, если они пересекаются в точке (а следовательно, не лежат в одной гиперплоскости), и любые 2 прямые, проведённые в этих плоскостях через точку их пересечения (каждая прямая в своей плоскости), перпендикулярны.

В 4-мерном пространстве через данную точку можно провести ровно 2 взаимно перпендикулярные плоскости в 4-мерном смысле (поэтому 4-мерное евклидово пространство можно представить как декартово произведение двух плоскостей). Если же объединить оба вида перпендикулярности, то через данную точку можно провести 6 взаимно перпендикулярных плоскостей (перпендикулярных в любом из двух вышеупомянутых значений).

Существование шести взаимно перпендикулярных плоскостей можно пояснить таким примером. Пусть дана система декартовых координат x y z t. Для каждой пары координатных прямых существует плоскость, включающая эти две прямые. Количество таких пар равно : xy, xz, xt, yz, yt, zt, и им соответствуют 6 плоскостей. Те из этих плоскостей, которые включают одноимённую ось, перпендикулярны в 3-мерном смысле и пересекаются по прямой (например, xy и xz, yz и zt), а те, которые не включают одноимённых осей, перпендикулярны в 4-мерном смысле и пересекаются в точке (например, xy и zt, yz и xt).

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

Пусть задано n-мерное евклидово пространство (n>2) и ассоциированное с ним векторное пространство , а прямая l с направляющим векторным пространством и гиперплоскость с направляющим векторным пространством (где , ) принадлежат пространству .

Прямая l называется перпендикулярной гиперплоскости , если подпространство ортогонально подпространству , то есть

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

См. также

• Параллельность
• Ортогональность
• Высота
• Теорема о трёх перпендикулярах
• N-мерная евклидова геометрия

Примечания