A history of Pi

A little known verse of the Bible reads
And he made a molten sea, ten cubits from the one brim to the other: it was round all about, and his height was five cubits: and a line of thirty cubits did compass it about. (I Kings 7, 23)
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 π = 3. Not a very accurate value of course and not even very accurate in its day, for the Egyptian and Mesopotamian values of 258=3.125\large\frac{25}{8}\normalsize = 3.125 and √10 = 3.162 have been traced to much earlier dates: though in defence of Solomon's craftsmen it should be noted that the item being described seems to have been a very large brass casting, where a high degree of geometrical precision is neither possible nor necessary.

A suggestion of how this could be interpreted to lead to a much better value is at THIS LINK.

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 π including the 'Biblical' value of 3, were almost certainly found by measurement. In the Egyptian Rhind Papyrus, which is dated about 1650 BC, there is good evidence for 4×(89)2=3.164 \times (\large\frac{8}{9}\normalsize )^{2} = 3.16 as a value for π.

The first theoretical calculation seems to have been carried out by Archimedes of Syracuse (287-212 BC). He obtained the approximation
22371<π<227\large\frac{223}{71}\normalsize < \pi < \large\frac{22}{7}\normalsize.
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, that π does not equal 227\large\frac{22}{7}\normalsize, and made no claim to have discovered the exact value. If we take his best estimate as the average of his two bounds we obtain 3.1418, an error of about 0.0002.

Here is Archimedes' argument.
Consider a circle of radius 1, in which we inscribe a regular polygon of 3 × 2n12^{n-1} sides, with semiperimeter bnb_{n}, and superscribe a regular polygon of 3 × 2n12^{n-1} sides, with semiperimeter ana_{n}.
Archimedes diagram
The diagram for the case n=2n = 2 is on the right.

The effect of this procedure is to define an increasing sequence

b1,b2,b3,...b_{1} , b_{2} , b_{3} , ...
and a decreasing sequence
a1,a2,a3,...a_{1} , a_{2} , a_{3} , ...
such that both sequences have limit π.

Using trigonometrical notation, we see that the two semiperimeters are given by
an=Ktan(πK),bn=Ksin(πK)a_{n} = K \tan(\large\frac{\pi}{K}\normalsize ), b_{n} = K \sin(\large\frac{\pi}{K}\normalsize ),
where K=3×2n1K = 3 \times 2^{n-1}. Equally, we have
an+1=2Ktan(π2K),bn+1=2Ksin(π2K)a_{n+1} = 2K \tan(\large\frac{\pi}{2K}\normalsize ), b_{n+1} = 2K \sin(\large\frac{\pi}{2K}\normalsize ),
and it is not a difficult exercise in trigonometry to show that
1an+1bn=2an+1\large\frac{1}{a_{n}\normalsize} + \large\frac{1}{b_{n}\normalsize} = \large\frac{2}{a_{n+1}\normalsize}   . . . (1)

an+1bn=(bn+1)2a_{n+1}b_{n} = (b_{n+1})^{2}       . . . (2)
Archimedes, starting from a1=3tan(π3)=33a_{1} = 3 \tan(\large\frac{\pi}{3}\normalsize ) = 3√3 and b1=3sin(π3)=332b_{1} = 3 \sin(\large\frac{\pi}{3}\normalsize ) = \large\frac{3√3}{2}\normalsize, calculated a2a_{2} using (1), then b2b_{2} using (2), then a3a_{3} using (1), then b3b_{3} using (2), and so on until he had calculated a6a_{6} and b6b_{6}. His conclusion was that
b6<π<a6b_{6} < \pi < a_{6} .
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 a6a_{6} and b6b_{6} 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:
Ptolemy (c. 150 AD)3.1416
Zu Chongzhi (430-501 AD) 355113\large\frac{355}{113}\normalsize
al-Khwarizmi (c. 800 ) 3.1416
al-Kashi (c. 1430) 14 places
Viète (1540-1603) 9 places
Roomen (1561-1615) 17 places
Van Ceulen (c. 1600) 35 places
Except for Zu Chongzhi, 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 Zu Chongzhi, 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 π. One of the earliest was that of Wallis (1616-1703)
2π=\large\frac{2}{\pi}\normalsize = \large\frac{ ...}{ ...}\\
and one of the best-known is
π4=113+1517+....\large\frac {\pi}{4}\normalsize = 1 - \large\frac{1}{3}\normalsize + \large\frac{1}{5}\normalsize - \large\frac{1}{7}\normalsize + ....
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 π arises in the first instance from geometry. They show the surprising results that infinite processes can achieve and point the way to the wonderful richness of modern mathematics.

