Следовательно, достаточно рассматривать либо вписанные, либо описанные многоугольники, так как в пределе они совпадут.
Именно так рассуждал Архимед. Вместо того чтобы рассмотреть многоугольник с п сторонами, он начал с правильного шестиугольника и последовательно удваивал число его сторон. Он дошел до многоугольника с 96 сторонами и вычислил приближенное значение числа π и площади круга с очень хорошей точностью:
Но заслуга Архимеда состоит не в том, что он провел такие трудоемкие расчеты. Во-первых, он показал, что большую часть вычислений можно опустить, если на данном этапе известны периметры и площади вписанного и описанного многоугольника — периметры и площади соответствующих многоугольников на следующем этапе можно вычислить как среднее гармоническое и среднее геометрическое.
Во-вторых, он разработал итеративный метод, на каждом шаге которого полученный результат был точнее, чем на предыдущем. Архимед открыл путь, ведущий к бесконечности. Пройти по этому пути до конца невозможно, но вполне возможно вычислить, что ждет нас в конце.
* * *
АРХИМЕД В XXI ВЕКЕ
С помощью тригонометрии и современных технологий можно повторить вычисления Архимеда, используя рекурсивный метод, в котором применяются правильные многоугольники с числом сторон, равным 2n. Площадь 2n-угольника, вписанного в окружность единичного радиуса, равна:
Тригонометрия помогает увидеть, что закон, которому подчиняются площади многоугольников, определяется синусами углов вида π/(2n). Этот закон позволяет найти площадь круга Sc:
Компьютер способен вычислить площадь многоугольника с 1024·210 сторонами по предыдущей формуле и показать, что результат близок к ожидаемому: S1024 = 3,1415923…
* * *
Круг — простейшая из криволинейных фигур. Как же вычислить площадь любой другой фигуры? Зная формулу, которая описывает часть кривой, ограничивающей фигуру, математики могут найти площадь этой фигуры с помощью метода, схожего с методом Архимеда. Допустим, что мы хотим найти площадь фигуры, ограниченной осью абсцисс и кривой у = х3 между началом координат (0,0) и точкой (1,0).
Эта фигура на иллюстрации выделена серым цветом:
Первым приближением искомой площади будет площадь прямоугольного треугольника с вершинами в точках (0,0), (1,0) и (1,1), равная 1/2. Однако это значение чрезвычайно далеко от истинного.
Метод, о котором мы расскажем далее, называется методом исчерпывания. Архимед использовал его более 2000 лет назад для вычисления площади, ограниченной участком параболы. Первым приближением площади искомой фигуры была площадь треугольника, по форме напоминающего эту фигуру. Теперь мы будем вычислять площадь прямоугольника.
Разделим интервал [0,1] на четыре равных интервала и построим на каждом из них по два прямоугольника — высота одного из них будет равна значению функции на левом конце интервала, высота другого — значению функции на правом конце интервала. Так как f(0) = 03 = 0, высота первого прямоугольника будет равна 0:
Искомая площадь S заключена между суммой площадей меньших прямоугольников S1 (выделены светло-серым) и больших прямоугольников Ss (выделены темно-серым). Точнее говоря, искомая площадь будет больше первого значения и меньше второго. Вычислим обе эти площади с учетом того, что основания всех прямоугольников одинаковы и равны 1/4, отличаются лишь их высоты:
Среднее значение этих площадей равно: S ~= (S1 + Ss)/2 = 0,265625. Найдем более точное значение площади, разбив исходный интервал на большее число частей:
Теперь основания всех прямоугольников равны 1/8. И вновь сумма площадей прямоугольников, выделенных темно-серым (Ss), будет больше искомой площади, которая превышает сумму площадей прямоугольников, выделенных светло-серым (S1).
Их среднее значение равно:
S ~= 0.5·(Ss + S1) = 0,2539…
Если мы продолжим этот процесс и будем последовательно делить интервал [0,1] на все более мелкие части, то в пределе мы разделим его на бесконечное число частей, получим бесконечное число прямоугольников, а сумма их площадей будет равна площади фигуры, заключенной между графиком кривой и осями координат.