Евклидово окно. История геометрии от параллельных прямых до гиперпространства
Шрифт:
Пифагорейское общество просуществовало еще какое-то время после той травли — до следующей, случившейся примерно в 460 году до н. э., и в результате погибли практически все, за исключением нескольких последователей. Его учение дотянуло до 300-х годов до н. э. Воскресили его римляне — в первом веке до Р. Х., и оно стало главенствующей силой расцветающей Римской империи. Пифагорейство повлияло на многие религии того времени — александрийский иудаизм, например, дряхлеющие египетские верования и, как мы уже убедились, христианство. Во II веке н. э. пифагорейская математика вкупе со школой Платона получила новый толчок к развитию. Интеллектуальных потомков Пифагора в IV веке опять раздавила власть — восточно-римский император Юстиниан. Римляне терпеть не могли длинные волосы [44] и бороды греческих потомков философии Пифагора, а также их пристрастие к наркотикам вроде опия, не говоря уже об их нехристианских верованиях. Юстиниан закрыл академию и запретил преподавание философии. Пифагорейство еще померцало пару столетий, после чего растворилось в Темных веках примерно в VI веке н. э.
44
Gorman,
Глава 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). — Прим. пер.
Важнейший вклад Евклидовых «Начал» сводился к передовому логическому методу: во-первых, Евклид объяснил все термины введением точных определений, гарантирующих понимание всех слов и символов. Во-вторых, он прояснил все понятия, предложив для этого прозрачные аксиомы или постулаты (эти два термина взаимозаменяемы), и отказался от применения неустановленных выводов или допущений. И наконец, он выводил логические следствия всей системы лишь с использованием правил логики, примененной к аксиомам и ранее доказанным теоремам.
Вот зануда и привереда, а? Зачем уж так настаивать на доказательстве малейшего утверждения? Математика — вертикальное сооружение, которое, в отличие от архитектурной постройки, рухнет, если хоть один математический кирпичик окажется битым. Допусти в системе невиннейшую погрешность — и пиши пропало, в ней уже ничему нельзя доверять. По сути, теорема логики утверждает: [50] если в систему вкралась хоть одна ложная теорема — неважно, о чем она, — этого будет достаточно для доказательства, что 1 = 2. Говорят, однажды некий скептик припер к стенке логика Бертрана Расселла, желая возразить против этой уничтожающей теоремы (хотя в итоге говорил об обратном). «Вот что, — рявкнул усомнившийся, — допустим, один равно два, докажите,
что вы — Папа Римский». Расселл, по свидетельствам, задумался на миг, после чего ответил: «Папа и я — двое, следовательно, Папа и я — одно».50
Kline, стр. 1205.
Доказательство каждого утверждения означает, среди прочего, еще и то, что интуицию, хоть она и ценный поводырь, следует проверять на пороге доказательства. Фраза «это интуитивно понятно» — неподходящий шаг для доказательства. Слишком уж мы падки на всякую очевидность. Представим, что мы разматываем клубок шерсти вдоль экватора Земли, все 25 000 миль. А теперь представим то же самое, но в футе над экватором. Насколько больше ниток нам потребуется для этого? На 500 футов больше? Или на 5000? Упростим задачу. Представим теперь, что раскатываем один клубок вдоль поверхности Солнца, а второй — в футе над его поверхностью. К какому клубку нужно добавить больше ниток — к тому, что мы разматываем в футе от Земли или в футе от Солнца? Большинству из нас интуиция подсказывает «вокруг Солнца», однако ответ на самом деле таков: одинаковое количество, равное 2 футам, т. е. примерно 6 футов 3 дюйма.
Давным-давно была такая телевизионная программа «Поспорим» [51] . Участника помещали напротив трех подиумов, скрытых занавесами. На одном подиуме находился какой-нибудь ценный объект — автомашина, к примеру, а на двух других — какая-нибудь ерунда, утешительный приз. Допустим, участник выбирал второй подиум. Ведущий затем открывал один из двух оставшихся занавесов, скажем — третий. За ним, положим, находится утешительный приз, следовательно, настоящий приз — либо за первым занавесом, либо за вторым, который участник выбрал изначально. Ведущий далее спрашивает участника, станет ли он менять свой выбор — т. е. выберет ли теперь первый занавес. Вы бы изменили решение? Интуитивно кажется, что вероятность выигрыша — пятьдесят на пятьдесят, хоть так, хоть эдак. Оно было бы так, если бы у нас не было никаких предварительных вводных, но они у нас есть: предыдущий выбор и действия ведущего в этой связи. Внимательный анализ вероятностей, начиная с исходного выбора и далее, или применение нужной формулы, называемой теоремой Байеса (Бейза) [52] , показали бы, что шансов больше, если выбор изменить. Таких примеров в математике — когда интуиция подводит нас, а выручает лишь произвольная формальная логика, — навалом.
51
«Let’s Make A Deal» — американская телевикторина телеканала «Эн-би-си», транслировавшаяся с 1963 по 1968 гг. — Прим. пер.
52
Трудный выбор, на котором основана программа «Поспорим», часто называют задачей Монти Холла, по имени ведущего программы. Проще всего разобраться в решении, нарисовав диаграмму-дерево, последовательно иллюстрирующую возможные варианты выбора. Этот метод применяется для наглядного описания теоремы Байеса в: John Freund, Mathematical Statistics (Englewood, Cliffs, NJ: Prentice-Hall, 1971), стр. 57–63. (Здесь и далее по тексту в квадратных скобках имена собственные даются в соответствии с произносительной нормой в тех случаях, когда она расходится с привычным написанием. — Прим. пер.)
Точность — еще одно свойство, необходимое математическому доказательству. Наблюдатель может измерить диагональ квадрата с единичной стороной и получить результат 1,4, а с более точными приборами — 1,41 или даже 1,414, и как бы нам ни хотелось принять подобное приближение как достаточное, оно не даст нам получить эпохальное прозрение: это значение длины — величина иррациональная.
Крошечные количественные изменения могут иметь громадные качественные последствия. Вспомним государственные лотереи. Не теряющие надежду неудачники частенько пожимают плечами и говорят: «Не сыграешь — не выиграешь». Это правда, не поспоришь. Но правда и то, что шансы на выигрыш у тех, кто покупает лотерейный билет, и у тех, кто нет, отличаются на малюсенькую долю процента. Что произойдет, если лотерейная комиссия за явит, что решила округлить ваши шансы на выигрыш с 0,000001 % до нуля? Изменение почти неприметное, но поток наличности от продаж оно изменит еще как.
Фокус Пола Карри
Трюк, изобретенный фокусником-любителем Полом Карри [53] (см. предыдущую страницу), жившим в Нью-Йорке, — отличный геометрический пример. Возьмем квадратный лист бумаги и нарисуем на нем сетку из меньших квадратов семь на семь. Разрежем лист на пять частей и переложим их так, как показано на рисунке. В результате получим «квадратный пончик» — квадрат того же размера, что и исходный, однако по центру не будет хватать одного квадратика. Куда подевался этот квадратик? Мы что же, доказали теорему о том, что цельный квадрат равен по площади пончику?
53
Martin Gardner, Entertaining Mathematical Puzzles (New York: Dover Publications, 1961), стр. 43. (На рус. яз.: Гарднер М., «Математические досуги», М: «Мир», 1972, пер. Ю. Данилова. — Прим. пер.)
Фокус состоит в том, что при пересборке квадрата фрагменты ложатся чуточку внахлест, и фигура в результате получается слегка жульнической — или, скажем так, приблизительной. Второй сверху ряд клеток получается чуть-чуть выше, а весь квадрат — на 1/49 длиннее по вертикали, чем должен быть, и этого как раз достаточно, чтобы набралась площадь недостающего квадратика. Но если бы нам доступно было измерение длин с точностью лишь до 2 %, мы бы не уловили разницу между этими двумя фигурами и впали бы в искушение сделать мистический вывод, что площади квадрата и «квадратного пончика» равны друг другу.