method of exhaustion

aesthetics  →
being  →
complexity  →
database  →
enterprise  →
ethics  →
fiction  →
history  →
internet  →
knowledge  →
language  →
licensing  →
linux  →
logic  →
method  →
news  →
perception  →
philosophy  →
policy  →
purpose  →
religion  →
science  →
sociology  →
software  →
truth  →
unix  →
wiki  →
essay  →
feed  →
help  →
system  →
wiki  →
critical  →
discussion  →
forked  →
imported  →
original  →
method of exhaustion
[ temporary import ]
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{about|the method of finding the area of a shape using limits|the method of proof|Proof by exhaustion}}The method of exhaustion (, or ) 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 n-th 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 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.


(File:Grégoire de Saint-Vincent (1584-1667).jpg|thumb|150px|right|Gregory of Saint Vincent)The idea originated in the late 5th century BC with Antiphon, although it is not entirely clear how well he understood it.WEB,weblink Antiphon (480 BC-411 BC),, The theory was made rigorous a few decades later by Eudoxus of Cnidus, who used it to calculate areas and volumes. It was later reinvented in China by Liu Hui in the 3rd century AD in order to find the area of a circle.JOURNAL, Chinese studies in the history and philosophy of science and technology, 130, A comparison of Archimedes' and Liu Hui's studies of circles, Liu, Dun, Dainian, Fan, Robert Sonné, Cohen, Springer, 1966, 0-7923-3463-9, 279,weblink , Chapter , p. 279 The first use of the term was in 1647 by Gregory of Saint Vincent in Opus geometricum quadraturae circuli et sectionum.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 17th-19th centuries subsumed the method of exhaustion so that it is no longer explicitly used to solve problems. An important alternative approach was Cavalieri's principle, also termed the "method of indivisibles", which eventually evolved into the infinitesimal calculus of Roberval, Torricelli, Wallis, Leibniz, and others.


Euclid used the method of exhaustion to prove the following six propositions in the book 12 of his Elements.
Proposition 2
The area of circles is proportional to the square of their diameters.WEB,weblink Euclid's Elements, Book XII, Proposition 2,,
Proposition 5
The volumes of two tetrahedra of the same height are proportional to the areas of their triangular bases.WEB,weblink Euclid's Elements, Book XII, Proposition 5,,
Proposition 10
The volume of a cone is a third of the volume of the corresponding cylinder which has the same base and height.WEB,weblink Euclid's Elements, Book XII, Proposition 10,,
Proposition 11
The volume of a cone (or cylinder) of the same height is proportional to the area of the base.WEB,weblink Euclid's Elements, Book XII, Proposition 11,,
Proposition 12
The volume of a cone (or cylinder) that is similar to another is proportional to the cube of the ratio of the diameters of the bases.WEB,weblink Euclid's Elements, Book XII, Proposition 12,,
Proposition 18
The volume of a sphere is proportional to the cube of its diameter.WEB,weblink Euclid's Elements, Book XII, Proposition 18,,


(File:Archimedes pi.svg|thumb|right|300px|Archimedes used the method of exhaustion to compute the area inside a circle)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 Ï€r2, Ï€ being defined as the ratio of the circumference to the diameter (C/d) or of the area of the circle to the square of its radius (A/r²).He also provided the bounds 3 + 10/71 

- content above as imported from Wikipedia
- "method of exhaustion" does not exist on GetWiki (yet)
- time: 4:05pm EDT - Sat, Aug 24 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
Eastern Philosophy
History of Philosophy
M.R.M. Parrott