Aller au contenu principal

Approximations of π


Approximations of π


Approximations for the mathematical constant pi (π) in the history of mathematics reached an accuracy within 0.04% of the true value before the beginning of the Common Era. In Chinese mathematics, this was improved to approximations correct to what corresponds to about seven decimal digits by the 5th century.

Further progress was not made until the 14th century, when Madhava of Sangamagrama developed approximations correct to eleven and then thirteen digits. Jamshīd al-Kāshī achieved sixteen digits next. Early modern mathematicians reached an accuracy of 35 digits by the beginning of the 17th century (Ludolph van Ceulen), and 126 digits by the 19th century (Jurij Vega), surpassing the accuracy required for any conceivable application outside of pure mathematics.

The record of manual approximation of π is held by William Shanks, who calculated 527 decimals correctly in 1853. Since the middle of the 20th century, the approximation of π has been the task of electronic digital computers (for a comprehensive account, see Chronology of computation of π). On 14 March, 2024 the current record was established by Jordan Ranous, Kevin O’Brien, and Brian Beeler with Alexander Yee's y-cruncher with 105 trillion (1.05×1014) digits.

Early history

The best known approximations to π dating to before the Common Era were accurate to two decimal places; this was improved upon in Chinese mathematics in particular by the mid-first millennium, to an accuracy of seven decimal places. After this, no further progress was made until the late medieval period.

Some Egyptologists have claimed that the ancient Egyptians used an approximation of π as 227 = 3.142857 (about 0.04% too high) from as early as the Old Kingdom. This claim has been met with skepticism.

Babylonian mathematics usually approximated π to 3, sufficient for the architectural projects of the time (notably also reflected in the description of Solomon's Temple in the Hebrew Bible). The Babylonians were aware that this was an approximation, and one Old Babylonian mathematical tablet excavated near Susa in 1936 (dated to between the 19th and 17th centuries BCE) gives a better approximation of π as 258 = 3.125, about 0.528% below the exact value.

At about the same time, the Egyptian Rhind Mathematical Papyrus (dated to the Second Intermediate Period, c. 1600 BCE, although stated to be a copy of an older, Middle Kingdom text) implies an approximation of π as 25681 ≈ 3.16 (accurate to 0.6 percent) by calculating the area of a circle via approximation with the octagon.

Astronomical calculations in the Shatapatha Brahmana (c. 6th century BCE) use a fractional approximation of 339108 ≈ 3.139.

The Mahabharata (500 BCE – 300 CE) offers an approximation of 3, in the ratios offered in Bhishma Parva verses: 6.12.40–45.

...

The Moon is handed down by memory to be eleven thousand yojanas in diameter. Its peripheral circle happens to be thirty three thousand yojanas when calculated.
...
The Sun is eight thousand yojanas and another two thousand  yojanas in diameter. From that its peripheral circle comes to be equal to thirty thousand yojanas.

...

In the 3rd century BCE, Archimedes proved the sharp inequalities 22371 < π < 227, by means of regular 96-gons (accuracies of 2·10−4 and 4·10−4, respectively).

In the 2nd century CE, Ptolemy used the value 377120, the first known approximation accurate to three decimal places (accuracy 2·10−5). It is equal to 3 + 8 / 60 + 30 / 60 2 , {\displaystyle 3+8/60+30/60^{2},} which is accurate to two sexagesimal digits.

The Chinese mathematician Liu Hui in 263 CE computed π to between 3.141024 and 3.142708 by inscribing a 96-gon and 192-gon; the average of these two values is 3.141866 (accuracy 9·10−5). He also suggested that 3.14 was a good enough approximation for practical purposes. He has also frequently been credited with a later and more accurate result, π ≈ 39271250 = 3.1416 (accuracy 2·10−6), although some scholars instead believe that this is due to the later (5th-century) Chinese mathematician Zu Chongzhi. Zu Chongzhi is known to have computed π to be between 3.1415926 and 3.1415927, which was correct to seven decimal places. He also gave two other approximations of π: π ≈ 227 and π ≈ 355113, which are not as accurate as his decimal result. The latter fraction is the best possible rational approximation of π using fewer than five decimal digits in the numerator and denominator. Zu Chongzhi's results surpass the accuracy reached in Hellenistic mathematics, and would remain without improvement for close to a millennium.

In Gupta-era India (6th century), mathematician Aryabhata, in his astronomical treatise Āryabhaṭīya stated:

Add 4 to 100, multiply by 8 and add to 62,000. This is 'approximately' the circumference of a circle whose diameter is 20,000.

Approximating π to four decimal places: π ≈ 6283220000 = 3.1416, Aryabhata stated that his result "approximately" (āsanna "approaching") gave the circumference of a circle. His 15th-century commentator Nilakantha Somayaji (Kerala school of astronomy and mathematics) has argued that the word means not only that this is an approximation, but that the value is incommensurable (irrational).

Middle Ages

Further progress was not made for nearly a millennium, until the 14th century, when Indian mathematician and astronomer Madhava of Sangamagrama, founder of the Kerala school of astronomy and mathematics, found the Maclaurin series for arctangent, and then two infinite series for π. One of them is now known as the Madhava–Leibniz series, based on π = 4 arctan ( 1 ) : {\displaystyle \pi =4\arctan(1):}

π = 4 ( 1 1 3 + 1 5 1 7 + ) {\displaystyle \pi =4\left(1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\cdots \right)}

The other was based on π = 6 arctan ( 1 / 3 ) : {\displaystyle \pi =6\arctan(1/{\sqrt {3}}):}

π = 12 k = 0 ( 3 ) k 2 k + 1 = 12 k = 0 ( 1 3 ) k 2 k + 1 = 12 ( 1 1 3 3 + 1 5 3 2 1 7 3 3 + ) {\displaystyle \pi ={\sqrt {12}}\sum _{k=0}^{\infty }{\frac {(-3)^{-k}}{2k+1}}={\sqrt {12}}\sum _{k=0}^{\infty }{\frac {(-{\frac {1}{3}})^{k}}{2k+1}}={\sqrt {12}}\left(1-{1 \over 3\cdot 3}+{1 \over 5\cdot 3^{2}}-{1 \over 7\cdot 3^{3}}+\cdots \right)}

He used the first 21 terms to compute an approximation of π correct to 11 decimal places as 3.14159265359.

He also improved the formula based on arctan(1) by including a correction:

π / 4 1 1 3 + 1 5 1 7 + ( 1 ) n 2 n 1 ± n 2 + 1 4 n 3 + 5 n {\displaystyle \pi /4\approx 1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\cdots -{\frac {(-1)^{n}}{2n-1}}\pm {\frac {n^{2}+1}{4n^{3}+5n}}}

It is not known how he came up with this correction. Using this he found an approximation of π to 13 decimal places of accuracy when n = 75.

Jamshīd al-Kāshī (Kāshānī), a Persian astronomer and mathematician, correctly computed the fractional part of 2π to 9 sexagesimal digits in 1424, and translated this into 16 decimal digits after the decimal point:

2 π 6.2831853071795864 , {\displaystyle 2\pi \approx 6.2831853071795864,}

which gives 16 correct digits for π after the decimal point:

π 3.1415926535897932 {\displaystyle \pi \approx 3.1415926535897932}

He achieved this level of accuracy by calculating the perimeter of a regular polygon with 3 × 228 sides.

16th to 19th centuries

In the second half of the 16th century, the French mathematician François Viète discovered an infinite product that converged on π known as Viète's formula.

The German-Dutch mathematician Ludolph van Ceulen (circa 1600) computed the first 35 decimal places of π with a 262-gon. He was so proud of this accomplishment that he had them inscribed on his tombstone.

In Cyclometricus (1621), Willebrord Snellius demonstrated that the perimeter of the inscribed polygon converges on the circumference twice as fast as does the perimeter of the corresponding circumscribed polygon. This was proved by Christiaan Huygens in 1654. Snellius was able to obtain seven digits of π from a 96-sided polygon.

In 1656, John Wallis published the Wallis product:

π 2 = n = 1 4 n 2 4 n 2 1 = n = 1 ( 2 n 2 n 1 2 n 2 n + 1 ) = ( 2 1 2 3 ) ( 4 3 4 5 ) ( 6 5 6 7 ) ( 8 7 8 9 ) {\displaystyle {\frac {\pi }{2}}=\prod _{n=1}^{\infty }{\frac {4n^{2}}{4n^{2}-1}}=\prod _{n=1}^{\infty }\left({\frac {2n}{2n-1}}\cdot {\frac {2n}{2n+1}}\right)={\Big (}{\frac {2}{1}}\cdot {\frac {2}{3}}{\Big )}\cdot {\Big (}{\frac {4}{3}}\cdot {\frac {4}{5}}{\Big )}\cdot {\Big (}{\frac {6}{5}}\cdot {\frac {6}{7}}{\Big )}\cdot {\Big (}{\frac {8}{7}}\cdot {\frac {8}{9}}{\Big )}\cdot \;\cdots }

In 1706, John Machin used Gregory's series (the Taylor series for arctangent) and the identity 1 4 π = 4 arccot 5 arccot 239 {\textstyle {\tfrac {1}{4}}\pi =4\operatorname {arccot} 5-\operatorname {arccot} 239} to calculate 100 digits of π (see § Machin-like formula below). In 1719, Thomas de Lagny used a similar identity to calculate 127 digits (of which 112 were correct). In 1789, the Slovene mathematician Jurij Vega improved John Machin's formula to calculate the first 140 digits, of which the first 126 were correct. In 1841, William Rutherford calculated 208 digits, of which the first 152 were correct.

The magnitude of such precision (152 decimal places) can be put into context by the fact that the circumference of the largest known object, the observable universe, can be calculated from its diameter (93 billion light-years) to a precision of less than one Planck length (at 1.6162×10−35 meters, the shortest unit of length expected to be directly measurable) using π expressed to just 62 decimal places.

The English amateur mathematician William Shanks, a man of independent means, calculated π to 530 decimal places in January 1853, of which the first 527 were correct (the last few likely being incorrect due to round-off errors). He subsequently expanded his calculation to 607 decimal places in April 1853, but an error introduced right at the 530th decimal place rendered the rest of his calculation erroneous; due to the nature of Machin's formula, the error propagated back to the 528th decimal place, leaving only the first 527 digits correct once again. Twenty years later, Shanks expanded his calculation to 707 decimal places in April 1873. Due to this being an expansion of his previous calculation, most of the new digits were incorrect as well. Shanks was said to have calculated new digits all morning and would then spend all afternoon checking his morning's work. This was the longest expansion of π until the advent of the electronic digital computer three-quarters of a century later.

20th and 21st centuries

In 1910, the Indian mathematician Srinivasa Ramanujan found several rapidly converging infinite series of π, including

1 π = 2 2 9801 k = 0 ( 4 k ) ! ( 1103 + 26390 k ) ( k ! ) 4 396 4 k {\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}396^{4k}}}}

