Евклид стремился создать непротиворечивую математическую систему, основанную на геометрии пространства. Следовательно, свойства пространства, проистекающие из евклидовой геометрии, таковы, какими они представлялись древним грекам. Но действительно ли пространство устроено так, как описывал Евклид и количественно определял Декарт? Или возможны и другие варианты?

Неизвестно, вскинул бы Евклид бровь-другую, узнай он, что его «Начала» еще 2000 лет останутся непреложны, но программисты сказали бы, что 2000 лет до выхода версии 2.0 — довольно долго. За это время многое изменилось: мы открыли устройство Солнечной системы, получили возможность рассекать по морям, изобрели карту и глобус, а также прекратили пить разбавленное вино за завтраком. И, кроме того, у математиков развилась поголовная непереносимость к пятому постулату Евклида — о параллельности. Увы, не содержание этого утверждения находили они отвратительным, а то, что место этому допущению было среди теорем.

Те математики, кто на протяжении веков пытался доказать постулат параллельности как теорему, подходили совсем близко к открытию странных и поразительных новых разновидностей пространства, но всяк претыкался на простой убежденности: этот постулат есть истинное и неотъемлемое свойство пространства.

Всяк за исключением одного: пятнадцатилетнего подростка по имени Карл Фридрих Гаусс, которому, так уж вышло, суждено было стать одним из любимцев Наполеона. Озарение, посетившее юного гения в 1792 году, заронило семена новой революции. В отличие от предыдущих, эта принесет не революционное развитие идей Евклида, а совершенно новую операционную систему. Вскоре будут открыты и описаны неведомые изумительные пространства, остававшиеся незамеченными столько веков.

С открытием искривленных пространств возник естественный вопрос: евклидово ли наше пространство — или, может, оно иное? Именно этот вопрос произвел переворот в физике. Но и математику он поверг в недоумение. Если евклидова структура не есть простая абстракция, описывающая истинное устройство пространства, то что же она такое? Если можно усомниться в постулате параллельности, как же тогда быть с остальными евклидовыми построениями? Вскоре после открытия искривленного пространства вся евклидова геометрия рухнула, а за нею — вот те на! — и вся остальная математика. Когда же пыль осела, в новой эпохе очутились не только теория пространства, но и вся физика с математикой.

Чтобы понять, насколько трудно оказалось противоречить Евклиду, стоит задуматься о том, сколь глубоко укоренилось его описание пространства. «Начала» и в его-то времена были классикой. Евклид не только определил природу математики, но его книга играла ключевую роль в образовании и натурфилософии как образец логического мышления. Эта работа имела решающее значение для интеллектуального возрождения в Средние века. Этот труд после изобретения печатного станка в 1454 году издали одним из первых, а с 1533 года и до XVIII века она оставалась единственной греческой работой, напечатанной на языке оригинала[136]. До XIX века любой труд по архитектуре, устройство любого рисунка и картины, любая теория или уравнение, примененные в науке, были евклидовыми по умолчанию. И «Начала», конечно, заслуживали своего великого положения. Евклид превратил наше интуитивное чувство пространства в абстрактную логическую теорию, из которой мы научились выводить все остальное. Быть может, нам стоит благодарить Евклида в первую очередь за то, что он осмелился без стыда оголить свои допущения и никогда не претендовал на то, что доказанные им теоремы есть не более чем логические следствия немногих не доказанных им постулатов. Мы, правда, уже сообщили в части I, что один из его постулатов — постулат параллельности — вызвал неудовольствие практически у всех исследователей, изучавших труды Евклида, поскольку лишен был простоты и интуитивной ясности, свойственной остальным евклидовым допущениям. Вспомним формулировку:

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

За 2000 лет, за 100 поколений родившихся и умерших, пока менялись границы, пока возникали и угасали политические системы, а Земля проскочила 1000 миллиардов миль вокруг нашего Солнца, мыслители планеты по-прежнему оставались привержены Евклиду, не ставя под сомнение слов бога своего, кроме одного малюсенького «но»: можно ли как-нибудь все-таки доказать этот дурацкий постулат?

Первую известную нам попытку доказать постулат параллельности произвел Птолемей — во втором веке н. э.[137]. Аргументацию он применил довольно изощренную, но в сути метод оказался прост: он допустил видоизмененную форму постулата и из нее вывел исходный. И что прикажете думать о Птолемее? Он, что ли, жил на территориях, свободных от здравого смысла? Или нам представить, как он несся к друзьям с воплями: «Эврика! Я открыл новый вид доказательства — замкнутого на само себя!»? Математики наступать на эти грабли не стали дважды — они наступали на них снова и снова: как выяснилось, некоторые самые безобидные допущения и кое-какие очевидные настолько, что их оставили недоказанными, оказались замаскированным постулатом параллельности. Связь этого постулата со всей остальной евклидовой теорией столь же тонка, сколь и глубока. Через пару сотен лет после Птолемея Прокл Диадох сделал вторую знаменательную попытку доказать постулат раз и навсегда. Прокл в V веке учился в Александрии, после чего перебрался в Афины, где возглавил Платоновскую академию. Он часами корпел над трудами Евклида. У него был доступ к книгам, давным-давно исчезнувшим с лица Земли, — например, к «Истории геометрии» Евдема, современника Евклида. Прокл написал комментарии к первой книге «Начал», и они стали источником большой части нашего знания о древнегреческой геометрии.

Чтобы разобраться в доказательстве Прокла, полезно сделать три вещи: во-первых, рассматривать альтернативную формулировку постулата, приведенного выше, — аксиому Плейфэра[138]; во-вторых, сделать доказательство Прокла чуточку менее техническим; в-третьих, перевести его с греческого. Аксиома Плейфэра звучит так: