Зачем это нужно
Рельсы, края тетради, строки текста, полосы пешеходного перехода — параллельные прямые повсюду. Но как доказать, что две прямые параллельны, если их нельзя продолжить до бесконечности и проверить, что они не пересекаются? Ответ дают признаки параллельности — через углы, которые образуют две прямые с третьей, секущей.
Эта тема — одна из центральных в планиметрии. Из свойств параллельных прямых следует теорема о сумме углов треугольника, свойства параллелограмма и трапеции, подобие треугольников, а в 10 классе — вся стереометрия параллельности.
Определение
Две прямые на плоскости называются параллельными, если они не пересекаются. Обозначение: .
Два отрезка (луча) параллельны, если они лежат на параллельных прямых.
Углы при пересечении двух прямых секущей
Пусть прямые и пересечены третьей прямой — секущей. Образуется 8 углов. Некоторые пары имеют названия:
| Пара углов | Где расположены | Пример на рисунке |
|---|---|---|
| накрест лежащие | между прямыми, по разные стороны секущей | 3 и 5; 4 и 6 |
| соответственные | по одну сторону секущей, один между прямыми, другой вне | 1 и 5; 2 и 6; 4 и 8; 3 и 7 |
| односторонние | между прямыми, по одну сторону секущей | 4 и 5; 3 и 6 |
Признаки параллельности
Две прямые параллельны, если при пересечении их секущей:
- накрест лежащие углы равны, или
- соответственные углы равны, или
- сумма односторонних углов равна .
Доказательство первого признака (идея). Пусть накрест лежащие углы равны, а прямые всё же пересекаются в точке . Тогда образуется треугольник, и, построив равный ему треугольник по другую сторону секущей, получим вторую точку пересечения прямых. Но две различные прямые не могут иметь две общие точки — противоречие. Значит, прямые параллельны. ∎
Такой способ рассуждения — «предположим противное и придём к противоречию» — называется доказательством от противного.
Второй и третий признаки сводятся к первому с помощью вертикальных и смежных углов.
Аксиома параллельных прямых
Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
Это знаменитый пятый постулат Евклида. Его нельзя доказать из остальных аксиом — это выяснил Николай Лобачевский в 1826 году, построив геометрию, в которой через точку проходит много параллельных. Геометрия Лобачевского так же логически безупречна, как и евклидова.
Следствия аксиомы:
- если прямая пересекает одну из двух параллельных прямых, то пересекает и другую;
- если две прямые параллельны третьей, то они параллельны друг другу.
Свойства параллельных прямых
Это теоремы, обратные признакам. Если две параллельные прямые пересечены секущей, то:
- накрест лежащие углы равны;
- соответственные углы равны;
- сумма односторонних углов равна .
Чем признак отличается от свойства? Признак — «если углы такие-то, то прямые параллельны». Свойство — «если прямые параллельны, то углы такие-то».
Разобранный пример 1
Прямые и параллельны, секущая образует с угол . Найдите все углы.
- Вертикальный к — тоже ; смежные — .
- При второй прямой соответственные углы равны: такие же и .
- Итог: четыре угла по и четыре по .
Разобранный пример 2
Один из односторонних углов при параллельных прямых на больше другого. Найдите их.
- Сумма односторонних : , .
- Углы и .
Разобранный пример 3
Прямые и пересечены секущей, накрест лежащие углы и . Параллельны ли прямые?
Да: накрест лежащие углы равны — по первому признаку .
Типичные ошибки
- Путать признаки и свойства: использовать «накрест лежащие углы равны» без доказанной параллельности.
- Путать пары углов: называть соответственными углы, лежащие по разные стороны секущей.
- Считать, что односторонние углы равны (они в сумме дают ).
- Думать, что «не пересекаются на рисунке» означает параллельность.
- Забывать, что все утверждения темы относятся к прямым на одной плоскости.
Что дальше
- Сумма углов треугольника. Неравенство треугольника — с помощью свойств параллельных прямых докажем, что сумма углов треугольника .
- Многоугольники. Параллелограмм и трапеция — параллелограмм и трапеция определяются через параллельные стороны.
- Аксиомы стереометрии и их следствия — в стереометрии появятся скрещивающиеся прямые — не параллельные и не пересекающиеся.