which computes a further eight decimal places of π with each term in the series. His series are now the basis for the fastest algorithms currently used to calculate π. Evaluating the first term alone yields a value correct to seven decimal places:

π 9801 2206 2 3.14159273 {\displaystyle \pi \approx {\frac {9801}{2206{\sqrt {2}}}}\approx 3.14159273}

See Ramanujan–Sato series.

From the mid-20th century onwards, all improvements in calculation of π have been done with the help of calculators or computers.

In 1944−45, D. F. Ferguson, with the aid of a mechanical desk calculator, found that William Shanks had made a mistake in the 528th decimal place, and that all succeeding digits were incorrect.

In the early years of the computer, an expansion of π to 100000 decimal places: 78  was computed by Maryland mathematician Daniel Shanks (no relation to the aforementioned William Shanks) and his team at the United States Naval Research Laboratory in Washington, D.C. In 1961, Shanks and his team used two different power series for calculating the digits of π. For one, it was known that any error would produce a value slightly high, and for the other, it was known that any error would produce a value slightly low. And hence, as long as the two series produced the same digits, there was a very high confidence that they were correct. The first 100,265 digits of π were published in 1962.: 80–99  The authors outlined what would be needed to calculate π to 1 million decimal places and concluded that the task was beyond that day's technology, but would be possible in five to seven years.: 78 

In 1989, the Chudnovsky brothers computed π to over 1 billion decimal places on the supercomputer IBM 3090 using the following variation of Ramanujan's infinite series of π:

1 π = 12 k = 0 ( 1 ) k ( 6 k ) ! ( 13591409 + 545140134 k ) ( 3 k ) ! ( k ! ) 3 640320 3 k + 3 / 2 . {\displaystyle {\frac {1}{\pi }}=12\sum _{k=0}^{\infty }{\frac {(-1)^{k}(6k)!(13591409+545140134k)}{(3k)!(k!)^{3}640320^{3k+3/2}}}.}

Records since then have all been accomplished using the Chudnovsky algorithm. In 1999, Yasumasa Kanada and his team at the University of Tokyo computed π to over 200 billion decimal places on the supercomputer HITACHI SR8000/MPP (128 nodes) using another variation of Ramanujan's infinite series of π. In November 2002, Yasumasa Kanada and a team of 9 others used the Hitachi SR8000, a 64-node supercomputer with 1 terabyte of main memory, to calculate π to roughly 1.24 trillion digits in around 600 hours (25 days).

Recent records

  1. In August 2009, a Japanese supercomputer called the T2K Open Supercomputer more than doubled the previous record by calculating π to roughly 2.6 trillion digits in approximately 73 hours and 36 minutes.
  2. In December 2009, Fabrice Bellard used a home computer to compute 2.7 trillion decimal digits of π. Calculations were performed in base 2 (binary), then the result was converted to base 10 (decimal). The calculation, conversion, and verification steps took a total of 131 days.
  3. In August 2010, Shigeru Kondo used Alexander Yee's y-cruncher to calculate 5 trillion digits of π. This was the world record for any type of calculation, but significantly it was performed on a home computer built by Kondo. The calculation was done between 4 May and 3 August, with the primary and secondary verifications taking 64 and 66 hours respectively.
  4. In October 2011, Shigeru Kondo broke his own record by computing ten trillion (1013) and fifty digits using the same method but with better hardware.
  5. In December 2013, Kondo broke his own record for a second time when he computed 12.1 trillion digits of π.
  6. In October 2014, Sandon Van Ness, going by the pseudonym "houkouonchi" used y-cruncher to calculate 13.3 trillion digits of π.
  7. In November 2016, Peter Trueb and his sponsors computed on y-cruncher and fully verified 22.4 trillion digits of π (22,459,157,718,361 (πe × 1012)). The computation took (with three interruptions) 105 days to complete, the limitation of further expansion being primarily storage space.
  8. In March 2019, Emma Haruka Iwao, an employee at Google, computed 31.4 (approximately 10π) trillion digits of pi using y-cruncher and Google Cloud machines. This took 121 days to complete.
  9. In January 2020, Timothy Mullican announced the computation of 50 trillion digits over 303 days.
  10. On 14 August 2021, a team (DAViS) at the University of Applied Sciences of the Grisons announced completion of the computation of π to 62.8 (approximately 20π) trillion digits.
  11. On 8 June 2022, Emma Haruka Iwao announced on the Google Cloud Blog the computation of 100 trillion (1014) digits of π over 158 days using Alexander Yee's y-cruncher.
  12. On 14 March 2024, Jordan Ranous, Kevin O’Brien and Brian Beeler computed π to 105 trillion digits, also using y-cruncher.

Practical approximations

Depending on the purpose of a calculation, π can be approximated by using fractions for ease of calculation. The most notable such approximations are 227 (relative error of about 4·10−4) and 355113 (relative error of about 8·10−8). In Chinese mathematics, the fractions 22/7 and 355/113 are known as Yuelü (约率; yuēlǜ; 'approximate ratio') and Milü (密率; mìlǜ; 'close ratio').

Non-mathematical "definitions" of π

Of some notability are legal or historical texts purportedly "defining π" to have some rational value, such as the "Indiana Pi Bill" of 1897, which stated "the ratio of the diameter and circumference is as five-fourths to four" (which would imply "π = 3.2") and a passage in the Hebrew Bible that implies that π = 3.

Indiana bill

The so-called "Indiana Pi Bill" from 1897 has often been characterized as an attempt to "legislate the value of Pi". Rather, the bill dealt with a purported solution to the problem of geometrically "squaring the circle".

The bill was nearly passed by the Indiana General Assembly in the U.S., and has been claimed to imply a number of different values for π, although the closest it comes to explicitly asserting one is the wording "the ratio of the diameter and circumference is as five-fourths to four", which would make π = 165 = 3.2, a discrepancy of nearly 2 percent. A mathematics professor who happened to be present the day the bill was brought up for consideration in the Senate, after it had passed in the House, helped to stop the passage of the bill on its second reading, after which the assembly thoroughly ridiculed it before postponing it indefinitely.

