Formules de Pi

Théorie des nombres > Constantes > Pi >
Calcul et analyse > Séries > Formules BBP >
Calcul et analyse > Calcul >. Intégrales > Intégrales définies >
Contributeurs MathWorld > Cloitre >
Contributeurs MathWorld > Plouffe >
Contributeurs MathWorld > Sondow >

moins…

DOWNLOAD Mathematica Notebook

Il existe de nombreuses formules de pi de plusieurs types. Entre autres, il s’agit de séries, de produits, de constructions géométriques, de limites, de valeurs spéciales et d’itérations de pi.

pi est intimement lié aux propriétés des cercles et des sphères. Pour un cercle de rayon r, la circonférence et l’aire sont données par

C = 2pir
(1)
A = pir^2.
(2)

De même, pour une sphère de rayon r, la surface et le volume enfermés sont

S = 4pir^2
(3)
V = 4/3pir^3.
(4)

Une formule exacte de pi en termes de tangentes inverses de fractions unitaires est la formule de Machin

 1/4pi=4tan^(-1)(1/5)-tan^(-1)(1/(239)).
(5)

Il existe trois autres formules de type Machin, ainsi que des milliers d’autres formules similaires comportant plus de termes.

GregorySeries

Gregory et Leibniz ont trouvé

pi/4 = somme_(k=1)^(infty)((-1)^(k+1))/(2k-1)
(6)
= 1-1/3+1/5-...
(7)

(Wells 1986, p. 50), qui est connue comme la série de Gregory et peut être obtenue en branchant x=1 dans la série de Leibniz pour tan^(-1)x. L’erreur après le ne terme de cette série dans la série de Gregory est plus grande que (2n)^(-1) de sorte que cette somme converge si lentement que 300 termes ne suffisent pas à calculer pi correctement à deux décimales près ! Cependant, on peut la transformer en

 pi=somme_(k=1)^infty(3^k-1)/(4^k)zeta(k+1),
(8)

zeta(z) est la fonction zêta de Riemann (Vardi 1991, pp. 157-158 ; Flajolet et Vardi 1996), de sorte que l’erreur après k termes est environ (3/4)^k.

Une série à somme infinie à Abraham Sharp (ca. 1717) est donnée par

 pi=somme_(k=0)^infty(2(-1)^k3^(1/2-k))/(2k+1)
(9)

(Smith 1953, p. 311). Des séries simples supplémentaires dans lesquelles pi apparaît sont

.

.

1/4pisqrt(2) = somme_(k=1)^(infty)
(10)
= 1+1/3-1/5-1/7+1/9+1/(11)-...
(11)
1/4(pi-3) = somme_(k=1)^(infty)((-1)^(k+1))/(2k(2k+1)(2k+2))
(12)
= 1/(2-3-4)-1/(4-5-6)+1/(6-7-8)-...
(13)
1/6pi^2 = somme_(k=1)^(infty)1/(k^2)
(14)
= 1+1/4+1/9+1/(16)+1/(25)+...
(15)
1/8pi^2 = somme_(k=1)^(infty)1/((2k-1)^2)
(16)
= 1+1/(3^2)+1/(5^2)+1/(7^2)+...
(17)

(Wells 1986, p. 53).

En 1666, Newton utilisa une construction géométrique pour dériver la formule

pi = 3/4sqrt(3)+24int_0^(1/4)sqrt(x-x^2)dx
(18)
= (3sqrt(3))/4+24(1/(12)-1/(5-2^5)-1/(28-2^7)-1/(72-2^9)-......),
(19)

qu’il a utilisé pour calculer pi (Wells 1986, p. 50 ; Borwein et al. 1989 ; Borwein et Bailey 2003, pp. 105-106). Les coefficients peuvent être trouvés à partir de l’intégrale

I(x) = intsqrt(x-x^2)dx
(20)
= 1/4(2x-1)sqrt(x-x^2)-1/8sin^(-1)(1-2x)
(21)

en prenant le développement en série de I(x)-I(0) autour de 0, obtaining

 I(x)=2/3x^(3/2)-1/5x^(5/2)-1/(28)x^(7/2)-1/(72)x^(9/2)-5/(704)x^(11/2)+...
(22)

