Для доказательства данной теоремы будем использовать свойства перпендикулярных плоскостей и линий. Начнем с определения.
Дано:
- Есть две перпендикулярные плоскости \( \pi_1 \) и \( \pi_2 \).
- Прямая \( l \) лежит в одной из них (например, в плоскости \( \pi_1 \)) и перпендикулярна линии \( AB \), которая является линией пересечения плоскостей \( \pi_1 \) и \( \pi_2 \).
Требуется:
Доказать, что прямая \( l \) перпендикулярна и плоскости \( \pi_2 \).
План доказательства:
- Напомним, что если две плоскости \( \pi_1 \) и \( \pi_2 \) перпендикулярны, то угол между ними равен 90°.
- Показать, что прямая \( l \), которая перпендикулярна линии пересечения \( AB \) (которая находится в обоих плоскостях), перпендикулярна и другой плоскости \( \pi_2 \).
Доказательство:
Обозначим угол между прямой \( l \) и линией \( AB \) как \( 90^\circ \) (поскольку они перпендикулярны). Это значит, что прямая \( l \) образует прямой угол с линией пересечения плоскостей.
Поскольку плоскости \( \pi_1 \) и \( \pi_2 \) перпендикулярны, любой вектор, который лежит в одной плоскости и перпендикулярен линии пересечения, будет перпендикулярен другой плоскости. Формально это можно записать так: если \( l \perp AB \) и \( AB \) принадлежит \( \pi_1 \cap \pi_2 \), то:
\[ l \perp \pi_2 \]
Если прямая \( l \) находится в плоскости \( \pi_1 \) и перпендикулярна линии \( AB \), то для любой точки на прямой \( l \) будет справедливо, что угол между этой прямой и нормалью к плоскости \( \pi_2 \) также равен \( 90^\circ \). Поскольку нормаль к плоскости \( \pi_2 \) тоже перпендикулярна линии пересечения \( AB \) (так как они оба образуют систему координат), мы получаем следующее:
\[ \text{угол между } l \text{ и нормалью к } \pi_2 = 90^\circ \]
Следовательно, прямая \( l \) перпендикулярна плоскости \( \pi_2 \), что и требовалось доказать.
Вывод:
Таким образом, если прямая лежит в одной из двух перпендикулярных плоскостей и перпендикулярна линии их пересечения, она перпендикулярна и другой плоскости.
Если у вас есть дополнительные вопросы или неясности по данной теме, не стесняйтесь спрашивать!