Параллельность прямой и плоскости

Плоскость α и прямая a, не принадлежащая плоскости α, называются параллельными, если они не имеют ни одной общей точки. Любая прямая a, принадлежащая плоскости α, считается параллельной плоскости α..

 Теорема

Если прямая, не принадлежащая плоскости, параллельна какой-нибудь прямой в этой плоскости, то она параллельна и самой плоскости.



Доказательство

Пусть α - плоскость, a – не лежащая в ней прямая и a1 – прямая в плоскости α, параллельная прямой a. Проведем плоскость α1 через прямые a и a1. Плоскости α и α1 пересекаются по прямой a1. Если бы прямая a пересекала плоскость α, то точка пересечения принадлежала бы прямой a1. Но это невозможно, так как прямые a и a1 параллельны. Следовательно, прямая a не пересекает плоскостью α, а значит, параллельна плоскости α. Теорема доказана.