Imputed biblical value

It is sometimes claimed that the Hebrew Bible implies that "π equals three", based on a passage in 1 Kings 7:23 and 2 Chronicles 4:2 giving measurements for the round basin located in front of the Temple in Jerusalem as having a diameter of 10 cubits and a circumference of 30 cubits.

The issue is discussed in the Talmud and in Rabbinic literature. Among the many explanations and comments are these:

  • Rabbi Nehemiah explained this in his Mishnat ha-Middot (the earliest known Hebrew text on geometry, ca. 150 CE) by saying that the diameter was measured from the outside rim while the circumference was measured along the inner rim. This interpretation implies a brim about 0.225 cubit (or, assuming an 18-inch "cubit", some 4 inches), or one and a third "handbreadths," thick (cf. NRSV and NRSV).
  • Maimonides states (ca. 1168 CE) that π can only be known approximately, so the value 3 was given as accurate enough for religious purposes. This is taken by some as the earliest assertion that π is irrational.

There is still some debate on this passage in biblical scholarship. Many reconstructions of the basin show a wider brim (or flared lip) extending outward from the bowl itself by several inches to match the description given in NRSV In the succeeding verses, the rim is described as "a handbreadth thick; and the brim thereof was wrought like the brim of a cup, like the flower of a lily: it received and held three thousand baths" NRSV, which suggests a shape that can be encompassed with a string shorter than the total length of the brim, e.g., a Lilium flower or a Teacup.

Development of efficient formulae

Polygon approximation to a circle

Archimedes, in his Measurement of a Circle, created the first algorithm for the calculation of π based on the idea that the perimeter of any (convex) polygon inscribed in a circle is less than the circumference of the circle, which, in turn, is less than the perimeter of any circumscribed polygon. He started with inscribed and circumscribed regular hexagons, whose perimeters are readily determined. He then shows how to calculate the perimeters of regular polygons of twice as many sides that are inscribed and circumscribed about the same circle. This is a recursive procedure which would be described today as follows: Let pk and Pk denote the perimeters of regular polygons of k sides that are inscribed and circumscribed about the same circle, respectively. Then,

P 2 n = 2 p n P n p n + P n , p 2 n = p n P 2 n . {\displaystyle P_{2n}={\frac {2p_{n}P_{n}}{p_{n}+P_{n}}},\quad \quad p_{2n}={\sqrt {p_{n}P_{2n}}}.}

Archimedes uses this to successively compute P12, p12, P24, p24, P48, p48, P96 and p96. Using these last values he obtains

3 10 71 < π < 3 1 7 . {\displaystyle 3{\frac {10}{71}}<\pi <3{\frac {1}{7}}.}

It is not known why Archimedes stopped at a 96-sided polygon; it only takes patience to extend the computations. Heron reports in his Metrica (about 60 CE) that Archimedes continued the computation in a now lost book, but then attributes an incorrect value to him.

Archimedes uses no trigonometry in this computation and the difficulty in applying the method lies in obtaining good approximations for the square roots that are involved. Trigonometry, in the form of a table of chord lengths in a circle, was probably used by Claudius Ptolemy of Alexandria to obtain the value of π given in the Almagest (circa 150 CE).

Advances in the approximation of π (when the methods are known) were made by increasing the number of sides of the polygons used in the computation. A trigonometric improvement by Willebrord Snell (1621) obtains better bounds from a pair of bounds obtained from the polygon method. Thus, more accurate results were obtained from polygons with fewer sides. Viète's formula, published by François Viète in 1593, was derived by Viète using a closely related polygonal method, but with areas rather than perimeters of polygons whose numbers of sides are powers of two.

The last major attempt to compute π by this method was carried out by Grienberger in 1630 who calculated 39 decimal places of π using Snell's refinement.

Machin-like formula

For fast calculations, one may use formulae such as Machin's:

π 4 = 4 arctan 1 5 arctan 1 239 {\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}}

together with the Taylor series expansion of the function arctan(x). This formula is most easily verified using polar coordinates of complex numbers, producing:

( 5 + i ) 4 ( 239 i ) = 2 2 13 4 ( 1 + i ) . {\displaystyle (5+i)^{4}\cdot (239-i)=2^{2}\cdot 13^{4}(1+i).}

((x),(y) = {239, 132} is a solution to the Pell equation x2 − 2y2 = −1.)

Formulae of this kind are known as Machin-like formulae. Machin's particular formula was used well into the computer era for calculating record numbers of digits of π, but more recently other similar formulae have been used as well.

For instance, Shanks and his team used the following Machin-like formula in 1961 to compute the first 100,000 digits of π:

π 4 = 6 arctan 1 8 + 2 arctan 1 57 + arctan 1 239 {\displaystyle {\frac {\pi }{4}}=6\arctan {\frac {1}{8}}+2\arctan {\frac {1}{57}}+\arctan {\frac {1}{239}}}

and they used another Machin-like formula,

π 4 = 12 arctan 1 18 + 8 arctan 1 57 5 arctan 1 239 {\displaystyle {\frac {\pi }{4}}=12\arctan {\frac {1}{18}}+8\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}}

as a check.

The record as of December 2002 by Yasumasa Kanada of Tokyo University stood at 1,241,100,000,000 digits. The following Machin-like formulae were used for this:

π 4 = 12 arctan 1 49 + 32 arctan 1 57 5 arctan 1 239 + 12 arctan 1 110443 {\displaystyle {\frac {\pi }{4}}=12\arctan {\frac {1}{49}}+32\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}+12\arctan {\frac {1}{110443}}}

K. Takano (1982).

π 4 = 44 arctan 1 57 + 7 arctan 1 239 12 arctan 1 682 + 24 arctan 1 12943 {\displaystyle {\frac {\pi }{4}}=44\arctan {\frac {1}{57}}+7\arctan {\frac {1}{239}}-12\arctan {\frac {1}{682}}+24\arctan {\frac {1}{12943}}}

F. C. M. Størmer (1896).

Other classical formulae

Other formulae that have been used to compute estimates of π include:

Liu Hui (see also Viète's formula):

π 768 2 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 1 3.141590463236763. {\displaystyle {\begin{aligned}\pi &\approx 768{\sqrt {2-{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+1}}}}}}}}}}}}}}}}}}\\&\approx 3.141590463236763.\end{aligned}}}

Madhava:

π = 12 k = 0 ( 3 ) k 2 k + 1 = 12 k = 0 ( 1 3 ) k 2 k + 1 = 12 ( 1 1 3 0 1 3 3 1 + 1 5 3 2 1 7 3 3 + ) {\displaystyle \pi ={\sqrt {12}}\sum _{k=0}^{\infty }{\frac {(-3)^{-k}}{2k+1}}={\sqrt {12}}\sum _{k=0}^{\infty }{\frac {(-{\frac {1}{3}})^{k}}{2k+1}}={\sqrt {12}}\left({1 \over 1\cdot 3^{0}}-{1 \over 3\cdot 3^{1}}+{1 \over 5\cdot 3^{2}}-{1 \over 7\cdot 3^{3}}+\cdots \right)}

Newton / Euler Convergence Transformation:

arctan x = x 1 + x 2 k = 0 ( 2 k ) ! ! x 2 k ( 2 k + 1 ) ! ! ( 1 + x 2 ) k = x 1 + x 2 + 2 3 x 3 ( 1 + x 2 ) 2 + 2 4 3 5 x 5 ( 1 + x 2 ) 3 + π 2 = k = 0 k ! ( 2 k + 1 ) ! ! = k = 0 2 k k ! 2 ( 2 k + 1 ) ! = 1 + 1 3 ( 1 + 2 5 ( 1 + 3 7 ( 1 + ) ) ) {\displaystyle {\begin{aligned}\arctan x&={\frac {x}{1+x^{2}}}\sum _{k=0}^{\infty }{\frac {(2k)!!\,x^{2k}}{(2k+1)!!\,(1+x^{2})^{k}}}={\frac {x}{1+x^{2}}}+{\frac {2}{3}}{\frac {x^{3}}{(1+x^{2})^{2}}}+{\frac {2\cdot 4}{3\cdot 5}}{\frac {x^{5}}{(1+x^{2})^{3}}}+\cdots \\[10mu]{\frac {\pi }{2}}&=\sum _{k=0}^{\infty }{\frac {k!}{(2k+1)!!}}=\sum _{k=0}^{\infty }{\cfrac {2^{k}k!^{2}}{(2k+1)!}}=1+{\frac {1}{3}}\left(1+{\frac {2}{5}}\left(1+{\frac {3}{7}}\left(1+\cdots \right)\right)\right)\end{aligned}}}
where m!! is the double factorial, the product of the positive integers up to m with the same parity.

