Лобачевский геометриясы

Евклид “Негіздерінде” параллель түзулер жөніндегі аксиома былайша тұжырымдалған: берілген түзудің бойында жатпайтын нүкте арқылы осы түзумен бір жазықтықта жататын және онымен қиылыспайтын бір ғана түзу жүргізуге болады. Ал Лобачевский геометриясы оның орнына мынадай аксиома қолданылады: берілген түзудің бойында жатпайтын нүкте арқылы осы түзумен бір жазықтықта жататын және онымен қиылыспайтын кем дегенде екі түзу жүргізуге болады. Лобачевский геометриясын Н.И. Лобачевский жасап дамытқан. Сәл кейін осындай теорияны Я.Больяй (1802 — 1860) да дәлелдеген. Сондықтан, Лобачевский геометриясы кейде Лобачевский — Больяй геометриясы деп те аталады. Евклидтен Лобачевскийге дейінгі 2 мың жылдан аса уақыт аралығында көптеген ғалымдар К.Птолемей, Д.Прокл, Ибн әл-Хайсам, О.Хайям, П.Катальди, Дж.Валлис, Дж.Саккери, А.Лежандр, Ф.Швейкарт, Ф.Тауринус, т.б. осы теорияны дәлелдемек болып еңбек еткен. Лобачевский геометриясын арнайы гиперболалық евклидтік емес геометрия деп атайды. Олай атау Риманның эллипс[эллипстік] геометриясына қарсы қою үшін қажет болды (қ. Риман геометриясы). Лобачевский геометриясы математикада да, физикада да қолдануға болатын мазмұны бай теория. Лобачевский бұл теорияны құру арқылы Евклидтік емес геометрияның озық мүмкіндіктерін көрсетті. Ол геометрия және жалпы математика дамуындағы жаңа белес болды (қ. Геометрия). Лобачевский геометриясы Лобачевский жазықтығы (планиметрияда) мен Лобачевский кеңістігінің (стереометрияда) қасиеттерін зерттейді.

Лобачевский геометриясының Евклид геометриясынан бірнеше айырмашылықтары бар:

• 
  Лобачевский геометриясында ұқсас бірақ бір-біріне тең емес үшбұрыштар кездеспейді; егер бұрыштары тең болса, ондай үшбұрыштар өзара тең болады.
  
• 
  Кез келген үшбұрыштың бұрыштарының қосындысы -ден кіші және барынша дерлік 0-ге жақын болуы мүмкін.
  
• 
  а түзуінің бойында жатпайтын кез-келген О нүктесі арқылы а түзуімен бір жазықтықта жататын және онымен қиылыспайтын шексіз көп түзу жүргізуге болады.
  
• 
  Егер түзулерде ортақ перпендикуляр болса, онда олар перпендикулярдан екі жаққа шексіз таралады.
  
• 
  Түзулерден тең қашықтықтағы сызық түзу емес, ерекше қисық, ол эквидистанта немесе гиперцикл деп аталады.
  
• 
  Шексіз ұлғаятын дөңгелектің шегі түзу емес, ерекше қисық, ол шектік шеңбер немесе орицикл деп аталады.
  
• 
  Радиусы шексіз ұзаратын сфераның шегі жазықтық емес, ерекше бет, ол шектік сфера немесе орисфера деп аталады; бұның бір ерекшелігі, бұл бетте Евклид геометриясы да орындалады. Бұл Лобачевскийге тригонометрия формуласын қорытып шығаруға мүмкіндік берді.
  
• 
  Шеңбер ұзындығы радиусына пропорционал емес, ол шапшаң өседі.
  
• 
  Лобачевский жазықтығы мен кеңістігіндегі аймақ неғұрлым кішірек болса, осы аймақтағы метрик. арақатынастар евклид геометриясы арақатынастарынан соғұрлым аз ерекшеленеді. Яғни, шексіз аз аймақта Евклид геометриясы орынды деп айтуға болады. Мысалы, үшбұрыш неғұрлым кіші болса, оның бұрыштарының қосындысы -ден соғұрлым алшақтайды, т.б.