Аксиома – это утверждение, которое принимается в качестве исходного, без доказательства в рамках данной теории.
Аксиома параллельных прямых.
Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
Следствия из аксиомы.
Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Если две прямые, параллельны третьей прямой, то они параллельны.
Теоретический материал для самостоятельного изучения
Построение геометрии
Геометрия на плоскости изучает фигуры: сначала даются их определения, затем доказываются свойства или отношения в виде теорем.
Однако есть утверждения, которые принимаются в качестве исходных, они не доказываются. Это аксиомы.
Аксиома – происходит от греческого «аксиос», что означает «ценный, достойный». Изначально имело смысл «самоочевидная истина».
Теорема – греческое слово, означает «зрелище, представление». В математике греков употреблялось в смысле «истина, доступная созерцанию».
Аксиома параллельных прямых.
Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
Следствия из аксиомы.
Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Если две прямые параллельны третьей прямой, то они параллельны.
Впервые аксиоматический подход к изложению геометрии был изложен в знаменитом сочинении Евклида «Начала» в III веке до нашей эры. Геометрию, которую мы изучаем, по сей день, называют евклидовой. Схема изучения геометрии представлена так: задаются начальные понятия (точка, прямая, плоскость), определения фигур (отрезок, луч, треугольник и др.). Затем изучаются свойства или отношения между ними в виде аксиом или теорем.
Приведём примеры аксиом, которые уже встречали в предыдущих параграфах, хотя они не назывались аксиомами.
- Через любые две точки проходит прямая, и притом только одна.
- На любом луче от его начала можно отложить отрезок, равный данному, и притом только один.
- От любого луча можно отложить угол, равный данному неразвёрнутому углу, и притом только один.
Евклид является автором аксиоматического подхода к построению геометрии.
Аксиома параллельных прямых:
через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
На рисунке через точку М проведены две прямые. Но только одна из них прямая b параллельна прямой а.
Утверждения, которые выводятся из аксиом или теорем, называются следствиями, и они доказываются.
Следствия из аксиомы параллельных прямых.
1. Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Доказательство методом от противного.
Пусть a ║b, c пересекает прямую a в точке M. Предположим, что прямая c не пересекает b. Тогда через точку M проходит две прямые a и c параллельные b. Это противоречит аксиоме, значит предположение неверно, т. е. прямая c пересекает b.
2. Если две прямые параллельны третьей прямой, то они параллельны.
Доказательство методом от противного.
Пусть a ║ c, b ║ c.
Предположим, что прямые a и b не параллельны, т. е. пересекаются в точке M. Тогда через точку M проходит две прямые a и b параллельные c. Это противоречит аксиоме, значит, предположение неверно, т. е. прямая a параллельна прямой b.
Разбор заданий тренировочного модуля
№ 1. Доказать существование прямой, параллельной данной.
Объяснение:
Доказательство:
- Проведём через точку М прямую c ┴ а.
- Затем проведём прямую b ┴ c.
- Так как прямые a и b перпендикулярны прямой c, то они параллельны.
№ 2. Через точку А, не лежащую на прямой р, проведены четыре различные прямые.
Сколько из них пересекает прямую р?
Объяснение.
1 случай. Если одна из прямых параллельна р. Тогда три других пересекают прямую р, согласно следствию 1 из аксиомы параллельных прямых.
2 случай. Если ни одна из прямых не параллельна р. Тогда все четыре пересекают прямую р.
Ответ: 3 или 4.
