метод доказательства, применявшийся математиками древности при нахождении площадей и объёмов. Название "метод исчерпывания" введено в 17 в.

Типичная схема доказательства при помощи И. м. может быть изложена в современных обозначениях так: для определения величины А строится некоторая последовательность величин C₁, C₂, ..., C_n, ... так, что

C_n < A; (1)

предполагают также известным такое В, что

C_n < В (2)

и при любом целом К для достаточно больших n удовлетворяются неравенства

К (A - C_n) < D, К (В - C_n) < D, (3)

где D - постоянно. С современной точки зрения, для перехода от неравенств (3) к равенству

А = В (4)

достаточно заметить, что из условий (1), (2) и (3) следует

Математики древности, не располагавшие теорией Пределов, обращались к доказательству от противного и доказывали невозможность каждого из неравенств А < В, В < А. Чтобы опровергнуть первое из них, при помощи аксиомы Евдокса - Архимеда (см. Архимеда аксиома) устанавливали, что для R = B - А существует такое К, что KR > D и в силу условия (1) получали

К (В - C_n) > К (В - A) > D,

что противоречит второму из неравенств (3). Аналогично опровергалось другое предположение. После этого оставалось принять только равенство (4).

Введение И. м. вместе с лежащей в его основе аксиомой приписывается Евдоксу Книдскому. Этим методом широко пользовался Евклид, а с особенным искусством и разнообразием - Архимед. Например, для определения площади сегмента А параболы Архимед строит площади C₁, C₂, ..., "исчерпывающие" при их постепенном нарастании площадь A сегмента, по схеме, ясной из чертежа. При этом

Вместо того чтобы прибегнуть к предельному переходу,

Архимед геометрически доказывает, что при любом n

Вводя площадь

Архимед получает, что

и, следуя изложенному выше порядку, заканчивает доказательство того, что

Рис. к ст. Исчерпывания метод.

метод приближённого нахождения корня x₀ уравнения f (x) = 0, называемый также методом касательных. Н. м. состоит в том, что по исходному ("первому") приближению х = a₁ находят второе (более точное), проводя касательную к графику (см. рис.) у = f (x) в точке А [а₁ f (a₁)] до её пересечения с осью Ox; точка пересечения х = a₁ - f (a₁)/f'(a₁) и принимается за новое значение a₂. корня. Повторяя в случае необходимости этот процесс, получают всё более и более точные приближения a₂, a₃,... корня x₀ при условии, что производная f'(x) монотонна и сохраняет знак на сегменте, содержащем x₀. Ошибка ε₂ = x₀ -a₂ нового значения a₂ связана со старой ошибкой ε₁ = x₀ - a₁ формулой , где - значение второй производной функции f (x) в некоторой точке x, лежащей между x₀ и a₁. Иногда рекомендуется Н. м. применять одновременно с к.-л. другим способом, например с Линейного интерполирования методом. Н. м. допускает обобщения, которые позволяют применять его для решения уравнений F (x) = 0 в нормированных пространствах (F- оператор в этом пространстве), в частности для решения систем уравнений и функциональных уравнений. Метод разработан И. Ньютоном в 1669.

Рис. к ст. Ньютона метод.