Приводя примеры особого отношения пифагорейцев к числам, я умышленно оставил число 5 напоследок, поскольку это число, кроме всего прочего, подводит нас к истокам золотого сечения. Пять – это союз между первым женским числом 2 и первым мужским числом 3, поэтому это число любви и брака. Очевидно, пифагорейцы считали пентаграмму – пятиконечную звезду (рис. 3) – символом принадлежности к своему братству и называли ее «гигия» – «здоровье». Греческий писатель и ритор II века Лукиан писал в своем «Оправдании ошибки, допущенной в приветствии»: «… Все ученики его [Пифагора] при переписке друг с другом, всякий раз как писали о чем-нибудь значительном, в самом начале письма ставили пожелание здоровья, как наиболее отвечающее ладу и души, и тела и обнимающее собою всю совокупность человеческих благ. Трижды повторенный треугольник пифагорейцев, образующий взаимосечениями пентаграмму, которой они пользовались, как условным знаком, при встрече с единомышленниками, называлась у них тем же словом, что и здоровье» (пер. Н. Баранова).

Изобретательное (хотя, пожалуй, не совсем логичное) объяснение, почему пентаграмма связывалась со здоровьем, предложил А. де ла Фей в своей книге «Пифагорейская пентаграмма, ее распространенность и применение в клинописи» (A. de la Fuÿe. Le Pentagramme Pythagoricien, Sa Diffusion, Son Emploi dans le Syllabaire Cuneiform, 1934). Де ла Фей предполагает, что пентаграмма символизирует греческую богиню здоровья Гигию, а пять лучей звезды – это схематическое изображение богини (рис. 9).

Рис. 9

Рис. 10

Кроме того, пентаграмма тесно связана с правильным пятиугольником – геометрической фигурой с пятью равными сторонами и равными углами (рис. 10). Если соединить все вершины правильного пятиугольника диагоналями, получится пентаграмма. Кроме того, диагонали образуют еще и маленький пятиугольник в центре, а диагонали этого пятиугольника образуют пентаграмму и пятиугольник еще меньше (рис. 10). Продолжать это можно до бесконечности, создавая пятиугольники и пентаграммы все меньше и меньше. Поразительное свойство всех этих фигур состоит в том, что если посмотреть на получившиеся отрезки в порядке убывания длины (на рисунке они помечены a, b, c, d, e, f), можно с легкостью, при помощи элементарной геометрии, доказать, что каждый отрезок меньше предыдущего на множитель, в точности равный золотому сечению – числу φ. То есть отношение длин а и b – это число φ, отношение длин b и c – тоже число φ и т. д. А главное, можно опереться на тот факт, что процесс создания череды вписанных друг в друга пентаграмм и пятиугольников можно продолжать бесконечно, строить фигуры все меньших и меньших размеров – чтобы упорно доказывать, что диагональ и сторона пятиугольника несоизмеримы, то есть отношение их длин (равное φ) невозможно выразить отношением двух целых чисел. А это значит, что им нельзя подобрать никакую общую единицу измерения – такую, чтобы диагональ пятиугольника содержала целое число этих единиц измерения и чтобы сторона пятиугольника тоже содержала целое число таких же единиц измерения (для читателей, более склонных к точным наукам, в Приложении 2 приведено доказательство). Вспомним, что числа, которые нельзя представить в виде отношения двух целых чисел (то есть в виде дробей, или рациональных чисел) называются иррациональными числами. Следовательно, перед нами доказательство того факта, что число φ – это иррациональное число.

