View source for Calculus/Leibniz' formula for pi

In mathematics, the Madhava-Leibniz formula for π, was discovered in India by Indian mathematician and astronomer Madhava of Sangamagrama, Kerala in 14th or 15th century. It was rediscovered and named after 17th century mathematician {{w|Gottfried Wilhelm Leibniz}}, states that 

<math display=block>1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\frac{1}{9}-\cdots=\frac{\pi}{4},</math>

an alternating series. While the series is easy to write and calculate, it is a very inefficient method for calculating <math>\pi</math>, so it is seldom used in modern calculations of <math>\pi</math>. 

==Proof==
By the {{w|alternating series test}}, this series converges. It satisfies both of the test's criteria: 

* I) The terms decrease monotonically in absolute value.
* II) The terms tend to 0 as the index <math>n</math> tends to infinity. 

Leibniz' formula for <math>\pi</math> is a special case of the Gregory's series for the arctangent,

<math>\arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \cdots </math>,

discovered by mathematician James Gregory in 1668.

Since <math>\tan \frac{\pi}{4} = 1 </math>, and thus, <math>\arctan 1 = \frac{\pi}{4}</math>, the formula is derived, and proved, by plugging <math>x = 1</math> into Gregory's series.

It is worth noting that <math>x = 1</math> lies on the boundary of the circle of convergence for Gregory's series. For <math>x>1</math>, the alternating series fails both criteria: for <math>x>1</math>, the terms ''increase'' in absolute value, and the terms tend to ''infinity'', the opposite of what needs to be true for an alternating series to converge. Even a value of <math>x</math> very close to 1, but still greater than it, such as <math>x = 1.0001</math>, still lies outside the series' radius of convergence. 

==Table==
The following is a table of the first 10 partial sums and a selected list of other notable partial sums. This series converges to <math>\frac{\pi}{4},</math> which to 16 significant figures, is 0.7853981633974483. The approximations for <math>\pi</math> itself, found by multiplying the partial sums by four, are also shown. To 16 significant figures, <math>\pi = 3.1415926535897932</math>.

Note: The second and third partial sums are exactly <math> \frac{2}{3} </math> and <math> \frac{13}{15}</math>, respectively. Both decimals feature a repeating "6"; for these entries, only the first three sixes are shown, followed by three dots to show that the sixes repeat endlessly. For all later terms, the sums are rounded to 9 digits after the decimal point, or the nearest billionth.

{| class="wikitable"
|-
!n!!Partial Sum!!Approximation for pi
|-
|1||1||1
|-
|2||0.666...||2.666...
|-
|3||0.8666...||3.4666...
|-
|4||0.723809524||2.895238095
|-
|5||0.834920635||3.339682540
|-
|6||0.744011544||2.976046176
|-
|7||0.820934621||3.283738484
|-
|8||0.754267954||3.017071817
|-
|9||0.813091484||3.252365935
|-
|10||0.760459905||3.041839619
|-
|11||0.808078952||3.232315809
|-
|12||0.764600691||3.058402766
|-
|50||0.780398663||3.121594653
|-
|100||0.782898226||3.131592903
|-
|250||0.784398167||3.137592670
|-
|500||0.784898164||3.139592656
|-
|1000||0.785148163||3.140592654
|-
|5000||0.785348163||3.141392654
|-
|10000||0.785373163||3.141492654
|-
|25000||0.785388163||3.141552654
|
|}

===An interesting curiosity===
You may have noticed that the later partial sums chosen at "round" numbers like 100 or 5000, look very similar to the limiting sums. For example, the partial sum of 3.131592903 at 100 terms, even after disagreeing with "3.14159265..." with a "3" instead of a "4" on the second digit, agrees for the next four digits, sharing the "1592" part. And the partial sum of 3.140592654 at 1000 terms differs on the third digit, but then goes on to agree with pi on the "59265" part. Similar behavior can also be seen in the second column of partial sums, such as the 250th term, which disagrees on the third digit but agrees from the fourth digit to the eighth digit (0.78'''4'''39816 instead of 0.78'''5'''39816). This pattern is very consistent throughout the remaining partial sums in the table. This is not an accident. This can be predicted using the {{w|Euler numbers}}. For any positive integer <math>n</math>, one can get a very close approximation of the <math>n</math>th approximation for <math>\pi</math> with the following formula:

* If <math>n</math> is odd, the <math>n</math>th approximation for <math>\pi</math> is approximately <math>\pi + \frac{1}{n}</math>, and the <math>n</math>th partial sum is approximately <math>\frac{\pi}{4} + \frac{1}{4n}</math>.
* If <math>n</math> is even, the <math>n</math>th approximation for <math>\pi</math> is approximately <math>\pi - \frac{1}{n}</math>, and the <math>n</math>th partial sum is approximately <math>\frac{\pi}{4} - \frac{1}{4n}</math>.

The error of this approximation is on the order of <math>n^{-3}</math> so this approximation is remarkably accurate even for relatively small values of <math>n</math>. Even after only four terms, the approximation of 0.722898163 predicted by the formula differs from the true partial sum of 0.723809524 by only about <math>\frac{1}{1100}</math>, which is less than 10<sup>−3</sup>. The error is less than 10<sup>−6</sup> for all <math>n>40</math> and less than 10<sup>−10</sup> for all <math>n>856</math>.

{{BookCat}}