У Евклида через точку вне прямой проходит только одна прямая, параллельная данной. Лобачевский утверждал, что таких прямых по крайней мере две. По словам Римана, таких прямых вообще не бывает.

У Евклида параллельные прямые находятся на одинаковом расстоянии друг от друга, у Лобачевского это не так. Что касается суммы углов треугольника, у Евклида она всегда 180°, у Лобачевского — меньше 180°, а у Римана — больше 180°.

Если взять точку на прямой линии, то у Евклида и Лобачевского линия будет разделена на две части, но у Римана это не так. У Евклида два треугольника с одинаковыми углами подобны, а у Лобачевского и Римана такие треугольники конгруэнтны.

В следующей таблице приведены основные различия этих геометрий:

Евклидова геометрия может быть построена на плоскости, гиперболическая геометрия — на поверхности псевдосферы, а эллиптическая — на поверхности сферы.

Эти модели наглядно показывают интерпретацию пятого постулата в каждой геометрии, что изображено на следующих рисунках вместе с соответствующими проекциями. Обратите также внимание на то, как выглядят прямоугольники в каждой геометрии.

В евклидовом прямоугольнике все углы по 90°, в геометрии Лобачевского углы «прямоугольника» меньше 90°, а в эллиптической геометрии — больше 90°.

На евклидовой плоскости только одна прямая параллельна l. На псевдосфере бесконечное число прямых, проходящих через Р и лежащих между прямыми l₁ и l₂, не пересекаются с прямой l. На сферической поверхности через точку Р не проходит ни одной линии, параллельной l. Прямая l пересекает любую другую, проходящую через точку Р.

* * *

* * *

Воображаемые муравьиные бега являются очень удобным способом ясно и наглядно смоделировать три типа геометрии и проиллюстрировать их сходства и различия.

Представьте себе двух муравьев, участвующих в бегах. Они начинают бежать примерно одновременно, и в принципе они бегут параллельно друг другу. Муравьи всегда бегут вперед, не поворачивая налево или направо, но их прямолинейная траектория будет выглядеть по-разному в зависимости от типа геометрии, используемой для описания поверхности.

Если два муравья бегут по идеально ровной поверхности — евклидовой плоскости, — их пути не будут ни сходиться, ни расходиться, а будут оставаться на равном расстоянии друг от друга.

Если муравьи бегут по искривленной поверхности, их пути либо сходятся, либо расходятся, поскольку являются прямыми линиями на данной поверхности. Как показано на следующем рисунке, если поверхность имеет сферическую форму, муравьи в конечном итоге встретятся, потому что пространство, в котором они движутся, не просто кривое, но и вогнутое. Если поверхность гиперболическая, муравьи постепенно разойдутся, потому что это пространство выпуклое.

Чтобы оставаться на одинаковом расстоянии друг от друга в сферическом или гиперболическом мире, его жителям придется постоянно корректировать свои пути, двигаться не по параллельным линиям и вообще отказаться от постулата о параллелях. Действительно, если такой мир существует, понятие параллельных линий там будет сильно отличаться от евклидова. Таким образом, важно понимать, что жители сферического или гиперболического мира даже не замечают, что их пути сходятся или расходятся, потому что приборы для измерения расстояния в их мире также другие. Они бы могли что-то заметить, если бы имели измерительное оборудование из евклидова мира.

Неевклидовы геометрии, в частности, работы Римана, легли в основу теорий великого Альберта Эйнштейна (1879–1955). Теория относительности использует математические понятия искривленного пространства и времени. Объединив обе концепции и опираясь на последние научные достижения того времени, Эйнштейн смог объяснить движение Солнца, планет и звезд. Понятия неевклидовой геометрии помогли ему найти математические уравнения, связывающие кривизну пространства-времени с массой и энергией.

Теория относительности

Теория относительности описывает Вселенную в терминах пространства-времени. В этой теории масса (m) и энергия (Е) связаны знаменитым уравнением Е = mс², где с обозначает скорость света (299792,458 километров в секунду). Теория относительности использует неевклидову геометрию в качестве математической модели, чтобы скорректировать ошибки классических теорий, описывающих природные явления. Такие модели, особенно теория Римана, помогают создать более полную, хотя и менее интуитивную картину мира. В теории относительности пространство и время являются физическими величинами, которые определяют расстояния между объектами и их движение относительно друг друга. Вселенная искривлена из-за наличия в ней огромных объектов (препятствий), которые заставляют прямые лучи света искривляться в пространстве в соответствии с геодезическими линиями.

* * *