Марио Ливио - Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса Страница 14

Государь! Сказанное мною покажется, конечно, невероятным многим из тех, кто не изучал математики, но будет достоверно, потому что доказано, для тех, кто ею занимался, если внимательно рассмотреть все сказанное мною о расстояниях и величине Земли, Солнца, Луны и всей Вселенной. Впрочем, я со своей стороны нахожу, что было бы полезно, если бы и другие расследовали этот предмет еще обстоятельнее.

Красота «Исчисления песчинок» заключается в той легкости, с какой Архимед переходит от повседневных предметов (маковых зернышек, песчинок, пальцев) к абстрактным числам и системе математических обозначений – а затем обратно к размерам Солнечной системы и Вселенной в целом. Очевидно, что Архимед обладал столь гибким умом, что безо всяких затруднений применял свою математику для открытия неизвестных свойств Вселенной, а свойства космоса – для развития арифметических концепций.

Вторая причина, по которой Архимед достоин звания волшебника, – метод, при помощи которого он формулировал и доказывал свои выдающиеся геометрические теоремы. До ХХ столетия об этом методе не было известно почти ничего, как и о мыслительном процессе Архимеда в целом. Свои соображения он излагает так сжато, что не оставляет практически никаких зацепок. А затем, в 1906 году, было сделано эпохальное открытие, позволившее разобраться, как был устроен разум этого гения. История открытия так похожа на исторические детективы итальянского писателя Умберто Эко, что я просто обязан вкратце изложить этот сюжет.[28]

Палимпсест Архимеда

В какой-то момент в Х веке (вероятно, в 975 году) некий безымянный писец переписал в Константинополе (ныне Стамбул) три важнейшие работы Архимеда – «Метод механических теорем», «Стомахион» и «О плавающих телах». Вероятно, это был результат общего интереса к греческой математике, который вспыхнул во многом благодаря византийскому ученому Льву Математику, жившему в IX веке. Однако в 1204 году участники Четвертого крестового похода соблазнились обещаниями награды и разграбили Константинополь. В последующие годы страсть к математике угасла, а раскол между западной католической церковью и восточной православной стал окончательным и бесповоротным. В какой-то момент до 1229 года манускрипт с работами Архимеда подвергся катастрофической переработке: рукопись разделили на отдельные листы пергамента и смыли все написанное, чтобы использовать его для христианской литургической книги. Писец по имени Иоанн Мирон завершил работу над литургической книгой 14 апреля 1229 года (Netz and Noel 2007). К счастью, в результате отмывания оригинальный текст не исчез бесследно. На рис. 12 приведена страница из манускрипта: горизонтальные линии – это текст молитв, а еле заметные вертикальные – математические трактаты Архимеда. К XVII веку палимпсест – переписанный документ – попал каким-то образом в Святую Землю, в монастырь Св. Саввы близ Вифлеема. В начале XIX века в библиотеке монастыря хранилось не меньше тысячи манускриптов. И все же по не вполне понятным причинам палимпсест Архимеда вернули в Константинополь. Затем, в 1840-е годы, подворье Иерусалимского храма Гроба Господня в Константинополе посетил знаменитый немецкий библеист Константин Тишендорф (1815–1874), первооткрыватель одного из самых ранних списков Библии, – и увидел там этот палимпсест. Судя по всему, Тишендофу показалось, что еле заметный математический текст представляет определенный интерес, поскольку он оторвал и выкрал один лист манускрипта. В 1879 году наследники Тишендорфа продали эту страницу библиотеке Кембриджского университета.