Euler:

π = 20 arctan 1 7 + 8 arctan 3 79 {\displaystyle {\pi }=20\arctan {\frac {1}{7}}+8\arctan {\frac {3}{79}}}
(Evaluated using the preceding series for arctan.)

Ramanujan:

1 π = 2 2 9801 k = 0 ( 4 k ) ! ( 1103 + 26390 k ) ( k ! ) 4 396 4 k {\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}396^{4k}}}}

David Chudnovsky and Gregory Chudnovsky:

1 π = 12 k = 0 ( 1 ) k ( 6 k ) ! ( 13591409 + 545140134 k ) ( 3 k ) ! ( k ! ) 3 640320 3 k + 3 / 2 {\displaystyle {\frac {1}{\pi }}=12\sum _{k=0}^{\infty }{\frac {(-1)^{k}(6k)!(13591409+545140134k)}{(3k)!(k!)^{3}640320^{3k+3/2}}}}

Ramanujan's work is the basis for the Chudnovsky algorithm, the fastest algorithms used, as of the turn of the millennium, to calculate π.

Modern algorithms

Extremely long decimal expansions of π are typically computed with iterative formulae like the Gauss–Legendre algorithm and Borwein's algorithm. The latter, found in 1985 by Jonathan and Peter Borwein, converges extremely quickly:

For y 0 = 2 1 ,   a 0 = 6 4 2 {\displaystyle y_{0}={\sqrt {2}}-1,\ a_{0}=6-4{\sqrt {2}}} and

y k + 1 = ( 1 f ( y k ) ) / ( 1 + f ( y k ) )   ,   a k + 1 = a k ( 1 + y k + 1 ) 4 2 2 k + 3 y k + 1 ( 1 + y k + 1 + y k + 1 2 ) {\displaystyle y_{k+1}=(1-f(y_{k}))/(1+f(y_{k}))~,~a_{k+1}=a_{k}(1+y_{k+1})^{4}-2^{2k+3}y_{k+1}(1+y_{k+1}+y_{k+1}^{2})}

where f ( y ) = ( 1 y 4 ) 1 / 4 {\displaystyle f(y)=(1-y^{4})^{1/4}} , the sequence 1 / a k {\displaystyle 1/a_{k}} converges quartically to π, giving about 100 digits in three steps and over a trillion digits after 20 steps. The Gauss–Legendre algorithm (with time complexity O ( n log 2 n ) {\displaystyle O(n\log ^{2}n)} , using Harvey–Hoeven multiplication algorithm) is asymptotically faster than the Chudnovsky algorithm (with time complexity O ( n log 3 n ) {\displaystyle O(n\log ^{3}n)} ) – but which of these algorithms is faster in practice for "small enough" n {\displaystyle n} depends on technological factors such as memory sizes and access times. For breaking world records, the iterative algorithms are used less commonly than the Chudnovsky algorithm since they are memory-intensive.

The first one million digits of π and 1π are available from Project Gutenberg. A former calculation record (December 2002) by Yasumasa Kanada of Tokyo University stood at 1.24 trillion digits, which were computed in September 2002 on a 64-node Hitachi supercomputer with 1 terabyte of main memory, which carries out 2 trillion operations per second, nearly twice as many as the computer used for the previous record (206 billion digits). The following Machin-like formulae were used for this:

π 4 = 12 arctan 1 49 + 32 arctan 1 57 5 arctan 1 239 + 12 arctan 1 110443 {\displaystyle {\frac {\pi }{4}}=12\arctan {\frac {1}{49}}+32\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}+12\arctan {\frac {1}{110443}}} (Kikuo Takano (1982))
π 4 = 44 arctan 1 57 + 7 arctan 1 239 12 arctan 1 682 + 24 arctan 1 12943 {\displaystyle {\frac {\pi }{4}}=44\arctan {\frac {1}{57}}+7\arctan {\frac {1}{239}}-12\arctan {\frac {1}{682}}+24\arctan {\frac {1}{12943}}} (F. C. M. Størmer (1896)).

These approximations have so many digits that they are no longer of any practical use, except for testing new supercomputers. Properties like the potential normality of π will always depend on the infinite string of digits on the end, not on any finite computation.

Miscellaneous approximations

Historically, base 60 was used for calculations. In this base, π can be approximated to eight (decimal) significant figures with the number 3;8,29,4460, which is

3 + 8 60 + 29 60 2 + 44 60 3 = 3.14159   259 + {\displaystyle 3+{\frac {8}{60}}+{\frac {29}{60^{2}}}+{\frac {44}{60^{3}}}=3.14159\ 259^{+}}

(The next sexagesimal digit is 0, causing truncation here to yield a relatively good approximation.)

In addition, the following expressions can be used to estimate π:

  • accurate to three digits:
22 7 = 3.143 + {\displaystyle {\frac {22}{7}}=3.143^{+}}
  • accurate to three digits:
2 + 3 = 3.146 + {\displaystyle {\sqrt {2}}+{\sqrt {3}}=3.146^{+}}
Karl Popper conjectured that Plato knew this expression, that he believed it to be exactly π, and that this is responsible for some of Plato's confidence in the omnicompetence of mathematical geometry—and Plato's repeated discussion of special right triangles that are either isosceles or halves of equilateral triangles.
15 3 + 1 = 3.1409 + {\displaystyle {\sqrt {15}}-{\sqrt {3}}+1=3.1409^{+}}
  • accurate to four digits:
1 + e γ = 3.1410 + , {\displaystyle 1+e-\gamma =3.1410^{+},} where e {\displaystyle e} is the natural logarithmic base and γ {\displaystyle \gamma } is Euler's constant
31 3 = 3.1413 + {\displaystyle {\sqrt[{3}]{31}}=3.1413^{+}}
63 23 = 3.14142   2 + {\displaystyle {\sqrt {63}}-{\sqrt {23}}=3.14142\ 2^{+}}
51 16 = 3.14142   8 + {\displaystyle {\sqrt {51}}-{\sqrt {16}}=3.14142\ 8^{+}}
3 + 2 10 = 3.14142   1 + {\displaystyle 3+{\frac {\sqrt {2}}{10}}=3.14142\ 1^{+}}
  • accurate to four digits (or five significant figures):
7 + 6 + 5 = 3.1416 + {\displaystyle {\sqrt {7+{\sqrt {6+{\sqrt {5}}}}}}=3.1416^{+}}
  • an approximation by Ramanujan, accurate to 4 digits (or five significant figures):
9 5 + 9 5 = 3.1416 + {\displaystyle {\frac {9}{5}}+{\sqrt {\frac {9}{5}}}=3.1416^{+}}
  • accurate to five digits:
7 7 4 9 = 3.14156 + {\displaystyle {\frac {7^{7}}{4^{9}}}=3.14156^{+}}
306 5 = 3.14155 + {\displaystyle {\sqrt[{5}]{306}}=3.14155^{+}}
  • accurate to six digits:
( 2 2 2 2 2 2 ) 2 = 3.14159   6 + {\displaystyle \left(2-{\frac {\sqrt {2{\sqrt {2}}-2}}{2^{2}}}\right)^{2}=3.14159\ 6^{+}} [1]
2 + 3 + 2 3 68 = 3.14159   0 + {\displaystyle {\sqrt {2}}+{\sqrt {3}}+{\frac {{\sqrt {2}}-{\sqrt {3}}}{68}}=3.14159\ 0^{+}}
4 ( 1 1 3 + 1 5 1 7 + 1 9 ) 2 10 + 1 2 10 + 2 2 10 + 3 2 10 = 3.14159   3 + {\displaystyle 4\left(1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}\right)-{\frac {2}{10+{\frac {1^{2}}{10+{\frac {2^{2}}{10+{\frac {3^{2}}{10}}}}}}}}=3.14159\ 3^{+}}
  • accurate to seven digits:
355 113 = 3.14159   29 + {\displaystyle {\frac {355}{113}}=3.14159\ 29^{+}}
883 21 8 = 3.14159   25 + {\displaystyle {\frac {{\sqrt {883}}-{\sqrt {21}}}{8}}=3.14159\ 25^{+}}
9801 2206 2 = 3.14159   27 + {\displaystyle {\frac {9801}{2206{\sqrt {2}}}}=3.14159\ 27^{+}} - inverse of first term of Ramanujan series.
( 2 4 6 3 5 7 ) 2 ( 15 + 1 2 30 + 3 2 30 + 5 2 30 ) = 3.14159   27 + {\displaystyle \left({\frac {2\cdot 4\cdot 6}{3\cdot 5\cdot 7}}\right)^{2}\left(15+{\frac {1^{2}}{30+{\frac {3^{2}}{30+{\frac {5^{2}}{30}}}}}}\right)=3.14159\ 27^{+}}
  • accurate to eight digits:
2669 547 9 = 3.14159   269 + {\displaystyle {\frac {{\sqrt {2669}}-{\sqrt {547}}}{9}}=3.14159\ 269^{+}}
16 5 2 38 2 3846 = 3.14159   260 + {\displaystyle {\frac {16}{5{\sqrt[{38}]{2}}{\sqrt[{3846}]{2}}}}=3.14159\ 260^{+}}
3 + 2 2 1234 2 1068 10 = 3.14159   268 + {\displaystyle 3+{\frac {{\sqrt {2}}{\sqrt[{1234}]{2}}{\sqrt[{1068}]{2}}}{10}}=3.14159\ 268^{+}}
99733 31746 = 3.14159   264 + {\displaystyle {\frac {99733}{31746}}=3.14159\ 264^{+}}
( 58 4 37 2 33 ) 1 = 66 2 33 29 148 = 3.14159   263 + {\displaystyle \left({\frac {\sqrt {58}}{4}}-{\frac {37{\sqrt {2}}}{33}}\right)^{-1}={\frac {66{\sqrt {2}}}{33{\sqrt {29}}-148}}=3.14159\ 263^{+}}
This is the case that cannot be obtained from Ramanujan's approximation (22).
  • accurate to nine digits:
3 4 + 2 4 + 1 2 + ( 2 3 ) 2 4 = 2143 22 4 = 3.14159   2652 + {\displaystyle {\sqrt[{4}]{3^{4}+2^{4}+{\frac {1}{2+({\frac {2}{3}})^{2}}}}}={\sqrt[{4}]{\frac {2143}{22}}}=3.14159\ 2652^{+}}
This is from Ramanujan, who claimed the Goddess of Namagiri appeared to him in a dream and told him the true value of π.
  • accurate to ten digits:
28658146 15 = 3.14159   26538 + {\displaystyle {\sqrt[{15}]{28658146}}=3.14159\ 26538^{+}}
  • accurate to ten digits:
63 25 × 17 + 15 5 7 + 15 5 = 3.14159   26538 + {\displaystyle {\frac {63}{25}}\times {\frac {17+15{\sqrt {5}}}{7+15{\sqrt {5}}}}=3.14159\ 26538^{+}}
  • accurate to ten digits (or eleven significant figures):
10 100 11222.11122 193 = 3.14159   26536 + {\displaystyle {\sqrt[{193}]{\frac {10^{100}}{11222.11122}}}=3.14159\ 26536^{+}}
This curious approximation follows the observation that the 193rd power of 1/π yields the sequence 1122211125... Replacing 5 by 2 completes the symmetry without reducing the correct digits of π, while inserting a central decimal point remarkably fixes the accompanying magnitude at 10100.
  • accurate to eleven digits:
888582403 18 = 3.14159   26535   8 + {\displaystyle {\sqrt[{18}]{888582403}}=3.14159\ 26535\ 8^{+}}
  • accurate to twelve digits:
8769956796 20 = 3.14159   26535   89 + {\displaystyle {\sqrt[{20}]{8769956796}}=3.14159\ 26535\ 89^{+}}
  • accurate to 12 decimal places:
( 163 6 181 10005 ) 1 = 3.14159   26535   89 + {\displaystyle \left({\frac {\sqrt {163}}{6}}-{\frac {181}{\sqrt {10005}}}\right)^{-1}=3.14159\ 26535\ 89^{+}}
This is obtained from the Chudnovsky series (truncate the series (1.4) at the first term and let E6(τ163)2/E4(τ163)3 = 151931373056001/151931373056000 ≈ 1).
  • accurate to 16 digits:
2510613731736 2 1130173253125 = 3.14159   26535   89793   9 + {\displaystyle {\frac {2510613731736{\sqrt {2}}}{1130173253125}}=3.14159\ 26535\ 89793\ 9^{+}} - inverse of sum of first two terms of Ramanujan series.
165707065 52746197 = 3.14159   26535   89793   4 + {\displaystyle {\frac {165707065}{52746197}}=3.14159\ 26535\ 89793\ 4^{+}}
  • accurate to 18 digits:
( 253 4 643 11 903 223 172 ) 1 = 3.14159   26535   89793   2387 + {\displaystyle \left({\frac {\sqrt {253}}{4}}-{\frac {643{\sqrt {11}}}{903}}-{\frac {223}{172}}\right)^{-1}=3.14159\ 26535\ 89793\ 2387^{+}}
This is the approximation (22) in Ramanujan's paper with n = 253.
  • accurate to 19 digits:
3949122332 2 1777729635 = 3.14159   26535   89793   2382 + {\displaystyle {\frac {3949122332{\sqrt {2}}}{1777729635}}=3.14159\ 26535\ 89793\ 2382^{+}} - improved inverse of sum of first two terms of Ramanujan series.
  • accurate to 24 digits:
2286635172367940241408 2 1029347477390786609545 = 3.14159   26535   89793   23846   2649 + {\displaystyle {\frac {2286635172367940241408{\sqrt {2}}}{1029347477390786609545}}=3.14159\ 26535\ 89793\ 23846\ 2649^{+}} - inverse of sum of first three terms of Ramanujan series.
  • accurate to 25 decimal places:
1 10 ln ( 2 21 ( 5 4 1 ) 24 + 24 ) = 3.14159   26535   89793   23846   26433   9 + {\displaystyle {\frac {1}{10}}\ln \left({\frac {2^{21}}{({\sqrt[{4}]{5}}-1)^{24}}}+24\right)=3.14159\ 26535\ 89793\ 23846\ 26433\ 9^{+}}
This is derived from Ramanujan's class invariant g100 = 25/8/(51/4 − 1).
  • accurate to 30 decimal places:
ln ( 640320 3 + 744 ) 163 = 3.14159   26535   89793   23846   26433   83279 + {\displaystyle {\frac {\ln(640320^{3}+744)}{\sqrt {163}}}=3.14159\ 26535\ 89793\ 23846\ 26433\ 83279^{+}}
Derived from the closeness of Ramanujan constant to the integer 6403203+744. This does not admit obvious generalizations in the integers, because there are only finitely many Heegner numbers and negative discriminants d with class number h(−d) = 1, and d = 163 is the largest one in absolute value.
  • accurate to 52 decimal places:
ln ( 5280 3 ( 236674 + 30303 61 ) 3 + 744 ) 427 {\displaystyle {\frac {\ln(5280^{3}(236674+30303{\sqrt {61}})^{3}+744)}{\sqrt {427}}}}
Like the one above, a consequence of the j-invariant. Among negative discriminants with class number 2, this d the largest in absolute value.
  • accurate to 52 decimal places:
ln ( 2 30 ( ( 3 + 5 ) ( 5 + 7 ) ( 7 + 11 ) ( 11 + 3 ) ) 12 24 ) 5 7 11 {\displaystyle {\frac {\ln(2^{-30}((3+{\sqrt {5}})({\sqrt {5}}+{\sqrt {7}})({\sqrt {7}}+{\sqrt {11}})({\sqrt {11}}+3))^{12}-24)}{{\sqrt {5}}{\sqrt {7}}{\sqrt {11}}}}}
This is derived from Ramanujan's class invariant G385.
  • accurate to 161 decimal places:
ln ( ( 2 u ) 6 + 24 ) 3502 {\displaystyle {\frac {\ln {\big (}(2u)^{6}+24{\big )}}{\sqrt {3502}}}}
where u is a product of four simple quartic units,
u = ( a + a 2 1 ) 2 ( b + b 2 1 ) 2 ( c + c 2 1 ) ( d + d 2 1 ) {\displaystyle u=(a+{\sqrt {a^{2}-1}})^{2}(b+{\sqrt {b^{2}-1}})^{2}(c+{\sqrt {c^{2}-1}})(d+{\sqrt {d^{2}-1}})}
and,
a = 1 2 ( 23 + 4 34 ) b = 1 2 ( 19 2 + 7 17 ) c = ( 429 + 304 2 ) d = 1 2 ( 627 + 442 2 ) {\displaystyle {\begin{aligned}a&={\tfrac {1}{2}}(23+4{\sqrt {34}})\\b&={\tfrac {1}{2}}(19{\sqrt {2}}+7{\sqrt {17}})\\c&=(429+304{\sqrt {2}})\\d&={\tfrac {1}{2}}(627+442{\sqrt {2}})\end{aligned}}}
Based on one found by Daniel Shanks. Similar to the previous two, but this time is a quotient of a modular form, namely the Dedekind eta function, and where the argument involves τ = 3502 {\displaystyle \tau ={\sqrt {-3502}}} . The discriminant d = 3502 has h(−d) = 16.
  • accurate to 256 digits:
15261343909396942111177730086852826352374060766771618308167575028500999 48590509502030754798379641288876701245663220023884870402810360529259 . . . {\displaystyle {\frac {15261343909396942111177730086852826352374060766771618308167575028500999}{48590509502030754798379641288876701245663220023884870402810360529259}}...}
. . . 551152789881364457516133280872003443353677807669620554743 10005 3134188302895457201473978137944378665098227220269702217081111 {\displaystyle ...{\frac {551152789881364457516133280872003443353677807669620554743{\sqrt {10005}}}{3134188302895457201473978137944378665098227220269702217081111}}} - improved inverse of sum of the first nineteen terms of Chudnovsky series.
  • The continued fraction representation of π can be used to generate successive best rational approximations. These approximations are the best possible rational approximations of π relative to the size of their denominators. Here is a list of the first thirteen of these:
3 1 , 22 7 , 333 106 , 355 113 , 103993 33102 , 104348 33215 , 208341 66317 , 312689 99532 , 833719 265381 , 1146408 364913 , 4272943 1360120 , 5419351 1725033 {\displaystyle {\frac {3}{1}},{\frac {22}{7}},{\frac {333}{106}},{\frac {355}{113}},{\frac {103993}{33102}},{\frac {104348}{33215}},{\frac {208341}{66317}},{\frac {312689}{99532}},{\frac {833719}{265381}},{\frac {1146408}{364913}},{\frac {4272943}{1360120}},{\frac {5419351}{1725033}}}
Of these, 355 113 {\displaystyle {\frac {355}{113}}} is the only fraction in this sequence that gives more exact digits of π (i.e. 7) than the number of digits needed to approximate it (i.e. 6). The accuracy can be improved by using other fractions with larger numerators and denominators, but, for most such fractions, more digits are required in the approximation than correct significant figures achieved in the result.

Summing a circle's area

Pi can be obtained from a circle if its radius and area are known using the relationship:

A = π r 2 . {\displaystyle A=\pi r^{2}.}

If a circle with radius r is drawn with its center at the point (0, 0), any point whose distance from the origin is less than r will fall inside the circle. The Pythagorean theorem gives the distance from any point (xy) to the center:

d = x 2 + y 2 . {\displaystyle d={\sqrt {x^{2}+y^{2}}}.}

Mathematical "graph paper" is formed by imagining a 1×1 square centered around each cell (xy), where x and y are integers between −r and r. Squares whose center resides inside or exactly on the border of the circle can then be counted by testing whether, for each cell (xy),

x 2 + y 2 r . {\displaystyle {\sqrt {x^{2}+y^{2}}}\leq r.}

The total number of cells satisfying that condition thus approximates the area of the circle, which then can be used to calculate an approximation of π. Closer approximations can be produced by using larger values of r.

Mathematically, this formula can be written:

