Глава IV. Прямые и плоскости в пространстве. Многогранники

§47.  Признак параллельности, прямой  и  плоскости

Если прямая принадлежит плоскости или не имеет с ней ни одной общей точки, то прямая и плоскость называются параллельными. Если прямая l и плоскость р параллельны, то будем писать l || р. Таким образом, l || р, сели 1  р или 1    p  =  

Прежде всего докажем одну несложную, но важную иорему.

Теорема 1. Если плоскости р и q пересекаются и прямая 1  q параллельна плоскости р, то 1 параллельна прямой, являющейся пересечением плоскостей р и q.

Случай, когда 1 лежит в плоскости 1, очевиден, так как тогда 1 = p   q.

Пусть l не имеет общих точек с р. Тогда, если бы прямые l и 1₁ = p   q пересекались, то прямая l  пересекалась бы с плоскостью р, что противоречит условию. Следовательно, прямые l и 1₁ параллельны.

Докажем теперь следующий признак параллельности прямой и плоскости.

Теорема 2. Для того чтобы прямая l была параллельна плоскости р, необходимо и достаточно, чтобы прямая l была параллельна некоторой прямой, лежащей в плоскости р.

Заметим, что случай, когда l лежит в плоскости p, является очевидным. Поэтому будем рассматривать лишь случай, когда l не лежит в р.

Пусть прямая l и плоскость р параллельны (рис. 133).

Докажем, что тогда в плоскости р имеется прямая, которая параллельна прямой l . Через прямую l и некоторую точку М  р проведем плоскость q. Тогда прямая l параллельна прямой 1₁, являющейся пересечением плоскостей р и q.

Докажем теперь обратное утверждение: если в плоскости р есть прямая, параллельная l , то 1 параллельна р.

Пусть 1 параллельна прямой 1₁  р. Предположим, что 1 и р имеют общую точку М₀. Тогда М₀ принадлежит плоскости р и плоскости q, в которой лежат прямые l и 1₁ и поэтому М₀ принадлежит прямой 1₁ = p   q, что противоречит условию. Следовательно, прямая l и плоскость p не имеют общих точек.