Лишь в XIX в. Гаусс, Лобачевский и Бойяи окончательно решили эту проблему, хотя немецкий математик Иоганн Карл Фридрих Гаусс не публиковал свои открытия, поскольку они противоречили философским доктринам той эпохи о природе пространства.
Русский математик Николай Иванович Лобачевский был первым, кто обнародовал новую геометрию, отличавшуюся от геометрии Евклида. Лобачевский назвал ее «воображаемой геометрией», и теперь она известна как гиперболическая геометрия. Она соответствует гипотезе острых углов Саккери, по которой через точку вне данной прямой проходит бесконечное количество прямых, параллельных данной.
Лобачевский представил свою работу в 1826 г. на конференции в Казанском университете, где он работал, а затем опубликовал ее в журнале «Казанский вестник» в серии статей под названием «О началах геометрии». Три важнейшие его работы содержат описание новой геометрии: «О началах геометрии» (на русском языке), «Геометрические исследования по теории параллельных линий» (на немецком языке) и его последняя книга «Пангеометрия» (на русском и французском языках).
Математик-любитель и офицер австро-венгерской армии Янош Бойяи (1802–1860) подошел к задаче с несколько иной точки зрения. Он разработал абсолютную геометрическую теорию, используя только первые четыре постулата, и исследовал, зависят ли полученные геометрические результаты от пятого постулата. Его статья была опубликована в 1832 г. в виде приложения к работе его отца, близкого друга Гаусса, математика Фаркаша Бойяи (1775–1856), который также работал над проблемой о параллелях. Он так написал об этом своему сыну: «Ради бога, молю тебя, оставь эту материю. Страшись ее не меньше, нежели чувственных увлечений, потому что и она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни…»
* * *
ИММАНУИЛ КАНТ И ЕВКЛИДОВА ГЕОМЕТРИЯ
После эпохи Возрождения образ Бога начал терять свое значение в области математики и науки в целом. Позже, в XVIII в., роль Бога как архитектора мира еще более поблекла. Говорят, что Наполеон упрекал французского математика Пьера Лапласа (1749–1827) в том, что в его главной работе «Небесная механика» тот не упоминал Творца, на что Лаплас ответил: «Сир, я не нуждался в этой гипотезе».
Но тогда философы задались вопросом, а верны ли сами математические законы природы?
Шотландский философ Дэвид Юм (1711–1776) считал, что наше знание о мире является субъективным, поскольку оно получено через наши органы чувств. Другими словами, никто не может гарантировать существование объективного физического мира, и, следовательно, не имеет смысла говорить о его научных законах.
Со своей стороны, Кант в работе «Критика чистого разума» (1781) утверждал, что пространство и время являются формами восприятия и интуиции, на основании которых ум рассматривает реальность. Так как понятие пространства находится в нашем сознании, оно принимает форму определенных истин, которые Кант называл «априорными синтетическими суждениями», являющимися частью наших врожденных умственных способностей. Геометрия просто следует из них. Евклидова геометрия и трехмерное пространство являются частью этих истин априори.
* * *
И сумма углов треугольника, и количество прямых, параллельных данной прямой линии и проходящих через точку вне ее, зависит от типа геометрии: евклидовой, гиперболической или эллиптической.
Сначала работы этих гениев никого не заинтересовали. Труды Лобачевского были в основном на русском языке, а Бойяи опубликовал свою статью в качестве приложения. Математическое сообщество проявило интерес к этой теме только после лекции немецкого математика Бернхарда Римана «О гипотезах, лежащих в основании геометрии» (1854), которую мы рассмотрим более подробно в следующих главах. Риман был первым математиком, который обратил внимание на возможность существования геометрии, вытекающей из гипотезы тупых углов, так называемой эллиптической геометрии, в которой не существует прямых, параллельных данной прямой и проходящих через точку вне ее. Его идея заключалась в замене гипотезы бесконечного пространства на гипотезу неограниченного пространства. Например, сфера является конечной, но неограниченной.