Значимые фигуры

У математиков есть привычка представлять конечный результат в красиво организованном, упорядоченном виде, скрывая от глаз тот часто путаный и сумбурный процесс, в результате которого этот результат был получен. Нам повезло кое-что узнать о том, как Архимед делал свои открытия в отношении сферы, поскольку этот процесс нашел отражение в «Послании к Эратосфену о методе». Долгое время работа считалась утраченной, но в 1906 г. датский историк Йохан Гейберг обнаружил так называемый палимпсест Архимеда, содержавший ее неполный список. Палимпсест – это текст, стертый или смытый в древности с целью повторно использовать пергамент или бумагу, на которых он был написан. Около 530 г. Исидор Милетский собрал работы Архимеда в Константинополе (современный Стамбул), столице Византийской империи. В 950 г. их переписал неизвестный византийский писец; в то время в Константинополе действовала школа Льва Математика, в которой изучались работы Архимеда. После этого рукопись каким-то образом переместилась в Иерусалим, где в 1229 г. была разобрана, отмыта (не слишком хорошо), сложена пополам и заново переплетена уже в виде 177-страничной христианской литургической книги.

В 1840-е гг. на этот текст, вернувшийся к тому моменту обратно в Константинополь и находившийся в греческой православной библиотеке, наткнулся библеист Константин фон Тишендорф. Он вынул из книги один лист и поместил его в библиотеку Кембриджского университета. В 1899 г. Афанасий Пападопуло-Керамевс, составляя каталог библиотечных рукописей, частично перевел этот лист. Гейберг понял, что текст принадлежит Архимеду, и проследил судьбу книжной страницы обратно до Константинополя, где ему разрешили сфотографировать весь документ. Затем он переписал текст и издал результаты своей работы между 1910 и 1915 гг., а Томас Хит перевел текст на английский язык. После сложной цепочки событий, включая продажу на аукционе, осложненную судебной тяжбой по поводу права собственности на документ, рукопись была продана анонимному американцу за $2 млн. Новый владелец предоставил ее для исследований, так что затертый текст восстановлен с применением различных цифровых технологий обработки изображений.

Чтобы доказывать теорему методом исчерпывания, нужно заранее знать ответ, и ученые долгое время гадали, как Архимед сумел угадать правила определения площади поверхности и объема сферы. Трактат «О методе» поясняет:

Действительно, кое-что из того, что ранее было мною усмотрено при помощи механики, позднее было также доказано и геометрически, так как рассмотрение при помощи этого метода еще не является доказательством; однако получить при помощи этого метода некоторое предварительное представление об исследуемом, а затем найти и само доказательство гораздо удобнее, чем производить изыскания, ничего не зная[2].

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

* * *

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