Теорема 17.3: если плоскость перпендикулярна одной из двух параллельных прямых, то она перпендикулярна и другой.
Доказательство: пусть а1 и а2 – две параллельные прямые и a – плоскость, перпендикулярная прямой а1. Докажем, что эта плоскость перпендикулярна и прямой а2. Проведем через точку А2 пересечения прямой а2 с плоскостью a произвольную прямую х2 в плоскости a. Проведем в плоскости a через точку А1 пересечения прямой а1 с a прямую х1, параллельную прямой х2. Так как прямая а1 перпендикулярна плоскости a, то прямые а1 и х1 перпендикулярны. По теореме 17.1(если две пересекающиеся прямые параллельны соответственно двум перпендикулярным прямым, то они тоже перпендикулярны) параллельные им пересекающиеся прямые а2 и х2 тоже перпендикулярны. Таким образом, прямая а2 перпендикулярна любой прямой х2 в плоскости a. А это значит, что прямая а2 перпендикулярна плоскости a.
Теорема о противолежащих гранях параллелепипеда.