From the point of view of the calculation of π, however, neither is of any use at all. In Gregory's series, for example, to get 4 decimal places correct we require the error to be less than 0.00005=1200000.00005 = \large\frac{1}{20000}\normalsize, and so we need about 10000 terms of the series. However, Gregory also showed the more general result
tan1x=x13x3+15x5...(1x1)\tan^{-1} x = x - \large\frac{1}{3}\normalsize x^{3} + \large\frac{1}{5}\normalsize x^{5} - ... (-1 ≤ x ≤ 1)   . . . (3)
from which the first series results if we put x=1x = 1. So using the fact that
tan1(13)=π6\tan^{-1}(\large\frac{1}{√3}\normalsize ) = \large\frac{\pi}{6}\normalsize we get

π6=13(113.3+15.3.317.3.3.3+...\large\frac{\pi}{6}\normalsize = \large\frac{1}{√3}\normalsize (1 - \large\frac{1}{3.3}\normalsize + \large\frac{1}{5.3.3}\normalsize - \large\frac{1}{}\normalsize + ...
which converges much more quickly. The 10th10^{th} term is 13119×39\large\frac{1}{√3}\normalsize \large\frac{1}{19\times 3^{9}\normalsize}, which is less than 0.00005, and so we have at least 4 places correct after just 9 terms.

An even better idea is to take the formula
π4=tan1(12)+tan1(13)\large\frac{\pi}{4}\normalsize = \tan^{-1}(\large\frac{1}{2}\normalsize ) + \tan^{-1}(\large\frac{1}{3}\normalsize )   . . . (4)
and then calculate the two series obtained by putting first 12\large\frac{1}{2}\normalsize and then 13\large\frac{1}{3}\normalsize into (3).

Clearly we shall get very rapid convergence indeed if we can find a formula something like
π4=tan1(1a)+tan1(1b)\large\frac{\pi}{4}\normalsize = \tan^{-1}(\large\frac{1}{a}\normalsize ) + \tan^{-1}(\large\frac{1}{b}\normalsize )
with aa and bb large. In 1706 Machin found such a formula:
π4=4tan1(15)tan1(1239)\large\frac{\pi}{4}\normalsize = 4 \tan^{-1}(\large\frac{1}{5}\normalsize ) - \tan^{-1}(\large\frac{1}{239}\normalsize )   . . . (5)
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 π is the sheer boredom of continuing the calculation. Needless to say, a few people were silly enough to devote vast amounts of time and effort to this tedious and wholly useless pursuit. One of them, an Englishman named Shanks, used Machin's formula to calculate π to 707 places, publishing the results of many years of labour in 1873. Shanks has achieved immortality for a very curious reason which we shall explain in a moment.
Here is a summary of how the improvement went:
1699: Sharp used Gregory's result to get 71 correct digits
1701: Machin used an improvement to get 100 digits and the following used his methods:
1719: de Lagny found 112 correct digits
1789: Vega got 126 places and in 1794 got 136
1841: Rutherford calculated 152 digits and in 1853 got 440
1873: Shanks calculated 707 places of which 527 were correct
A more detailed Chronology is available at THIS LINK .

Shanks knew that π was irrational since this had been proved in 1761 by Lambert. Shortly after Shanks' calculation it was shown by Lindemann that π is transcendental, that is, π is not the solution of any polynomial equation with integer coefficients. In fact this result of Lindemann showed that 'squaring the circle' is impossible. The transcendentality of π implies that there is no ruler and compass construction to construct a square equal in area to a given circle.

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 π to 2000 places. In this and all subsequent computer expansions the number of 7's does not differ significantly from its expectation, and indeed the sequence of digits has so far passed all statistical tests for randomness.

You can see 2000 places of π at THIS LINK.

We should say a little of how the notation π arose. Oughtred in 1647 used the symbol dπ\large\frac{d}{\pi}\normalsize for the ratio of the diameter of a circle to its circumference. David Gregory (1697) used πr\large\frac{\pi}{r}\normalsize for the ratio of the circumference of a circle to its radius. The first to use π with its present meaning was an Welsh mathematician William Jones in 1706 when he states "3.14159 etc. = π". Euler adopted the symbol in 1737 and it quickly became a standard notation.

There is more information about where the notation π came from at THIS LINK.

We conclude with one further statistical curiosity about the calculation of π, namely Buffon's needle experiment. If we have a uniform grid of parallel lines, unit distance apart and if we drop a needle of length k<1k < 1 on the grid, the probability that the needle falls across a line is 2k/π2k/\pi. Various people have tried to calculate π by throwing needles. The most remarkable result was that of Lazzerini (1901), who made 34080 tosses and got
π=355113=3.1415929\pi = \large\frac{355}{113}\normalsize = 3.1415929
which, incidentally, is the value found by Zu Chongzhi. 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 computing π. Kendall and Moran comment that you would do better to cut out a large circle of wood and use a tape measure to find its circumference and diameter.

Still 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 kk = 0.7857, throwing it twice, and hitting a line once. His estimate for π was thus given by
2×0.7857π=122 \times \large\frac{0.7857}{\pi}\normalsize = \large\frac{1}{2}\normalsize
from which he got the highly creditable value of π = 3.1428. He was not being serious!

It is almost unbelievable that a definition of π was used, at least as an excuse, for a racial attack on the eminent mathematician Edmund Landau in 1934. Landau had defined π in this textbook published in Göttingen in that year by the, now fairly usual, method of saying that π/2 is the value of xx between 1 and 2 for which cosx\cos x vanishes. This unleashed an academic dispute which was to end in Landau's dismissal from his chair at Göttingen. Bieberbach, an eminent number theorist who disgraced himself by his racist views, explains the reasons for Landau's dismissal:-
Thus the valiant rejection by the Göttingen student body which a great mathematician, Edmund Landau, has experienced is due in the final analysis to the fact that the un-German style of this man in his research and teaching is unbearable to German feelings. A people who have perceived how members of another race are working to impose ideas foreign to its own must refuse teachers of an alien culture.
G H Hardy replied immediately to Bieberbach in a published note about the consequences of this un-German definition of π
There are many of us, many Englishmen and many Germans, who said things during the War which we scarcely meant and are sorry to remember now. Anxiety for one's own position, dread of falling behind the rising torrent of folly, determination at all cost not to be outdone, may be natural if not particularly heroic excuses. Professor Bieberbach's reputation excludes such explanations of his utterances, and I find myself driven to the more uncharitable conclusion that he really believes them true.
Not only in Germany did π present problems. In the USA the value of π gave rise to heated political debate. In the State of Indiana in 1897 the House of Representatives unanimously passed a Bill introducing a new mathematical truth.
Be it enacted by the General Assembly of the State of Indiana: It has been found that a circular area is to the square on a line equal to the quadrant of the circumference, as the area of an equilateral rectangle is to the square of one side.
(Section I, House Bill No. 246, 1897)
The Senate of Indiana showed a little more sense and postponed indefinitely the adoption of the Act!

Open questions about the number π
  1. Does each of the digits 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 each occur infinitely often in π?
  2. Brouwer's question: In the decimal expansion of π, is there a place where a thousand consecutive digits are all zero?
  3. Is π simply normal to base 10? That is does every digit appear equally often in its decimal expansion in an asymptotic sense?
  4. Is π normal to base 10? That is does every block of digits of a given length appear equally often in its decimal expansion in an asymptotic sense?
  5. Is π normal ? That is does every block of digits of a given length appear equally often in the expansion in every base in an asymptotic sense? The concept was introduced by Borel in 1909.
  6. Another normal question! We know that π is not rational so there is no point from which the digits will repeat. However, if π is normal then the first million digits 314159265358979... will occur from some point. Even if π is not normal this might hold! Does it? If so from what point? Note: Up to 200 million the longest to appear is 31415926 and this appears twice.
As a postscript, here is a mnemonic for the decimal expansion of π. Each successive digit is the number of letters in the corresponding word.
How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics. All of thy geometry, Herr Planck, is fairly hard...:


References (show)

  1. A Ahmad, On the π of Aryabhata I, Ganita Bharati 3 (3-4) (1981), 83-85.
  2. L Badger, Lazzarini's lucky approximation of π, Math. Mag. 67 (2) (1994), 83-91.
  3. P Beckmann, A history of π (Boulder, Colo., 1971).
  4. E M Bruins, With roots towards Aryabhata's π-value, Ganita Bharati 5 (1-4) (1983), 1-7.
  5. G L Cohen and A G Shannon, John Ward's method for the calculation of pi, Historia Mathematica 8 (2) (1981), 133-144.
  6. P Freguglia, The determination of π in Fibonacci's 'Practica geometriae' in a fifteenth-century manuscript (Italian), Contributions to the history of mathematics (Italian) (Modena, 1990), 75-84.
  7. N T Gridgeman, Geometric probability and the number π, Scripta Math. 25 (1960), 183-195.
  8. R C Gupta, The value of π in the 'Mahabharata', Ganita Bharati 12 (1-2) (1990), 45-47.
  9. R C Gupta, On the values of π from the Bible, Ganita Bharati 10 (1-4) (1988), 51-58.
  10. R C Gupta, New Indian values of π from the 'Manava'sulba sutra', Centaurus 31 (2) (1988), 114-125.
  11. R C Gupta, Lindemann's discovery of the transcendence of π : a centenary tribute, Ganita Bharati 4 (3-4) (1982), 102-108.
  12. R C Gupta, Some ancient values of pi and their use in India, Math. Education 9 (1975), B1-B5.
  13. R C Gupta, Madhava's and other medieval Indian values of pi, Math. Education 9 (3) (1975), B45-B48.
  14. R C Gupta, Aryabhata I's value of π, Math. Education 7 (1973), B17-B20.
  15. T Hayashi, T Kusuba and M Yano, Indian values for π derived from Aryabhata's value, Historia Sci. 37 (1989), 1-16.
  16. E W Hobson, Squaring the circle (London, 1953).
  17. C Jami, Une histoire chinoise du 'nombre π', Archive for History of Exact Sciences 38 (1) (1988), 39-50.
  18. S K Jha, and M Jha, A study of the value of π known to ancient Hindu and Jaina mathematicians, J. Bihar Math. Soc. 13 (1990), 38-44.
  19. P Jha, Aryabhata I and the value of π, Math. Ed. (Siwan) 16 (3) (1982), 54-59.
  20. R P Kulkarni, The value of π known to Sulbasutrakaras, Indian J. Hist. Sci. 13 (1) (1978), 32-41.
  21. K Nakamura, On the sprout and setback of the concept of mathematical "proof" in the Edo period in Japan : regarding the method of calculating number π, Historia Sci. (2) 3 (3) (1994), 185-199.
  22. C T Rajagopal and T V Vedamurti Aiyar, A Hindu approximation to pi, Scripta Math. 18 (1952), 25-30.
  23. R Roy, The discovery of the series formula for π by Leibniz, Gregory and Nilakantha, Math. Mag. 63 (5) (1990), 291-306.
  24. C Pereira da Silva, A brief history of the number π (Portuguese), Bol. Soc. Paran. Mat. (2) 7 (1) (1986), 1-8.
  25. D Singmaster, The legal values of pi, Math. Intelligencer 7 (2) (1985), 69-72.
  26. M D Stern, A remarkable approximation to π, Math. Gaz. 69 (449) (1985), 218-219.
  27. P E Trier, Pi revisited, Bull. Inst. Math. Appl. 25 (3-4) (1989), 74-77.
  28. I Tweddle, John Machin and Robert Simson on inverse-tangent series for π, Archive for History of Exact Sciences 42 (1) (1991), 1-14.
  29. A Volkov, Calculation of π in ancient China : from Liu Hui to Zu Chongzhi, Historia Sci. (2) 4 (2) (1994), 139-157.
  30. Y-L Zha, Research on Tsu Ch'ung-Chih's approximate method for π, in Science and technology in Chinese civilization (Teaneck, NJ, 1987), 77-85.

Additional Resources (show)

Written by J J O'Connor and E F Robertson
Last Update August 2001