(OEIS A054387 et A054388). En utilisant la transformation d’amélioration de la convergence d’Euler, on obtient

pi/2 = 1/2somme_(n=0)^(infty)((n !)^22^(n+1))/((2n+1) !)=somme_(n=0)^(infty)(n !)/((2n+1) !!!)
(23)
= 1+1/3+(1-2)/(3-5)+(1-2-3)/(3-5-7)+...
(24)
= 1+1/3(1+2/5(1+3/7(1+4/9(1+...))))
(25)

(Beeler et al. 1972, point 120).

Cela correspond à brancher x=1/sqrt(2) dans la série de puissance de la fonction hypergéométrique _2F_1(a,b ;c;x),

 (sin^(-1)x)/(sqrt(1-x^2))=sum_(i=0)^infty((2x)^(2i+1)i!^2)/(2(2i+1)!)=_2F_1(1,1;3/2;x^2)x.
(26)

Malgré l’amélioration de la convergence, la série (◇) converge à un seul bit/terme. Au prix d’une racine carrée, Gosper a noté que x=1/2 donne 2 bits/terme,

 1/9sqrt(3)pi=1/2somme_(i=0)^infty((i !)^2)/((2i+1) !),
(27)

et x=sin(pi/10) donne presque 3.39 bits/terme,

 pi/(5sqrt(phi+2))=1/2somme_(i=0)^infty((i !)^2)/(phi^(2i+1)(2i+1) !),
(28)

phi est le nombre d’or. Gosper a également obtenu

 pi=3+1/(60)(8+(2-3)/(7-8-3)(13+(3-5)/(10-11-3)(18+(4-7)/(13-14-3)(23+...)))).
(29)

Un algorithme à spigot pour pi est donné par Rabinowitz et Wagon (1995 ; Borwein et Bailey 2003, pp. 141-142).

Plus étonnamment encore, une expression sous forme fermée donnant un algorithme d’extraction de chiffres qui produit des chiffres de pi (ou pi^2) en base 16 a été découverte par Bailey et al. (Bailey et al. 1997, Adamchik et Wagon 1997),

 pi=somme_(n=0)^infty(4/(8n+1)-2/(8n+4)-1/(8n+5)-1/(8n+6))(1/(16))^n.
(30)

Cette formule, connue sous le nom de formule BBP, a été découverte en utilisant l’algorithme PSLQ (Ferguson et al. 1999) et est équivalente à

 pi=int_0^1(16y-16)/(y^4-2y^3+4y-4)dy.
(31)

Il existe une série de formules de type BBP pour pi en puissances de (-1)^k, dont les premières formules indépendantes sont

pi = 4somme_(k=0)^(infty)((-1)^k)/(2k+1)
(32)
= 3sum_(k=0)^(infty)(-1)^k
(33)
= 4somme_(k=0)^(infty)(- 1)^k.1)^k
(34)
= somme_(k=0)^(infty)(-1)^k
(35)
= somme_(k=0)^(infty)(-1)^k
(36)
= somme_(k=0)^(infty)(-1)^k.
(37)

De même, il existe une série de formules de type BBP pour pi en puissances de 2^k, dont les premières formules indépendantes sont

.

.

.

.

.

.

pi = somme_(k=0)^(infty)1/(16^k)
(38)
= 1/2somme_(k=0)^(infty)1/(16^k)
(39)
= 1/(16)sum_(k=0)^(infty)1/(256^k)
(40)
= 1/(32)sum_(k=0)^(infty)1/(256^k)
(41)
= 1/(32)somme_(k=0)^(infty)1/(4096^k)
(42)
= 1/(64)sum_(k=0)^(infty)1/(4096^k)
(43)
= 1/(96)somme_(k=0)^(infty)1/(4096^k)
(44)
= 1/(96)somme_(k=0)^(infty)1/(4096^k)
(45)
= 1/(96)somme_(k=0)^(infty)1/(4096^k)
(46)
= 1/(4096)sum_(k=0)^(infty)1/(65536^k)
(47)
= 1/(4096)sum_(k=0)^(infty)1/(65536^k).
(48)

