Рассмотрим прямую a и точку M, не лежащую на этой прямой (Рис.1). Докажем, что через точку M можно провести прямую, параллельную прямой a.
 |
Проведем через точку M прямую c, перпендикулярно прямой a, и прямую b, перпендикулярно прямой c (Рис.2).
 |
Поскольку a и b перпендикулярны прямой с, то они параллельны (статья Перпендикулярные прямые Теорема 1 и статья Параллельные прямые. Признаки параллельности прямых Определение 1). Таким образом через точку M проходит прямая, параллельная прямой a.
Возникает вопрос, существует ли другая прямая, проходящая через точку M параллельно прямой a. Интуитивно ясно, что если немного повернуть прямую b вокруг оси M, то прямые b и a пересекутся. Но доказать это утверждение до сих пор не удалось. основываясь на стальных аксиомах геометрии.
Таким образом имеем это утверждение в виде аксиомы:
Аксиома 1. Через точку, не лежащую на данной прямой проходит только одна прямая, параллельная данной.
Следствие 1. Если прямая пересекает одну из параллельных прямых, то она пересекает и другую.
 |
Доказательство. Пусть заданы параллельные прямые a и b и пусть прямая c пересекает a в точке M (Рис.3). Докажем, что прямая c пересекает и прямую b.
Предположим обратное, т.е. c не пересекает b. Тогда получается, что через точку M проходят две прямые a и c параллельно прямой b, что невозможно (Аксиома 1). Следовательно прямая с пересекает и прямую b.
Следствие 2. Если две прямые параллельны третьей прямой, то они параллельны.
 |
Действительно. Предположим, что прямые a и b параллельны прямой c. Докажем, что прямая a параллельна прямой b. Предположим обратное, т.е. прямые a и b пересекаются в точке M (Рис.4). Тогда получается, что через точку M проходят две прямые, параллельные прямой c. Но это невозможно (Аксиома 1). Значит прямые a и b параллельны.