Параллельные и перпендикулярные прямые

Две прямые на плоскости либо пересекаются один раз, либо никогда не встречаются — второй случай называется параллельностью.

Параллельные прямые — прямые на плоскости, которые не пересекаются, сколько бы их ни продолжали в обе стороны.

Параллельность: прямые, которые никогда не встретятся

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

Обозначение параллельности — значок $\parallel$. Если прямая $a$ параллельна прямой $b$, пишут $a \parallel b$.

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

Секущая и углы, которые она создаёт

Теперь представь, что через две параллельные рельсы (прямые) провели ещё одну прямую наискосок — как шпалу, положенную не перпендикулярно рельсам, а под углом. Такая прямая называется секущей.

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

Соответственные углы — расположены «на одинаковых местах» относительно каждой точки пересечения (например, оба сверху-справа). Если прямые параллельны, соответственные углы равны.
Накрест лежащие углы — расположены по разные стороны от секущей, между двумя прямыми (внутри «полосы» между рельсами). Если прямые параллельны, накрест лежащие углы равны.
Односторонние углы — по одну сторону от секущей, между двумя прямыми. Если прямые параллельны, их сумма равна $180°$.

Признак параллельности прямых

А вот и обратная, практически более полезная сторона: как узнать, что прямые параллельны, если это не сказано прямо в условии задачи? Основной признак:

$$ \text{если накрест лежащие углы равны, то прямые параллельны} $$

Это работает и с соответственными углами: если соответственные углы равны — прямые параллельны. И с односторонними: если их сумма $180°$ — прямые параллельны. Любого из трёх условий достаточно, чтобы сделать вывод.

Перпендикулярность: угол ровно 90°

Теперь другой частный, но очень важный случай. Представь угол книжной страницы или пересечение вертикальной стены с горизонтальным полом — прямые пересекаются, но не как попало, а образуя ровно прямой угол. Это перпендикулярные прямые.

Перпендикулярные прямые — прямые, которые пересекаются под углом $90°$. Обозначение — значок $\perp$: если прямая $a$ перпендикулярна прямой $b$, пишут $a \perp b$.

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

Проверка перпендикулярности через координаты

Если прямые заданы не на чертеже, а координатами точек, перпендикулярность можно проверить без транспортира. У каждой невертикальной прямой есть угловой коэффициент $k$ — число, которое показывает, насколько круто прямая идёт вверх или вниз:

$$ k = \frac{y_2 - y_1}{x_2 - x_1} $$

Признак перпендикулярности через угловые коэффициенты:

$$ k_1 \cdot k_2 = -1 $$

Проверим на примере. Прямая $AB$ проходит через точки $A(0, 0)$ и $B(4, 2)$, а прямая $CD$ — через точки $C(0, 0)$ и $D(-2, 4)$:

import math

def k(x1, y1, x2, y2):
    return (y2 - y1) / (x2 - x1)

# прямая AB: A(0,0) B(4,2)
k1 = k(0, 0, 4, 2)
# прямая CD: C(0,0) D(-2,4)
k2 = k(0, 0, -2, 4)

product = k1 * k2
print("k1 =", k1)
print("k2 =", k2)
print("k1 * k2 =", product)
if math.isclose(product, -1):
    print("Прямые перпендикулярны")
else:
    print("Прямые НЕ перпендикулярны")

Вывод:

k1 = 0.5
k2 = -2.0
k1 * k2 = -1.0
Прямые перпендикулярны

Произведение угловых коэффициентов действительно равно $-1$, значит прямые $AB$ и $CD$ пересекаются под прямым углом — и это подтверждается без единого измерения транспортиром, чисто вычислением.

Перпендикуляр как кратчайшее расстояние

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

Частые ошибки

Путают признак и свойство. «Если прямые параллельны — накрест лежащие углы равны» (свойство, от параллельности к углам) и «если накрест лежащие углы равны — прямые параллельны» (признак, от углов к параллельности) — логически это разные направления рассуждения, хотя оба верны для данной ситуации.
Считают, что перпендикулярные прямые обязательно "вертикальная и горизонтальная". Перпендикулярность — это про угол $90°$ между прямыми, а не про их ориентацию на листе. Две наклонные прямые тоже могут быть перпендикулярны друг другу.
Путают параллельность с "похожестью направления на глаз". На чертеже от руки прямые могут казаться параллельными, но не быть таковыми строго. Нужно доказательство через углы или координаты, а не визуальная оценка.
Забывают проверить оба условия при работе с угловыми коэффициентами. Для параллельности нужно $k_1 = k_2$, а для перпендикулярности — $k_1 \cdot k_2 = -1$. Это разные и легко перепутываемые формулы.

Итоги

Параллельные прямые никогда не пересекаются; обозначение $\parallel$.
Секущая, пересекая две прямые, образует накрест лежащие, соответственные и односторонние углы.
Если накрест лежащие или соответственные углы равны (или сумма односторонних = 180°) — прямые параллельны.
Перпендикулярные прямые пересекаются под углом 90°; обозначение $\perp$.
По координатам перпендикулярность проверяют через угловые коэффициенты: $k_1 \cdot k_2 = -1$.
Перпендикуляр от точки до прямой — это кратчайшее расстояние между ними.