Евклидово окно. История геометрии от параллельных прямых до гиперпространства
Шрифт:
Скрытность играла важную роль в пифагорейском сообществе — вероятно, благодаря опыту Пифагора в тайных практиках египетского жречества. А может, из нежелания навлекать неприятности, которые могли возникнуть, узнай общественность о революционных идеях пифагорейцев. Одно из открытий Пифагора обросло такой таинственностью, что, согласно легенде, разглашение его было запрещено под страхом смерти.
Вспомним задачу определения длины диагонали в квадрате со стороной в единицу. Вавилоняне рассчитали это значение с точностью до шести десятичных знаков, но пифагорейцам этого показалось мало. Они пожелали знать точное значение. Как можно делать вид, что знаешь хоть что-нибудь о пространстве внутри квадрата, если не знаешь даже такого? Трудность, однако, состояла в том, что это значение пифагорейцы получали все с большей точностью, но ни одно полученное число не было исчерпывающим ответом. Но пифагорейцев так просто не смутишь. Им хватило фантазии задаться вопросом: а существует ли вообще такое число? Они заключили, что нет, — и им хватило одаренности доказать это.
Сейчас-то мы знаем, что длина этой диагонали равна квадратному корню из двух — иррациональному числу. Это означает, что его нельзя записать в десятичном виде с конечным количеством знаков после запятой и также его нельзя
Пифагор со всей очевидностью преткнулся. То, что длина диагонали квадрата [41] не может быть выражена ни в каком виде, провидцу, проповедующему, что числа — всё, было совсем не с руки. Что же теперь: менять философию? Дескать, числа — всё, кроме некоторых геометрических величин, которые нам кажутся совсем уж загадочными?
41
Для интересующихся математикой приведем доказательство. Обозначим длину диагонали как с и начнем с допущения, что с можно выразить в виде дроби — скажем, m/n , в которой у m и n нет общих делителей, и они ни в коем случае не четные одновременно. Доказательство производится в три этапа. Первый: заметим, если с 2 = 2, значит, m 2 = 2 n 2. Словами: m 2 — четное число. Поскольку квадраты нечетных чисел — нечетные, значит, и m само по себе должно быть четным. Второй: поскольку m и n не могут быть оба четными, значит, n должно быть нечетным. Третий: взглянем на уравнение m 2 = 2 n 2 с другой стороны. Поскольку m — четное, его можно записать как 2 q , при любом q . Если заменить m в m 2 = 2 n 2 на 2 q , получим 4 q 2 = 2 n 2, что то же самое, что и 2 q 2 = n 2. Это означает, что n 2, а следовательно, и n — четное.
Мы только что доказали, что если с можно записать как с = m/n , то m есть нечетное, а n — четное. Получается противоречие, а значит, исходное допущение, что с можно записать как с = m/n , — ложное. Такого рода доказательства, когда мы допускаем отрицание того, что стремимся доказать, а потом показываем, что отрицание ведет к противоречию, называется reductio ad absurdum . Это одно из изобретений пифагорейцев, и поныне полезное для математики.
Соверши Пифагор простую вещь: назови он диагональ как-нибудь особо, например d, или еще того лучше — 2 и сочти ее некой новой разновидностью числа, нашему гению удалось бы ускорить создание системы действительных чисел на много веков. Предприми Пифагор этот шаг, он предвосхитил бы революцию декартовых координат, поскольку за отсутствием численной записи необходимость как-то описать этот новый вид числа недвусмысленно подсказывала изобретение числовой оси. Однако вместо всего этого Пифагор отошел от своей весьма перспективной практики ассоциировать геометрические фигуры с числами и заявил, что некоторые длины не могут быть выражены через числа. Пифагорейцы назвали такие длины алогонами, «неразумными», ныне мы называем их иррациональными. У слова «алогон» — двойной смысл: оно к тому же еще и означает «непроизносимое». Пифагор предложил решить возникшую в его философии дилемму так, что полученное решение было затруднительно отстаивать, и поэтому, в соответствии с общей доктриной скрытности, он запретил своим последователям [42] раскрывать неловкий парадокс. В наши дни людей убивают много за что — из-за любви, политики, денег, религии, но не потому, что кто-то разболтал что-то о квадратном корне из двух. Для пифагорейцев же математика была религией, и поэтому когда Гиппас нарушил обет молчания, его убили.
42
Muir, стр. 12–13.
Сопротивление иррациональному продолжалось еще тысячи лет. В конце XIX века, когда одаренный немецкий математик Георг Кантор создал революционный труд, в котором попытался как-то укоренить эти числа, его бывший наставник, хрыч по имени Леопольд Кронекер, «возражавший» против иррациональных чисел, категорически не согласился с Кантором и потом всю жизнь ставил ему палки в колеса. Кантор, не в силах вынести подобное, пережил нервный срыв [43] и провел последние дни жизни в клинике для душевнобольных.
43
Kramer, стр. 577.
Пифагор тоже кончил не лучшим образом. Около 510 года до н. э. кто-то из пифагорейцев отправился в Сибарис — судя по всему, в поисках новых последователей. Сведений о том их странствии сохранилось мало; известно только, что всех убили. Позднее несколько сибаритов сбежало в Кротон от тирана Телиса, который незадолго до этого захватил власть в городе. Телис потребовал их выдачи. И тут Пифагор нарушил одно из своих главных правил: не вмешиваться в политику. Он уговорил кротонцев
Пифагорейское общество просуществовало еще какое-то время после той травли — до следующей, случившейся примерно в 460 году до н. э., и в результате погибли практически все, за исключением нескольких последователей. Его учение дотянуло до 300-х годов до н. э. Воскресили его римляне — в первом веке до Р. Х., и оно стало главенствующей силой расцветающей Римской империи. Пифагорейство повлияло на многие религии того времени — александрийский иудаизм, например, дряхлеющие египетские верования и, как мы уже убедились, христианство. Во II веке н. э. пифагорейская математика вкупе со школой Платона получила новый толчок к развитию. Интеллектуальных потомков Пифагора в IV веке опять раздавила власть — восточно-римский император Юстиниан. Римляне терпеть не могли длинные волосы [44] и бороды греческих потомков философии Пифагора, а также их пристрастие к наркотикам вроде опия, не говоря уже об их нехристианских верованиях. Юстиниан закрыл академию и запретил преподавание философии. Пифагорейство еще померцало пару столетий, после чего растворилось в Темных веках примерно в VI веке н. э.
44
Gorman, стр 192–193.
Глава 5. Манифест Евклида
Приблизительно в 300-е годы до н. э. на южном побережье Средиземного моря, чуть левее Нила, жил в Александрии человек, чья работа может потягаться по влиятельности с Библией. Его подход наполнил философию смыслом и определил суть математики вплоть до XIX века. Эта работа стала неотъемлемой частью высшего образования практически на все это время — и остается до сих пор. С восстановлением этого труда началось обновление средневековой европейской цивилизации. Ему подражал Спиноза. Им зачитывался Абрахам Линкольн. Его защищал Кант [45] .
45
Спиноза, знаковый философ XVII века, писал «Этику» — свой главный труд — в стиле евклидовых «Начал», вплоть до определений и аксиом, с помощью которых, как он считал, строго доказывал теоремы. См. также «Историю западной философии» Бертрана Расселла: Bertand Russell, A History of Western Philosophy (New York: Simon & Schuster, 1945), стр. 572. Авраам Линкольн, еще будучи никому не известным юристом, изучал «Начала» с целью улучшить свои навыки логики, см.: Hooper, стр. 44. Кант читал евклидову геометрию неотъемлемой частью человеческого мозга, см. Расселл. (На рус. яз.: Бенедикт Спиноза, «Этика», М., СПб, Азбука, Азбука-Аттикус, 2012, пер. Я. Боровского, Н. Иванцова; Бертран Рассел, «История западной философии», М.: Академический проект, 2009, пер. В. Целищева. — Прим. пер.)
Имя этого человека — Евклид. О его жизни нам неизвестно почти ничего. Ел ли он оливки? Ходил ли в театр? Был ли коренаст или росл? История не знает ответов на все эти вопросы. Нам ведомо лишь [46] , что он открыл школу в Александрии, у него были блестящие ученики, он осуждал материализм, был довольно милым человеком и написал не менее двух книг. Одна из них, утерянный труд по коническим сечениям, стала основой для позднейшей исключительно важной работы Аполлония [47] , сильно продвинувшей науку навигации и астрономии.
46
Heath, стр. 354–355.
47
Heath, стр. 354–355.
Другая его знаменитая работа, «Начала», — одна из самых читаемых «книг» всех времен. История «Начал» [48] заслуживает детективного романа не хуже «Мальтийского сокола» [49] . Во-первых, это не книга в буквальном смысле, но собрание из тринадцати свитков папируса. Ни один оригинал не сохранился — они передавались из поколения в поколение чередой переизданий, а в Темные века чуть было не исчезли совсем. Первые четыре свитка Евклидова труда в любом случае — не те самые «Начала»: ученый по имени Гиппократ (не врач-тезка) написал «Начала» где-то в 400-х годах до н. э., и они-то, судя по всему, являются содержимым этих первых свитков, хотя оно никак не атрибутировано. Евклид никак не претендовал на авторство этих теорем. Свою задачу он видел в систематизации греческого понимания геометрии. Он стал архитектором первого осмысленного отчета о природе двухмерного пространства, созданного одной лишь силой мысли, без всяких отсылок к физическому миру.
48
Heath, стр. 356–370, см. также: Hooper, стр. 44–48. В 1926 году Хит лично продолжил историю «Начал», опубликовав свое издание, перепечатанное издательством «Доувер»: Sir Thomas Heath. The Thirteen Books of Euclid’s Elements (New York: Dover Publications, 1956).
49
«Мальтийский сокол» (1930) — детектив-нуар американского писателя Сэмюэла Дэшилла Хэммета (1894–1961). — Прим. пер.
Важнейший вклад Евклидовых «Начал» сводился к передовому логическому методу: во-первых, Евклид объяснил все термины введением точных определений, гарантирующих понимание всех слов и символов. Во-вторых, он прояснил все понятия, предложив для этого прозрачные аксиомы или постулаты (эти два термина взаимозаменяемы), и отказался от применения неустановленных выводов или допущений. И наконец, он выводил логические следствия всей системы лишь с использованием правил логики, примененной к аксиомам и ранее доказанным теоремам.