{"id":211,"date":"2006-11-14T14:54:34","date_gmt":"2006-11-14T14:54:34","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2006\/11\/14\/archimedes-integration-of-the-circle\/"},"modified":"2006-11-14T14:54:34","modified_gmt":"2006-11-14T14:54:34","slug":"archimedes-integration-of-the-circle","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2006\/11\/14\/archimedes-integration-of-the-circle\/","title":{"rendered":"Archimedes Integration of the Circle"},"content":{"rendered":"<p>A lot of people have asked me to write something about &#8220;Archimedes Integration&#8221;, and I&#8217;m finally getting around to fulfilling that request.<br \/>\nAs most of you already know, Archimedes was a philosopher in ancient Greece who, among other things, studied mathematics. He invented a technique for computing areas that&#8217;s the closest thing to calculus before Newton and Leibniz. Modern mathematicians call Archimedes technique &#8220;the method of exhaustion&#8221;.<br \/>\nThe basic idea of the method of exhaustion is to take the figure whose area you want to compute, and to divide it into pieces whose area you already know how to compute; and to make the divisions smaller and smaller, *exhausting* the area not included.<\/p>\n<p><!--more--><br \/>\nFor a simple example, we can start with a circle, and inscribe it with *equilateral* triangles that run from the center to the edge of the circle. For each of those triangles, the length of the base is the radius *r* of the circle; the height of the triangle is *r&times;(sqrt(3)\/2)*. So the area of one triangle is *(1\/2)(sqrt(3)\/2)r<sup>2<\/sup>; and the approximate area of the circle with six triangles inscribed is *6(1\/4)(sqrt(3)r<sup>2<\/sup> = (3sqrt(3)\/2)r<sup>2<\/sup>*  or roughly 2.6r<sup>2<\/sup>. Not bad, but not great. Now, Archimedes wouldn&#8217;t have said it quite like that. You see, the Greeks didn&#8217;t use equational reasoning; they worked in terms of comparisons and ratios. So Archimedes wouldn&#8217;t say &#8220;1\/4 r<sup>2<\/sup>&#8220;; he&#8217;d figure out a single triangle whose area was equivalent to the sums of the 6 triangles &#8211; a triangle whose height was the same as the radius of the circle, and whose base was *3sqrt(3)r*. The following diagram shows the circle with triangles inscribed, and the triangle with an area equal to the sum of the inscribed triangles area drawn over the triangle with area equal to the circle.<br \/>\n<img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"circle-6wedge.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_107.jpg?resize=502%2C275\" width=\"502\" height=\"275\" \/><br \/>\nNow, moving on, suppose we made the triangles smaller. Cut the angle at the center of the circle in half, so that we had twice as many triangles, each with a central angle of 30 degrees rather than 60. Then our approximation would be (1\/4)r<sup>2<\/sup>; with 12 triangles, that would give us 3r<sup>2<\/sup>; or an area equal to a triangle whose height was the radius, and whose width was 6, as in the following diagram:<br \/>\n<img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"circle-12wedge.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_108.jpg?resize=492%2C279\" width=\"492\" height=\"279\" \/><br \/>\nSuppose we kept making the triangles smaller. Each time we reduce the size of the triangles, we remove (exhaust) more of the uncovered part of the circle; and length of the triangle whose area equals the sum of the areas of the inscribed triangles gets closer and closer to *2&pi;r*. Or in the terms Archimedes would have used: the length of the base gets closer and closer to the radius of the circle.  So the area of the circle gets closer and closer to the area of a triangle whose height is the radius of the circle, and whose width is circumference of the circle. So in equational terms, we end up with *(1\/2)(2&pi;r)(r) = &pi;r<sup>2<\/sup>*.<br \/>\nThe Greek mathematicians had no *explicit* concept of limits or how to work with them. But you can clearly see the origin of the concepts of limits here. And Archimedes didn&#8217;t stop there. He went on<br \/>\nto improve the method &#8211; to take a figure, and *enclose* the figure in triangles as well as inscribe triangles inside the figure. The area of the triangles *enclosing* the figure is an upper bound; the area *inscribed* in the figure is a lower bound; and the average of the two is a pretty good estimate.<br \/>\nThe way that Archimedes did  it &#8211; basing it on triangles and ratios &#8211; is obviously a very limited technique. But it&#8217;s very impressive for reasoning without the tools of algebra, and it *does* work on a good number of very regular figures.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A lot of people have asked me to write something about &#8220;Archimedes Integration&#8221;, and I&#8217;m finally getting around to fulfilling that request. As most of you already know, Archimedes was a philosopher in ancient Greece who, among other things, studied mathematics. He invented a technique for computing areas that&#8217;s the closest thing to calculus before [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[24],"tags":[],"class_list":["post-211","post","type-post","status-publish","format-standard","hentry","category-goodmath"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-3p","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/211","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=211"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/211\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=211"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=211"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=211"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}