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

Определения и обозначения

Прямая параллельна плоскости, если прямая и плоскость не имеют общих точек. Это положение обозначают a ∥ α, где a — прямая, а α — плоскость. Определение позволяет точно описать, что значит «прямая проходит мимо плоскости» в пространстве. Оно важно для различения параллельности и ситуации, когда прямая просто нарисована рядом с плоскостью.

Относительно плоскости прямая может лежать в ней, пересекать её в одной точке или быть параллельной ей. В первом случае все точки прямой принадлежат плоскости, во втором у них ровно одна общая точка, а в третьем общих точек нет. Эти три положения исчерпывают варианты взаимного расположения прямой и плоскости в пространстве. Их различение помогает не принять лежащую в плоскости прямую за параллельную ей.

Признак параллельности прямой и плоскости формулируется так: если прямая, не лежащая в плоскости, параллельна некоторой прямой этой плоскости, то она параллельна плоскости. Здесь «признак» означает условие, по которому можно установить нужное свойство, не проверяя напрямую все точки. Он сводит пространственное доказательство к сравнению двух прямых и проверке их принадлежности. Условие, что исследуемая прямая не лежит в плоскости, обязательно.

Как это устроено

На чертеже прямая может выглядеть так, будто не пересекает плоскость, но такой вид не доказывает отсутствия общих точек. Изображение пространства на листе плоское: направление в глубину передаётся условно, а некоторые части фигур могут быть скрыты. Поэтому две линии, кажущиеся раздельными, в действительности могут пересечься. Вывод о параллельности делают по определению или доказанному признаку, а не по внешнему виду рисунка.

Условие «прямая не лежит в плоскости» отделяет параллельность от принадлежности. Если прямая лежит в плоскости, она параллельна каждой своей параллельной линии внутри неё, но имеет с плоскостью все свои точки общими. Следовательно, параллельность прямой одной из линий плоскости сама по себе ещё не даёт нужного вывода. Условие исключает этот случай и позволяет заключить, что исследуемая прямая не пересекает плоскость.

Смысл признака в том, что он заменяет проверку взаимного расположения прямой и целой плоскости сравнением двух прямых. Одна из них — исследуемая, другая — заведомо лежит в плоскости; если они параллельны и первая не принадлежит плоскости, первая не пересекает эту плоскость. Поэтому перед доказательством нужно выяснить, какая прямая в плоскости будет удобна для сравнения. Часто её находят среди рёбер, диагоналей или отрезков, построенных в грани многогранника.

План доказательства обычно начинается с поиска подходящей прямой b в плоскости α. Затем обосновывают, что b действительно принадлежит α и параллельна исследуемой прямой a; для этого могут пригодиться свойства граней и теоремы о треугольниках. Отдельно проверяют, что a не лежит в α, например указывают точку a, не принадлежащую плоскости. После этих проверок применяют признак и записывают вывод a ∥ α.

Пространственный чертёж может создавать и обратное впечатление: прямая выглядит пересекающей плоскость, хотя в действительности она проходит перед ней или за ней. Это происходит потому, что чертёж показывает условную проекцию объёмной фигуры, а не её реальное положение в пространстве. Обозначения видимых и невидимых рёбер помогают читать изображение, но сами по себе не заменяют доказательства. Проверяй, следует ли пересечение из общих точек, заданных условиями и установленными свойствами фигур.

Взаимное расположение прямой и плоскости

Сначала установи число общих точек: так можно отличить пересечение от параллельности и принадлежности. Для доказательства последнего положения пользуйся признаком из таблицы, проверяя оба его условия. Рисунок помогает представить ситуацию, но вывод должен опираться на геометрические свойства.

Разбор задач

Задача 1

В плоскости α лежит прямая b. Прямая a не лежит в α и параллельна b. Докажем, что a ∥ α. Условия задачи уже содержат обе части признака, поэтому достаточно проверить их применимость и корректно сформулировать вывод. Никаких дополнительных построений здесь не требуется.

1. Из условия b принадлежит плоскости α.
2. Из условия a ∥ b, причём a не лежит в α.
3. По признаку параллельности прямой и плоскости получаем a ∥ α.

Ответ: a параллельна плоскости α. В таком доказательстве важно не пропустить ни принадлежность b плоскости, ни условие о том, что a не лежит в ней. Именно вместе они позволяют применить признак.

