Хотя к началу XIX в. роль бога становилась все менее ощутимой и некоторые радикально настроенные философы, например Юм, отрицали все истины, математики того времени по-прежнему продолжали верить в истинность собственно математики и математических законов природы. Евклидова геометрия была наиболее почитаемым разделом математики не только потому, что именно с нее началось дедуктивное построение математических дисциплин, но и по той причине, что ее теоремы, как было установлено на протяжении более двух тысячелетий, полностью соответствовали результатам физических исследований. И именно евклидову геометрию «бог» избрал объектом нападения.
Одна из аксиом евклидовой геометрии издавна беспокоила математиков, однако совсем не потому, что они сомневались в ее истинности. Сомнения вызывала у них лишь формулировка аксиомы. Мы имеем в виду аксиому о параллельных, или, как ее часто называют, пятый постулат Евклида. Сам Евклид сформулировал пятый постулат следующим образом:
Если прямая, падающая на две прямые [рис. 4.1], образует внутренние и по одну сторону углы, меньшие двух прямых, то продолженные эти две прямые неограниченно встретятся с той стороны, где углы меньше двух прямых.
Рис. 4.1.Пятый постулат Евклида.
Иначе говоря, если углы 1и 2в сумме меньше 180°, то прямые аи b,продолженные достаточно далеко, пересекутся.
У Евклида были веские основания сформулировать аксиому о параллельных именно так, а не иначе. Он мог бы утверждать, например, что если сумма углов 1и 2равна 180°, то прямые аи bпараллельны. Но Евклид явно боялся предположить, что могут существовать бесконечныепрямые, которые никогда не пересекаются: любое утверждение о бесконечных прямых не подкреплялось опытом, в то время как аксиомы по определению должны были быть самоочевидными истинами о физическом мире. Но опираясь на свою аксиому о параллельных и другие аксиомы, Евклид доказалсуществование параллельных.
Математики считали, что аксиома о параллельных в том виде, как ее сформулировал Евклид, слишком сложна. Ей недоставало простоты других аксиом. Должно быть, и сам Евклид был недоволен своим вариантом аксиомы о параллельных, ибо обратился к ней, лишь доказав все теоремы, какие только смог вывести без ее использования.
Со временем стала жизненно важной сходная проблема, над которой поначалу задумывались лишь немногие. Она сводилась к вопросу о том, существуют ли в физическом пространстве бесконечные прямые. Евклид достаточно осторожно постулировал лишь, что конечный отрезок прямой можно продолжить сколь угодно далеко, — но ведь даже и продолженный отрезок все равно оставался конечным. Тем не менее из рассуждений Евклида следовало, что бесконечные прямые существуют: если бы прямые были конечными, то их нельзя было бы продолжать сколь угодно далеко.
Первые попытки решить проблему, связанную с аксиомой Евклида о параллельных, были предприняты еще математиками Древней Греции. Эти попытки имели двоякую природу. Одни из них сводились к замене аксиомы о параллельных какой-нибудь более очевидной аксиомой. Другие были направлены на то, чтобы вывести аксиому о параллельных из девяти остальных аксиом Евклида: если бы удалось доказать, что пятый постулат Евклида в действительности представляет собой теорему, то все трудности отпали бы сами собой. На протяжении более двух тысячелетий многие десятки крупнейших математиков, не говоря уже о математиках меньшего ранга, безуспешно пытались решить проблему параллельных, предпринимая бессчетные попытки как первого, так и второго рода. История этой проблемы уходит корнями в глубокую древность и изобилует деталями, понятными лишь профессионалу. Мы опустим здесь ее потому, что ей посвящена обширная литература {44}, и, кроме того, этот вопрос не имеет прямого отношения к интересующей нас теме.
Из многих аксиом, предлагавшихся в качестве замены пятого постулата, упомянем лишь об одной. Ее и поныне приводят в некоторых учебниках геометрии. Этот вариант аксиомы о параллельных принадлежит Джону Плейферу (1748-1819), предложившему ее в 1795 г. (в английском «школьном» варианте «Начал» Евклида). Аксиома Плейфера гласит: существует одна и только одна прямая, проходящая через данную точку P,лежащую вне прямой l(рис. 4.2), в плоскости, задаваемой точкой Pи прямой l, которая не пересекается с прямой l.
Рис. 4.2.Вариант аксиомы о параллельных, предложенный Джоном Плейфером.
Все аксиомы, предлагавшиеся вместо пятого постулата, на первый взгляд казались проще аксиомы Евклида, но при более внимательном рассмотрении оказывались не более удовлетворительными. Многие из них, в том числе и аксиома Плейфера, содержали утверждения, касающиеся не ограниченной части плоскости или пространства, а всего (бесконечного!) пространства. С другой стороны, аксиомы, предлагавшиеся взамен пятого постулата, которые не содержали прямого упоминания о «бесконечности» — например, аксиома о том, что существует два подобных, но не равных треугольника, — были слишком сложными и, во всяком случае, не были более предпочтительными, чем аксиома о параллельных, приведенная в «Началах» Евклида.
Вместе с тем были предприняты попытки решить проблему параллельных, доказав пятый постулат Евклида, исходя из остальных девяти аксиом. Наиболее значительные результаты здесь получил Джироламо Саккери (1667-1733), священник, член ордена иезуитов и профессор университета в Павии. Идея Саккери состояла в том, чтобы, заменив аксиому Евклида о параллельных ее отрицанием, попытаться вывести теорему, которая бы противоречила одной из доказанных Евклидом теорем. Полученное противоречие означало бы, что аксиома, отрицающая аксиому Евклида о параллельных — единственную аксиому, вызывавшую сомнения, — ложна, а следовательно, аксиома о параллельных Евклида истинна и является следствием девяти остальных аксиом.
Приняв за исходную аксиому Плейфера, эквивалентную аксиоме Евклида о параллельных, Саккери сначала предположил {45}, что через точку P,лежащую вне прямой l(рис. 4.3), не проходит ни одна прямая, параллельная прямой l. Из этой аксиомы и девяти остальных аксиом, принятых Евклидом, Саккери вывел противоречие. Затем Саккери испробовал вторую и единственно возможную альтернативу, предположив, что через точку Pпроходят по крайней мере две прямые pи q,не пересекающиеся с прямой l, сколько бы их ни продолжали.
Рис. 4.3.Аксиома, принятая основоположниками неевклидовой геометрии (Саккери и др.).
Исходя из этой аксиомы, Саккери удалось доказать много интересных утверждений, пока он не дошел до теоремы, показавшейся ему настолько странной, что он счел ее противоречащей ранее полученным результатам. Решив, что ему удалось тем самым доказать выводимость пятого постулата Евклида из девяти остальных аксиом, Саккери выпустил книгу под многозначительным названием «Евклид, избавленный от всяких пятен» ( Euclides ab omni naevo vindicatus,1733). Однако впоследствии математики выяснили, что во втором случае Саккери в действительности не пришел к противоречию и что, следовательно, проблема параллельных по-прежнему остается открытой. Попытки найти подходящую замену евклидовой аксиоме о параллельных или доказать, что она следует из девяти остальных аксиом, были столь многочисленны и тщетны, что в 1759 г. Д'Аламбер назвал проблему параллельных «скандалом в области оснований геометрии».
