41
$\begingroup$

I know the series, $4-{4\over3}+{4\over5}-{4\over7}...$ converges to $\pi$ but I have heard many people say that while this is a classic example, there are series that converge much faster. Does anyone know of any?

$\endgroup$
9
  • 4
    $\begingroup$ Here is a relevant reference: en.wikipedia.org/wiki/… $\endgroup$ Dec 13, 2010 at 1:03
  • $\begingroup$ A closely related question: math.stackexchange.com/questions/297/… $\endgroup$ Dec 13, 2010 at 1:05
  • 35
    $\begingroup$ That would be Ramanujan's $$\frac{1}{\pi} = \frac{2 \sqrt 2}{9801} \sum_{k=0}^\infty \frac{(4k)!(1103+26390k)}{(k!)^4 396^{4k}}$$ or the Chudnovsky brothers' $$\frac{426880 \sqrt{10005}}{\pi} = \sum_{k=0}^\infty \frac{(6k)! (13591409 + 545140134k)}{(3k)!(k!)^3 (-640320)^{3k}}$$ $\endgroup$ Dec 13, 2010 at 1:15
  • 4
    $\begingroup$ As an additional note: when using the series for the arctangent, the series converges more slowly as one is nearing the convergence boundary $|z|=1$ ; the reason Machin's formulae work well is that it expresses $\pi$ as sums of arctangent series with arguments near the point of expansion $z=0$. $\endgroup$ Dec 13, 2010 at 1:20
  • 2
    $\begingroup$ @J.M. I think your last comment, if expanded a bit, can be a good answer to the question. $\endgroup$ Dec 13, 2010 at 1:38

11 Answers 11

26
$\begingroup$

The series $$ \sum_{n=0}^{\infty} \frac{(2n)!!}{(2n+1)!!} \left(\frac{1}{2}\right)^n = \frac{\pi}{2}$$ converges quickly. Here $!!$ is the double factorial defined by $0!! = 1!! = 1$ and $n!! = n (n-2)!!$

This is series is not too hard to derive. Start by defining $$f(t) = \sum _{n=0}^{\infty } \frac{(-1)^n}{(2n+1)}t^n.$$ Note that $f(1) = \pi/4$ is the series you referenced. Now we take what is called the Euler Transform of the series which gives us $$ \left(\frac{1}{1-t}\right)f\left(\frac{t}{1-t}\right) = \sum _{n=0}^{\infty } \left(\sum _{k=0}^n {n \choose k}\frac{(-1)^k}{(2k+1)}\right)t^n.$$

Now $$\sum _{k=0}^n {n \choose k}\frac{(-1)^k}{(2k+1)} = \frac{(2n)!!}{(2n+1)!!}$$ for hints on how to prove this identity see Proving a binomial sum identity $\sum _{k=0}^n \binom nk \frac{(-1)^k}{2k+1} = \frac{(2n)!!}{(2n+1)!!}$. Now put $t = 1/2$ and the identity follows. Showing the error term for the nth partial sum is less than $(1/2)^n$ is not too difficult.

$\endgroup$
2
  • 8
    $\begingroup$ You know, you could've used $\arctan$ instead of $f$, and it'd be a bit clearer... :) $\endgroup$ Dec 13, 2010 at 9:05
  • $\begingroup$ In hypergeometric form, the first series is ${}_2 F_1\left(1,1;\frac32;\frac12\right)=2\arcsin\left(\sqrt{\frac12}\right)$ . $\endgroup$ Dec 13, 2010 at 9:14
22
$\begingroup$

The BBP formula is another nice one: $$ \pi = \sum_{k=0}^\infty \left[ \frac{1}{16^k} \! \left( \frac{4}{8k+1} - \frac{2}{8k+4} - \frac{1}{8k+5} - \frac{1}{8k+6} \right) \right] $$ It can be used to compute the $n$th hexadecimal digit of $\pi$ without computing the preceding $n{-}1$ digits.

