Раздел «Подобные фигуры» также построен на аксиоме параллельных, так как с самого начала лемма, доказывающая существование подобных треугольников опирается на евклидову теорию параллельных, на аксиому параллельности («прямая, параллельная какой-нибудь стороне треугольника отсекает от него треугольник, подобный данному»). Сюда относятся и все теоремы о метрических соотношениях в треугольнике и круге, в том числе и теорема Пифагора.

В разделе «Правильные многоугольники» теоремы о построении правильных многоугольников циркулем и линейкой опирается на аксиому параллельных, тогда как теорема о том, что около всякого правильного многоугольника можно описать окружность, принадлежит абсолютной геометрии. Теоремы о площадях фигур связаны с аксиомой параллельности Евклида, так как единицей измерения площадей избирается квадрат – понятие евклидовой геометрии.

В стереометрии к абсолютной геометрии относятся разделы об определении положения плоскости ( в том числе основные свойства плоскости), о перпендикуляре и наклонных к плоскости, о двугранных и многогранных углах, об угле прямой с плоскостью. Предложения, заключающие понятие параллельности, связаны с указанной аксиомой. Далее в 10 классе, все утверждения, содержащие понятие площади поверхности и объема, опираются на постулат Евклида.

В отношении геометрических построений следует иметь в виду, что к задачам абсолютной геометрии принадлежит построение треугольника по трем его сторонам или по двум сторонам и углу между ними, проведение перпендикуляра из точки на прямой к данной прямой. Не опираясь на V постулат можно решить также задачу о проведении касательной к данной окружности из внешней точки. Только в целях упрощения эта задача решается в учебниках при помощи аксиомы параллельных Евклида. На постулат Евклида опираются почти все задачи, содержащие в условии понятия площади и параллельности.

Два тысячелетия бесплодных усилий и крушений всех попыток (в том числе и своей собственной, основанной на методе приведения к абсурду) доказать V постулат, привели Лобачевского к мысли о том, что этот постулат не зависит от других аксиом евклидовой геометрии, то есть из них не вытекает, и поэтому его доказать нельзя.

Но если V постулат не зависит от других аксиом, то допуская все другие аксиомы (абсолютной геометрии), мы можем принять или не принять евклидов постулат. В первом случае мы получаем известную классическую евклидову геометрию, названную Лобачевским “употребительной”. Если же вместо евклидовой аксиомы параллельности принять другую, ей не эквивалентную, получим новую, неевклидову геометрию. Лобачевский и сформулировал новую аксиому параллельных, прямопротивоположную аксиоме Евклида: “Через точку вне прямой можно провести не только одну прямую, не встречающую данной прямой, а по крайней мере две”. Заменив этой аксиомой V постулат Евклида, Лобачевский разработал свою неевклидову геометрию, которая оказалась такой же логически безупречной, правильной, как и геометрия Евклида.

Если из т. С вне прямой АВ (рис.3) опустить на нее перпендикуляр СD и построить перпендикуляр СN к CD, то без помощи аксиомы параллельных доказывается, что NN’ || АВ.

Постулат Евклида утверждает, что из всех прямых плоскости АВС, проходящих через т. С, только одна прямая NN’ не встречает прямой АВ. Отказываясь от этой аксиомы, Лобачевский допускает, что через т. С проходит по крайней мере еще одна прямая CL не пересекающая АВ.

Аксиома Лобачевского кажется на первый взгляд странной, т.к. противоречит установившимся геометрическим представлениям. Однако при более глубоком анализе вопроса надо признать, что в отличие от других аксиом, касающихся фигур ограниченных размеров, аксиома параллельности Евклида относится к неограниченной прямой и никогда не может быть проверена с помощью непосредственного эксперимента, который может быть проведен лишь в ограниченной части пространства. Если, например, взять угол NCL достаточно малым, то отрезки CL и АВ не пересекутся даже на расстоянии, отходящим за пределы нашей планеты. И вот как раз в пределах определенной части плоскости, как бы эта часть не была велика, можно провести через данную точку множество прямых, не пересекающих данной прямой. Внутри круга любого конечного радиуса существует множество «прямых» (т.е. хорд), проходящих через т. С и не встречающих «прямой» АВ, например, CL, CM и другие (рис.4).

