Все точки каждой из двух параллельных прямых равноудалены от другой прямой да или нет

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

Содержание

1. Определения: параллельные прямые и расстояние от точки до прямой
2. Теорема о постоянном расстоянии между параллельными прямыми
3. Доказательство в координатной и векторной формах
4. Примеры и визуализация
5. Исключения: неевклидова геометрия и «вывих» прямой
6. Краткое резюме

Определения

l₁: a·x + b·y + c₁ = 0,
l₂: a·x + b·y + c₂ = 0, (c₁ ≠ c₂)

d(P,l) = |a·x₀ + b·y₀ + c| / √(a² + b²)

Теорема о постоянном расстоянии между параллельными прямыми

Теорема․ Пусть l₁ и l₂ — две параллельные прямые в евклидовом пространстве․ Тогда для любой точки P на l₁ расстояние до l₂ одинаково и равно расстоянию между самими прямыми․ Аналогично, любой пункт на l₂ находится на том же расстоянии от l₁․

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

Координатный подход

Возьмём уравнения параллельных прямых в канонической форме:

l₁: a·x + b·y + c₁ = 0,
l₂: a·x + b·y + c₂ = 0, (c₁ ≠ c₂)

Пусть P(x₀, y₀) принадлежит l₁․ Тогда

a·x₀ + b·y₀ + c₁ = 0 ⇒ a·x₀ + b·y₀ = -c₁․

Подставим это в формулу расстояния от P до l₂:

d(P,l₂) = |a·x₀ + b·y₀ + c₂| / √(a²+b²)
 = |(-c₁) + c₂| / √(a²+b²)
 = |c₂ ⎻ c₁| / √(a²+b²)․

В правой части нет переменных x₀, y₀ — значит расстояние постоянно для всех точек P на l₁․ Аналогично получаем то же значение, если берём точку на l₂․

Векторный подход

Пусть n = (a, b) — единичный нормальный вектор к обеим прямым (нормируем: ‖n‖ = 1)․ Точки A ∈ l₁ и B ∈ l₂ могут быть записаны как:

A = P₀ + t·v,
B = Q₀ + s·v,

где v — направляющий вектор (перпендикулярный n), а P₀, Q₀ — любые фиксированные точки на l₁, l₂ соответственно․

Вектор AB = (Q₀ ⎻ P₀) + (s ─ t)·v․ Проекция AB на n даёт расстояние между прямыми:

dist(l₁,l₂) = |(Q₀ ─ P₀)·n|․

Для любой точки A ∈ l₁ расстояние до l₂ равно модулю той же проекции, потому что (A ─ B)·n = (Q₀ ─ P₀)·n независимо от параметров t, s․ Следовательно, расстояние постоянно․

Примеры и визуализация

Рассмотрим конкретные прямые:

l₁: 2x ⎻ 3y + 5 = 0,
l₂: 2x ─ 3y ⎻ 7 = 0․

Нормальный вектор n = (2, -3), его длина √(2²+(-3)²)=√13․

Расстояние между прямыми:

dist = |(-7) ⎻ 5| / √13 = 12 / √13 ≈ 3․33․

Возьмём любую точку на l₁, например P(1, 1)․ Проверка:

d(P,l₂) = |2·1 ─ 3·1 ⎻ 7| / √13 = |2 ─ 3 ─ 7| / √13 = 8 / √13 ≈ 2․22 ???

Ой! Ошибка в вычислениях․ Давайте правильно подставим:

2·1 ─ 3·1 + 5 = 2 ⎻ 3 + 5 = 4 → P действительно лежит на l₁․
Для l₂: 2·1 ─ 3·1 ─ 7 = -8․
| -8 | / √13 = 8 / √13 ≈ 2․22․

Но расстояние между прямыми уже вычислили как 12/√13 ≈ 3․33․ Что происходит?

Тут мы ошиблись в выборе коэффициентов․ Чтобы обе прямые были действительно параллельными, их свободные члены должны отличаться, но при этом коэффициенты при x и y одинаковы․ В нашем примере они одинаковы, но расстояние между ними рассчитывается как:

dist = |c₂ ─ c₁| / √(a²+b²) = |(-7) ⎻ 5| / √13 = 12/√13 ≈ 3․33․

Тогда почему получаем 8/√13? Потому что точка P(1,1) не лежит на l₁! Перепроверим условие l₁:

2·1 ─ 3·1 + 5 = 4 ≠ 0 → точка НЕ на l₁․

Выбираем правильную точку, например, P(2,3):

2·2 ⎻ 3·3 + 5 = 4 ⎻ 9 + 5 = 0 → P ∈ l₁․
d(P,l₂) = |2·2 ⎻ 3·3 ─ 7| / √13 = |4 ⎻ 9 ─ 7| / √13 = | -12 | / √13 = 12/√13 ≈ 3․33․

Получилось! И расстояние одинаково для любой другой точки на l₁․

Графическое представление

Ниже – схематический рисунок (условный, без реального изображения):

 l₂ ------------------------------
 /
 / (перпендикулярные отрезки)
 /
 l₁ ------------------------------

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

Где утверждение может быть неверным?

• Невклидова геометрия (геометрия Лобачевского, сферическая геометрия)․
  На гиперболической плоскости «параллельными» называют линии, которые не пересекаются, но их взаимное расстояние меняется с ростом координаты․ В сферической геометрии любые две «прямые» (большие окружности) всегда пересекаются, поэтому понятие параллельности теряется․
• Изогнутые поверхности (например, цилиндр, конус)․ Прямые, лежащие на поверхности, могут быть геодезически параллельными, но их взаимное расстояние вдоль поверхности может варьировать․
• Трансформации, сохраняющие параллельность, но меняющие метрику (например, аффинные преобразования, которые искажают углы)․ В такой системе расстояние между прямыми может измениться, хотя они остаются «параллельными» в аффинном смысле․

Именно в евклидовом (плоском) пространстве утверждение «все точки каждой из двух параллельных прямых равноудалены от другой прямой» является истинным․

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

• Параллельные прямые в евклидовом пространстве имеют одинаковый нормальный вектор и различаются только свободным членом уравнения․
• Расстояние от любой точки одной прямой до другой вычисляется одной и той же формулой |c₂ ⎻ c₁| / √(a²+b²), то есть оно постоянно․
• Это постоянное расстояние называется расстоянием между параллельными прямыми и равно длине любого перпендикуляра, соединяющего их․
• Утверждение сохраняет истинность только в евклидовом (плоском) геометрическом пространстве․ В гиперболической, сферической геометрии и на изогнутых поверхностях ситуация меняется․

Ответ на вопрос: Да, в обычной (евклидовой) плоскости все точки каждой из двух параллельных прямых находятся на одинаковом расстоянии от другой прямой․