1°. Плоскости Е и Ег пересекаются по некоторой прямой 1{.
2°. Плоскости Е и Ег пересекаются по некоторой прямой /2. Очевидно,
3°. Прямые Іу и /2 компланарны (так как обе они лежат в Е).
4°. /х и /2 не имеют общих то чек (поскольку 'общих точек не имеют плоскости Е1и Д2).
Утверждения 3° и 4° означают,
что
5°. Іі\\12, а это нам и требова лось доказать.
Теорема 10.2
Если какая-либо прямая перпендикулярна одной из двух парал лельных плоскостей, то она перпендикулярна и другой.
Д о к а з а т е л ь с т в о . Нам дано, что^ЦВ^ и/ Еѵ Пусть Л — произвольная точка, принадлежащая Д2, но не принадлежащая I.
Тогда
1°. / и А принадлежат некото рой плоскости Е. (Почему?)
2°. Плоскость Е пересекает плоскости Ег и Е2 по некоторым прямым.
3°. Іг \\12 (по теореме 10. 1).
4°. / _і_ Іх (так как I _1_ Et).
5°. I _L k (по теореме 9. 12).
Таким образом, мы нашли в плоскости Е2 прямую, перпенди кулярную прямой /. Взяв другую точку В и повторив для нее это рассуждение, мы найдем в плоскости Д2 другую прямую, перпендикуляную прямой I. В силу теоремы 8.2 мы тогда получим, что 1±_ЕѴ
Следующая теорема аналогична теореме 9.2.
Теорема 10.3
Две плоскости, перпендикулярные одной и той же прямой, параллельны.