Formula di Leibniz per pi
In matematica, la formula di Madhava-Leibniz per π è una serie convergente, chiamata più correttamente Serie di Madhava–Leibniz essendo un caso particolare di una più generale serie per la tangente inversa, di cui primo scopritore fu appunto Madhava di Sangamagrama. È nota anche come serie di Gregory per π, dal nome del matematico scozzese James Gregory che la riscoprì qualche anno prima di Leibniz stesso.
Essa afferma che:
- la somma infinita a segni alterni di tutti i reciproci dei numeri naturali dispari, partendo da più uno, è uguale a un quarto del pi greco.
- [1]
Dimostrazione
Si consideri la serie geometrica
Questa è limite della successione delle serie troncate
Suddividendo l'integranda
ed integrando entrambi i membri fra 0 a 1, si ha che
Calcolando il primo integrale nel secondo membro (quello con le serie troncate ) termine a termine si ottiene, passando al limite, la somma richiesta. Il contributo del secondo termine si annulla per poiché
L'integrale completo
al primo membro risulta arctan(1) − arctan(0) = π/4, e quindi
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 )
che viene ottenuta integrando la serie geometrica (assolutamente convergente per )
termine a termine.
Serie ricavata
Si possono mettere in evidenza alcuni termini così:
E svolgendo:
Dividendo entrambi i membri per due:
- si noti che abbiamo usato solo valori pari di n. Esempio n=0,2,4...n+2.
Efficienza nel calcolo di π
La formula di Leibniz è inefficiente per un calcolo meccanico di pi, a causa dell'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 En secondo la forma asintotica
dove N è un intero divisibile per 4. Se N è una potenza di dieci, ogni termine 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.[2]
Note
- ^ (EN) Eric W. Weisstein, Gregory Series, in MathWorld, Wolfram Research.
- ^ (EN) Jonathan Borwein, David Bailey e Roland Girgensohn, Sequences, Series, Products and Integrals, in Experimentation in Mathematics - Computational Paths to Discovery, Natick, Massachusetts, A K Peters, 2004, pp. 28-30, ISBN 978-1-56881-136-9.
Bibliografia
- (EN) Jonathan Borwein, David Bailey e Roland Girgensohn, Experimentation in Mathematics - Computational Paths to Discovery, Natick, Massachusetts, A K Peters, 2004, ISBN 978-1-56881-136-9.
Voci correlate
Collegamenti esterni
- (EN) Eric W. Weisstein, Formula di Leibniz per pi, su MathWorld, Wolfram Research.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)