 Method of exhaustion

This article is about the method of finding the area of a shape using limits. For the method of proof, see Proof by exhaustion.
The method of exhaustion (methodus exhaustionibus, or méthode des anciens) is a method of finding the area of a shape by inscribing inside it a sequence of polygons whose areas converge to the area of the containing shape. If the sequence is correctly constructed, the difference in area between the nth polygon and the containing shape will become arbitrarily small as n becomes large. As this difference becomes arbitrarily small, the possible values for the area of the shape are systematically "exhausted" by the lower bound areas successively established by the sequence members. The idea originated with Antiphon, although it is not entirely clear how well he understood it.^{[1]} The theory was made rigorous by Eudoxus. The first use of the term was in 1647 by Grégoire de SaintVincent in Opus geometricum quadraturae circuli et sectionum .
The method of exhaustion typically required a form of proof by contradiction, known as reductio ad absurdum. This amounts to finding an area of a region by first comparing it to the area of a second region (which can be “exhausted” so that its area becomes arbitrarily close to the true area). The proof involves assuming that the true area is greater than the second area, and then proving that assertion false, and then assuming that it is less than the second area, and proving that assertion false, too.
The method of exhaustion is seen as a precursor to the methods of calculus. The development of analytical geometry and rigorous integral calculus in the 17th19th centuries (in particular a rigorous definition of limit) subsumed the method of exhaustion so that it is no longer explicitly used to solve problems. An important early intermediate step was Cavalieri's principle, also termed the "method of indivisibles", which was a bridge between the method of exhaustion and fullfledged integral calculus.
Contents
Use by Euclid
Euclid used the method of exhaustion to prove the following six propositions in the book 12 of Elements.
 Proposition 2
 The area of a circle is proportional to the square of its diameter.
 Proposition 5
 The volume of a tetrahedron of the same height is proportional to the triangular area of the base each other.
 Proposition 10
 The volume of a cone is a third of the volume of the corresponding cylinder which has the same base and height.
 Proposition 11
 The volume of a cone (or cylinder) of the same height is proportional to the area of the base.
 Proposition 12
 The volume of a cone (or cylinder) that is the similar to another is proportional to the cube of the ratio of the diameters of the bases.
 Proposition 18
 The volume of a sphere is proportional to the cube of its diameter.
Use by Archimedes
Part of a series of articles on the mathematical constant π Uses Area of disk · Circumference
Use in other formulaeProperties Irrationality · Transcendence
Less than 22/7Value Approximations · Memorization People Archimedes · Liu Hui · Zu Chongzhi
Madhava of Sangamagrama
William Jones · John Machin
John Wrench · Ludolph van CeulenHistory Chronology · Book In culture Legislation · Holiday Related topics Squaring the circle · Basel problem
Tau (τ) · Other topics related to πArchimedes used the method of exhaustion as a way to compute the area inside a circle by filling the circle with a polygon of a greater area and greater number of sides. The quotient formed by the area of this polygon divided by the square of the circle radius can be made arbitrarily close to π as the number of polygon sides becomes large, proving that the area inside the circle of radius r is πr^{2}, π being defined as the ratio of the circumference to the diameter. Incidentally, he also provided the celebrated bounds 3+10/71 < π < 3 + 1/7 comparing the perimeters of the circle with the perimeters of the inscribed and circumscribed 96sided regular polygons.
Other results he obtained with the method of exhaustion included^{[2]}
 The area bounded by the intersection of a line and a parabola is 4/3 that of the triangle having the same base and height;
 The area of an ellipse is proportional to a rectangle having sides equal to its major and minor axes;
 The volume of a sphere is 4 times that of a cone having a base and height of the same radius;
 The volume of a cylinder having a height equal to its diameter is 3/2 that of a sphere having the same diameter;
 The area bounded by one spiral rotation and a line is 1/3 that of the circle having a radius equal to the line segment length;
 Use of the method of exhaustion also led to the successful evaluation of a geometric series (for the first time).
See also
Notes and references
 ^ The MacTutor History of Mathematics archive
 ^ Smith, David E (1958). History of Mathematics. New York: Dover Publications. ISBN 0486204308.
Categories: Volume
 Euclidean geometry
 Integral calculus
 History of mathematics
Wikimedia Foundation. 2010.
Look at other dictionaries:
exhaustion, method of — ▪ mathematics in mathematics, technique invented by the classical Greeks to prove propositions regarding the areas and volumes of geometric figures. Although it was a forerunner of the integral calculus, the method of exhaustion used… … Universalium
Exhaustion — Ex*haus tion, n. [Cf. F. exhaustion.] 1. The act of draining out or draining off; the act of emptying completely of the contents. [1913 Webster] 2. The state of being exhausted or emptied; the state of being deprived of strength or spirits. [1913 … The Collaborative International Dictionary of English
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
The Method of Mechanical Theorems — is a work by Archimedes which contains the first attested explicit use of infinitesimals.[1] The work was originally thought to be lost, but was rediscovered in the celebrated Archimedes Palimpsest. The palimpsest includes Archimedes account of… … Wikipedia
IPv4 address exhaustion — IP address exhaustion refers to the decreasing supply of unallocated IPv4 addresses. This depletion has been a concern since the 1980s when the Internet started to experience dramatic growth. As a result, this has been the driving factor in… … Wikipedia
null method — Zero e ro, n.; pl. {Zeros}or {Zeroes}. [F. z[ e]ro, from Ar. [,c]afrun, [,c]ifrun, empty, a cipher. Cf. {Cipher}.] [1913 Webster] 1. (Arith.) A cipher; nothing; naught. [1913 Webster] 2. The point from which the graduation of a scale, as of a… … The Collaborative International Dictionary of English
Zero method — Zero e ro, n.; pl. {Zeros}or {Zeroes}. [F. z[ e]ro, from Ar. [,c]afrun, [,c]ifrun, empty, a cipher. Cf. {Cipher}.] [1913 Webster] 1. (Arith.) A cipher; nothing; naught. [1913 Webster] 2. The point from which the graduation of a scale, as of a… … The Collaborative International Dictionary of English
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
geometry — /jee om i tree/, n. 1. the branch of mathematics that deals with the deduction of the properties, measurement, and relationships of points, lines, angles, and figures in space from their defining conditions by means of certain assumed properties… … Universalium
Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… … History of philosophy