Метод исчерпания в античной математике¶

Метод исчерпания — античный математический приём для доказательства утверждений о площадях и объёмах фигур, основанный на последовательном приближении к искомой величине с помощью вписанных или описанных многоугольников (многогранников). В отличие от современного предельного перехода, метод исчерпания не оперировал бесконечностью, а использовал логическую процедуру двойного отрицания: показывалось, что искомая величина не может быть ни больше, ни меньше некоторого значения, после чего заключалось, что она ему равна.

¶Принцип метода

Основой метода служит лемма, приписываемая Евдоксу Книдскому (около 408—355 годов до н. э.), известная как аксиома Архимеда или лемма Евдокса: для любых двух положительных величин, одна из которых больше другой, всегда можно, отнимая от большей величины её половину (или любую часть, большую половины), превзойти меньшую величину. Иными словами, последовательность остатков может стать сколь угодно малой.

Доказательство строится от противного. Пусть требуется установить, что площадь фигуры A равна величине B. Сначала в фигуру вписывается последовательность многоугольников, площади которых всё более приближаются к площади фигуры. Предположим, что площадь A больше B. Тогда разность A − B есть некоторая положительная величина. Согласно лемме, можно построить вписанный многоугольник, площадь которого отличается от A меньше, чем на эту разность. Получается, что площадь многоугольника больше B, что противоречит тому, что он целиком лежит внутри фигуры, площадь которой равна B. Аналогично опровергается предположение, что A меньше B. Остаётся единственная возможность — равенство.

¶Исторический очерк

¶Досократики и софисты

Элементы метода встречаются ещё у софистов. Антифонт (V век до н. э.) пытался квадратурой круга, вписывая в него правильные многоугольники и удваивая число сторон, полагая, что в пределе многоугольник совпадёт с окружностью. Бризон из Гераклеи предлагал одновременно рассматривать вписанные и описанные фигуры. Однако строгого логического обоснования эти попытки не имели.

¶Евдокс Книдский

Евдокс, живший в первой половине IV века до н. э., считается создателем строгой версии метода. Он доказал, что объёмы пирамиды и конуса составляют треть объёма призмы и цилиндра с тем же основанием и высотой, а также что площади кругов относятся как квадраты их диаметров. Работы Евдокса не сохранились, но их содержание реконструируется по позднейшим комментариям и ссылкам Архимеда.

¶Архимед Сиракузский

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

¶Поздняя античность

После Архимеда метод применялся реже. Папп Александрийский (III—IV века н. э.) и Теон Александрийский (IV век) комментировали и пересказывали классические доказательства. В VI веке Евтокий Аскалонский составил обширные комментарии к трудам Архимеда, сохранив для потомков детали многих доказательств.

¶Отличия от анализа бесконечно малых

Метод исчерпания принципиально отличается от интегрального исчисления, созданного в XVII веке Ньютоном и Лейбницем. Основные различия:

• Конечность операций: метод исчерпания оперирует только конечным числом шагов и не требует рассмотрения бесконечных последовательностей.
• Доказательство от противного: вместо прямого вычисления предела метод устанавливает равенство через исключение неравенств.
• Отсутствие алгоритма: метод не даёт способа вычисления, а лишь подтверждает уже известный или угаданный результат.

¶Значение и наследие

Метод исчерпания стал вершиной античной математики. Он обеспечил строгость, которой не хватало более ранним подходам, и оставался эталоном доказательности до XVII века. На него опирались математики Нового времени: Бонавентура Кавальери при создании «метода неделимых» и Исаак Барроу при разработке геометрических основ анализа. В современной математике идеи метода исчерпания трансформировались в теорию меры и формальное определение предела, однако сама логическая схема — доказательство через исключение — сохранилась в стандартных доказательствах теорем о площадях и объёмах в курсах геометрии.