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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

На плоскости

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

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

В аналитическом выражении прямые, заданные линейными функциями <math>y=\operatorname{tg}\alpha_1 x+b_1</math> и <math>y=\operatorname{tg}\alpha_2 x+b_2</math> будут перпендикулярны, если выполнено условие <math>\alpha_2=\frac{1}{2}\pi+\alpha_1</math>. Эти же прямые будут перпендикулярны, если <math>\operatorname{tg}\alpha_1 \operatorname{tg}\alpha_2 =-1</math>. (Здесь <math>\alpha_1,\alpha_2</math> — углы наклона прямой к горизонтали)

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

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

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

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

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

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

<math>A(x_a,y_a)</math> и <math>B(x_b,y_b)</math> — прямая, <math>O(x_o,y_o)</math> — основание перпендикуляра, опущенного из точки <math>P(x_p,y_p)</math>.

Если <math>x_a = x_b</math> (вертикаль), то <math>x_o = x_a</math> и <math>y_o = y_p</math>. Если <math>y_a = y_b</math> (горизонталь), то <math>x_o = x_p</math> и <math>y_o = y_a</math>.

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

<math>x_o = \frac{x_a\cdot(y_b-y_a)^2 +x_p\cdot(x_b-x_a)^2 + (x_b-x_a)\cdot(y_b-y_a)\cdot(y_p-y_a)}{(y_b-y_a)^2+(x_b-x_a)^2}</math>;
<math>y_o = \frac{(x_b-x_a)\cdot(x_p-x_o)}{(y_b-y_a)}+y_p</math>.

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

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