Задача 2

В тетраэдре ABCD точки M и N — середины рёбер AB и AC. Докажем, что MN параллельна плоскости BCD. Рассмотрим сначала треугольник ABC: отрезок MN соединяет середины двух его сторон. Это позволяет связать MN с прямой, которая уже лежит в нужной плоскости.

1. По теореме о средней линии треугольника MN ∥ BC.
2. Прямая BC принадлежит плоскости BCD, так как B и C — её точки.
3. Точка M лежит на AB и не принадлежит плоскости BCD, поскольку тетраэдр невырожден и прямая AB пересекает эту плоскость только в B. Значит, MN не лежит в плоскости BCD.
4. По признаку параллельности прямой и плоскости MN ∥ плоскости BCD.

Ответ: прямая MN параллельна плоскости BCD. Ключевой ход — использовать BC как прямую-посредник: она параллельна MN и принадлежит плоскости. Проверка, что MN не лежит в этой плоскости, завершает применение признака.

Задача 3

В параллелепипеде ABCDA₁B₁C₁D₁ докажем, что диагональ боковой грани AB₁ параллельна плоскости DC₁C. Ищем в этой плоскости прямую, которая имеет то же направление, что и AB₁. Подходит диагональ DC₁ грани DCC₁D₁.

1. В параллелепипеде противоположные рёбра параллельны: AB ∥ DC и BB₁ ∥ CC₁.
2. Грани ABB₁A₁ и DCC₁D₁ равны и параллельны, поэтому соответствующие диагонали AB₁ и DC₁ параллельны.
3. Прямая DC₁ лежит в плоскости DC₁C, поскольку точки D, C₁ и C принадлежат этой плоскости.
4. Точка A не принадлежит плоскости DC₁C, поэтому AB₁ не лежит в ней. По признаку получаем AB₁ ∥ плоскости DC₁C.

Ответ: AB₁ параллельна плоскости DC₁C. Здесь сначала установили параллельность двух диагоналей, затем проверили принадлежность одной из них плоскости и исключили принадлежность другой. Это стандартная схема применения признака.

Типичные ошибки

Ошибка: считать прямую параллельной плоскости только потому, что на чертеже они не пересекаются. Так поступают, когда воспринимают плоское изображение как точную копию пространства, но оно может скрывать общие точки. Проверяй, подтверждено ли отсутствие пересечения условием или доказательством. Если есть только рисунок, вывода о параллельности сделать нельзя.

Ошибка: применять признак, не проверив, что исследуемая прямая не лежит в плоскости. Иногда это условие пропускают, потому что уже найдена параллельная линия внутри плоскости. Но прямая, лежащая в плоскости, тоже может быть параллельна этой линии и всё же не быть параллельной самой плоскости. Перед выводом отдельно установи, что исследуемая прямая не принадлежит плоскости.

Ошибка: назвать подходящей прямую, которая якобы лежит в плоскости, не доказав её принадлежность. Её положение на чертеже может казаться очевидным, хотя заданные точки или определения этого не подтверждают. Проверь, что прямая проходит через точки плоскости или является её частью по условию. Только после этого используй её в признаке.

Ошибка: считать, что прямая параллельна плоскости лишь потому, что параллельна какой-то линии, нарисованной внутри неё. Признак требует не произвольную линию на рисунке, а доказанную прямую, принадлежащую плоскости; кроме того, исследуемая прямая не должна в ней лежать. Для самопроверки выпиши оба условия до применения признака. Если хотя бы одно не подтверждено, доказательство не завершено.

Связь с другими темами

Для работы с этой темой нужны понятия параллельных прямых и принадлежности точки, прямой и плоскости, а также признаки параллельности прямых. Именно они помогают найти прямую внутри плоскости и доказать её параллельность исследуемой прямой. Позже признак пригодится при доказательстве параллельности плоскостей и исследовании сечений многогранников. Он также помогает решать задачи о взаимном расположении прямых и плоскостей в пространстве.

Что запомнить

• Если прямая параллельна плоскости, у них нет общих точек.
• Прямая, лежащая в плоскости, не считается параллельной этой плоскости.
• Для применения признака прямая не должна лежать в плоскости.
• Чтобы доказать параллельность прямой плоскости, достаточно найти в плоскости параллельную ей прямую.
• При пространственном доказательстве нужно обосновывать принадлежность прямых плоскости.