Рассмотрим прямоугольник (ABCD), где (M) — точка в пространстве, не лежащая в плоскости ((ABC)), и угол (\angle MBC = 90^\circ). Нужно доказать, что (AD \perp AM).
Для этого используем свойства прямоугольников и векторов. Обозначим векторы:
- (\vec{AB}) и (\vec{BC}) — стороны прямоугольника, перпендикулярные друг другу.
- (\vec{AM}) — вектор от точки (A) до точки (M).
- (\vec{AD}) — вектор от точки (A) до точки (D).
Так как (ABCD) — прямоугольник, векторы (\vec{AB}) и (\vec{AD}) перпендикулярны: (\vec{AB} \perp \vec{AD}).
Также известно, что (\angle MBC = 90^\circ), что означает, что вектор (\vec{MB}) перпендикулярен вектору (\vec{BC}).
Поскольку точка (M) не лежит в плоскости ((ABC)), вектор (\vec{AM}) может быть представлен как линейная комбинация векторов, лежащих в плоскости ((ABC)), и некоторого вектора, перпендикулярного этой плоскости. Пусть (\vec{n}) — нормальный вектор к плоскости ((ABC)), тогда (\vec{AM} = \vec{a} + \lambda \vec{n}), где (\vec{a}) лежит в ((ABC)), а (\lambda) — некоторое скалярное значение.
Так как (\vec{MB} \perp \vec{BC}) и (\vec{BC} \perp \vec{AD}) (из свойств прямоугольника), то (\vec{AD}) также будет перпендикулярен любой линейной комбинации (\vec{MB}) и (\vec{BC}).
Теперь покажем, что (\vec{AD} \perp \vec{AM}):
- (\vec{AD} \perp \vec{AB}) по свойствам прямоугольника.
- (\vec{AD} \perp \vec{BC}) также по свойствам прямоугольника.
- (\vec{AD} \perp \vec{MB}) из условия (\angle MBC = 90^\circ).
- (\vec{AD} \perp \vec{n}) по построению, так как (\vec{n}) перпендикулярен плоскости ((ABC)).
Таким образом, поскольку (\vec{AM}) можно представить как линейную комбинацию (\vec{MB}), (\vec{BC}), и нормального вектора (\vec{n}), вектор (\vec{AD}) будет перпендикулярен (\vec{AM}), то есть (AD \perp AM).