О равных отрезках параллельных прямых, заключенных между параллельными плоскостями

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

Формулировка теоремы

Теорема (О равных отрезках параллельных прямых, заключенных между параллельными плоскостями)․
Пусть прямые a и a₁ параллельны и находятся в одной плоскости, а плоскости Π₁ и Π₂ параллельны между собой․ Пусть A = a ∩ Π₁, B = a ∩ Π₂ и A₁ = a₁ ∩ Π₁, B₁ = a₁ ∩ Π₂․ Тогда

длина отрезка AB равна длине отрезка A₁B₁․
Иными словами, любые два параллельных отрезка, которые находятся в пределах двух параллельных плоскостей, равны․

Почему эта теорема важна?

• Она используется в доказательствах треугольника Фалеса и теоремы о пропорциональных секущих․
• Позволяет перейти от 3‑мерного пространства к 2‑мерному при работе с параллельными плоскостями․
• Используется в инженерном проектировании, когда необходимо узнать длину отрезка на одной стене по измерениям на другой․

Доказательство теоремы

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

1. Пусть a и a₁ — параллельные прямые․ По определению параллельности существует плоскость γ, содержащая обе прямые․ Поэтому γ параллельна плоскостям Π₁ и Π₂ (поскольку они параллельны друг другу)․
2. Отрезок AB образован пересечением прямой a с плоскостями Π₁ и Π₂․ Аналогично отрезок A₁B₁ образован пересечением прямой a₁ с теми же плоскостями․
3. Поскольку все четыре плоскости γ, Π₁, Π₂, γ пересекаются по одной прямой, в плоскости γ можно рассмотреть два параллельных прямых и два пересечений с плоскостями․ В результате получаем два параллельных треугольника:
   • Треугольник AAB₁ (в плоскости γ)
   • Треугольник A₁BA₁ (в плоскости γ)

   Поскольку a и a₁ параллельны, углы, образованные этими прямыми и плоскостями, равны․ Поэтому треугольники AAB₁ и A₁BA₁ похожи․ В частности, их стороны, расположенные напротив одинаковых углов, пропорциональны․

4. В таком случае отрезки AB и A₁B₁ находятся в одинаковых позициях относительно двух параллельных прямых, и по свойству подобия они равны․

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

Визуальный пример (координаты)

Возьмём систему координат․ Пусть прямые:

• a: y = 2, z = 1, x – произвольная
• a₁: y = 2, z = 4, x – произвольная

Плоскости:

• Π₁: z = 0
• Π₂: z = 5

Тогда

• A = (0,2,0), B = (0,2,5) – отрезок длины 5․
• A₁ = (0,2,0), B₁ = (0,2,5) – также длина 5․

Как видим, AB = A₁B₁․

Когда утверждение неверно?

Теорема применима только при выполнении всех её условий․ Если хотя бы одно из них нарушено, равенство отрезков может не сбыться․

1. Непараллельные прямые
   Если прямые не параллельны, то их пересечения с плоскостями могут давать отрезки разной длины․ Например, возьмём прямые, встречающиеся в одной плоскости, но не параллельные․
2. Плоскости не параллельны
   Если плоскости Π₁ и Π₂ не параллельны, то их пересечения с параллельными прямыми могут образовать отрезки разной длины, поскольку угол между прямой и плоскостью меняется․
3. Отсутствие общей плоскости для прямых
   В 3‑мерном пространстве иногда встречаются «скрещённые» прямые, которые параллельны по направлению, но не находятся в одной плоскости (скрещённые линии)․ В таком случае нельзя построить плоскость, содержащую обе прямые, и теорема не применима․

Краткое резюме

Теорема о равных отрезках параллельных прямых, заключенных между параллельными плоскостями, является фундаментальным инструментом в геометрии․ Она гарантирует, что при соблюдении двух простых условий – параллельности прямых и параллельности плоскостей – длины соответствующих отрезков всегда совпадают․ Это свойство лежит в основе многих доказательств и практических задач․

Таким образом, ответ на вопрос «Отрезки прямых заключенные между параллельными плоскостями равны да или нет?» – Да, при условии, что прямые параллельны, а плоскости – тоже параллельны․

Полезные ссылки для дальнейшего чтения

• Wikipedia – Parallelism in 3D
• Khan Academy – Geometry

Надеемся, что данная статья помогла вам понять, почему отрезки параллельных прямых между параллельными плоскостями равны, и какие условия необходимы для того, чтобы это утверждение было верным․