Великий древнегреческий математик Евклид собрал все имевшиеся до него знания о геометрии в одну большую книгу — «Начала». Книга начинается с семи определений и пяти постулатов — недоказуемых, интуитивно принимаемых на веру утверждений, на фундаменте которых возводились все дальнейшие рассуждения и теоремы.
Первые четыре постулата лаконичны и стройны:
- От всякой точки до всякой точки можно провести прямую.
- Ограниченную прямую можно непрерывно продолжать по прямой.
- Из всякого центра всяким радиусом может быть описан круг.
- Все прямые углы равны между собой.
В их истинности, наверное, никто не сомневался, но пятый постулат звучал запутанно и мало напоминал неоспоримую истину:
5. Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Позже это утверждение в разных формулировках (самая распространенная из них гласит, что в плоскости через точку, не лежащую на данной прямой, можно провести одну и только одну прямую, параллельную данной) пытались доказать десятки математиков, но все они втягивались в одну и ту же историю. Их доказательства как будто сами себя кусали за хвост — упирались в утверждения, доказать которые без самого пятого постулата было абсолютно невозможно. Они больше напоминали сюжеты картин Эшера, чем строгие математические построения.
Лобачевского пятый постулат смущал не столько своей неаккуратностью, сколько философской нагрузкой: он поселял материю в какое-то застывшее абсолютное пространство, в систему координат, независимую от самой материи и существующую отныне и вовеки для всей Вселенной. Лобачевскому это не нравилось: он считал, что геометрия и реальность переплетены между собой, и писал в своих дневниках: «В природе мы познаем, собственно, только движение, без которого чувственные впечатления невозможны. Итак, все прочие понятия, например Геометрические, произведены нашим умом искусственно, будучи взяты в свойствах движения; а потому пространство само собой, отдельно, для нас не существует. После чего в нашем уме не может быть никакого противоречия, когда мы допускаем, что некоторые силы в природе следуют одной, другие — своей особой Геометрии».
Твердый материалист, он не мог принимать исключительно на веру, что параллельные прямые не пересекаются где-нибудь в бесконечности космоса. Да, Лобачевский сам не раз проводил геодезические измерения на местности и видел, что сумма углов в треугольнике всегда равняется 180 (а это еще одна эквивалентная формулировка пятого начала Евклида), но не мог обещать, что так будет со всеми треугольниками в нашем бесконечном пространстве.
Работа на пересеченной местности
Часто в математике, да и вообще в науке, бывает очень сложно доказать, что что-нибудь неверно или не работает. Примерно так же было и с пятым постулатом Евклида: у людей не получалось доказать его верность, но опровергнуть его было еще сложнее, особенно учитывая, что вся махина теорем геометрии Евклида была стройна и непротиворечива.
Поэтому Лобачевский в своей битве с пятым постулатом обратился к доказательству от противного. Чтобы посмотреть, что будет после этого со всей системой геометрических теорем, он попробовал заменить пятый постулат на его зеркальное отражение («Через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие ее».). Не появится ли в них внутренних противоречий, косвенно указывающих на то, что изначальная версия пятого постулата — такая неаккуратная и контринтуитивная — была все-таки неизбежно верна в нашем пространстве? Но такого не случилось — противоречий не нашлось.
Лобачевский даже хотел проверить свою геометрию в космосе — посчитать сумму углов в треугольнике, составленном из звезд, и посмотреть, будет ли она равняться 180 градусам, но все его эксперименты терпели неуспех. В них вкрадывались неточности и колоссальные ошибки. Лобачевский все углублял свою геометрию — формулировал новые теоремы, строил утверждения и наконец 7 февраля (по старому стилю) 1826 года представил перед ученой комиссией Казанского университета свой труд — «Сжатое изложение начал геометрии со строгим доказательством теоремы о параллельных».
Доклад провалился.
Рукопись была отдана на рецензию некоторым членам комиссии, но они в суматохе, видимо, просто позабыли о ней, и сам доклад так и не был одобрен к публикации. Тогда вся геометрия Лобачевского могла навсегда остаться внутри его головы, если бы не одна неожиданность: новым ректором университета вскоре был избран именно он.
Постепенно он оформил свои идеи в законченный труд «О началах геометрии», который сначала напечатали в журнале «Казанский вестник», а потом представили на отзыв в Академию наук, где рецензия досталась одному из самых сильных русских математиков того времени — Михаилу Остроградскому.
«Автор, по-видимому, задался целью написать таким образом, чтобы его нельзя было понять. Он достиг этой цели; большая часть книги осталась столь же неизвестной для меня, как если бы я никогда не видел ее…» — вот его ответ. Новая геометрия остается непонятной. Блуждание продолжается.
Понимание Лобачевский находит несколькими годами позже. Он публикует свои труды в европейских журналах, где их замечает великий немец Гаусс, который сам не один год втайне ото всех занимался неевклидовой геометрией. Чтобы лучше понять казанского ученого, он оперативно учит русский и потом, впечатленный смелостью и ясностью мыслей Лобачевского, выдвигает того в члены-корреспонденты Геттингенского королевского научного общества.
Признание встречает своего гения, хотя на родине Остроградский и люди его окружения раз за разом отклоняют все работы по неевклидой геометрии вплоть до самой смерти Лобачевского в 1856 году.
Проходит 12—15 лет, и математики находят сразу несколько реальных моделей, в которых работает именно геометрия Лобачевского. В самой простой из них, проективной, за плоскость принимают внутренность круга, а за прямую — его хорду. В результате тот очевидный факт, что через одну точку P, лежащую внутри круга, можно провести сколько угодно хорд, не пересекающихся с одной фиксированной хордой а, автоматически становится в таких правилах игры иллюстрацией пятого начала геометрии Лобачевского
В 1868 году выходит доклад Римана — другого первопроходца с другой неевклидовой геометрией, в которой через каждую точку в пространстве уже невозможно провести ни одной параллельной прямой, и математикам постепенно становится понятно, что геометрии Римана и Лобачевского — невероятно похожие шаги влево и вправо от привычной евклидовой геометрии. Первая работает на поверхностях с положительной кривизной — вроде шаров или геоидов (параллельные у экватора меридианы встречаются на полюсах), а вторая — на поверхностях с отрицательной кривизной — вроде гиперболоидов или седел.
И еще чуть позже, в начале XX века, новая геометрия наконец встретится с физикой. Эйнштейн сформулирует свою общую теорию относительности в терминах геометрии Римана, и мысли людей, привыкшие ходить по одним и тем же параллельным рельсам, откроют новые маршруты: пространство и время не абсолютны. Движение меняет геометрию. А тысячелетние аксиомы не всегда верны.