F. Bellard a trouvé la formule BBP-type

 pi=1/(2^6)sum_(n=0)^infty((-1)^n)/(2^(10n))(-(2^5)/(4n+1)-1/(4n+3)+(2^8)/(10n+1)-(2^6)/(10n+3)-(2^2)/(10n+5)-(2^2)/(10n+7)+1/(10n+9)).
(49)

Une intégrale connexe est

 pi=(22)/7-.int_0^1(x^4(1-x)^4)/(1+x^2)dx
(50)

(Dalzell 1944, 1971 ; Le Lionnais 1983, p. 22 ; Borwein, Bailey, et Girgensohn 2004, p. 3 ; Boros et Moll 2004, p. 125 ; Lucas 2005 ; Borwein et al. 2007, p. 14). Cette intégrale était connue par K. Mahler au milieu des années 1960 et apparaît dans un examen à l’Université de Sydney en novembre 1960 (Borwein, Bailey et Girgensohn, p. 3). Beukers (2000) et Boros et Moll (2004, p. 126) affirment qu’il n’est pas clair s’il existe un choix naturel de polynôme rationnel dont l’intégrale entre 0 et 1 produit pi-333/106, où 333/106 est le prochain convergent. Cependant, une intégrale existe pour le quatrième convergent, à savoir

 pi=(355)/(113)-1/(3164)int_0^1(x^8(1-x)^8(25+816x^2))/(1+x^2)dx.
(51)

(Lucas 2005 ; Bailey et al. 2007, p. 219). En fait, Lucas (2005) donne quelques autres intégrales de ce type.

Backhouse (1995) a utilisé l’identité

.

I_(m,n) = int_0^1(x^m(1-x)^n)/(1+x^2)dx
(52)
= 2^(-(m+n+1))sqrt(pi)Gamma(m+1)Gamma(n+1)×_3F_2(1,(m+1)/2,(m+2)/2 ;(m+n+2)/2,(m+n+3)/2 ;-1)
(53)
= a+bpi+cln2
(54)

pour un entier positif m et n et où a, b, et c sont des constantes rationnelles pour générer un certain nombre de formules pour pi. En particulier, si 2m-n=0 (mod 4), alors c=0 (Lucas 2005).

Une formule similaire a été découverte par la suite par Ferguson, conduisant à un treillis bidimensionnel de telles formules qui peut être généré par ces deux formules données par

 pi=somme_(k=0)^infty((4+8r)/(8k+1)-(8r)/(8k+2)-.(4r)/(8k+3)-(2+8r)/(8k+4)-(1+2r)/(8k+5)-(1+2r)/(8k+6)+r/(8k+7))(1/(16))^k
(55)

pour toute valeur complexe de r (Adamchik et Wagon), donnant la formule BBP comme le cas particulier r=0.

PiFormulasWagonIdentity

Une identité encore plus générale due à Wagon est donnée par

 pi+4tan^(-1)z+2ln((1-2z-z^2)/(z^2+1))=somme_(k=0)^infty1/(16^k)
(56)

(Borwein et Bailey 2003, p. 141), qui tient sur une région du plan complexe excluant deux portions triangulaires placées symétriquement autour de l’axe réel, comme illustré ci-dessus.

Une classe d’identités peut-être encore plus étrangement générale est donnée par

 pi=4sum_(j=1)^n((-1)^(j+1))/(2j-1)+((-1)^n(2n-1) !)/4sum_(k=0)^infty1/(16^k)
(57)

qui tient pour tout entier positif n, où (x)_n est un symbole de Pochhammer (B. Cloitre, comm. pers, 23 janvier 2005). De façon encore plus étonnante, il existe une formule étroitement analogue pour le logarithme naturel de 2.

A la suite de la découverte de la formule BBP à chiffres en base 16 et des formules connexes, des formules similaires dans d’autres bases ont été étudiées. Borwein, Bailey et Girgensohn (2004) ont récemment montré que pi n’a pas de formule arctangente BBP de type Machin qui ne soit pas binaire, bien que cela n’exclue pas un schéma complètement différent pour les algorithmes d’extraction de chiffres dans d’autres bases.

S. Plouffe a conçu un algorithme pour calculer le ne chiffre de pi dans n’importe quelle base en O(n^3(logn)^3) étapes.