$\endgroup$
5
  • $\begingroup$ That's not true: The first n-1 elements in the series do impact the n-th digit, since each element is just a number with an infinite hexadecimal expansion starting around the k-th digit. it impacts the other digits a lot. $\endgroup$
    – Ekuurh
    Sep 17, 2014 at 9:46
  • $\begingroup$ @Ekuurh: You're right, the formulation "can be used" might be a bit misleading. The formula can be used for what I claim, but with increasing $n$ the computing time increases like $n\ln n$. $\endgroup$ Sep 19, 2014 at 6:58
  • 2
    $\begingroup$ Is there a version of that formula that has a 1/10^k term instead of a 1/16^k one? $\endgroup$ Mar 14, 2017 at 16:19
  • $\begingroup$ But in practice I don't understand how you do this. Say I want to get the thousandth hexadecimal digit without having to calculate all the previous digits. Is it the integer part of what's in the parenthesis? It can't be because the whole series converges to pi so there must be not pieces floating around, no? $\endgroup$
    – plus1
    Jun 7, 2019 at 7:44
  • $\begingroup$ Hello again, I guess I have answered my own comment above, and the answer is here: en.wikipedia.org/wiki/… $\endgroup$
    – plus1
    Sep 24, 2019 at 5:43
8
$\begingroup$

Just to give people an idea on convergence rates, here is a plot of $-\log_{10}\left|\frac{S_n-\pi}{\pi}\right|$ versus $n$ , where $S_n$ is the nth partial sum of the series in question, for three of the series featured in the answers to this question (note the vertical scale):

partial sum plots