Несколько ученых (в том числе Курт фон Фриц в статье под названием «Гиппас из Метапонта как первооткрыватель несоизмеримости» (Kurt von Fritz. The Discovery of Incommensurability by Hippasus of Metapontum, 1945) предположили, что открыли золотое сечение и несоизмеримость именно пифагорейцы. Эти историки математики отстаивали ту точку зрения, что одержимость пентаграммой и правильным пятиугольником, свойственная пифагорейцам, в сочетании с набором геометрических познаний, накопившихся к середине V века до н. э., весьма способствовали тому, чтобы пифагорейцы, а в частности, вероятно, Гиппас из Метапонта, открыли золотое сечение, а как следствие из него – и несоизмеримость. Доводы этих историков, по крайней мере, отчасти, подтверждаются трудами основателя сирийской неоплатонической школы Ямвлиха (ок. 245–325 гг. до н. э.). Согласно одному из рассказов Ямвлиха, пифагорейцы поставили Гиппасу надгробный камень, будто мертвому, за открытие несоизмеримости, которое подрывало самые основы их учения. Однако в другом месте Ямвлих сообщает, что «…о Гиппасе говорят, что он был из числа пифагорейцев; за то, что разгласил и достроил впервые сферу из двенадцати пятиугольников, он погиб в море как нечестивец, зато снискал славу первооткрывателя, хотя все [открытия должны принадлежать] «оному мужу» – так [пифагорейцы] величают Пифагора, не называя его по имени» (пер. А. В. Лебедева). Говоря «достроил сферу из двенадцати пятиугольников», Ямвлих имеет в виду (несколько неточно, поскольку получившаяся фигура на самом деле не сфера) додекаэдр, геометрическое тело с двенадцатью гранями, каждая из которых представляет собой правильный пятиугольник, – одно из пяти геометрических тел, известных как платоновы тела. Платоновы тела теснейшим образом связаны с золотым сечением, и мы еще вернемся к ним в главе 4. Несмотря на то что все эти рассказы подозрительно напоминают легенды, историк математики Уолтер Баркерт в своей книге «Древний пифагореизм. Наука и легенды» (Walter Burkert. Lore and Science in Ancient Pythagoreanism, 1972) приходит к заключению, что «хотя сведения о Гиппасе и овеяны легендами, в них есть здравое зерно». Доказательство справедливости этого заявления мы видим на рис. 10 (и в Приложении 2). Вывод о том, что диагональ и сторона правильного пятиугольника несоизмеримы, основан на очень простом наблюдении, что строить все меньшие и меньшие пятиугольники можно до бесконечности. То есть совершенно очевидно, что это доказательство было вполне доступно и математикам, жившим в V веке до нашей эры.

Для существа рационального невыносимо только нерациональное[2]

Хотя, разумеется, возможно, и даже, пожалуй, вероятно, что несоизмеримость и иррациональные числа были открыты в связи с золотым сечением, более традиционная точка зрения гласит, что на эти концепции мыслителей натолкнуло соотношение стороны и диагонали квадрата. Аристотель в своей «Первой аналитике» пишет, что диагональ квадрата несоизмерима со стороной, «потому что, если допустить их соизмеримость, то нечетное было бы равно четному» (пер. Б. Фохта). Здесь Аристотель вскользь намекает на доказательство несоизмеримости, которое я приведу полностью, поскольку это прелестный пример доказательства логическим методом, известным как reductio ad absurdum («доведение до абсурда», или метод «от противного»). Более того, когда в 1988 году журнал «The Mathematical Intelligencer» предложил читателям проранжировать двадцать четыре теоремы в соответствии с их «красотой», доказательство, которое я сейчас представлю, заняло седьмое место.

Изящный метод «от противного» основывается на том, что верность утверждения доказывается тем, что противоположное ему утверждение ложно. Самый авторитетный иудейский ученый Средневековья Маймонид (Моше бен Маймон, 1135–1204) даже пытался применить этот логический прием, дабы доказать существование Творца. В своем фундаментальном труде «Мишне Тора» (Законы основ Торы), где делается попытка охватить все стороны религии, Маймонид пишет: «Основа основ и столп мудрости – знать, что есть Первичная Сущность, которая является причиной существования всего сущего. И все, что есть на небесах и на земле, и все, что между ними, существует благодаря Истинной Сущности. И если представить, что Его нет – ничто не могло бы существовать» (пер. И. Верника). В математике же метод «от противного» применяется следующим образом. Сначала вы предполагаете, что теорема, истинность которой вы стремитесь доказать, на самом деле ложна. Далее вы совершаете последовательность логических шагов и выводите нечто, представляющее собой явное логическое противоречие – например, 1 = 0. Из этого вы делаете вывод, что первоначальная теорема не могла быть ложной, а следовательно, она должна быть истинной. Обратите внимание, что если вы хотите, чтобы метод оказался действенным, вам следует предположить, что теорема или утверждения могут быть либо истинными, либо ложными: вы либо читаете эти строки, либо нет.