Несмотря на коренные отличия, понятия параллельности у Лобачевского от одновременного понятия в геометрии Евклида, можно доказать, что «параллельность» в смысле Лобачевского тоже обладает свойствами взаимности или симметрии (если прямая а параллельна прямой в, то в параллельна а). И транзитивности (если а и в параллельны с, то а и в параллельны между собой).

Приведем некоторые другие понятия и факты геометрии Лобачевского:

Функция Лобачевского.

Как уже говорилось выше, через т. С в плоскости САВ проходят 2 направленные параллели к прямой АВ (СЕ и CF), симметрично расположенные относительно перпендикуляра CD (рис.5). Угол параллельности, образованный каждой из этих параллелей с CD, является острым, его величина не постоянна и зависит от расстояния CD(в геометрии Евклида угол параллельности всегда прямой). То, что угол параллельности острый, вытекает непосредственно из аксиомы Лобачевского. В изменении этого угла с изменением расстояния CD можно убедиться путем следующих рассуждений (рис.6).

Пусть C’D>CD, CE || AB, в т. С угол параллельности – W. Пусть далее прямая C’E ‘|| AB в т. С’ угол параллельности - W’. В силу свойства транзитивности CE ||C’E’. Ясно, что W¹W’. Действительно, если допустить, что W= W’, то следует также допустить, что C’E’ и CE – расходящиеся прямые, как было показано выше, а это неверно.

Построим C’K, образующую с CD угол a= w, ясно, что w’< a , т.к. параллельC’E’ ближе к перпендикуляру, чем расходящаяся C’K. Итак, w' < w ; отсюда следует, что угол параллельности убывает по мере удаления от прямой АВ; чем ближе т. С к прямой АВ, т.е. чем короче перпендикуляр CD, тем больше угол параллельности. Если обозначить расстояние т. С от прямой АВ, т.е. длину перпендикуляра CD через х, то можно сказать, что угол параллельности есть функция от х, названная «функцией Лобачевского» и обозначаемая П (х). Это монотонно убывающая функция. При изменении аргумента х от 0 до ¥ функция П (х) непрерывно изменяется соответственно от p /2 до 0. Таким образом ,,

При х ® 0 , иными словами, если оставаться в пределах сравнительно небольших расстояний, то угол параллельности мало отличается от p /2 то есть от этого значения, которое он имеет в евклидовой геометрии, это означает, что геометрия Лобачевского не противоречит, не исключает геометрии Евклида; последнего можно рассматривать как частный случай большой общей геометрии – геометрии Лобачевского. Реальный смысл предельного перехода (при х ® 0) от геометрии Лобачевского к геометрии Евклида состоит в том, что физика изучает, в конечном счете, только ограниченную, сравнительно небольшую часть пространства. Вот почему в окружающей нас среде (даже в пределах нашей планеты) свойства физического пространства приблизительно таковы, какими мы их знаем из Евклидовой геометрии, но для всего пространства, для мира звезд, для вселенной в целом, они иные, неевклидовы.

Сумма углов треугольника меньше 2d.

Это предположение эквивалентно аксиоме Лобачевского, то есть из него вытекает эта аксиома и наоборот. Для примера докажем первое. Пусть ( рис.7) в прямоугольном треугольнике CDK сумма углов S= a+b+g<2d, то есть b+g<d .Это значит, что внутри угла NCK можно построить ÐLCK = а (NC^CD).