Exhaustion, method of

From Encyclopedia of Mathematics
Revision as of 16:57, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A method of proof used by mathematicians of antiquity in order to determine areas and volumes. The name "method of exhaustion" was introduced in the 17th century.

The typical scheme of proof by the method of exhaustion can, in modern terms, be explained as follows. In order to determine a quantity one constructs a certain sequence of quantities such that


one assumes that a is known such that


and that for any integer and all sufficiently large the inequalities


are fulfilled, with a constant. From the modern point of view, to transfer (3) to


one only has to notice that (1)–(3) imply

The mathematicians of antiquity, not having developed the theory of limits (cf. Limit), used a reductio ad absurdum argument here: they proved that neither of the inequalities , is possible. To disprove the first one, they established by the Archimedean axiom that for there exists a such that , and (1) then led to

which contradicts the second inequality in (3). The other assertion is disproved in a similar way. Hence (4) remains.

The introduction of the method of exhaustion and of the axiom that lies at its foundation is ascribed to Eudoxus of Cnidus. The method was extensively used by Eudoxus, while Archimedes used it with extraordinary skill and variety. E.g., in order to determine the area of a segment of a parabola, Archimedes constructs the areas of segments that are stepwise "exhausting" the area .


Instead of the limit transition

Archimedes proves geometrically that for any ,

Introducing the area

he obtains

and, following the reasoning explained above, finishes his proof with



[a1] C.B. Boyer, "A history of mathematics" , Wiley (1968) pp. 100; 142–146
How to Cite This Entry:
Exhaustion, method of. Encyclopedia of Mathematics. URL:,_method_of&oldid=11968
This article was adapted from an original article by BSE-3 (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article