The three series are, from top to bottom, $\arctan(1)$ (the series mentioned by the OP), $2\arcsin\left(\sqrt{\frac12}\right)$ (the series mentioned by yjj in his answer), and the series by Ramanujan I mentioned in the comments (I didn't include the series by the Chudnovsky brothers, since that converges even faster than the Ramanujan series, and that makes for boring plots).

$\endgroup$
8
$\begingroup$

I think you may find interesting to browse the webpage of Jon Borwein, which I would call the standard reference for your question. In particular, take a look at the latest version of his talk on "The life of pi" (and its references!), which includes many of the fast converging algorithms and series used in practice for high precision computations of $\pi$, such as the one from this Summer.

$\endgroup$
2
  • $\begingroup$ Unfortunately Jon Borwein's webpage is no longer up and it is not in the internet archive. Do you know if a mirror/archive exists? $\endgroup$ Mar 24, 2023 at 16:47
  • $\begingroup$ @DanielKats Wayback Machine $\endgroup$ May 9, 2023 at 1:14
7
$\begingroup$

Here is a really nice one due to Simon Plouffe. There are many similar examples in his linked paper.

$$\pi = 72\sum_{n=1}^\infty \frac{1}{n(e^{n\pi} - 1)} - 96\sum_{n=1}^\infty \frac{1}{n(e^{2n\pi} - 1)} + 24\sum_{n=1}^\infty \frac{1}{n(e^{4n\pi} - 1)} .$$

What I like about it is that I can see at a glance that the series converge rapidly without having to make some mental estimate of the size of factorials.

$\endgroup$
3
  • 31
    $\begingroup$ ...but there's a $\pi$ in the individual terms... :D $\endgroup$ Dec 13, 2010 at 11:24
  • $\begingroup$ @J.M. Agreed, this does detract from it somewhat, but it still impresses me nevertheless. $\endgroup$ Dec 13, 2010 at 11:30
  • 2
    $\begingroup$ This isn't necessarily circular though, as there are algorithms which compute $e^{\pi}$ very efficiently without using the value of $\pi$. In a similar manner, there are algorithms which compute $\sin\frac{\pi}{n}$ for $n\in\mathbb{N}$ without using the value of $\pi$. Also, $e^\pi$ is one of the most accessible transcendental numbers in terms of computation. $\endgroup$
    – Wane
    Mar 23, 2021 at 13:31
4
$\begingroup$

Your series may be written as $$\frac{\pi}{4}=\sum_{k=0}^{\infty}\left(\frac{1}{4k+1}-\frac{1}{4k+3}\right)$$

Its truncation approximations improve if the zero relation (http://oeis.org/A176563) $$0=\sum_{k=0}^{\infty}\left(\frac{1}{4k+1}-\frac{3}{4k+2}+\frac{1}{4k+3}+\frac{1}{4k+4}\right)$$

is added to obtain $$\frac{\pi}{4}=\sum_{k=0}^{\infty}\left(\frac{2}{4k+1}-\frac{3}{4k+2}+\frac{1}{4k+4}\right)$$ $$=\frac{3}{4}\sum_{k=0}^{\infty}\frac{1}{(4k+1)(2k+1)(k+1)}$$

(Lehmer, http://matwbn.icm.edu.pl/ksiazki/aa/aa27/aa27121.pdf, http://oeis.org/A079588)

Although this is the slowest series in all answers, it illustrates how an absolutely convergent series of unit fractions for $\frac{\pi}{3}$ may be obtained by summing up two conditionally convergent series that have been regrouped.

This simple series also explains Why is $\pi$ so close to $3$? by taking the first term out of the summation.

$\endgroup$
4
$\begingroup$

Here's a formula which I found embedded in an old C program. I don't know where this comes from, but it converges to Pi very quickly, about 16 correct digits in just 22 iterations:

$\pi = \sum_{i=0}^{\infty}{ \frac{6(\prod{2j-1})} {(\prod{2j})(2i+1)(2^{2i+1})}}$

(The products are from 1 to i, so that for i=0 the products are empty, essentially 1/1. For i=1, the products are 1/2. For i=2, the products are (1*3)/(2*4). For i=3, the products are (1*3*5)/(2*4*6). Etc, ad infinitum.)

I have no idea of the provenance of that formula, but on running the C program, it produces:

Index =    0    Sum = 3.000000000000000
Index =    1    Sum = 3.125000000000000
Index =    2    Sum = 3.139062500000000
Index =    3    Sum = 3.141155133928572
Index =    4    Sum = 3.141511172340030
Index =    5    Sum = 3.141576715774867
Index =    6    Sum = 3.141589425319122
Index =    7    Sum = 3.141591982358383
Index =    8    Sum = 3.141592511157862
Index =    9    Sum = 3.141592622870617
Index =   10    Sum = 3.141592646875561
Index =   11    Sum = 3.141592652105887
Index =   12    Sum = 3.141592653258738
Index =   13    Sum = 3.141592653515338
Index =   14    Sum = 3.141592653572930
Index =   15    Sum = 3.141592653585950
Index =   16    Sum = 3.141592653588912
Index =   17    Sum = 3.141592653589590
Index =   18    Sum = 3.141592653589746
Index =   19    Sum = 3.141592653589782
Index =   20    Sum = 3.141592653589790
Index =   21    Sum = 3.141592653589792
Index =   22    Sum = 3.141592653589793

Which is 16 correct significant figures in just 22 iterations, which is actually pretty darn fast. Many serieses which converge to Pi do so with infuriating slowness, requiring 1000 iterations to get 3.1429384 which wrong after the first 3 digits. But not THIS formula! It generates almost as many good digits as iterations.

$\endgroup$
6
  • $\begingroup$ Is that based on the Taylor series for $\sin^{-1}(\frac{1}{2})$? I remember at school (long, long ago) trying to calculate $\pi$ and realising that I would not get far with $\tan^{-1}(1)$. The internet did not exist yet and neither the school nor the local library could help. I managed to figure out the Taylor series for $\sin^{-1}$ which was much better. I think that I got a new decimal place for every $1.6$ terms. In 1976, I got 500dp from a Fortran program. Some time in the 90s, I ported it to C and got a million places but that required a month of run time. $\endgroup$
    – badjohn
    May 29, 2018 at 15:56
  • $\begingroup$ @badjohn: In Wolfram Alpha, I see that the MacLaurin Series for arcsin is: sin^{-1}(x) = Sum{frac{Prod(n+1/2)}{sqrt{pi}(2n+1)n!}x^{2n+1}}. Yes, that looks suspiciously familiar. arcsin(1/2)=pi/6. That gives pi^{3/2} = 6 Sum{frac{Prod(n+1/2)}{(2n+1)n! 2^{2n+1}}}; pi^{3/2} = 6 Sum{frac{Prod(2n+1)}{2^n(2n+1)n! 2^{2n+1}}} ; pi^{3/2} = 6 Sum{frac{Prod(2n+1)}{2^n(2n+1)n! 2^{2n+1}}} Very close, but I can't see how to get rid of the 3/2 exponent on pi. The Prod(2n+1) in the numerator partially cancels with the n! in the denominator, but I'm not seeing how to make it identical to my series. $\endgroup$ May 31, 2018 at 5:32
  • $\begingroup$ @badjohn: In Wolfram Alpha, I see that the MacLaurin Series for arcsin is: $sin^{-1}(x) = Sum{\frac{\prod(n+1/2)}{\sqrt{pi}(2n+1)n!}x^{2n+1}}$. Yes, that looks suspiciously familiar. arcsin(1/2)=pi/6. That gives $pi^{3/2} = 6 Sum{\frac{\prod(n+1/2)}{(2n+1)n! 2^{2n+1}}}; \pi^{3/2} = 6 \sum{\frac{\prod(2n+1)}{2^n(2n+1)n! 2^{2n+1}}} ; \pi^{3/2} = 6 \sum{\frac{\prod(2n+1)}{2^n(2n+1)n! 2^{2n+1}}}$ Very close, but I can't see how to get rid of the 3/2 exponent on pi. $\endgroup$ May 31, 2018 at 5:40
  • 1
    $\begingroup$ @badjohn : ps: sorry for the repeated comments, but Stack Exchange's brain-dead "comments" system won't allow me to edit the first comment (because "comments may only be edited for 5 minutes"), and it won't allow me to delete it. Just two more of the infuriating features of the "Stack Exchange" series of sites. (Along with their idiotic "karma / reputation" system which guarantees upvoting of bad answers and downvoting of good answers by "good old boy" back slapping & back stabbing rather than by merit. Idiotic system.) $\endgroup$ May 31, 2018 at 5:47
  • $\begingroup$ I don't remember the problem with the 3/2 exponent. Somehow, I got my program to work. Many years later, I was able to verify my calculation of $\pi$ to a million decimal places. I still have the code but not the work on which it was based so I would need to reverse engineer it to get the MacLaurin series. I still use the program occasionally as a calculation intensive benchmark. $\endgroup$
    – badjohn
    May 31, 2018 at 9:25
3
$\begingroup$

You should take a look at the paper: Some New Formulas for π by Gert Almkvist, Christian Krattenthaler, and Joakim Petersson, Experiment. Math. Volume 12, Number 4 (2003), 441-456.

$\endgroup$
0
$\begingroup$

Not the fastest but much faster than a lot of the "simple" formulas you may have heard:

$\pi=\displaystyle\sum^{\infty}_{n=0}{\frac{n!\left(2n\right)!\left(25n-3\right)}{2^{n-1}\left(3n\right)!}}$

Produces a digit or more of $\pi$ per term.

$\endgroup$
0
$\begingroup$

This one is possibly the fastest converging formula with rational terms $a,b,r$ of the form $\pi=c\sum^{\infty}_{n=0}(a+bn)r^n$ , which adds a little over 2 digits per term, or more exactly $\log (324)$:

$\frac{\sqrt{3}}{60}\displaystyle\sum^{\infty}_{n=0} \frac{(-1)^n(2n)!(130n+109)}{(7/6)_{n}(11/6)_{n}6^{4n}}$

testing it

[2] source: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3919892

$\endgroup$
-3
$\begingroup$

The convergence can be arbitrary fast unless you don't specify what kind of series you are looking. Let $k$ be a positive integer, $a_n=\pi/k$ if $n\leq k$ and zero elsewhere. Then $\sum_{n=1}^\infty a_n$ converges to $\pi$ after $k$ summands.

$\endgroup$
9
  • 4
    $\begingroup$ ...I'm missing the point of this answer, apparently. $\endgroup$ Dec 13, 2010 at 15:21
  • 5
    $\begingroup$ -1: The whole point of the question is to be able to compute a reasonable approximation to $\pi$ quickly. If your terms involve $\pi$, you are stuck in a loop... $\endgroup$
    – Aryabhata
    Dec 13, 2010 at 17:22
  • 6
    $\begingroup$ @Jaska: Any real number $x$ can be represented as a "sum" of just one real number, namely $x=x$. If you don't like this "sum", say $x=x/2+x/2$. This is true, but not helpful at all. (By the way, I didn't vote down.) $\endgroup$ Dec 13, 2010 at 17:43
  • 6
    $\begingroup$ @Jaska: Derek cited an interesting series, which is, however, not helpful, as it contains $\pi$ (as J.M. already remarked). No offence meant at all: I wouldn't say your finite sum is worse, but I'd regard it neither interesting nor helpful. $\endgroup$ Dec 13, 2010 at 18:23
  • 4
    $\begingroup$ This is like saying that $\pi=\sum_{i=1}^1 \pi$ is a rapidly converging series. It might be true but it's not useful at all. It's only correct by a technicality. $\endgroup$
    – Jam
    Oct 14, 2017 at 12:17

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .