The Story of Pi |
|
Pi = 3.1415926535 8979323846264338327950288419716939937510 5820974944 5923078164 0628620899 8628034825 3421170679 8214808651 3282306647 0938446095 5058223172 5359408128 4811174502 8410270193 8521105559 6446229489 5493038196 4428810975 6659334461 2847564823 3786783165 2712019091 4564856692 3460348610 4543266482 1339360726 0249141273 7245870066 0631558817 4881520920 9628292540 9171536436 7892590360 0113305305 4882046652 1384146951 9415116094 3305727036 5759591953 0921861173 8193261179 3105118548 0744623799 6274956735 1885752724 8912279381 8301194912 9833673362 4406566430 8602139494 6395224737 1907021798 6094370277 0539217176 2931767523 8467481846 7669405132 0005681271 4526356082 7785771342 7577896091 7363717872 1468440901 2249534301 4654958537 1050792279 6892589235 4201995611 2129021960 8640344181 5981362977 4771309960 5187072113 4999999837 2978049951 0597317328 1609631859 5024459455 3469083026 4252230825 3344685035 2619311881 7101000313 7838752886 5875332083 8142061717 7669147303 5982534904 2875546873 1159562863 8823537875 9375195778 1857780532 1712268066 1300192787 6611195909 2164201989 (1000 decimals of PI) Word-Length Pi Mnemonics But a time I spent wandering in bloomy night; A History of Pi
The same verse can be found in II Chronicles 4, 2. It occurs in a list of
specifications for the great temple of Solomon, built around 950 BC and its interest here
is that it gives The fact that the ratio of the circumference to the diameter of a circle is constant
has been known for so long that it is quite untraceable. The earliest values of The first theoretical calculation seems to have been carried out by Archimedes of Syracuse (287-212 BC). He obtained the approximation
Before giving an indication of his proof, notice that very considerable sophistication involved in the use of inequalities here. Archimedes knew, what so many people to this day do not, thatHere is Archimedes' argument. Consider a circle of radius 1, in which we inscribe a regular polygon of 3 The diagram for the case n = 2 is: The effect of this procedure is to define an increasing sequence
and a decreasing sequence
such that both sequences have limit Using trigonometrical notation, we see that the two semiperimeters are given by
where K = 3
and it is not a difficult exercise in trigonometry to show that
Archimedes , starting from a1 = 3 tan(
It is important to realise that the use of trigonometry here is unhistorical: Archimedes did not have the advantage of an algebraic and trigonometrical notation and had to derive (1) and (2) by purely geometrical means. Moreover he did not even have the advantage of our decimal notation for numbers, so that the calculation of a6 and b6 from (1) and (2) was by no means a trivial task. So it was a pretty stupendous feat both of imagination and of calculation and the wonder is not that he stopped with polygons of 96 sides, but that he went so far.For of course there is no reason in principle why one should not go on. Various people did, including: Except for Tsu Ch'ung Chi, about whom next to nothing is known and who is very unlikely to have known about Archimedes' work, there was no theoretical progress involved in these improvements, only greater stamina in calculation. Notice how the lead, in this as in all scientific matters, passed from Europe to the East for the millennium 400 to 1400 AD.Al-Khwarizmi lived in Baghdad, and incidentally gave his name to 'algorithm', while the words al jabr in the title of one of his books gave us the word 'algebra'. Al-Kashi lived still further east, in Samarkand, while Tsu Ch'ung Chi, one need hardly add, lived in China. The European Renaissance brought about in due course a whole new
mathematical world. Among the first effects of this reawakening was the emergence of
mathematical formulae for
and one of the best-known is
This formula is sometimes attributed to Leibniz (1646-1716) but is seems to have been first discovered by James Gregory (1638- 1675).These are both dramatic and astonishing formulae, for the expressions on the right are
completely arithmetical in character, while From the point of view of the calculation of
from which the first series results if we put x = 1. So using the fact that
which converges much more quickly. The 10th term is 1/19 An even better idea is to take the formula
and then calculate the two series obtained by putting first 1/2 and the 1/3 into (3). Clearly we shall get very rapid convergence indeed if we can find a formula something like
with a and b large. In 1706 Machin found such a formula:
Actually this is not at all hard to prove, if you know how to prove (4) then there is no real extra difficulty about (5), except that the arithmetic is worse. Thinking it up in the first place is, of course, quite another matter. With a formula like this available the only difficulty in computing Here is a summary of how the improvement went: A more detailed a Chronology is available. Shanks
knew that Very soon after Shanks'
calculation a curious statistical freak was noticed by De Morgan,
who found that in the last of 707 digits there was a suspicious shortage of 7's. He
mentions this in his Budget of Paradoxes of 1872 and a curiosity it remained until
1945 when Ferguson discovered that Shanks
had made an error in the 528th place, after which all his digits were wrong. In 1949 a
computer was used to calculate You can see 2000 places
of We should say a little of how the notation We conclude with one further statistical curiosity about the calculation
of
which, incidentally, is the value found by Tsu Ch'ung Chi. This outcome is suspiciously good, and the game is given away by the strange number 34080 of tosses. Kendall and Moran comment that a good value can be obtained by stopping the experiment at an optimal moment. If you set in advance how many throws there are to be then this is a very inaccurate way of computingStill on the theme of phoney experiments, Gridgeman, in a paper which pours scorn on
Lazzerini and others, created some amusement by using a needle of carefully chosen length
k = 0.7857, throwing it twice, and hitting a line once. His estimate for
from which he got the highly creditable value of It is almost unbelievable that a definition of
G H Hardy replied immediately to Bieberbach in a published note about the consequences of this un-German definition of
Not only in Germany did
The Senate of Indiana showed a little more sense and postponed indefinitely the adoption of the Act! Open questions about the number
As a postscript, here is a mnemonic for the decimal expansion of
You can see more about the history of Article by: J J O'Connor and E F Robertson
P. Beckmann, A History of J. M. Borwein and P. B. Borwein, Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity, Wiley, 1987, pp. 46-52, 169-177, 337-362, 385-386; MR 99h:11147. E. F. Assmus, Pi, Amer. Math. Monthly 92 (1985) 213-214. T. Wayman, Discovering Archimedes' method for G. M. Phillips, Archimedes and the complex plane, Amer. Math. Monthly 91 (1984) 108-114; MR 85h:40003. G. Miel, Of calculations past and present: the Archimedean algorithm, Amer. Math. Monthly 90 (1983) 17-35; MR 85a:01006. H. Dörrie, 100 Great Problems of Elementary Mathematics: Their History and Solution, Dover, 1965; MR 84b:00001. E. Waymire, Buffon Noodles, Amer. Math. Monthly 101 (1994) 550-559; addendum 101 (1994) 791; MR 95g:60021a and MR 95g:60021b. E. Wegert and L. N. Trefethen, From the Buffon needle problem to the Kreiss matrix theorem, Amer. Math. Monthly 101 (1994) 132-139; preprint; MR 95b:30036. G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Oxford, 1985; MR 81i:10002. A. E. Taylor and R. Mann, Advanced Calculus, 2nd ed., Wiley, 1972; MR 83m:26001. R. D. Carmichael and E. R. Smith, Mathematical Tables and Formulas, Dover, 1931. M. R. Spiegel, Advanced Calculus, McGraw-Hill, 1968. J. M. Borwein, P. B. Borwein and D. H. Bailey, Ramanujan, modular equations, and approximations to pi, or how to compute one billion digits of pi, Amer. Math. Monthly 96 (1989) 201-219; Organic Mathematics, ed. J. Borwein, P. Borwein, L. Jörgenson and R. Corless, Amer. Math. Soc., 1997, pp. 35-71; MR 90d:11143. G. Almkvist and B. Berndt, Gauss, Landen, Ramanujan, the Arithmetic-Geometric Mean,
Ellipses, D. V. Chudnovsky and G. V. Chudnovsky, The computation of classical constants, Proc. Natl. Acad. Sci., USA 86 (1989) 8178-8182; MR 90m:11206. D. V. Chudnovsky and G. V. Chudnovsky, Classical constants and functions: computations and continued fraction expansions, Number Theory: New York Seminar 1989-1990, Springer-Verlag, 1991, pp. 13-74; MR 93c:11118. J. M. Borwein and P. B. Borwein, More Ramanujan-type series for 1/ R. Courant and H. Robbins, What is Mathematics?, Oxford, 1941; MR 93k:00002. I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series and Products, 5th ed., Academic Press, 1980, pp. 342, 956; MR 97c:00014. M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, Dover, 1972; MR 94b:00012. A. M. Odlyzko, Asymptotic enumeration methods, Handbook of Combinatorics, v. II, ed. R. L. Graham, M. Grötschel and L. Lovász, MIT Press, 1995, pp. 1063-1229; preprint; MR 97b:05012. P. Flajolet and A. Odlyzko, The average height of binary trees and other simple trees, J. Comp. Sys. Sci. 25 (1982) 171-213; MR 84a:68056. J. B. Conway, Functions of One Complex Variable, 2nd ed. Springer-Verlag, 1978; MR 80c:30003. G. F. Simmons, Differential Equations with Applications and Historical Notes, McGraw-Hill, 1972; MR 58 #17258. G. E. Andrews, The Theory of Partitions, Addison-Wesley, 1976; MR 99c:11126. L. Lorentzen and H. Waadeland, Continued Fractions with Applications, North Holland, 1992, pp. 561-562; MR 93g:30007. R. Williams, Arctangent Formulas for Pi (Calif. Instit. of Technology). J. J. O'Connor and E. F. Robertson, Pi Through the Ages (Univ. of St. Andrews). Y. Kanada, Latest Record in Computing Pi (University of Tokyo). S. Rabinowitz and S. Wagon, A spigot algorithm for the digits of P. R. Lorczak, J. Wimp, Book review of "Pi and the AGM", SIAM Review 30 (1988) 530-533. P. R. Lorczak, Computing J. M. Borwein and F. G. Garvan, Approximations to pi via the Dedekind eta function, Organic Mathematics, ed. J. Borwein, P. Borwein, L. Jörgenson and R. Corless, Amer. Math. Soc., 1997, pp. 89-115; MR 98j:11030. D. H. Bailey, J. M. Borwein, P. B. Borwein and S. Plouffe, The quest for pi, Math. Intellig. 19 (1997) 50-57; CECM preprint 96:070; MR 98b:01045. L. B. W. Jolley, Summation of Series, 2nd rev. ed., Dover, 1961; MR 24 #B511. J. Borwein, Talking about Pi ? (CECM). P. Borwein, Pi and Other Constants (CECM). The Uselessness of Pi and its Irrational Friends. G. Almkvist, Many correct digits of Madhava, The power series for arctan and K. Brown, Rounding up to pi (MathPages). P. Erdös and E. Jabotinsky, On sequences of integers generated by a sieving process, Konink. Nederl. Akad. Wetensch. Proc. Ser. A 61 (1958) 115-128; Indag. Math. 20 (1958) 20 115-128; MR 21 #2628. D. Betten, Kalahari and the sequence "Sloane No. 377", Combinatorics '86, ed. A. Barlotti, M. Marchi and G. Tallini, North Holland, Ann. Discrete Math. 37 (1988) 51-58; MR 89f:05010. N. J. A. Sloane, On-Line Encyclopedia of Integer Sequences, AT&T Research, A002491. M. A. Stern, Theorie der Kettenbrüche und ihre Anwendung, III, J. Reine Angew. Math. 10 (1833) 241-274. K. Brown, Integer Sequences Related to Pi (MathPages). D. Blatner, The Joy of Pi, Walker and Co., 1997. O. Toeplitz, The Calculus: A Genetic Approach, Univ. of Chicago Press, 1981; MR 11,584e. T. M. Apostol et al, Selected Papers in Calculus, Math. Assoc. Amer., 1968, pp. 368-388. D. C. van Leijenhorst, Algorithms for the approximation of V. Adamchik and S. Wagon, A simple formula for I. Vardi, Pi Exists (Institut des Hautes Etudes Scientifiques). I. Vardi, Extending Archimedes' method, unpublished manuscript (1998); What is ancient mathematics?, Math. Intellig. 21 (1999) 38-47; preprint. M. D. Hirschhorn, A new formula for D. M. Bradley, Evaluating the Gaussian integral, (1998). J. Miller and T. Ladd, Infinite summations and integrals of a class of band-limited functions, (1998). R. Butler, On the evaluation of Dihedral angle of regular tetrahedron, sci.math.research discussion, Oct. 1998. Volume of n-dimensional ball, MathSoft puzzle solution, Nov. 1998. A. M. Yaglom and I. M. Yaglom, Challenging Mathematical Problems with Elementary Solutions, v. I, Holden-Day, 1964; problems 92-93; MR 88m:00012a. A. M. Yaglom and I. M. Yaglom, Challenging Mathematical Problems with Elementary Solutions, v. II, Holden-Day, 1967; problems 139-147; MR 88m:00012b. L. J. Lange, An elegant continued fraction for R. W. Gosper, M. E. H. Ismail and R. Zhang, On some strange summation formulas, Illinois J. Math. 37 (1993) 240-277; MR 95g:33025. G. Almkvist and H. S. Wilf, On the coefficients in the Hardy-Ramanujan-Rademacher formula for p(n), J. Number Theory 50 (1995) 329-334; reprint; MR 96e:11129. D. H. Bailey and D. J. Broadhurst, Parallel integer relation detection: techniques and applications, (1999), math.NA/9905048. H. Havermann, Simple Continued Fraction Expansion of Pi. B. Gourevitch, The Pi-World. G. E. Andrews, R. Askey and R. Roy, Special Functions, Cambridge Univ. Press, 1999, p. 58, ex. 52; MR 2000g:33001. W. Scharlau and H. Opolka, From Fermat to Minkowski, Springer-Verlag, 1985; pp. 30, 83; MR 85m:11003. R. Knott, Pi and the Fibonacci Numbers (Univ. of Surrey). T. J. Osler, The union of Vieta's and Wallis's products for pi, Amer. Math. Monthly 106 (1999) 774-776. X. Gourdon and P. Sebah, The constant pi and PiFast: the fastest program to compute pi (Mathematical Constants and Computation). R. Roy, The discovery of the series formula for J. M. Borwein, D. M. Bradley, D. J. Broadhurst and P. Lisonek, Special values of multidimensional polylogarithms, Trans. Amer. Math. Soc., to appear; math.CA/9910045; CECM preprint 98:106. D. Bailey, P. Borwein and S. Plouffe, On the rapid computation of various polylogarithmic constants, Math. Comp. 66 (1997) 903-913; MR 98d:11165. A. Lupas, Some BBP-functions, (2000). P. Eymard and J.-P. Lafon, Autour du nombre S. D. Dubey, Statistical determination of certain mathematical constants and functions using computers, J. Assoc. Comput. Mach. 13 (1966) 511-525; MR 34 #2149. J. M. Borwein and I. J. Zucker, Fast evaluation of the gamma function for small rational fractions using complete elliptic integrals of the first kind, IMA J. Numer. Analysis 12 (1992) 519-529; MR 93g:65028. G. M. Phillips, Archimedes the numerical analyst, Amer. Math. Monthly 88 (1981) 165-169; Pi: A Source Book, pp. 15-19; MR 83e:01005. E. Salamin, Computation of R. P. Brent, Fast multiple-precision evaluation of elementary functions, J. ACM 23 (1976) 242-251; MR 52 #16111. D. V. Chudnovsky and G. V. Chudnovsky, Approximations and complex multiplication according to Ramanujan, Ramanujan Revisited, Proc. 1987 Univ. of Illinois conf., Academic Press, 1988, pp. 375-472; MR 89f:11099. Y. David, On a sequence generated by a sieving process, Riveon Lematematika 11 (1957) 26-31; MR 21 #2627. D. M. Broline and D. E. Loeb, The combinatorics of Mancala-type games: Ayo,
Tchoukaitlon, and 1/ N. J. A. Sloane, My favorite integer sequences, Sequences and their Applications, Proc. 1998 SETA conf., ed. C. Ding, T. Helleseth and H. Niederreiter, Springer-Verlag, 1999, pp. 103-130; preprint. G. H. Hardy and S. Ramanujan, Asymptotic formulae in combinatory analysis, Proc. London Math. Soc. 17 (1918) 75-115. H. Rademacher, On the partition function p(n), Proc. London Math. Soc. 43 (1937) 241-254. Y. V. Matiyasevich and R. K. Guy, A new formula for Archimedes' Approximation of Pi (Florida Gulf Coast University). G. L. Cohen and A. G. Shannon, John Ward's method for the calculation of pi, Historia Math. 8 (1981) 133-144; MR 83d:01021. L. Euler, Introduction to Analysis of the Infinite. Book I, 1748, transl. J. D. Blanton, Springer-Verlag, 1988, pp. 137-153, 311-312; MR 89g:01067. F. Vičte, Variorum de Rebus Mathematicis Reponsorum Liber VIII, 1593; Pi: A Source Book, pp. 53-56, 690-706. J. Wallis, Computation of J. Gregory, correspondence with J. Collins, 1671; Pi: A Source Book, pp. 87-91. G. W. Leibniz, Schediasma de serierum summis, et seriebus quadraticibus, 1674; J. M. Child, The Early Mathematical Manuscripts of Leibniz, transl. from texts published by C. I. Gerhardt, Open Court Publishing, 1920, pp. 60-61. Archimedes, Measurement of a circle, ~250 BC; Pi: A Source Book, pp. 7-14. S. Ramanujan, Modular equations and approximations to
|