Математика. Поиск истины. - Клайн Морис (читаем книги онлайн txt) 📗
Из аксиом, предлагавшихся взамен аксиомы Евклида о параллельных, нельзя не упомянуть по крайней мере одну. Мы остановили свой выбор на ней потому, что именно с такой редакцией аксиомы о параллельных мы обычно знакомимся в школьном курсе геометрии. Автором этого варианта аксиомы принято считать Джона Плейфера (1748-1819), который предложил его в 1795 г. Аксиома Плейфера гласит:
Существует одна и только одна прямая, проходящая через данную точку P, лежащую вне прямой l(рис. 33), в плоскости, задаваемой точкой Pи прямой l, которая не пересекается с прямой l.
Все остальные аксиомы, предлагавшиеся взамен аксиомы Евклида о параллельных и казавшиеся на первый взгляд более простыми, чем первоначальный вариант, при более тщательном рассмотрении признавались менее удовлетворительными. Нельзя не заметить, что аксиома Плейфера утверждает именно то, чего стремился избежать Евклид: существование двух бесконечных прямых, которые никогда не пересекаются.
Среди попыток второго типа, которые выражались в намерении вывести аксиому о параллельных из девяти других аксиом Евклида, наиболее преуспел член ордена иезуитов, профессор университета в Павии Джероламо Саккери (1667-1733). Он рассуждал так. Если принять аксиому, существенно отличающуюся от аксиомы Евклида о параллельных, то можно было бы прийти к какой-нибудь теореме, которая противоречила бы другой теореме. Такое противоречие означало бы, что аксиома, отрицающая аксиому Евклида о параллельных — единственную сомнительную аксиому евклидовой геометрии, — ложна. Но тогда аксиома Евклида о параллельных должна была бы быть истинной, т.е. следствием, вытекающим из девяти других аксиом.
Как впоследствии Плейфер, предложивший аксиому, эквивалентную аксиоме Евклида, Саккери сначала предположил, что не существует прямых, параллельных прямой l, которые проходили бы через точку P, лежащую вне прямой l(рис. 33). Из этой аксиомы и девяти других аксиом Евклида Саккери действительно удалось вывести противоречие. Тогда Саккери испробовал вторую единственно возможную альтернативу, предположив, что существуют по крайней мере две прямые pи q, проходящие через точку Pи не пересекающиеся с прямой l, сколько бы их ни продолжали.
Рис. 33.
Саккери доказал довольно много интересных теорем прежде, чем ему удалось обнаружить теорему, столь необычную и так резко выпадавшую из всего ранее известного, что он усмотрел было в ней противоречие с ранее доказанными утверждениями. Исходя из этого, Саккери счел доказанным, что аксиома Евклида о параллельных следует из девяти остальных аксиом евклидовой геометрии, и в 1773 г. опубликовал книгу под названием «Евклид, избавленный от всяких пятен» (Euclides ab omnia naevo vindicatus). Но как позднее установили математики, Саккери во втором случае не удалось прийти к противоречию, поэтому проблема, связанная с аксиомой о параллельных, по-прежнему оставалась открытой.
Попытки найти приемлемую замену евклидовой аксиомы о параллельных или доказать, что она должна следовать из девяти остальных аксиом Евклида, были столь многочисленны и столь безуспешны, что в 1759 г. выдающийся математик Жан Лерон Д'Аламбер (1717-1783) назвал проблему, связанную с аксиомой о параллельных, «скандалом оснований геометрии».
Постепенно у математиков начало складываться правильное понимание истинного статуса аксиомы Евклида о параллельных. В своей докторской диссертации (1763) Георг С. Клюгель (1739-1812), впоследствии профессор университета в Хальмстаде, высказал весьма глубокое замечание о том, что восприятие аксиомы Евклида о параллельных как чего-то достоверного основано на человеческом опыте. В этом замечании Клюгеля впервые прозвучала мысль о том, что аксиомы опираются не столько на очевидность, сколько на опыт. Клюгель выразил сомнение в том, что аксиома Евклида о параллельных доказуема, и понял, что Саккери пришел не к противоречию, а всего лишь к необычному результату.
Диссертация Клюгеля привлекла внимание Иогана Генриха Ламберта (1728-1777), побудив его также заняться аксиомой о параллельных. В своей книге «Теория параллельных прямых», написанной в 1766 г., а изданной в 1786 г., Ламберт, в какой-то мере следуя Саккери, рассмотрел две альтернативные возможности. Предположив, что через точку P, расположенную вне прямой l(см. рис. 33), не проходит ни одной прямой, параллельной l, он также пришел к противоречию. Но в отличие от Саккери Ламберт не считал, что предположение о существовании по крайней мере двух параллельных, проходящих через точку P, приводит к противоречию. Кроме того, Ламберт понял, что любая система аксиом, которая не приводит к противоречию, порождает свою геометрию. Любая такая геометрия логически ничему не противоречит, хотя и имеет весьма косвенное отношение к реальным физическим фигурам!
Работы Ламберта и других математиков, в частности Абрахама Г. Кестнера (1719-1800), профессора Гёттингенского университета, у которого учился Гаусс, заслуживают того, чтобы упомянуть о них особо. Эти ученые были убеждены, что аксиому Евклида о параллельных нельзя доказать на основе девяти остальных аксиом евклидовой геометрии, т.е. что она независима от остальных аксиом Евклида. Все трое названных нами математиков признавали возможность неевклидовой геометрии, т.е. геометрии, в которой аксиома о параллельных существенно отличается от евклидовой.
Наиболее выдающимся среди математиков, работавших над проблемой аксиомы Евклида о параллельных, был Карл Фридрих Гаусс (1777-1855). Гаусс прекрасно знал о тщетных попытках вывести аксиому о параллельных из остальных аксиом евклидовой геометрии, ибо в Гёттингене об этом были наслышаны все. Но до 1799 г. Гаусс все же не прекращал попытки вывести аксиому Евклида о параллельных из других, более правдоподобных предположений; он был убежден, что евклидова геометрия отражает геометрию физического пространства, хотя допускал возможность существования логически непротиворечивых неевклидовых геометрий. Но в письме своему другу и собрату по математике Фаркашу Бойаи (Больяй) от 16 декабря 1799 г. Гаусс сообщал:
Я лично далеко продвинулся в моих работах (хотя другие, совершенно не связанные с этим занятия оставляют мне для этого мало времени); однако дорога, которую я выбрал, ведет скорее не к желательной цели, а к тому, чтобы сделать сомнительной истинность геометрии. Правда, я достиг многого, что для большинства могло бы сойти за доказательство, но это не доказывает в моих глазах ровно ничего.
Начиная с 1813 г. Гаусс разрабатывал свой вариант неевклидовой геометрии, которую он назвал сначала антиевклидовой, затем астральной и наконец неевклидовой геометрией. Убедившись в ее логической непротиворечивости, Гаусс не сомневался в ее применимости к реальному миру.
В письме к своему другу Францу Адольфу Тауринусу (1794-1874) от 8 декабря 1824 г. Гаусс писал:
Допущение, что сумма углов треугольника меньше 180°, приводит к своеобразной, совершенно отличной от нашей [евклидовой] геометрии; эта геометрия совершенно последовательна, и я развил ее для себя совершенно удовлетворительно… Предложения этой геометрии отчасти кажутся парадоксальными и непривычному человеку, даже несуразными; но при строгом и спокойном размышлении они не содержат ничего невозможного.
Мы не будем вдаваться в подробности того варианта неевклидовой геометрии, который был создан Гауссом. Он начал даже, хотя не довел до конца, полное дедуктивное изложение своей геометрии. Доказанные им теоремы во многом напоминают теоремы, с которыми нам еще предстоит встретиться в неевклидовой геометрии Лобачевского — Бойаи. В письме к математику и астроному Фридриху Вильгельму Бесселю (1784-1846) от 27 января 1829 г. Гаусс признавался, что вряд ли когда-нибудь опубликует свои открытия в области неевклидовой геометрии из опасения насмешек, или, как выразился Гаусс, криков беотийцев (в переносном смысле — невежд). Опасения Гаусса были не лишены оснований: не следует забывать о том, что, хотя небольшую группу математиков, упорно работавших над созданием неевклидовой геометрии, отделял от их цели всего лишь шаг, интеллектуальный мир в целом по-прежнему был убежден, что евклидова геометрия единственно возможная. Поэтому все, что мы знаем о работе Гаусса по неевклидовой геометрии, почерпнуто из его писем к друзьям, двух коротких сообщений, опубликованных в 1816 и 1822 гг. в журнале Gottingenische gelehrte Anzeigen, и нескольких заметок, датированных 1831 г., которые были обнаружены среди его бумаг после смерти.
