Formula di Leibniz per pi

Da Wikipedia, l'enciclopedia libera.

In matematica, la formula di Leibniz per π, dovuta a Gottfried Leibniz, afferma che

$\sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} = \frac{1}{1} - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \frac{1}{9} - \cdots = \frac{\pi}{4}.$

Indice

1 Dimostrazione
2 Serie ricavata
3 Efficienza nel calcolo di π
4 Bibliografia

[modifica] Dimostrazione

Si consideri la serie geometrica

$1 - x^2 + x^4 - x^6 + x^8 - \cdots = \frac{1}{1+x^2}, \qquad |x| < 1.$

Questa è limite della successione delle serie troncate

$G_n(x)=1 - x^2 + x^4 - x^6 + x^8 -+ \cdots - x^{4n-2}= \frac{1-x^{4n}}{1+x^2}, \qquad |x| < 1.$

Suddividendo l'integranda

$\frac{1} {1+x^2}=\frac{1-x^{4n}}{1+x^2}+\frac{x^{4n}}{1+x^2}=G_n (x)+ \frac{x^{4n}}{1+x^2}$

ed integrando entrambi i membri fra 0 a 1, si ha che

$\int_{0}^{1} \frac{1} {1+x^2}\, dx= \int_{0}^{1}G_n(x)\, dx+\int_{0}^{1}\frac{x^{4n}}{1+x^2}\, dx \ .$

Calcolando il primo integrale (quello con le serie troncate $G_n (x)\,$ ) termine a termine si ottiene, passando al limite, la somma richiesta. Il contributo del secondo termine si annulla per $n \rightarrow \infty$ poiché

$\int_{0}^{1}\frac{x^{4n}}{1+x^2} \, dx< \int_{0}^{1} x^{4n}\, dx=\frac{1}{4n+1} \ .$

L'integrale completo

$\int_{0}^{1} \frac{1} {1+x^2}\, dx$

al primo membro risulta arctan(1) − arctan(0) = π/4, e quindi

$\frac{\pi}{4} = \frac{1}{1} - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \frac{1}{9} - \cdots.$

Q.E.D.

Una dimostrazione alternativa della formula di Leibniz può essere ricavata tramite il teorema di Abel applicato alla serie di potenze (convergente per $| x | < 1$ )

$\arctan x =\sum_{n \ge 0} (-1)^n {x^{2n+1}\over {2n+1}}$

che viene ottenuta integrando la serie geometrica (assolutamente convergente per $| x | < 1$ )

$1 - x^2 + x^4 - x^6 + x^8 - \cdots = \frac{1}{1+x^2}$

termine a termine.

[modifica] Serie ricavata

Si possono mettere in evidenza alcuni termini così:

$\frac{1}{1} - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \frac{1}{9} - \frac{1}{11} + \cdots = \left(\frac{1}{1} - \frac{1}{3} \right)+ \left(\frac{1}{5} - \frac{1}{7} \right) + \left(\frac{1}{9} - \frac{1}{11} \right) + \cdots = \frac{\pi}{4}.$

E svolgendo:

$\left(\frac{1}{1} - \frac{1}{3}\right)+ \left(\frac{1}{5} - \frac{1}{7}\right) + \left(\frac{1}{9} - \frac{1}{11}\right) + \cdots = \frac{2}{1\cdot3} + \frac{2}{5\cdot7} + \frac{2}{9\cdot11} + \cdots =\frac{\pi}{4}.$

Dividendo entrambi i membri per due:

$\sum_{n=0}^{\infty} \frac{1}{(2n+1)(2n+3)} = \frac{1}{1\cdot3} + \frac{1}{5\cdot7} + \frac{1}{9\cdot11} + \cdots =\frac{\pi}{8}.$

[modifica] Efficienza nel calcolo di π

La formula di Leibniz è molto inefficiente per un calcolo meccanico p basato sul computer per l'elevato numero di passi da eseguire per raggiungere un'elevata precisione. Calcolare 10 cifre significative usando la formula di Leibniz richiede più di 10 000 000 000 operazioni matematiche, ed un tempo maggiore di quanto non sia necessario per calcolare milioni di cifre significative con formule più efficienti.

Se però la serie viene troncata al momento giusto, l'espansione decimale concorderà con quella di π per molte cifre, eccezion fatta per singole cifre o gruppi; ad esempio, prendendo 5 000 000 di termini si ottiene

3.1415924535897932384646433832795027841971693993873058...

dove le cifre sottolineate sono errate. Gli errori possono essere previsti: sono generati dai numeri di Eulero E_n secondo la forma asintotica

$\frac{\pi}{2} - 2 \sum_{k=1}^{N/2} \frac{(-1)^{k-1}}{2k-1} \sim \sum_{m=0}^{\infty} \frac{E_{2m}}{N^{2m+1}}$

dove N è un intero divisibile per 4. Se N è una potenza di dieci, ogni terine della somma a destra è una frazione decimale. La formula è un caso speciale della formula di somma di Boole per serie alternate. Nel 1992 Jonathan Borwein e Mark Limber usarono i primi mille numeri di Eulero per calcolare π fino alla 5 236-esima cifra con la formula di Leibniz.

[modifica] Bibliografia

(EN) Jonathan Borwein, David Bailey & Roland Girgensohn, Experimentation in Mathematics - Computational Paths to Discovery, A K Peters 2003, ISBN 1-56881-136-5, pagg. 28-30.

Estratto da "http://it.wikipedia.org../../../f/o/r/Formula_di_Leibniz_per_pi_680a.html"

Categorie: Serie matematiche | Formule