В качестве альтернативы
предлагает другую аксиому: на
плоскости через точку, не
лежащую на данной прямой,
проходит более чем одна
прямая, не пересекающая
данную.
Разработанная Лобачевским новая геометрия не
включает в себя Евклидову геометрию, однако
евклидова геометрия может быть из неё получена
предельным переходом (при стремлении кривизны
пространства к нулю). В самой геометрии
Лобачевского кривизна
отрицательна.
Янош Бойяи
Карл Фридрих
Гаусс
Мифы и истина о геометрии
Учение о параллельных — основа геометрии
Лобачевского.
Если спросить «человека с улицы», в чём состоит вклад
Лобачевского в науку, в подавляющем большинстве случаев
ответ будет таким: «Лобачевский доказал, что параллельные
прямые пересекаются». Тогда надо немедленно задать второй
вопрос: «А что такое параллельные прямые?» — и получить
ответ «Параллельные — это такие прямые, которые лежат в
одной плоскости и не пересекаются».
Истина же состоит в том, что
параллельные друг другу прямые
не пересекаются даже у
Лобачевского.
Отличие геометрии Лобачевского от
привычной, известной со школы евклидовой
геометрии в следующем.
В евклидовой геометрии через точку проходит
только одна прямая, параллельная заранее
указанной прямой (1),
а в геометрии Лобачевского — много таких
прямых (3).
В аксиоме о параллельных Евклида, надо
заменить слово «нельзя» на слово «можно», и
аксиома о параллельных в версии Евклида
превратится в аксиому о параллельных в
версии Лобачевского: через точку, не
лежащую на заданной прямой, можно
провести более одной прямой, параллельной
этой заданной прямой.
Особое положение аксиомы о параллельных вызвано
тем, что она не столь очевидна, как другие аксиомы
геометрии.
Другие аксиомы можно проверить экспериментально.
Надо выбрать плоский участок, вбить два колышка и
туго натянуть между ними нить — вот вам наглядное
подтверждение существования прямой, проходящей
через две точки.
Если же мы возьмём другую натянутую нить,
соединяющую те же колышки, то обе нити сольются в
одну линию — на глаз, конечно, но вся наша проверка
и производится «на глаз»; так подтверждается
единственность прямой.
А вот убедиться столь же просто, что проходящая через
точку параллельная всегда только одна, невозможно.
В 1868 г. итальянский математик Э. Бельтрами
исследовал вогнутую поверхность, называемую
псевдосферой, и доказал, что на этой поверхности
действует геометрия Лобачевского!