Неевклидова геометрия
На аксиоме параллельности основывается почти весь раздел
«Параллелограммы и трапеции». В главе «Об окружности» все теоремы о форме и положении окружности (за исключением теоремы о том, что через всякие три неколлинеарные точки можно провести окружность и следствий этой теоремы). Теорема о зависимости между дугами, хордами и расстояние хорд до центра, о взаимном расположении прямой и окружности не опираются на аксиому параллельных Евклида. Доказательство многих теорем раздела «О вписанных и описанных многоугольниках» существенно основывается на приложении о том, что внешний угол треугольника равен сумме двух внутренних, с ним не смежных углов, а это приложение в свою очередь вытекает из теоремы о сумме углов треугольника – теоремы, непосредственно связанной с евклидовой аксиомой параллельных. Теорема о том, что во всякий треугольник можно вписать окружность, не требует евклидовой аксиомы параллельных.
Раздел «Подобные фигуры» также построен на аксиоме параллельных, так как с самого начала лемма, доказывающая существование подобных треугольников опирается на евклидову теорию параллельных, на аксиому параллельности («прямая, параллельная какой-нибудь стороне треугольника отсекает от него треугольник, подобный данному»). Сюда относятся и все теоремы о метрических соотношениях в треугольнике и круге, в том числе и теорема Пифагора.
В разделе «Правильные многоугольники» теоремы о построении правильных многоугольников циркулем и линейкой опирается на аксиому параллельных, тогда как теорема о том, что около всякого правильного многоугольника можно описать окружность, принадлежит абсолютной геометрии. Теоремы о площадях фигур связаны с аксиомой параллельности Евклида, так как единицей измерения площадей избирается квадрат – понятие евклидовой геометрии.
В стереометрии к абсолютной геометрии относятся разделы об определении положения плоскости ( в том числе основные свойства плоскости), о перпендикуляре и наклонных к плоскости, о двугранных и многогранных углах, об угле прямой с плоскостью. Предложения, заключающие понятие параллельности, связаны с указанной аксиомой. Далее в 10 классе, все утверждения, содержащие понятие площади поверхности и объема, опираются на постулат Евклида.
В отношении геометрических построений следует иметь в виду, что к задачам абсолютной геометрии принадлежит построение треугольника по трем его сторонам или по двум сторонам и углу между ними, проведение перпендикуляра из точки на прямой к данной прямой. Не опираясь на V
постулат можно решить также задачу о проведении касательной к данной окружности из внешней точки. Только в целях упрощения эта задача решается в учебниках при помощи аксиомы параллельных Евклида. На постулат Евклида опираются почти все задачи, содержащие в условии понятия площади и параллельности.
Два тысячелетия бесплодных усилий и крушений всех попыток (в том числе и своей собственной, основанной на методе приведения к абсурду) доказать V
постулат, привели Лобачевского к мысли о том, что этот постулат не зависит от других аксиом евклидовой геометрии, то есть из них не вытекает, и поэтому его доказать нельзя.
Но если V постулат не зависит от других аксиом, то допуская все другие аксиомы (абсолютной геометрии), мы можем принять или не принять евклидов постулат. В первом случае мы получаем известную классическую евклидову геометрию, названную Лобачевским “употребительной”. Если же вместо евклидовой аксиомы параллельности принять другую, ей не эквивалентную, получим новую, неевклидову геометрию. Лобачевский и сформулировал новую аксиому параллельных, прямопротивоположную аксиоме Евклида: “Через точку вне прямой можно провести не только одну прямую, не встречающую данной прямой, а по крайней мере две”. Заменив этой аксиомой V постулат Евклида, Лобачевский разработал свою неевклидову геометрию, которая оказалась такой же логически безупречной, правильной, как и геометрия Евклида.