На протяжении более двух тысяч лет «Начала» Евклида были не просто учебником геометрии, а символом незыблемой, абсолютной истины, дарованной человеческому разуму. В них царила безупречная логика: из небольшого набора самоочевидных аксиом, вроде «через две точки можно провести прямую», выводились всё более сложные теоремы. Но среди этих ясных оснований лежал один камень преткновения, «чёрная овца» в стройной системе — пятый постулат о параллельных прямых.
В отличие от других аксиом, пятый постулат был громоздким и сложным. Он гласил примерно следующее: если две прямые, пересечённые третьей, образуют с ней односторонние углы, сумма которых меньше двух прямых, то эти две прямые, продолженные неограниченно, рано или поздно пересекутся с той же стороны. Звучало это не как исходное утверждение, а как теорема, которую нужно доказать. И Евклид, кажется, чувствовал это: он избегал использования пятого постулат, пока без него уже было совсем не обойтись. Короче говоря, пятый постулат был слишком нетривиальным, и многих математиков это смущало.
Из-за этого началась великая, почти детективная история длиной в двадцать веков. Целые поколения блестящих умов — от Птолемея и Прокла в античности до арабских учёных, от иезуита Джованни Саккери до француза Адриена Лежандра — пытались сделать невозможное: вывести пятый постулат из остальных аксиом. Они шли двумя путями. Первый: доказать его напрямую. Все попытки заканчивались логическими тупиками. Второй, более хитрый: предположить, что постулат неверен, и попытаться прийти к абсурдному противоречию, тем самым доказав его от противного.
Именно на этом пути учёные неожиданно начали открывать странные, но безупречно логичные миры. Саккери в XVIII веке, рассуждая о четырёхугольнике с двумя прямыми и двумя острыми углами, вывел целую цепь «диких» следствий из отрицания постулата: например, что сумма углов треугольника меньше 180 градусов. Он счёл этот результат настолько нелепым, что объявил свою миссию выполненной, хотя логического противоречия так и не нашёл.
Немецкий математик Иоганн Ламберт пошёл дальше: он обнаружил, что в этой воображаемой геометрии сумма углов треугольника не постоянна — она зависит от его площади. Он уже был на пороге великого открытия, но отшатнулся, назвав эти результаты «тревожными».
Прорыв созрел в начале XIX века, когда три человека, независимо друг от друга, осмелились сделать немыслимый шаг: вместо того чтобы искать ошибку, они приняли новый мир как реальность. Карл Фридрих Гаусс, «король математиков», вероятно, пришёл к этому первым. Но, опасаясь «крика беотийцев» (так он называл шум невежд), он так и не опубликовал свои результаты. Николай Иванович Лобачевский, ректор Казанского университета, в 1826 году смело представил миру свою «воображаемую геометрию». А венгр Янош Бойяи, чей отец-математик умолял его не связываться с «тьмой параллельных линий», опубликовал своё открытие в 1832 году.
Что же они обнаружили? В геометрии Лобачевского через точку вне прямой можно провести бесконечно много прямых, не пересекающих данную. Сумма углов треугольника всегда меньше 180 градусов, подобные треугольники равны, а длина окружности растёт экспоненциально с ростом радиуса. Это была не ошибка, а последовательная, внутренне непротиворечивая система — полноценная геометрия для поверхности с постоянной отрицательной кривизной, похожей на седло.
Но история на этом не закончилась. В 1854 году Бернхард Риман задал ещё более радикальный вопрос: а что, если не существует ни одной параллельной прямой? Так родилась эллиптическая геометрия, где сумма углов треугольника превышает 180 градусов. Её моделью стала обычная сфера, где роль прямых играют большие круги (меридианы), которые всегда пересекаются. Так, из одного потерянного постулата выросли три геометрии: евклидова (нулевая кривизна), лобачевского (отрицательная) и риманова (положительная).
Это открытие произвело революцию, сравнимую с коперниканской. Оно сделало геометрию Евклида не единственно возможной а лишь частным случаем, хотя и очень важным. Но самым невероятным стало то, что спустя полвека именно язык неевклидовых геометрий, в частности, римановой, лег в основу общей теории относительности Альберта Эйнштейна. Искривлённое массой пространство-время Вселенной оказалось описано именно той «воображаемой» математикой, от которой когда-то содрогнулись учёные. Но это уже совсем другая история.
Если было интересно, ставь лайк, подписывайся на мой канал в МАХ, а ниже ещё несколько интересных статей по теме: