ГЛАВА III.
ПАРАЛЛЕЛЬНЫЕ ПРЯМЫЕ

§ 37. АКСИОМА ПАРАЛЛЕЛЬНОСТИ ЕВКЛИДА.

Задача. Через точку М, взятую вне прямой АВ, провести прямую, параллельную прямой АВ.

Пользуясь доказанными теоремами о признаках параллельности прямых, можно эту задачу решить различными способами,

Решение.  1-й с п о с о б (черт. 199).

Проводим МN_|_АВ и через точку М проводим СD_|_ МN;
получаем СD_|_МN и АВ_|_МN.

На основании теоремы § 33 заключаем, что СD || АВ.

2-й с п о с о б (черт. 200).

Проводим МК, пересекающую АВ под любым углом α , и через точку М проводим прямую ЕF, образующую с прямой МК угол ЕМК, равный углу α . На основании теоремы § 35 заключаем, что ЕF || АВ.

Решив данную задачу, можем считать доказанным, что через любую точку М, взятую вне прямой АВ, можно провести прямую, ей параллельную. Возникает вопрос, сколько же прямых, параллельных данной прямой и проходящих через данную точку, может существовать?

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

В теории ответ на поставленный вопрос даёт так называемая аксиома параллельности Евклида; она формулируется так:

Через точку, взятую вне дaнной прямой, можно провести только одну прямую, параллельную этой прямой.

На чертеже 201 через точку О проведена прямая СК, параллельная прямой АВ.

Всякая другая прямая, проходящая через точку О, уже не будет параллельна прямой АВ, а будет её пересекать.

В начале настоящего курса было сказано о том, что геометрия возникла в глубокой древности и что особенно много для её развития сделал греческий математик    Евклид.

Принятая Евклидом в его «Началах» аксиома, которая утверждает, что на плоскости через точку, взятую вне данной прямой, можно провести только одну прямую, параллельную этой прямой, называется аксиомой параллельности Евклида.

Более двух тысячелетий после Евклида многие учёные-математики пытались доказать это математическое предложение, но всегда их попытки оказывались безуспешными.

Только в 1826 г. великий русский учёный, профессор Казанского университета Николай Иванович Лобачевский доказал, что, используя все другие аксиомы Евклида, это математическое предложение доказать нельзя, что оно действительно должно быть принято за аксиому.

Н. И. Лобачевский создал новую геометрию, которая в отличие от геометрии Евклида названа геометрией Лобачевского.