π = lim r 1 r 2 x = r r y = r r { 1 if  x 2 + y 2 r 0 if  x 2 + y 2 > r . {\displaystyle \pi =\lim _{r\to \infty }{\frac {1}{r^{2}}}\sum _{x=-r}^{r}\;\sum _{y=-r}^{r}{\begin{cases}1&{\text{if }}{\sqrt {x^{2}+y^{2}}}\leq r\\0&{\text{if }}{\sqrt {x^{2}+y^{2}}}>r.\end{cases}}}

In other words, begin by choosing a value for r. Consider all cells (xy) in which both x and y are integers between −r and r. Starting at 0, add 1 for each cell whose distance to the origin (0,0) is less than or equal to r. When finished, divide the sum, representing the area of a circle of radius r, by r2 to find the approximation of π. For example, if r is 5, then the cells considered are:

The 12 cells (0, ±5), (±5, 0), (±3, ±4), (±4, ±3) are exactly on the circle, and 69 cells are completely inside, so the approximate area is 81, and π is calculated to be approximately 3.24 because 8152 = 3.24. Results for some values of r are shown in the table below:

For related results see The circle problem: number of points (x,y) in square lattice with x^2 + y^2 <= n.

Similarly, the more complex approximations of π given below involve repeated calculations of some sort, yielding closer and closer approximations with increasing numbers of calculations.

Continued fractions

Besides its simple continued fraction representation [3; 7, 15, 1, 292, 1, 1, ...], which displays no discernible pattern, π has many generalized continued fraction representations generated by a simple rule, including these two.

π = 3 + 1 2 6 + 3 2 6 + 5 2 6 + {\displaystyle \pi ={3+{\cfrac {1^{2}}{6+{\cfrac {3^{2}}{6+{\cfrac {5^{2}}{6+\ddots \,}}}}}}}}
π = 4 1 + 1 2 3 + 2 2 5 + 3 2 7 + 4 2 9 + = 3 + 1 2 5 + 4 2 7 + 3 2 9 + 6 2 11 + 5 2 13 + {\displaystyle \pi ={\cfrac {4}{1+{\cfrac {1^{2}}{3+{\cfrac {2^{2}}{5+{\cfrac {3^{2}}{7+{\cfrac {4^{2}}{9+\ddots }}}}}}}}}}=3+{\cfrac {1^{2}}{5+{\cfrac {4^{2}}{7+{\cfrac {3^{2}}{9+{\cfrac {6^{2}}{11+{\cfrac {5^{2}}{13+\ddots }}}}}}}}}}}

The remainder of the Madhava–Leibniz series can be expressed as generalized continued fraction as follows.

π = 4 n = 1 m ( 1 ) n 1 2 n 1 + 2 ( 1 ) m 2 m + 1 2 2 m + 2 2 2 m + 3 2 2 m + ( m = 1 , 2 , 3 , ) {\displaystyle \pi =4\sum _{n=1}^{m}{\frac {(-1)^{n-1}}{2n-1}}+{\cfrac {2(-1)^{m}}{2m+{\cfrac {1^{2}}{2m+{\cfrac {2^{2}}{2m+{\cfrac {3^{2}}{2m+\ddots }}}}}}}}\qquad (m=1,2,3,\ldots )}

Note that Madhava's correction term is

2 2 m + 1 2 2 m + 2 2 2 m = 4 m 2 + 1 4 m 3 + 5 m {\displaystyle {\frac {2}{2m+{\frac {1^{2}}{2m+{\frac {2^{2}}{2m}}}}}}=4{\frac {m^{2}+1}{4m^{3}+5m}}} .

The well-known values 227 and 355113 are respectively the second and fourth continued fraction approximations to π. (Other representations are available at The Wolfram Functions Site.)

Trigonometry

Gregory–Leibniz series

The Gregory–Leibniz series

π = 4 n = 0 ( 1 ) n 2 n + 1 = 4 ( 1 1 1 3 + 1 5 1 7 + ) {\displaystyle \pi =4\sum _{n=0}^{\infty }{\cfrac {(-1)^{n}}{2n+1}}=4\left({\frac {1}{1}}-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+-\cdots \right)}

is the power series for arctan(x) specialized to x = 1. It converges too slowly to be of practical interest. However, the power series converges much faster for smaller values of x {\displaystyle x} , which leads to formulae where π {\displaystyle \pi } arises as the sum of small angles with rational tangents, known as Machin-like formulae.

Arctangent

Knowing that 4 arctan 1 = π, the formula can be simplified to get:

π = 2 ( 1 + 1 3 + 1 2 3 5 + 1 2 3 3 5 7 + 1 2 3 4 3 5 7 9 + 1 2 3 4 5 3 5 7 9 11 + ) = 2 n = 0 n ! ( 2 n + 1 ) ! ! = n = 0 2 n + 1 n ! 2 ( 2 n + 1 ) ! = n = 0 2 n + 1 ( 2 n n ) ( 2 n + 1 ) = 2 + 2 3 + 4 15 + 4 35 + 16 315 + 16 693 + 32 3003 + 32 6435 + 256 109395 + 256 230945 + {\displaystyle {\begin{aligned}\pi &=2\left(1+{\cfrac {1}{3}}+{\cfrac {1\cdot 2}{3\cdot 5}}+{\cfrac {1\cdot 2\cdot 3}{3\cdot 5\cdot 7}}+{\cfrac {1\cdot 2\cdot 3\cdot 4}{3\cdot 5\cdot 7\cdot 9}}+{\cfrac {1\cdot 2\cdot 3\cdot 4\cdot 5}{3\cdot 5\cdot 7\cdot 9\cdot 11}}+\cdots \right)\\&=2\sum _{n=0}^{\infty }{\cfrac {n!}{(2n+1)!!}}=\sum _{n=0}^{\infty }{\cfrac {2^{n+1}n!^{2}}{(2n+1)!}}=\sum _{n=0}^{\infty }{\cfrac {2^{n+1}}{{\binom {2n}{n}}(2n+1)}}\\&=2+{\frac {2}{3}}+{\frac {4}{15}}+{\frac {4}{35}}+{\frac {16}{315}}+{\frac {16}{693}}+{\frac {32}{3003}}+{\frac {32}{6435}}+{\frac {256}{109395}}+{\frac {256}{230945}}+\cdots \end{aligned}}}

with a convergence such that each additional 10 terms yields at least three more digits.

π = 2 + 1 3 ( 2 + 2 5 ( 2 + 3 7 ( 2 + ) ) ) {\displaystyle \pi =2+{\frac {1}{3}}\left(2+{\frac {2}{5}}\left(2+{\frac {3}{7}}\left(2+\cdots \right)\right)\right)}
This series is the basis for a decimal spigot algorithm by Rabinowitz and Wagon.

Another formula for π {\displaystyle \pi } involving arctangent function is given by

π 2 k + 1 = arctan 2 a k 1 a k , k 2 , {\displaystyle {\frac {\pi }{2^{k+1}}}=\arctan {\frac {\sqrt {2-a_{k-1}}}{a_{k}}},\qquad \qquad k\geq 2,}

where a k = 2 + a k 1 {\displaystyle a_{k}={\sqrt {2+a_{k-1}}}} such that a 1 = 2 {\displaystyle a_{1}={\sqrt {2}}} . Approximations can be made by using, for example, the rapidly convergent Euler formula

arctan ( x ) = n = 0 2 2 n ( n ! ) 2 ( 2 n + 1 ) ! x 2 n + 1 ( 1 + x 2 ) n + 1 . {\displaystyle \arctan(x)=\sum _{n=0}^{\infty }{\frac {2^{2n}(n!)^{2}}{(2n+1)!}}\;{\frac {x^{2n+1}}{(1+x^{2})^{n+1}}}.}

Alternatively, the following simple expansion series of the arctangent function can be used

arctan ( x ) = 2 n = 1 1 2 n 1 a n ( x ) a n 2 ( x ) + b n 2 ( x ) , {\displaystyle \arctan(x)=2\sum _{n=1}^{\infty }{{\frac {1}{2n-1}}{\frac {{{a}_{n}}\left(x\right)}{a_{n}^{2}\left(x\right)+b_{n}^{2}\left(x\right)}}},}

where

a 1 ( x ) = 2 / x , b 1 ( x ) = 1 , a n ( x ) = a n 1 ( x ) ( 1 4 / x 2 ) + 4 b n 1 ( x ) / x , b n ( x ) = b n 1 ( x ) ( 1 4 / x 2 ) 4 a n 1 ( x ) / x , {\displaystyle {\begin{aligned}&a_{1}(x)=2/x,\\&b_{1}(x)=1,\\&a_{n}(x)=a_{n-1}(x)\,\left(1-4/x^{2}\right)+4b_{n-1}(x)/x,\\&b_{n}(x)=b_{n-1}(x)\,\left(1-4/x^{2}\right)-4a_{n-1}(x)/x,\end{aligned}}}

to approximate π {\displaystyle \pi } with even more rapid convergence. Convergence in this arctangent formula for π {\displaystyle \pi } improves as integer k {\displaystyle k} increases.

The constant π {\displaystyle \pi } can also be expressed by infinite sum of arctangent functions as

π 2 = n = 0 arctan 1 F 2 n + 1 = arctan 1 1 + arctan 1 2 + arctan 1 5 + arctan 1 13 + {\displaystyle {\frac {\pi }{2}}=\sum _{n=0}^{\infty }\arctan {\frac {1}{F_{2n+1}}}=\arctan {\frac {1}{1}}+\arctan {\frac {1}{2}}+\arctan {\frac {1}{5}}+\arctan {\frac {1}{13}}+\cdots }

and

π 4 = k 2 arctan 2 a k 1 a k , {\displaystyle {\frac {\pi }{4}}=\sum _{k\geq 2}\arctan {\frac {\sqrt {2-a_{k-1}}}{a_{k}}},}

where F n {\displaystyle F_{n}} is the n-th Fibonacci number. However, these two formulae for π {\displaystyle \pi } are much slower in convergence because of set of arctangent functions that are involved in computation.

Arcsine

Observing an equilateral triangle and noting that

sin ( π 6 ) = 1 2 {\displaystyle \sin \left({\frac {\pi }{6}}\right)={\frac {1}{2}}}

yields

π = 6 sin 1 ( 1 2 ) = 6 ( 1 2 + 1 2 3 2 3 + 1 3 2 4 5 2 5 + 1 3 5 2 4 6 7 2 7 + ) = 3 16 0 1 + 6 16 1 3 + 18 16 2 5 + 60 16 3 7 + = n = 0 3 ( 2 n n ) 16 n ( 2 n + 1 ) = 3 + 1 8 + 9 640 + 15 7168 + 35 98304 + 189 2883584 + 693 54525952 + 429 167772160 + {\displaystyle {\begin{aligned}\pi &=6\sin ^{-1}\left({\frac {1}{2}}\right)=6\left({\frac {1}{2}}+{\frac {1}{2\cdot 3\cdot 2^{3}}}+{\frac {1\cdot 3}{2\cdot 4\cdot 5\cdot 2^{5}}}+{\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 7\cdot 2^{7}}}+\cdots \!\right)\\&={\frac {3}{16^{0}\cdot 1}}+{\frac {6}{16^{1}\cdot 3}}+{\frac {18}{16^{2}\cdot 5}}+{\frac {60}{16^{3}\cdot 7}}+\cdots \!=\sum _{n=0}^{\infty }{\frac {3\cdot {\binom {2n}{n}}}{16^{n}(2n+1)}}\\&=3+{\frac {1}{8}}+{\frac {9}{640}}+{\frac {15}{7168}}+{\frac {35}{98304}}+{\frac {189}{2883584}}+{\frac {693}{54525952}}+{\frac {429}{167772160}}+\cdots \end{aligned}}}

with a convergence such that each additional five terms yields at least three more digits.

Digit extraction methods

The Bailey–Borwein–Plouffe formula (BBP) for calculating π was discovered in 1995 by Simon Plouffe. Using base 16 math, the formula can compute any particular digit of π—returning the hexadecimal value of the digit—without having to compute the intervening digits (digit extraction).

π = n = 0 ( 4 8 n + 1 2 8 n + 4 1 8 n + 5 1 8 n + 6 ) ( 1 16 ) n {\displaystyle \pi =\sum _{n=0}^{\infty }\left({\frac {4}{8n+1}}-{\frac {2}{8n+4}}-{\frac {1}{8n+5}}-{\frac {1}{8n+6}}\right)\left({\frac {1}{16}}\right)^{n}}

In 1996, Simon Plouffe derived an algorithm to extract the nth decimal digit of π (using base 10 math to extract a base 10 digit), and which can do so with an improved speed of O(n3(log n)3) time. The algorithm requires virtually no memory for the storage of an array or matrix so the one-millionth digit of π can be computed using a pocket calculator. However, it would be quite tedious and impractical to do so.

