A Brief History of the Approximation of π Communication Presentation Nicole Clizzie Orion Thompson-Vogel April 3, 2017
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
Archimedes (287 BC-212 BC) Archimedes uses Euclid s Theorem Theorem Euclid s Theorem If a straight line bisects an angle of a triangle and cuts the base then the resulting segments of the base have the same ratio as the remaining sides of the triangle. Let s now prove this theorem.
Archimedes (287 BC-212 BC) Archimedes uses Euclid s Theorem Proof. If we have AOC and OD bisects AOC, then OC OA = CD DA. So the first step is to draw AOC and subsequently draw in the angle bisector OD. Afterwards, we may add a point E such that it forms a line EC, which is parallel to OD, and a line AE, where AE is an extension of AO. Here we can reason a few things:
Archimedes (287 BC-212 BC) Archimedes uses Euclid s Theorem Proof. m DOA=m CEA since they re corresponding angles m OCE+m CEO+m EOC=180 as these form a triangle m AOD+m DOC+m EOC=180 since they re supplementary m DOC+m AOD=m OCE+m CEO with substitution COE is isosceles by definition and using AA similarity theorem, DOA is similar to CEA so
Archimedes (287 BC-212 BC) Archimedes uses Euclid s Theorem Proof. CA AE = DA AO CA DA = AE AO AO+OE AO = CD+DA DA OE AO = CD DA CO AO = CD DA and since CA=CD+DA and AE=AO+OE
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
Archimedes (287 BC-212 BC) Let O be the center and AB be the diameter while AC is tangent at A. Let m AOC be 30 degrees or π 6 radians. So note CF = 2 CA where CF is a side of a circumscribed hexagon. Also note that where n is the number of sides, n AC Perimeter of the polygon OA Diameter = π. Now let s bisect m AOC, and using Euclid s theorem, CD DA = CO OA we see CD+DA DA = CO+OA OA = CA DA CO+OA CA = OA DA and so (i) CO CA + OA CA = OA AD.
Archimedes (287 BC-212 BC) Let O be the center and AB be the diameter while AC is tangent at A. Let m AOC be 30 degrees or π 6 radians. So note CF = 2 CA where CF is a side of a circumscribed hexagon. Also note that where n is the number of sides, n AC Perimeter of the polygon OA Diameter = π. Now let s bisect m AOC, and using Euclid s theorem, CD DA = CO OA we see CD+DA DA = CO+OA OA = CA DA CO+OA CA = OA DA and so (i) CO CA + OA CA = OA AD.
Archimedes (287 BC-212 BC) Now using Pythagorean Theorem: OA 2 + AD 2 = OD 2 OA2 + 1 = AD OD2 2 DA 2 OA (ii) 2 + 1 = OD AD 2 DA. Archimedes then approximates 3 so OA AC = 3 since OA AC = cot( π 6 ) so OA AC > 265 153
Archimedes (287 BC-212 BC) Now using Pythagorean Theorem: OA 2 + AD 2 = OD 2 OA2 + 1 = AD OD2 2 DA 2 OA (ii) 2 + 1 = OD AD 2 DA. Archimedes then approximates 3 so OA AC = 3 since OA AC = cot( π 6 ) so OA AC > 265 153 also note that OC CA = 2 1 = 306 153 as for us this is 1 sin( π 6 (i) we have 306 153 + 265 153 < OA AD 571 153 < OA AD ) and using
Archimedes (287 BC-212 BC) Let s find OD DA using (ii). So since we know something about OA AD we can plug this in knowing it is less than the actual value so we get OA2 + 1 > 349450 AD 2 23409 and OA 2 349450 + 1 > AD 2 23409 which Archimedes reduces to OD AD = 591 1 8 153.
Archimedes (287 BC-212 BC) And now the next step is to bisect AOD by OE, and using the same approach as before, we have OA and so OA AE > 591 1 8 153 + 571 153 = 1162 1 8 AE = OD DA + OA DA 153 and so this gives us a 12-gon s approximation. [4] We can continue this until we have a 96-gon, which is what Archimedes did, where he achieved an upper-bound of 3 1 10 7 and a lower bound of 3 71. [8]
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
Francois Viete (1540-1603) First Infinite Series for π Lawyer in France who worked for King Henry III and Henry IV Dabbled in quite a bit of mathematics, as in 1593 Adriaan van Roomen, a mathematician from the Netherlands, challenged french mathematicians with a problem posed about a 45 degree polynomial. An ambassador from the Netherlands commented on the poor quality of french mathematicians as none could solve this problem, however, this prompted King Henry to present the problem to Viete, who found a solution on the first day and 22 more the next day. First infinite expansion of π 2 π = 2 2 2+ 2 2 2+ 2+ 2 2 A variation of Archimedes but instead of using polygons perimeters he used the areas. [5]
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
Gottfried Leibniz (1646-1716), James Gregory (1638-1675), and Nilakantha Liebniz-Gregory Series Liebniz-Gregory Series π = 4(1 1 3 + 1 5 1 7 + 1 9 ) So we may quickly prove this case using the Taylor series. The Taylor series is the following: 1 1 y = 1 + y + y 2 +... and substituting in y = x 2 we get 1 1+x 2 = 1 x 2 + x 4... and note that the left hand side is the same as d dx tan(x) 1 and so if we integrate both sides we have tan(x) 1 = x x3 3 + x5 5... and if we plugin x=1, and multiply the right side by 4, we have our result. [10]
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
John Machin (1690-1751) Machin Series π 4 = artan 1 5 arctan 1 239 so we can derive this as follows: let tan(α)=1/5 where alpha is some angle and now we see using the double angle formula tan(2α)= 2 tan(α) 1 tan 2 (α) = 2 5 1 1 25 = 5 12 and repeating again tan(4α)= 2 tan(2α) 1 tan 2 (2α) = 5 6 = 120 1 25 119. 144 Now note that this differs from 1 by only a tiny amount, and so we can examine the following: tan(4α π 4 ) = tan(4α) tan( π 4 tan(4α)+tan( π 4 taking the arctan of both sides gives 4α- pi 4 = arctan 1 239 = tan(4α) 1 tan(4α+1) = 120 119 1 = 1 120 119 +1 239 and which simplified to the result above. [3]
Outline Archimedes Archimedes uses Euclid s Theorem Francois Viete First Infinite Series for π Gottfried Leibniz, James Gregory, and Nilakantha Leibniz-Gregory Series John Machin Machin Series Srinivasa Ramanujan Ramanujan s Approximation of π
Srinivasa Ramanujan (1887-1920) Ramanujan s Approximation of π Ben Lynn from Stanford University stated Its my favourite formula for pi. I have no idea how it works. 1 π = 8 (4n)! 9801 n=0 26390n+1103 (n!) 4 396 4n The formula involved modular equations. [2]
Summary A good approximation of π was first done by Archimedes, and all that have followed suit have involved infinite series. Some approximations are better than others due to their convergence rate. The mysterious Ramanujan crafted the essence of the best π approximation formula to date.
Bibliography I Ben, Lynn. The Gregory-Leibniz Series, Standford. Web 2 Apr. 2017. Ben, Lynn. Ramanujans Formula for Pi, Standford. Web 2 Apr. 2017. Derivation of the Machin Formula. Arctan Formulae for Computing Pi. Southwestern Adventist University. Web. 2 Apr. 2017. Han, Kyutae Paul.Pi and Archimedes Polygon Method, Dartmouth College. Web 28 Apr. 2017. Hartshorne, Robin. Francois Viete-Life. Mathematicans. Web 2 Apr. 2017. O Connor, J. J., and E. F. Robertson, John Machin, Historical Topics, School of Mathematics and Statistics University of St. Andrews, April 2003. Web 2 Apr. 2017.
Bibliography II O Connor, J. J., and E. F. Robertson, Gottfried Wilhelm von Liebniz, Historical Topics, School of Mathematics and Statistics University of St. Andrews, Oct 1998. Web 2 Apr. 2017. O Connor, J. J., and E. F. Robertson, Archimedes of Syracuse, Historical Topics, School of Mathematics and Statistics University of St. Andrews, Jan 1999. Web 2 Apr. 2017. O Connor, J. J., and E. F. Robertson, Srinivasa Aiyangar Ramanujan, Historical Topics, School of Mathematics and Statistics University of St. Andrews, Jun 1998. Web 2 Apr. 2017. Roy, Ranjan. The Discovery of the Series Formula of Pi by Leibniz, Gregory, and Nilakatha. Mathematics Magazine Dec. 1990: 291-306. Web 2 Apr. 2017.