Две прямые в пространстве перпендикулярны друг другу, если они соответственно параллельны некоторым двум другим взаимно перпендикулярным прямым, лежащим в одной плоскости. Две прямые, лежащие в одной плоскости, называются перпендикулярными (или взаимно перпендикулярными), если они образуют четыре прямых угла.

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

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

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

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

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

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

  • Если плоскость проходит через прямую, перпендикулярную другой плоскости, то эти плоскости перпендикулярны.
  • Если из точки, принадлежащей одной из двух перпендикулярных плоскостей, провести перпендикуляр к другой плоскости, то этот перпендикуляр полностью лежит в первой плоскости.
  • Если в одной из двух перпендикулярных плоскостей провести перпендикуляр к их линии пересечения, то этот перпендикуляр будет перпендикулярен второй плоскости.
  • Плоскость, перпендикулярная двум пересекающимся плоскостям, перпендикулярна их линии пересечения<ref>{{#if:Александров А.Д., Вернер А. Л., Рыжик В.И.|{{#ifeq:{{#invoke:String|sub|Александров А.Д., Вернер А. Л., Рыжик В.И.|-1}}| |Александров А.Д., Вернер А. Л., Рыжик В.И.|{{#ifeq:{{#invoke:String|sub|Александров А.Д., Вернер А. Л., Рыжик В.И.|-6|-2}}|&nbsp|Александров А.Д., Вернер А. Л., Рыжик В.И.|{{#ifeq:{{#invoke:String|sub|Александров А.Д., Вернер А. Л., Рыжик В.И.|-6|-2}}|/span|Шаблон:±.</span>|Шаблон:±.}}}}}} }}{{#if: |{{#if: |[{{{ссылка часть}}} {{{часть}}}]| {{{часть}}}}} // }}{{#if:|[[:s:{{{викитека}}}|Стереометрия. Геометрия в пространстве]]|{{#if: |Стереометрия. Геометрия в пространстве |{{#if:|[{{{ссылка}}} Стереометрия. Геометрия в пространстве]|Стереометрия. Геометрия в пространстве}}}}}}{{#if:| = {{{оригинал}}} }}{{#if:| / {{{ответственный}}}.|{{#if:||.}}}}{{#if:Стереометрия. Геометрия в пространстве|{{#if:| {{#if:| = {{{оригинал2}}} }}{{#if:| / {{{ответственный2}}}.|{{#if:||.}}}}}}}}{{#if:| — {{{издание}}}.}}{{#switch:{{#if:Висагинас|м}}{{#if:Alfa|и}}{{#if:1998|г}}
 |миг= — Шаблон:Указание места в библиоссылке: Alfa, 1998.
 |ми= — Шаблон:Указание места в библиоссылке: Alfa.
 |мг= — Шаблон:Указание места в библиоссылке, 1998.
 |иг= — Alfa, 1998.
 |м= — Шаблон:Указание места в библиоссылке
 |и= — Alfa.
 |г= — 1998.

}}{{#if:| — {{{том как есть}}}.}}{{#if:|{{#if: | [{{{ссылка том}}} — Т. {{{том}}}.]| — Т. {{{том}}}.}}}}{{#if:| — Vol. {{{volume}}}.}}{{#if:| — Bd. {{{band}}}.}}{{#if:| — {{{страницы как есть}}}.}}{{#if:46| — С. {{#if:|[46] (стб. {{{столбцы}}}).|46.}}}}{{#if:| — {{{страниц как есть}}}.}}{{#if:576| — 576 с.}}{{#if:| — P. {{#if:|[{{{pages}}}] (col. {{{columns}}}).|{{{pages}}}.}}}}{{#if:| — S. {{#if:|[{{{seite}}}] (Kol. {{{kolonnen}}}).|{{{seite}}}.}}}}{{#if:| —  p.}}{{#if:| —  S.}}{{#if:Библиотека школьника| — (Библиотека школьника).}}{{#if:| — {{{тираж}}} экз.}}{{#if:9986582539| — ISBN 9986582539.}}{{#if:| — ISBN {{{isbn2}}}.}}{{#if:| — ISBN {{{isbn3}}}.}}{{#if:| — ISBN {{{isbn4}}}.}}{{#if:| — ISBN {{{isbn5}}}.}}{{#if:| — DOI:{{{doi}}}{{#ifeq:Шаблон:Str left|10.||[Ошибка: Неверный DOI!]{{#if:||}}}}}}</ref>.

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

{{#ifeq:<imagemap> Image:Question book-4.svg|none||Шаблон:!class="ambox-image"Шаблон:!
{{#ifeq:<imagemap>
   Image:Question book-4.svg|blank| |{{#switch:<imagemap>
   Image:Question book-4.svg|delete|serious=Критические проблемы|content=Проблемы с содержанием статьи|style=Стилевые проблемы|good=Статус статьи|discussion=Обсуждение|merge=Перенос содержимого|notice=Информация|#default=<imagemap>
Image:Question book-4.svg}}}}
}} {{#if: ||{{#if:||[[Категория:Википедия:Статьи {{#if:|с разделами }}без ссылок на источники {{#if:2014-07-29|{{#time: "с" xg Y "года" |{{#iferror:{{#time:c|2014-07-29}}|Шаблон:Date Converter|2014-07-29}}}}|}}]]{{#if:2014-07-29||[[Категория:Википедия:Статьи {{#if:|с разделами }}без ссылок на источники без указанной даты]]}}}}}}Шаблон:Сортировка: статьи без источников

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

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

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

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

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

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

Пусть задано n-мерное евклидово пространство <math>\mathbb{R}^n</math>(n>2) и ассоциированное с ним векторное пространство <math>W^n</math>, а прямая l с направляющим векторным пространством <math>L^1</math> и гиперплоскость <math>\Pi_{k}</math> с направляющим векторным пространством <math>L^{k}</math> (где <math>L_1 \subset W^n</math>, <math>L^k \subset W^n,\ k < n </math>) принадлежат пространству <math>\mathbb{R}^n</math>.

Прямая l называется перпендикулярной гиперплоскости <math>\Pi_{k}</math>, если подпространство <math>L_1</math> ортогонально подпространству <math>L^{k}</math>, то есть <math>(\forall \vec a \in L_1)\ (\forall \vec b \in L_k)\ \vec a \vec b=0</math>

См. также

Примечания

Неизвестный тег расширения «references»