Возможно, имелась в виду теорема, обратная теореме о трёх перпендикулярах. resh.edu.ru www.resolventa.ru
Формулировка: если проекция наклонной к плоскости α перпендикулярна к прямой b, лежащей на плоскости α, то и сама наклонная a перпендикулярна к прямой b. www.resolventa.ru
Доказательство: www.resolventa.ru
- Прямая a' перпендикулярна к прямой b по условию обратной теоремы. www.resolventa.ru
- Прямая PP' перпендикулярна к прямой b', поскольку PP' — перпендикуляр к плоскости α. www.resolventa.ru
- Таким образом, прямая b' перпендикулярна к двум пересекающимся прямым P'O и PP', лежащим в плоскости POP'. www.resolventa.ru
- В силу признака перпендикулярности прямой и плоскости прямая b' перпендикулярна к плоскости POP'. www.resolventa.ru
- Тогда, в частности, прямая b' перпендикулярна к прямой a, лежащей на плоскости POP'. www.resolventa.ru
Таким образом, теорема доказана. www.resolventa.ru