.
Архимед мысленно уравновешивает шар, цилиндр и конус на весах, а затем нарезает их бесконечно тонкими ломтиками, которые перераспределяет таким образом, чтобы сохранить баланс. Затем он применяет закон рычага, чтобы соотнести три объема между собой (объемы цилиндра и конуса был уже известны), и выводит требуемые величины. Существуют предположения, что именно Архимед первым использовал настоящие бесконечно малые величины в математике. Возможно, мы усматриваем слишком много в этом не самом вразумительном документе, но ясно, что трактат «О методе» предвосхищает некоторые идеи дифференциального исчисления.
Другие труды Архимеда наглядно показывают, насколько разнообразными были его интересы. Трактат «О спиралях» доказывает некоторые фундаментальные утверждения о длинах и площадях, связанных с Архимедовой спиралью – кривой, которую описывает точка, движущаяся с постоянной скоростью вдоль прямой линии, вращающейся с постоянной скоростью. Трактат «О коноидах и сфероидах» исследует объемы сегментов объемных тел, образованных вращением конических сечений вокруг некоторой оси.
Трактат «О плавающих телах» – первая в истории работа по гидростатике и равновесным позициям плавающих объектов. В него входит и закон Архимеда: на тело, погруженное в жидкость, действует выталкивающая сила, равная весу жидкости, вытесненной этим телом. Этот принцип является темой знаменитого исторического анекдота, в котором Архимеда просят придумать метод, при помощи которого можно определить, действительно ли обетная корона, изготовленная для царя Гиерона, сделана из золота. Идея решения осеняет Архимеда внезапно, когда он принимает ванну, и он приходит в такой восторг, что выскакивает на улицу, позабыв одеться, и несется по городу в чем мать родила с криком «Эврика!» («Нашел!»). Не забывайте, что появление нагого человека в публичном месте в Древней Греции не рассматривалось как скандальное событие. Кульминацией книги является условие устойчивого плавания параболоида – предтеча фундаментальных идей теории кораблестроения, связанных с остойчивостью и переворачиванием судов.
В «Измерении круга» метод исчерпывания применяется для доказательства того, что площадь круга равна длине половины радиуса, умноженной на длину окружности, – πr2 в современных терминах. Чтобы доказать это, Архимед вписывает в окружность и описывает вокруг нее правильные многоугольники с 6, 12, 24, 48 и 96 сторонами. Рассматривая девяностошестиугольник, он доказывает результат, эквивалентный, по существу, оценке величины π: он попадал в промежуток между
«Исчисление песчинок» адресовано Гелону II, тирану Сиракуз и сыну Гиерона II. Это подкрепляет предположение о том, что Архимед был в родстве с царской семьей. Он так объясняет свою цель:
Некоторые люди полагают, государь Гелон, что число песка по величине бесконечно… я постараюсь показать тебе… что среди чисел, которые получили от нас название и опубликованы в адресованной (мной) Зевксиппу книге, некоторые превосходят не только число песчинок в объеме, равном заполненной, как мы сказали, Земле, но даже в объеме, равном миру[3].
Здесь Архимед рекламирует свою новую систему наименования больших чисел и борется с частым неверным употреблением термина «бесконечный» вместо «очень большой». Сам он ясно ощущает разницу. В его работе сочетаются две основные идеи. Первая из них – расширение стандартного набора греческих слов для обозначения чисел, чтобы можно было именовать гораздо большие числа, чем мириада мириад[4] (100 миллионов, 108). Вторая – оценка размеров Вселенной, которую Архимед основывает на гелиоцентрической (с Солнцем в центре) системе Аристарха. Согласно результатам подсчета, для полного заполнения Вселенной потребовалось бы, в современной нотации, не более 1063 песчинок.
В математике существует давняя традиция развлечения, в рамках которого математики исследуют всевозможные игры и головоломки. Иногда это делается просто для удовольствия, а иногда подобные легкомысленные задачи помогают понять серьезные концепции. В «Задаче о быках» поднимаются вопросы, не потерявшие актуальности и сегодня. В 1773 г. немецкий библиотекарь Готтхольд Лессинг наткнулся на одну греческую рукопись: стихотворение из 44 строк, приглашающее читателя подсчитать, сколько животных ходит в стаде бога Солнца. Заголовок стихотворения представляет его как письмо от Архимеда к Эратосфену. Начинается оно так:
Сколько у Солнца быков, найди для меня, чужестранец.
(Ты их, подумав, считай, мудрости если не чужд.)
Как на полях Тринакрийской Сицилии острова тучных
Их в четырех стадах много когда-то паслось.
Цветом стада различались: блистало одно млечно-белым,
Темной морской волны стада другого был цвет,
Рыжим третие было, последнее пестрым. И в каждом
Стаде была самцов множеством тяжкая мощь,
Все же храня соразмерность такую…[5]
Затем в ней перечисляются семь уравнений в стиле:
число белых быков число черных быков + число рыжих быков и следует продолжение:
Сколько у Солнца быков, чужестранец, коль точно ты скажешь,
Нам раздельно назвав тучных быков число,
Также раздельно коров, сколько каждого цвета их было,
Не назовет хоть никто в числах невеждой тебя,
Все ж к мудрецам причислен не будешь. Учти же, пожалуй,
Свойства какие еще Солнца быков числа.
число белых быков + число черных быков = квадратное число,
число пестрых быков + число рыжих быков = треугольное число.
Если ты найдешь, чужестранец, умом пораскинув,
И сможешь точно назвать каждого стада число,
То уходи, возгордившись победой, и будет считаться,
Что в этой мудрости ты все до конца превзошел[6].
Квадратные числа – это 1, 4, 9, 16 и т. д., получаются они при умножении натурального числа на само себя. Треугольные числа – это 1, 3, 6, 10 и т. д., образуемые сложением последовательных натуральных чисел, к примеру, 10 = 1 + 2 + 3 + 4. Эти условия образуют то, что мы сегодня называем системой диофантовых уравнений в честь Диофанта Александрийского, который написал о них около 250 г. в книге «Арифметика». Решение должно даваться в целых числах, поскольку вряд ли у бога Солнца в стаде ходит половинка коровы.
Первый набор условий дает бесконечное число возможных решений, в наименьшем из которых божественное стадо насчитывает 7 460 514 черных быков и сравнимое число остальных животных. Дополнительные условия позволяют выбрать среди этих решений и ведут к тому типу диофантовых уравнений, которые известны как уравнения Пелля (глава 6). Здесь нужно найти целые x и y, такие что nx2 + 1 = y2, где n – заданное целое число. К примеру, при n = 2 уравнение принимает вид 2x2 + 1 = y2, а его решениями являются пары чисел x = 2, y = 3 и x = 12, y = 17. В 1965 г. Хью Уильямс, Р. Герман и Чарльз Зарнке при помощи двух компьютеров фирмы IBM нашли наименьшее решение, удовлетворяющее двум дополнительным условиям. Это решение приблизительно равно 7, 76 × 10206544.
Архимед никак не мог найти это число вручную, к тому же нет никаких свидетельств того, что он вообще имеет какое-то отношение к этой задаче, кроме того что его имя фигурирует в названии стихотворения. Задача о быках до сих пор привлекает внимание специалистов по теории чисел и способствует получению новых результатов, к примеру решая уравнения Пелля.
Исторических данных о жизни Архимеда почти нет, однако о его смерти мы знаем чуть больше – если, конечно, считать, что хотя бы одна из дошедших до нас легенд соответствует истине. Но можно с уверенностью предположить, что хотя бы зерно правды в них присутствует.
Во время Второй Пунической войны, около 212 г. до н. э., римский генерал Марк Клавдий Марцелл осадил Сиракузы и взял город после двух лет осады. Плутарх рассказывает, что во время взятия города пожилой Архимед рассматривал какой-то чертеж на песке. Генерал послал солдата, чтобы тот пригласил Архимеда на встречу с ним, но математик отказался пойти, сказав, что не закончил работу над задачей. Солдат вышел из себя и убил Архимеда мечом; рассказывают, что последними словами мудреца были: «Не тронь моих чертежей!» Зная математиков, я полагаю, что такая ситуация вполне возможна, но Плутарх приводит и другой вариант истории, в которой Архимед пытается сдаться случайному солдату, а тот, решив, что математические инструменты в руках ученого стоят дорого, убивает его, чтобы ими завладеть. В обоих вариантах легенды Марцелл был очень недоволен смертью столь уважаемого гения механики.
Гробница Архимеда была украшена изображением его любимой теоремы из книги «О шаре и цилиндре»: объем шара, вписанного в цилиндр, равен 2/3 от его объема, а площадь поверхности шара равна площади боковой поверхности этого цилиндра. Через 100 с лишним лет после смерти Архимеда квестором (должностным лицом) на Сицилии был известный римский оратор Цицерон. Услышав о гробнице, он с трудом отыскал ее в заброшенном состоянии возле Агригентинских ворот в Сиракузах. Цицерон приказал восстановить гробницу, что позволило ему прочесть некоторые надписи и разглядеть чертеж шара и цилиндра.
Сегодня расположение этой гробницы неизвестно; судя по всему, от нее ничего не осталось. Но Архимед продолжает жить в своей математике, значительная часть которой не потеряла значения за более чем 2000 прошедших лет.
2. Мастер пути. Лю Хуэй
«Чжоу Би Суань Цзин» – «Канон расчета чжоуского гномона» – древнейший известный нам китайский математический текст, датируемый Периодом сражающихся царств, 400–200 гг. до н. э. Начинается этот трактат прекрасным примером образовательной пропаганды: