CINXE.COM

<html> <head><script type="text/javascript" src="/_static/js/bundle-playback.js?v=HxkREWBo" charset="utf-8"></script> <script type="text/javascript" src="/_static/js/wombat.js?v=txqj7nKC" charset="utf-8"></script> <script>window.RufflePlayer=window.RufflePlayer||{};window.RufflePlayer.config={"autoplay":"on","unmuteOverlay":"hidden"};</script> <script type="text/javascript" src="/_static/js/ruffle/ruffle.js"></script> <script type="text/javascript"> __wm.init("https://web.archive.org/web"); __wm.wombat("http://jwilson.coe.uga.edu:80/emt668/EMAT6680.F99/Wise/essay7/essay7.htm","20190601004355","https://web.archive.org/","web","/_static/", "1559349835"); </script> <link rel="stylesheet" type="text/css" href="/_static/css/banner-styles.css?v=S1zqJCYt" /> <link rel="stylesheet" type="text/css" href="/_static/css/iconochive.css?v=3PDvdIFv" />  <meta name="GENERATOR" content="Adobe PageMill 3.0 Mac"> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> <meta name="Template" content="C:\PROGRAM FILES\MICROSOFT OFFICE\OFFICE\html.dot"> <meta name="GENERATOR" content="Microsoft FrontPage Express 2.0"> <title>Euclidís Elements, by far his most famous and important work, is a comprehensive collection of the mathematical knowledge discovered by the classical Greeks, and thus represents a mathematical history of the age just prior to Euclid and the development o</title> </head> <body bgcolor="#ffffff" link="#0000ff"> <hr align="LEFT"> <center><img src="/web/20190601004355im_/http://jwilson.coe.uga.edu/emt668/EMAT6680.F99/Wise/essay7/UgaLogo.gif" width="333" height="105" naturalsizeflag="0" align="BOTTOM"> Department of Mathematics Education Dr. J. Wilson, EMAT 6690</center> <hr align="LEFT"> <center>Eudoxus Influence on Euclids Elements with a close look at The Method of Exhaustion by David Wise</center> <hr align="LEFT"> Euclids Elements, by far his most famous and important work, is a comprehensive collection of the mathematical knowledge discovered by the classical Greeks, and thus represents a mathematical history of the age just prior to Euclid and the development of a subject, i.e. Euclidean Geometry. There is question as to whether the Elements was meant to be a treatise for mathematics scholars or a text for students (Kline 57). Regardless of the original purpose, the thirteen books that comprise the Elements became the "centre of mathematical teaching for 2000 years" (<a href="https://web.archive.org/web/20190601004355/http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Euclid.html">Euclid of Alexandria 3</a>). Relatively little is known about the classical period, but historians are certain that Euclid did not discover most of the results in the Elements. However, Euclids brilliance as a mathematician is evident in that he chose the axioms, arranged the theorems, and applied a new level of rigor to proofs. It is believed that Euclid acquired a great deal of the material for the Elements from the Platonists, Eudoxus, Theaetetus, and others. In fact, Eudoxus work is the basis for Books V and XII of the Elements (Kline 57). Book V is considered by most authorities to be the greatest achievement of Euclidean Geometry because it extended the Pythagorean theory of proportion. The Pythagorean theory of proportion only dealt with commensurable magnitudes, which are magnitudes whose ratio is restricted to those that can be expressed by a ratio of whole numbers. Euclid relied upon Eudoxus work with proportions to develop Book V, which extended the theory of proportions to include incommensurable ratios and still avoided irrational numbers. Book V was crucial in the development of the remaining books of the Elements because it provided the theory for all kinds of magnitudes. In fact, Book V played a key role in the subsequent history of mathematics in that Eudoxus theory of proportion required continuous quantities to be treated entirely on a geometric basis. It was not until about 1800 that a theory of rational numbers was developed to provide a foundation for irrational numbers (Kline 69). <dl> <dt>In Book XII, Euclid proves eighteen propositions on areas and volumes bounded by curves. Eudoxus theory of proportion provides a necessary foundation, but it is Euclids use of Eudoxus method of exhaustion that is the key element to providing rigorous proofs. The method of exhaustion is a modern term that came into use during the seventeen century and refers to the approximation of a figure using a sequence of inscribed figures within it. The successive inscribed figures "exhaust" the original figure. The important feature of this principle is that the sequence of approximations is made so that the difference between the original figure and the inscribed figure decreases by at least half at each step of the sequence. The method of exhaustion was essential in proving propositions 2, 5, 10, 11, 12, and 18 of Book XII (Kline 83). </dl> Perhaps two of the most easily recognized propositions from Book XII by anyone that has taken high school geometry are propositions 2 and 18: <ul> <li>Proposition 2. Circles are to one another as the squares on the diameters. <li>Proposition 18. Spheres are to one another in triplicate ratio of their diameters. (<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">Euclid <cite>Elements</cite> toc,12 1</a>) </ul> Proposition 2 is stating that circles are proportional to the squares of their diameters (C1/C2 = (d1)2/(d2)2 ), while proposition 18 is stating that circles are proportional to the cubes of their diameters (C1/C2 = (d1)3/(d2)3 ). While these propositions are routinely shrugged at by our students as being simplistic, known facts, Euclids proofs are quite rigorous. High school students can benefit greatly by studying Eudoxus method of exhaustion. We will examine the proof of proposition 2 in detail, paying particular attention to the use of the method of exhaustion. In Heaths translation of the Elements, Euclids proof of proposition 2 is as follows. At the end of each appropriate paragraph, a reference to the proposition(s) used is provided: <dir> <li>"Circles are to one another as the squares on their diameters. <img src="/web/20190601004355im_/http://jwilson.coe.uga.edu/emt668/EMAT6680.F99/Wise/essay7/Image118.gif" width="422" height="180" naturalsizeflag="0" align="BOTTOM"> (diagram provided by <a href="https://web.archive.org/web/20190601004355/http://aleph0.clarku.edu/~djoyce/java/elements/bookXII/propXII2.html">Joyce</a>)  Let ABCD, EFGH be circles, and BD, FH their diameters; I say that, as the circle ABCD is to the circle EFGH, so is the square on BD to the square on FH. For, if the square on BD is not to the square on FH as the circle ABCD is to the circle EFGH, then, as the square on BD is to the square on FH, so will the circle ABCD be either to some less area than the circle EFGH, or to a greater. First, let it be in that ratio to a less area S. Let the square EFGH be inscribed in the circle EFGH; then the inscribed square is greater than the half of the circle EFGH, inasmuch as, if through the points E, F, G, H we draw tangents to the circle, the square EFGH is half the square circumscribed about the circle, and the circle is less than the circumscribed square; hence the inscribed square EFGH is greater than the half of the circle EFGH. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">IV. 6 and III. 17</a>] Let the circumferences EF, FG, GH, HE be bisected at the points K, L, M, N, and let EK, KF, FL, LG, GM, MH, HN, NE be joined; therefore each of the triangles EKF, FLG, GMH, HNE is also greater than the half of the segment of the circle about it, inasmuch as, if through the points K, L, M, N we draw tangents to the circle and complete the parallelograms on the straight lines EF, FG, GH, HE, each of the triangles EKF, FLG, GMH, HNE will be half of the parallelogram about it, while the segment about it is less than the parallelogram; hence each of the triangles EKF, FLG, GMH, HNE is greater than the half of the segment of the circle about it. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">III. 17</a>] Thus, by bisecting the remaining circumferences and joining straight lines, and by doing this continually, we shall leave some segments of the circle which will be less than the excess by which the circle EFGH exceeds the area S. For it was proved in the first theorem of the tenth book that, if two unequal magnitudes be set out, and if from the greater there be subtracted a magnitude greater than the half, and from that which is left a greater than the half, and if this be done continually, there will be left some magnitude which will be less than the lesser magnitude set out. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">X. 1</a>] Let segments be left such as described, and let the segments of the circle EFGH on EK, KF, FL, LG, GM, MH, HN, NE be less than the excess by which the circle EFGH exceeds the area S. Therefore the remainder, the polygon EKFLGMHN, is greater than the area S. Let there be inscribed, also, in the circle ABCD the polygon AOBPCQDR similar to the polygon EKFLGMHN; therefore, as the square on BD is to the square on FH, so is the polygon AOBPCQDR to the polygon EKFLGMHN. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">XII. 1</a>] But, as the square on BD is to the square on FH, so also is the circle ABCD to the area S; therefore also, as the circle ABCD is to the area S, so is the polygon AOBPCQDR to the polygon EKFLGMHN; therefore, alternately, as the circle ABCD is to the polygon inscribed in it, so is the area S to the polygon EKFLGMHN. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">V. 11 and V. 16</a>] But the circle ABCD is greater than the polygon inscribed in it; therefore the area S is also greater than the polygon EKFLGMHN. But it is also less: which is impossible. Therefore, as the square on BD is to the square on FH, so is not the circle ABCD to any area less than the circle EFGH. Similarly we can prove that neither is the circle EFGH to any area less than the circle ABCD as the square on FH is to the square on BD. I say next that neither is the circle ABCD to any area greater than the circle EFGH as the square on BD is to the square on FH. For, if possible, let it be in that ratio to a greater area S. Therefore, inversely, as the square on FH is to the square on DB, so is the area S to the circle ABCD. But, as the area S is to the circle ABCD, so is the circle EFGH to some area less than the circle ABCD; therefore also, as the square on FH is to the square on BD, so is the circle EFGH to some area less than the circle ABCD: which was proved impossible. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">Lemma and V. 11</a>] Therefore, as the square on BD is to the square on FH, so is not the circle ABCD to any area greater than the circle EFGH. And it was proved that neither is it in that ratio to any area less than the circle EFGH; therefore, as the square on BD is to the square on FH, so is the circle ABCD to the circle EFGH. Therefore etc. Q. E. D. <h4>LEMMA.</h4> I say that, the area S being greater than the circle EFGH, as the area S is to the circle ABCD, so is the circle EFGH to some area less than the circle ABCD. For let it be contrived that, as the area S is to the circle ABCD, so is the circle EFGH to the area T. I say that the area T is less than the circle ABCD. For since, as the area S is to the circle ABCD, so is the circle EFGH to the area T, therefore, alternately, as the area S is to the circle EFGH, so is the circle ABCD to the area T. [<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">V. 16</a>] But the area S is greater than the circle EFGH; therefore the circle ABCD is also greater than the area T. Hence, as the area S is to the circle ABCD, so is the circle EFGH to some area less than the circle ABCD. Q. E. D." (<a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">Euclids Elements 12.2 1</a>). </dir> <dl> <dt>Euclid deals with three cases when comparing the ratio of the squares of BD:FH to the ratio of the circles ABCD:EFGH. The first case is that the ratio of the squares BD:FH equals ABCD:S where S is some area less than circle EFGH. Euclid uses most of the proof to refute this case by employing Eudoxus method of exhaustion. In order to approximate the circles by successive inscribed polygons, the square EFGH is inscribed in the circle EFGH, and it is shown that the remainder is less than half the circle. The circumferences are bisected to construct an octagon EKFLGMHN, and again the remainder of the circle is shown to be less than half the previous remainder. This process can be continued as much as one wishes, constructing polygons with 16, 32, 64, etc., sides which increasingly approximate the circumscribed circle. Each successive polygon leaves a remainder less than half of the previous remainder. At some stage of this process, the circle EFGH exceeds the area S by some finite amount, and using proposition X. 1, the remainder will be less than the excess of circle EFGH over S. Euclid uses the octagon EKFLGMHN stage throughout the rest of the proof. More specifically, </dl> <center>circle EFGH octagon EKFLGMHN < circle EFGH area S, therefore</center> <center>area S < octagon EKFLGMHN.</center> <dl> <dt>At this step in the proof a similar octagon AOBPCQDR is inscribed in circle ABCD. Thus, </dl> <center>circle ABCD : area S = (BC)2:(FH)2, and</center> <center>(BC)2:(FH)2 = octagon AOBPCQDR : octagon EKFLGMHN, by proposition XII. 1, so</center> <center>circle ABCD : octagon AOBPCQDR = area S : octagon EKFLGMHN.</center> <center>However, circle ABCD > octagon AOBPCQDR, so</center> <center>area S > octagon EKFLGMHN.</center> <dl> <dt>This last statement contradicts the prior statement that area S < octagon EKFLGMHN (<a href="https://web.archive.org/web/20190601004355/http://aleph0.clarku.edu/~djoyce/java/elements/bookXII/propXII2.html">Joyce 1</a>). <dt>  <dt>The second case is that the ratio of the squares BD:FH equals ABCD:S, where S is some area greater than circle EFGH. Euclid inverts this statement to the statement that the ratio of the squares FB:BD equals EFGH to some area less than circle ABCD, which is the first case that has been contradicted. Thus, by proving a contradiction in the first two cases, Euclid proves the third case of the ratios of the squares BD:FH equals the ratio of the circles ABCD:EFGH. As a note, modern mathematicians point out that there is a gap in Euclids last step of this proof, in that he never showed that the three cases he dealt with were the only three cases (<a href="https://web.archive.org/web/20190601004355/http://aleph0.clarku.edu/~djoyce/java/elements/bookXII/propXII2.html">Joyce 1</a>). <dd>  <dt>Euclid relied on the method of exhaustion in much the same way for proposition XII. 18, that spheres are to one another in triplicate ratio of their diameters, but instead of inscribing polygons to exhaust circles, polyhedra were inscribed to exhaust spheres. In Book XII of the Elements, Euclid demonstrates the rigor, the power, and the beauty of Eudoxus method of exhaustion. This method provided the ability to determine areas and volumes bounded by curves without the use of limits and is considered to be the predecessor of integral calculus (<a href="https://web.archive.org/web/20190601004355/http://www.britannica.com/bcom/eb/article/6/0%2C5716%2C33776+3%2C00.html">Aulie 1</a>). Eudoxus, through his work in extending the theory of proportion and inventing the method of exhaustion, played a significant role in Euclids development of the Elements, considered to be one of the greatest works in history. </dl> <hr align="LEFT"> <center>Works Cited and Suggested Related Resources</center> Aulie, Richard Paul. (Feb. 1, 2000). Eudoxus Of Cnidus, Method of exhaustion. Britannica.com. <a href="https://web.archive.org/web/20190601004355/http://www.britannica.com/bcom/eb/article/6/0%2C5716%2C33776+3%2C00.html">http://www.britannica.com/bcom/eb/article/6/0,5716,33776+3,00.html</a>. Heath, Thomas L. The Thirteen Books of Euclids Elements, 3 vols., Dover (reprint), 1956. Joyce, D.E. (Feb. 2, 2000). Euclids Elements Book XII Proposition 2. (1996). Clark University. <a href="https://web.archive.org/web/20190601004355/http://aleph0.clarku.edu/~djoyce/java/elements/bookXII/propXII2.html">http://aleph0.clarku.edu/~djoyce/java/elements/bookXII/propXII2.html</a>. Kline, Morris. Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press, 1972. No author cited. (Feb. 2, 2000). Euclid of Alexandria. School of Mathematics and Statistics, University of St. Andrews, Scotland. (January 1999). <a href="https://web.archive.org/web/20190601004355/http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Euclid.html">http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Euclid.html</a>. No author cited. (Feb. 1, 2000). Euclid <cite>Elements</cite> toc,12 1. Perseus Project, Tufts University. <a href="https://web.archive.org/web/20190601004355/http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath">http://www.perseus.tufts.edu/cgi-bin/text?lookup=euc.+toc,12&vers=english;heath</a>. <hr align="LEFT"> If you have any comments that would be useful, especially for use at the high school level, please send e-mail to <a href="https://web.archive.org/web/20190601004355/mailto:esiwdivad@yahoo.com">esiwdivad@yahoo.com</a>. <a href="https://web.archive.org/web/20190601004355/http://jwilson.coe.uga.edu/EMT668/EMAT6680.F99/Wise/classpg/David.html">Return</a> to my homepage. <hr align="LEFT"> </body> </html>