Une ribambelle d’identités supplémentaires dues à Ramanujan, Catalan et Newton sont données par Castellanos (1988ab, pp. 86-88), dont plusieurs impliquant des sommes de nombres de Fibonacci. Ramanujan a trouvé

 sum_(k=0)^infty((-1)^k(4k+1)^3)/(^3)=sum_(k=0)^infty((-1)^k(4k+1)^3)/(pi^(3/2)^3)=2/pi
(58)

(Hardy 1923, 1924, 1999, p. 7).

Plouffe (2006) a trouvé la belle formule

 pi=72sum_(n=1)^infty1/(n(e^(npi)-1))-96sum_(n=1)^infty1/(n(e^(2npi)-1)) +24sum_(n=1)^infty1/(n(e^(4npi)-1)).
(59)

PiBlatnerProduct

Une intéressante formule de produit infini due à Euler qui relie pi et le ne nombre premier p_n est

.

.

pi = 2/(produit_(n=1)^(infty))
(60)
= 2/(produit_(n=2)^(infty))
(61)

(Blatner 1997, p. 119), tracée ci-dessus en fonction du nombre de termes dans le produit.

Une méthode similaire à celle d’Archimède peut être utilisée pour estimer pi en commençant par un n-gone et en reliant ensuite l’aire des 2n-gones suivants. Soit beta l’angle du centre d’un des segments du polygone,

 beta=1/4(n-3)pi,
(62)

alors

 pi=(2sin(2beta))/((n-3)produit_(k=0)^(infty)cos(2^(-k)beta))
(63)

(Beckmann 1989, pp. 92-94).

Vieta (1593) fut le premier à donner une expression exacte de pi en prenant n=4 dans l’expression ci-dessus, ce qui donne

 cosbeta=sinbeta=1/(sqrt(2))=1/2sqrt(2),
(64)

ce qui conduit à un produit infini de radicaux emboîtés,

 2/pi=sqrt(1/2)sqrt(1/2+1/2sqrt(1/2))sqrt(1/2+1/2sqrt(1/2+1/2sqrt(1/2)))...
(65)

(Wells 1986, p. 50 ; Beckmann 1989, p. 95). Cependant, la convergence de cette expression n’a pas été rigoureusement prouvée avant Rudio en 1892.

Une formule connexe est donnée par

 pi=lim_(n-infty)2^(n+1)sqrt(2-sqrt(2+sqrt(2+sqrt(2+....+sqrt(2))))_()_(n)),
(66)

qui peut s’écrire

 pi=lim_(n-infty)2^(n+1)pi_n,
(67)

pi_n est défini en utilisant l’itération

 pi_n=sqrt((1/2pi_(n-1))^2+^2)
(68)

avec pi_0=sqrt(2) (J. Munkhammar, comm. pers, 27 avril 2000). La formule

 pi=2lim_(m-infty)sum_(n=1)^msqrt(^2+1/(m^2)).
(69)

est également étroitement liée.

Une jolie formule pour pi est donnée par

 pi=(produit_(n=1)^(infty)(1+1/(4n^2-1)))/(somme_(n=1)^(infty)1/(4n^2-1)),
(70)

où le numérateur est une forme de la formule de Wallis pour pi/2 et le dénominateur est une somme télescopique avec une somme 1/2 puisque

 1/(4n^2-1)=1/2(1/(2n-1)-1/(2n+1))
(71)

(Sondow 1997).

Un cas particulier de la formule de Wallis donne

 pi/2=produit_(n=1)^infty=(2-2)/(1-3)(4-4)/(3-5)(6-6)/(5-7)....
(72)

(Wells 1986, p. 50). Cette formule peut également être écrite

 lim_(n-infty)(2^(4n))/(n(2n ; n)^2)=pilim_(n-infty)(n^2)/(^2)=pi,
(73)

(n ; k) désigne un coefficient binomial et Gamma(x) est la fonction gamma (Knopp 1990). Euler a obtenu

 pi=sqrt(6(1+1/(2^2)+1/(3^2)+1/(4^2)+....)),
(74)

ce qui découle de la valeur particulière de la fonction zêta de Riemann zêta(2)=pi^2/6. Des formules similaires découlent de zeta(2n) pour tous les entiers positifs n.

