Теорема (Признак параллельности прямой и плоскости)
Если прямая, не лежащая в данной плоскости, параллельна какой-нибудь прямой на этой плоскости, то эта прямая параллельна данной плоскости.
Доказательство:
Доказательство проведем от противного. Пусть a не параллельна плоскости α, тогда прямая a пересекает плоскость в некоторой точке A. Причем A не находится на b, так как a∥b. Согласно признаку скрещивающихся прямых, прямые a и b скрещивающиеся.
Мы пришли к противоречию. Так как согласно данной информации a∥b, они не могут быть скрещивающимися. Значит, прямая a должна быть параллельна плоскости α.
Существует еще два утверждения, которые используются при решении задач:
Если плоскость проходит через данную прямую, параллельную другой плоскости, и пересекает эту плоскость, то линия пересечения плоскостей параллельна данной прямой.
Если одна из двух параллельных прямых параллельна данной плоскости, то другая прямая либо тоже параллельна данной плоскости, либо лежит в этой плоскости.