В 1899 году греческий ученый А. Пападопулос-Керамеус составил каталог всех манускриптов, хранившихся в подворье, и рукопись Архимеда значится в его каталоге как Ms. 355. Пападопулос-Керамеус сумел прочитать несколько строчек математического текста и привел их в каталоге, понимая, вероятно, что это может быть очень важное открытие. Это был поворотный момент в саге о манускрипте. Математический текст в каталоге привлек внимание датского филолога Йохана Людвига Гейберга (1854–1928). Гейберг понял, что текст принадлежит Архимеду, и в 1906 году приехал в Стамбул, изучил и сфотографировал палимпсест, а год спустя объявил о сенсационном открытии: в рукописи содержались два неизвестных ранее трактата Архимеда и один дошедший до нас лишь в латинском переводе. Но хотя Гейберг сумел прочитать и впоследствии опубликовал отрывки из манускрипта в своей книге о трудах Архимеда, остались большие пробелы. К несчастью, в какой-то момент после 1908 года манускрипт исчез из Стамбула при загадочных обстоятельствах – а когда всплыл снова, оказалось, что им владеет некое парижское семейство, которое утверждает, что приобрело его еще в 20-е годы. Палимпсест хранили в неподходящих условиях, и он был местами непоправимо поврежден плесенью, а три страницы, которые ранее перевел Гейберг, и вовсе пропали. Мало того, после 1929 года кто-то нарисовал на четырех страницах четыре миниатюры в византийском стиле. Впоследствии это французское семейство продало манускрипт владельцам аукциона «Кристи». Вопрос о праве собственности на манускрипт разбирался в 1998 году в нью-йоркском суде. Греческий православный патриархат Иерусалима заявил, что рукопись в 20-е годы похитили из одного из его монастырей, однако судья вынесла решение в пользу аукциона «Кристи». Вскоре после этого, 29 октября 1998 года, манускрипт был продан на аукционе «Кристи»; покупатель, пожелавший остаться неизвестным, заплатил за него 2 миллиона долларов. Новый владелец поместил манускрипт в Художественный музей Уолтерса в Балтиморе, где рукопись подвергли интенсивной консервации и тщательному исследованию. В арсенале современных ученых появились инструменты по распознаванию изображений, недоступные исследователям прошлого.

Рис. 12

Рис. 13

Ультрафиолетовый свет, многозональная съемка и даже направленные рентгеновские лучи (ими манускрипт облучали на Стэнфордском линейном ускорителе) уже позволили расшифровать части рукописи, которые раньше были не видны. Сейчас, когда я пишу эти строки, тщательное научное изучение рукописи Архимеда идет полным ходом. Мне выпала честь познакомиться с группой криминалистов, которые изучают палимпсест, и на рис. 13 я стою рядом с экспериментальной установкой, в которой каждую страницу палимпсеста облучают в разных диапазонах.[29]

Драма вокруг палимпсеста по своим масштабам вполне соответствует значению документа, который наконец-то позволил нам изучить научный метод великого геометра.

Метод

Когда читаешь любой древнегреческий геометрический трактат, невольно восхищаешься лаконичностью стиля и точностью формулировок и доказательств теорем, которым уже более двух тысяч лет.

Но чего в этих книгах точно не найдешь – это объяснений, каким образом эти теоремы пришли в голову автору. Выдающийся трактат Архимеда «Метод механических теорем» заполняет этот загадочный пробел – там рассказано, как сам Архимед убеждался в истинности некоторых теорем еще до того, как придумывал, как их доказать. Приведу отрывок из его послания математику Эратосфену Киренскому (ок. 276–194 гг. до н. э.) во введении к трактату (Dijksterhuis 1957).

В этой книге я шлю тебе доказательства этих теорем. Поскольку, как я уже упоминал, я знаю, что ты человек усердный, прекрасный учитель философии и очень интересуешься любыми математическими исследованиями, какие только ни попадутся тебе, я решил, что будет полезно описать и передать тебе в этой же книге некий особый метод, который даст тебе возможность ставить определенные математические вопросы при помощи механики (курсив мой. – М. Л.). Я уверен, что этот же метод не менее полезен при поиске доказательств тех же теорем. В некоторых случаях мне сначала становилось понятно, что происходит, благодаря механическому методу, а затем уже это было доказано геометрически, поскольку изучение этих случаев вышеуказанным методом не позволяет вывести настоящее доказательство. Ведь гораздо проще предоставить доказательство, когда мы уже получили определенные знания посредством указанного метода, чем найти его безо всяких знаний.

Архимед затрагивает здесь один из важнейших принципов научного и математического исследования в целом: зачастую гораздо труднее формулировать вопросы и теоремы, которые стоит исследовать, чем искать ответы на известные вопросы и доказательства известных теорем. Так как же Архимед находил новые теоремы? Опираясь на тончайшее понимание механики, равновесия и принципов рычага, он мысленно взвешивал тела и фигуры, чьи площади и объемы пытался найти, и сравнивал их вес с весом уже известных тел и фигур. А когда ему удавалось таким образом найти неизвестную площадь или объем, было уже гораздо легче геометрически доказать истинность ответа. Именно поэтому «Метод» начинается с ряда утверждений относительно центров тяжести и лишь затем переходит к геометрическим предположениям и их доказательствам.