Таким образом, если отречься от всяких предубеждений, нет никакого основания считать аксиому Лобачевского “хуже” аксиомы Евклида, в смысле ее соответствия физической реальности. Кажущееся преимущество евклидовой геометрии, евклидовой аксиомы состоит в том, что ее содержание соответствует нашим привычным представлениям. Эти представления, однако, основаны на повседневном опыте в пределах сравнительно незначительной части вселенной. Между тем, в истории науки известны факты, когда более точно представленные эксперименты вызывали необходимость изменений, основанных на наглядности гипотез и аксиом, и замены их новыми гипотезами, которые лучше соответствуют объективному материальному миру. Ведь господствовало же у древних представление о том, что Земля плоская. В свое время казалась невероятной гелиоцентрическая гипотеза Коперника для всех людей, веками сжившихся с идеями геоцентрической гипотезы Птоломея. Известный английский математик так и писал: «Чем Коперник был для Птоломея, тем Лобачевский для Евклида». Между Коперником и Лобачевским любопытная параллель, Коперник и Лобачевский – оба славяне по происхождению. Каждый из них произвел революцию в научных идеях, воззрениях, и обе эти «революции» имеют одно и то же значение.

Причина их грандиозного значения заключается в том, что они суть революции в нашем понимании космоса…». По поводу этого сравнения советский ученый, профессор В.Ф. Каган писал, что «Истины, открытые Лобачевским, были гораздо глубже скрыты, более неожиданны; их выявление требовало гения более высокого ранга» Гелиоцентрическая система Коперника только по иному представила расположение и движение небесных тел в пространстве. Система же Лобачевского дала новое представление о самом пространстве.

Все вышесказанное – это физическая сторона геометрии. Но сейчас важнее математическая сторона геометрии, ее логическая структура.

Из аксиомы Лобачевского вытекают следующие логические следствия:

1) Если прямые CN и CL не встречают прямой АВ, то любая прямая СМ, проходящая через т. C внутри вертикальных углов NCL и N’CL’ также не встретит прямой АВ (рис.3, рис.4). Отсюда первое следствие аксиомы Лобачевского: через т. С вне прямой АВ плоскости АВС, проходит бесчисленное множество прямых, не пересекающихся с прямой АВ.

2) Если соединить (рис.2) какую-либо точку прямой DB с т. С, получим прямую, допустим, СК, проходящую через т. С и встречающую АВ. Итак, все прямые, проходящие через т. С внутри прямого угла NCD, разбиваются на две категории, на два класса: встречающие прямую АВ (названные Лобачевским «сходящимися» с АВ) и не встречающие прямую АВ (их Лобачевский называет «расходящимися» с АВ). Любая прямая первой категории образует с перпендикуляром CD угол, меньший угла, образованного перпендикуляром CD с любой прямой второй категории. Вращаясь непрерывно около т. С в направлении против часовой стрелки, прямая СК на известном этапе, допустим в положении CL, перестанет пересекать АВ и из сходящейся перейдет в категорию расходящихся с АВ прямых. Эта предельная прямая CL, служащая переходной прямой, граничной, отделяющей сходящиеся от расходящихся прямых, и названной Лобачевским параллельной к прямой АВ из т. С. Итак, параллельная CL – это не просто расходящаяся прямая, а первая, граничная расходящаяся, т.е. такая, что любая прямая, проходящая через т. С внутри угла, образованного параллельной CL и перпендикуляром CD, является сходящейся прямой, а всякая прямая, проходящая внутри угла LCN будет расходящаяся с прямой АВ. Угол DCL, образованный параллельной CL с перпендикуляром CD, называют углом параллельности.