π + 3 = n = 1 n 2 n n ! 2 ( 2 n ) ! {\displaystyle \pi +3=\sum _{n=1}^{\infty }{\frac {n2^{n}n!^{2}}{(2n)!}}}

The calculation speed of Plouffe's formula was improved to O(n2) by Fabrice Bellard, who derived an alternative formula (albeit only in base 2 math) for computing π.

π = 1 2 6 n = 0 ( 1 ) n 2 10 n ( 2 5 4 n + 1 1 4 n + 3 + 2 8 10 n + 1 2 6 10 n + 3 2 2 10 n + 5 2 2 10 n + 7 + 1 10 n + 9 ) {\displaystyle \pi ={\frac {1}{2^{6}}}\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2^{10n}}}\left(-{\frac {2^{5}}{4n+1}}-{\frac {1}{4n+3}}+{\frac {2^{8}}{10n+1}}-{\frac {2^{6}}{10n+3}}-{\frac {2^{2}}{10n+5}}-{\frac {2^{2}}{10n+7}}+{\frac {1}{10n+9}}\right)}

Efficient methods

Many other expressions for π were developed and published by Indian mathematician Srinivasa Ramanujan. He worked with mathematician Godfrey Harold Hardy in England for a number of years.

Extremely long decimal expansions of π are typically computed with the Gauss–Legendre algorithm and Borwein's algorithm; the Salamin–Brent algorithm, which was invented in 1976, has also been used.

In 1997, David H. Bailey, Peter Borwein and Simon Plouffe published a paper (Bailey, 1997) on a new formula for π as an infinite series:

π = k = 0 1 16 k ( 4 8 k + 1 2 8 k + 4 1 8 k + 5 1 8 k + 6 ) . {\displaystyle \pi =\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {4}{8k+1}}-{\frac {2}{8k+4}}-{\frac {1}{8k+5}}-{\frac {1}{8k+6}}\right).}

This formula permits one to fairly readily compute the kth binary or hexadecimal digit of π, without having to compute the preceding k − 1 digits. Bailey's website contains the derivation as well as implementations in various programming languages. The PiHex project computed 64 bits around the quadrillionth bit of π (which turns out to be 0).

Fabrice Bellard further improved on BBP with his formula:

π = 1 2 6 n = 0 ( 1 ) n 2 10 n ( 2 5 4 n + 1 1 4 n + 3 + 2 8 10 n + 1 2 6 10 n + 3 2 2 10 n + 5 2 2 10 n + 7 + 1 10 n + 9 ) {\displaystyle \pi ={\frac {1}{2^{6}}}\sum _{n=0}^{\infty }{\frac {{(-1)}^{n}}{2^{10n}}}\left(-{\frac {2^{5}}{4n+1}}-{\frac {1}{4n+3}}+{\frac {2^{8}}{10n+1}}-{\frac {2^{6}}{10n+3}}-{\frac {2^{2}}{10n+5}}-{\frac {2^{2}}{10n+7}}+{\frac {1}{10n+9}}\right)}

Other formulae that have been used to compute estimates of π include:

π 2 = k = 0 k ! ( 2 k + 1 ) ! ! = k = 0 2 k k ! 2 ( 2 k + 1 ) ! = 1 + 1 3 ( 1 + 2 5 ( 1 + 3 7 ( 1 + ) ) ) {\displaystyle {\frac {\pi }{2}}=\sum _{k=0}^{\infty }{\frac {k!}{(2k+1)!!}}=\sum _{k=0}^{\infty }{\frac {2^{k}k!^{2}}{(2k+1)!}}=1+{\frac {1}{3}}\left(1+{\frac {2}{5}}\left(1+{\frac {3}{7}}\left(1+\cdots \right)\right)\right)}
Newton.
1 π = 2 2 9801 k = 0 ( 4 k ) ! ( 1103 + 26390 k ) ( k ! ) 4 396 4 k {\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}396^{4k}}}}
Srinivasa Ramanujan.

This converges extraordinarily rapidly. Ramanujan's work is the basis for the fastest algorithms used, as of the turn of the millennium, to calculate π.

In 1988, David Chudnovsky and Gregory Chudnovsky found an even faster-converging series (the Chudnovsky algorithm):

1 π = 1 426880 10005 k = 0 ( 6 k ) ! ( 13591409 + 545140134 k ) ( 3 k ) ! ( k ! ) 3 ( 640320 ) 3 k {\displaystyle {\frac {1}{\pi }}={\frac {1}{426880{\sqrt {10005}}}}\sum _{k=0}^{\infty }{\frac {(6k)!(13591409+545140134k)}{(3k)!(k!)^{3}(-640320)^{3k}}}} .

The speed of various algorithms for computing pi to n correct digits is shown below in descending order of asymptotic complexity. M(n) is the complexity of the multiplication algorithm employed.

Projects

Pi Hex

Pi Hex was a project to compute three specific binary digits of π using a distributed network of several hundred computers. In 2000, after two years, the project finished computing the five trillionth (5*1012), the forty trillionth, and the quadrillionth (1015) bits. All three of them turned out to be 0.

Software for calculating π

Over the years, several programs have been written for calculating π to many digits on personal computers.

General purpose

Most computer algebra systems can calculate π and other common mathematical constants to any desired precision.

Functions for calculating π are also included in many general libraries for arbitrary-precision arithmetic, for instance Class Library for Numbers, MPFR and SymPy.

Special purpose

Programs designed for calculating π may have better performance than general-purpose mathematical software. They typically implement checkpointing and efficient disk swapping to facilitate extremely long-running and memory-expensive computations.

  • TachusPi by Fabrice Bellard is the program used by himself to compute world record number of digits of pi in 2009.
  • y-cruncher by Alexander Yee is the program which every world record holder since Shigeru Kondo in 2010 has used to compute world record numbers of digits. y-cruncher can also be used to calculate other constants and holds world records for several of them.
  • PiFast by Xavier Gourdon was the fastest program for Microsoft Windows in 2003. According to its author, it can compute one million digits in 3.5 seconds on a 2.4 GHz Pentium 4. PiFast can also compute other irrational numbers like e and 2. It can also work at lesser efficiency with very little memory (down to a few tens of megabytes to compute well over a billion (109) digits). This tool is a popular benchmark in the overclocking community. PiFast 4.4 is available from Stu's Pi page. PiFast 4.3 is available from Gourdon's page.
  • QuickPi by Steve Pagliarulo for Windows is faster than PiFast for runs of under 400 million digits. Version 4.5 is available on Stu's Pi Page below. Like PiFast, QuickPi can also compute other irrational numbers like e, 2, and 3. The software may be obtained from the Pi-Hacks Yahoo! forum, or from Stu's Pi page.
  • Super PI by Kanada Laboratory in the University of Tokyo is the program for Microsoft Windows for runs from 16,000 to 33,550,000 digits. It can compute one million digits in 40 minutes, two million digits in 90 minutes and four million digits in 220 minutes on a Pentium 90 MHz. Super PI version 1.9 is available from Super PI 1.9 page.

See also

  • Diophantine approximation
  • Milü
  • Madhava's correction term
  • Pi is 3

Notes

References

  • Bailey, David H.; Borwein, Peter B. & Plouffe, Simon (April 1997). "On the Rapid Computation of Various Polylogarithmic Constants" (PDF). Mathematics of Computation. 66 (218): 903–913. Bibcode:1997MaCom..66..903B. doi:10.1090/S0025-5718-97-00856-9.
  • Beckmann, Petr (1971). A History of π. New York: St. Martin's Press. ISBN 978-0-88029-418-8. MR 0449960.
  • Eves, Howard (1992). An Introduction to the History of Mathematics (6th ed.). Saunders College Publishing. ISBN 978-0-03-029558-4.
  • Joseph, George G. (2000). The Crest of the Peacock: Non-European Roots of Mathematics (New ed., London : Penguin ed.). London: Penguin. ISBN 978-0-14-027778-4.
  • Jackson, K; Stamp, J. (2002). Pyramid: Beyond Imagination. Inside the Great Pyramid of Giza. London: BBC. ISBN 9780563488033.
  • Berggren, Lennart; Borwein, Jonathan M.; Borwein, Peter B. (2004). Pi: a source book (3rd ed.). New York: Springer Science + Business Media LLC. ISBN 978-1-4757-4217-6.

Text submitted to CC-BY-SA license. Source: Approximations of π by Wikipedia (Historical)



INVESTIGATION