Для доказательства утверждения рассмотрим следующие моменты:
Пусть плоскости \( a \) и \( b \) взаимно перпендикулярны. Это означает, что угол между любыми двумя векторами, лежащими в плоскостях \( a \) и \( b \), равен 90 градусам.
Плоскости пересекаются по прямой \( c \). Давайте обозначим \( \vec{n_a} \) нормальный вектор к плоскости \( a \) и \( \vec{n_b} \) нормальный вектор к плоскости \( b \). Так как плоскости перпендикулярны, то справедливо, что \( \vec{n_a} \cdot \vec{n_b} = 0 \).
Пусть \( \vec{d} \) — это вектор, лежащий в плоскости \( a \) и перпендикулярный прямой \( c \). Мы можем обозначить направление прямой \( c \) вектором \( \vec{v} \).
Поскольку прямая \( c \) лежит в обеих плоскостях \( a \) и \( b \), мы можем сказать, что \( \vec{d} \) перпендикулярен \( \vec{v} \): \( \vec{d} \cdot \vec{v} = 0 \).
Теперь мы хотим доказать, что вектор \( \vec{d} \) также перпендикулярен плоскости \( b \). Для этого необходимо показать, что \( \vec{d} \) перпендикулярен нормальному вектору плоскости \( b \): \( \vec{d} \cdot \vec{n_b} = 0 \).
Вектор \( \vec{v} \) является направлением прямой \( c \) и может быть представлен как линейная комбинация нормальных векторов обеих плоскостей. Так, можно выразить \( \vec{v} \) как:
\[ \vec{v} = k_1 \vec{n_a} + k_2 \vec{n_b} \]
где \( k_1 \) и \( k_2 \) — некоторые скаляры.
Однако, поскольку \( \vec{d} \) перпендикулярен \( \vec{v} \) и \( \vec{n_a} \cdot \vec{n_b} = 0 \), мы можем заключить, что его проекция на \( \vec{n_b} \) также будет равна нулю.
Таким образом, \( \vec{d} \), будучи перпендикулярным прямой \( c \) и находясь в плоскости \( a \), также будет перпендикулярен плоскости \( b \). Мы завершили доказательство.