Une somme infinie due à Ramanujan est

 1/pi=somme_(n=0)^infty(2n ; n)^3(42n+5)/(2^(12n+4)).
(75)

(Borwein et al. 1989 ; Borwein et Bailey 2003, p. 109 ; Bailey et al.2007, p. 44). D’autres sommes sont données dans Ramanujan (1913-14),

 4/pi=somme_(n=0)^infty((-1)^n(1123+21460n)(2n-1) !!(4n-1) !!)/(882^(2n+1)32^n(n !)^3)
(76)

et

1/pi = sqrt(8)somme_(n=0)^(infty)((1103+26390n)(2n-1) !!!(4n-1) !!)/(99^(4n+2)32^n(n!)^3)
(77)
= (sqrt(8))/(9801)sum_(n=0)^(infty)((4n)!(1103+26390n))/((n!)^4396^(4n))
(78)

(Beeler et al. 1972, point 139 ; Borwein et al. 1989 ; Borwein et Bailey 2003, p. 108 ; Bailey et al. 2007, p. 44). L’équation (78) est dérivée d’une identité modulaire d’ordre 58, bien qu’une première dérivation n’ait pas été présentée avant Borwein et Borwein (1987). Les séries ci-dessus donnent toutes deux

 pi approx (9801)/(2206sqrt(2))=3.14159273001...
(79)

(Wells 1986, p. 54) comme première approximation et fournissent, respectivement, environ 6 et 8 décimales par terme. De telles séries existent en raison de la rationalité de divers invariants modulaires.

La forme générale de la série est

 sum_(n=0)^infty((6n) !)/((3n) !(n !)^3)1/(^n)=(sqrt(-j(t)))/pi,
(80)

t est un discriminant de forme quadratique binaire, j(t) est la fonction j,

b(t) = sqrt(t)
(81)
a(t) = (b(t))/6{1-(E_4(t))/(E_6(t))},
(82)

et les E_i sont des séries d’Eisenstein. Un champ de nombre de classe p implique des entiers algébriques de pème degré des constantes A=a(t), B=b(t), et C=c(t). De toutes les séries constituées uniquement de termes entiers, celle qui donne le plus de chiffres numériques dans le plus court laps de temps correspond au plus grand discriminant de classe numéro 1 de d=-163 et a été formulée par les frères Chudnovsky (1987). Le 163 apparaissant ici est le même que celui qui apparaît dans le fait que e^(pisqrt(163)) (la constante de Ramanujan) est très proche d’un nombre entier. De même, le facteur 640320^3 provient de l’identité de la fonction j pour j(1/2(1+isqrt(163))). La série est donnée par

1/pi = 12sum_(n=0)^(infty)((-1)^n(6n) !(13591409+545140134n))/((n !)^3(3n) !(640320^3)^(n+1/2))
(83)
= (163·8·27·7·11·19·127)/(640320^(3/2))sum_(n=0)^(infty)((13591409)/(163·2·9·7·11·19·127)+n)((6n)!)/((3n) !(n !)^3)((-1)^n)/(640320^(3n))
(84)

(Borwein et Borwein 1993 ; Beck et Trott ; Bailey et al. 2007, p. 44). Cette série donne 14 chiffres précis par terme. La même équation sous une autre forme a été donnée par les frères Chudnovsky (1987) et est utilisée par le langage Wolfram pour calculer pi (Vardi 1991 ; Wolfram Research),

 pi=(426880sqrt(10005))/(A),
(85)

.

A = 13591409
(86)
B = -1/(151931373056000)
(87)
C = (30285563)/(1651969144908540723200).
(88)

La meilleure formule pour la classe numéro 2 (plus grand discriminant -427) est

 1/pi=12somme_(n=0)^infty((-1)^n(6n) !(A+Bn))/((n !)^3(3n) !C^(n+1/2)),
(89)

.

A = 212175710912sqrt(61)+1657145277365
(90)
B = 13773980892672sqrt(61)+107578229802750
(91)
C = ^3
(92)

