С небольшим трактатом «Стомахион» произошло то же самое, что и с «Методом»: на протяжении истории было множество свидетельств его существования, но найден он был лишь в 1906 году с открытием константинопольского палимпсеста. В IV веке Авзоний и Марий Викторин говорили о Loculus Archimedius (шкатулке Архимеда) из 14 пластинок слоновой кости, которые вместе составляют квадрат. Все, что осталось от трактата,— это изложение способа деления квадрата на 14 частей (рисунок 1). Кроме того, там приводятся соотношения площадей фрагментов и полного квадрата. Не очень понятно, было ли это главным содержанием «Стомахиона»: хотя некоторые усматривают здесь начало комбинаторики, другие считают данное описание не более чем развлечением, чем-то вроде пазла или танграма.
РИС. 1
Если мы наложим фигуры из «Стомахиона» на квадрат стороной в 12 клеток, площадь каждой фигуры будет такой же, какой она обозначена на рисунке. Простой способ воспроизвести данные фигуры — взять листок бумаги в клеточку. Числа на фигурах обозначают их площадь.
Лишь в 2003 году удалось провести строгий комбинаторный анализ, который показал, что существуют 17152 способа сложить фигуры из «Стомахиона» в целый квадрат, и это если не принимать во внимание возможность их поворота или зеркального отражения (рисунок 2).
Перемещая фрагменты, можно не только составить квадрат, но и создавать веселые фигурки вроде этого слона.
Воспроизведение геометрического чертежа, которым воспользовался Архимед, чтобы выяснить соотношение площадей сегмента параболы и вписанного в него треугольника. Основой для данного решения служит механический метод.
Исчерпывающая математика: метод исчерпывания
В древнегреческой математике в какой-то момент начался серьезный кризис, связанный с так называемыми невыразимыми числами, которые не могут быть представлены отношением целого числа к натуральному. В настоящее время такие числа называются иррациональными. Такое их свойство вызвало большие проблемы при сравнении криволинейных и прямолинейных фигур. Это значит, что греки сталкивались с серьезными сложностями, если хотели вычислить площадь круга или иных фигур, ограниченных кривыми, а также и некоторые другие величины, например диагональ квадрата. Данная проблема была частично решена благодаря методу исчерпывания, который можно считать предшественником современного исчисления бесконечно малых величин и вычисления предела. Уже Евклид использовал его в некоторых построениях в своих «Началах», а Архимед применял его в течение всей своей математической карьеры. И именно он назвал автором этого метода Евдокса во вступлении к своему трактату «Метод механических теорем».
Невозможно найти во всей геометрии более сложные и более важные вопросы, изложенные столь простыми и столь понятными словами, как в теоремах, созданных божественным разумом Архимеда.
Плутарх (46/48-125/127 н. э.), историк
Метод исчерпывания и сейчас известен под таким названием. Само выражение «метод исчерпывания» было впервые введено бельгийским математиком Грегуаром де Сен-Венсаном (1584-1667), а затем распространилось повсеместно.