(Borwein et Borwein 1993). Cette série ajoute environ 25 chiffres pour chaque terme supplémentaire. La série qui converge le plus rapidement pour la classe numéro 3 correspond à d=-907 et donne 37-38 chiffres par terme. La série de la classe numéro 4 qui converge le plus rapidement correspond à d=-1555 et est

 (sqrt(-C^3))/pi=somme_(n=0)^infty((6n) !)/((3n) !(n !)^3)(A+nB)/(C^(3n)),
(93)

.

A = 63365028312971999585426220+28337702140800842046825600sqrt(5)+384sqrt(5)(10891728551171178200467436212395209160385656017+4870929086578810225077338534541688721351255040sqrt(5))^(1/2)
(94)
B = 7849910453496627210289749000+3510586678260932028965606400sqrt(5)+2515968sqrt(3110)(6260208323789001636993322654444020882161+2799650273060444296577206890718825190235sqrt(5))^(1/2)
(95)
C = -214772995063512240-96049403338648032sqrt(5)-1296sqrt(5)(10985234579463550323713318473+4912746253692362754607395912sqrt(5))^(1/2).
(96)

Cela donne 50 chiffres par terme. Borwein et Borwein (1993) ont développé un algorithme général pour générer de telles séries pour un nombre de classe arbitraire.

Une liste complète des séries de Ramanujan pour 1/pi trouvées dans ses deuxième et troisième carnets est donnée par Berndt (1994, pp. 352-354),

.

4/pi = somme_(n=0)^(infty)((6n+1)(1/2)_n^3)/(4^n(n !)^3)
(97)
(16)/pi = somme_(n=0)^(infty)((42n+5)(1/2)_n^3)/(64^n(n !)^3)
(98)
(32)/pi = sum_(n=0)^(infty)((42sqrt(5)n+5sqrt(5)+30n-1)(1/2)_n^3)/(64^n(n!)^3)((sqrt(5)-1)/2)^(8n)
(99)
(27)/(4pi) = sum_(n=0)^(infty)((15n+2)(1/2)_n(1/3)_n(2/3)_n)/((n!)^3)(2/(27))^n
(100)
(15sqrt(3))/(2pi) = sum_(n=0)^(infty)((33n+4)(1/2)_n(1/3)_n(2/3)_n)/((n!)^3)(4/(125))^n
(101)
(5sqrt(5))/(2pisqrt(3)) = sum_(n=0)^(infty)((11n+1)(1/2)_n(1/6)_n(5/6)_n)/((n!)^3)(4/(125))^n
(102)
(85sqrt(85))/(18pisqrt(3)) = sum_(n=0)^(infty)((133n+8)(1/2)_n(1/6)_n(5/6)_n)/((n!)^3)(4/(85))^(3n)
(103)
4/pi = sum_(n=0)^(infty)((-1)^n(20n+3)(1/2)_n(1/4)_n(3/4)_n)/((n!)^32^(2n+1))
(104)
4/(pisqrt(3)) = sum_(n=0)^(infty)((-1)^n(28n+3)(1/2)_n(1/4)_n(3/4)_n)/((n!)^33^n4^(2n+1))
(105)
4/pi = sum_(n=0)^(infty)((-1)^n(260n+23)(1/2)_n(1/4)_n(3/4)_n)/((n!)^3(18)^(2n+1))
(106)
4/(pisqrt(5)) = sum_(n=0)^(infty)((-1)^n(644n+41)(1/2)_n(1/4)_n(3/4)_n)/((n!)^35^n(72)^(2n+1))
(107)
4/pi = sum_(n=0)^(infty)((-1)^n(21460n+1123)(1/2)_n(1/4)_n(3/4)_n)/((n!)^3(882)^(2n+1))
(108)
(2sqrt(3))/pi = sum_(n=0)^(infty)((8n+1)(1/2)_n(1/4)_n(3/4)_n)/((n!)^39^n)
(109)
1/(2pisqrt(2)) = sum_(n=0)^(infty)((10n+1)(1/2)_n(1/4)_n(3/4)_n)/((n!)^39^(2n+1))
(110)
1/(3pisqrt(3)) = sum_(n=0)^(infty)((40n+3)(1/2)_n(1/4)_n(3/4)_n)/((n!)^3(49)^(2n+1))
(111)
2/(pisqrt(11)) = sum_(n=0)^(infty)((280n+19)(1/2)_n(1/4)_n(3/4)_n)/((n!)^3(99)^(2n+1))
(112)
1/(2pisqrt(2)) = sum_(n=0)^(infty)((26390n+1103)(1/2)_n(1/4)_n(3/4)_n)/((n!)^3(99)^(4n+2)).
(113)

Ces équations ont été prouvées pour la première fois par Borwein et Borwein (1987a, pp. 177-187). Borwein et Borwein (1987b, 1988, 1993) ont prouvé d’autres équations de ce type, et Chudnovsky et Chudnovsky (1987) ont trouvé des équations similaires pour d’autres constantes transcendantales (Bailey et al. 2007, pp. 44-45).

Une liste complète des équations indépendantes connues de ce type est donnée par

4/pi = somme_(n=0)^(infty)((6n+1)(1/2)_n^3)/(4^n(n !)^3)
(114)
(16)/pi = somme_(n=0)^(infty)((42n+5)(1/2)_n^3)/(64^n(n !)^3)
(115)
(32)/pi = sum_(n=0)^(infty)((42sqrt(5)n+5sqrt(5)+30n-1)(1/2)_n^3)/(64^n(n!)^3)((sqrt(5)-1)/2)^(8n)
(116)
(5^(1/4))/pi = somme_(n=0)^(infty)((540sqrt(5)n-1200n-525+235sqrt(5))(1/2)_n^3(sqrt(5)-2)^(8n))/((n!)^3)
(117)
(12^(1/4))/pi = somme_(n=0)^(infty)((24sqrt(3)n-36n-15+9sqrt(3))(1/2)_n^3(2-sqrt(3))^(4n))/((n!)^3)
(118)

pour m=1 avec des signes non alternatifs,

2/pi = sum_(n=0)^(infty)((-1)^n(1/2)_n^3(12sqrt(2)n-12n-5+4sqrt(2))(sqrt(2)-1)^(4n))/((n!)^3)
(119)
2/pi = somme_(n=0)^(infty)((-1)^n(1/2)_n^3(60n-24sqrt(5)n+23-10sqrt(5))(sqrt(5)-2)^(4n))/((n!)^3)
(120)
2/pi = sum_(n=0)^(infty)((-1)^n(1/2)_n^3(420n-168sqrt(6)n+177-72sqrt(6)))/((n!)^3)
(121)
(2sqrt(2))/pi = sum_(n=0)^(infty)((-1)^n(1/2)_n^3(2sqrt(2))^(2n))/((n!)^3)
(122)

pour m=1 avec des signes alternés,

(128)/(pi^2) = somme_(n=0)^(infty)((-1)^n(1/2)_n^5(820n^2+180n+13))/(32^(2n)(n !)^5)
(123)
(32)/(pi^2) = sum_(n=0)^(infty)((-1)^n(1/2)_n^5(20n^2+8n+1))/(2^(2n)(n!)^5)
(124)

pour m=2 (Guillera 2002, 2003, 2006),

 (32)/(pi^3)=sum_(n=0)^infty((1/2)_n^7(168n^3+76n^2+14n+1))/(32^(2n)(n!)^5)
(125)

pour m=3 (Guillera 2002, 2003, 2006), et aucune autre pour m3 n’est connue (Bailey et al. 2007, pp. 45-48).

Bellard donne la formule exotique

 pi=1/(740025),
(126)

where

 P(n)=-885673181n^5+3125347237n^4-2942969225n^3+1031962795n^2-196882274n+10996648.
(127)

Gasper cite le résultat

 pi=(16)/3^(-1),
(128)

_1F_2 est une fonction hypergéométrique généralisée, et le transforme en

 pi=lim_(x-infty)4x_1F_2(1/2 ;3/2,3/2;-x^2).
(129)

Un résultat fascinant dû à Gosper est donné par

 lim_(n-infty)produit_(i=n)^(2n)pi/(2tan^(-1)i)=4^(1/pi)=1,554682275.....
(130)

pi satisfait l’inégalité

 (1+1/pi)^(pi+1) approx 3,14097pi.
(131)

D. Terr (comm. pers.) a noté la curieuse identité

 (3,1,4)=(1,5,9)+(2,6,5) (mod 10)
(132)

impliquant les 9 premiers chiffres de pi.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.