Fórmulas Pi

Teoria dos números > Constantes > Pi >
Cálculo e Análise > Série > Fórmulas BBP >
Cálculo e Análise > Cálculo > Integrais > Integrais definidos >
Contribuintes do MathWorld > Cloitre >
Contribuintes do MathWorld >> Plouffe >
Contribuintes do MathWorld > Sondow >

Less…

DESCARREGAR Caderno de Matemática

Existem muitas fórmulas de pi de muitos tipos. Entre outras, estas incluem séries, produtos, construções geométricas, limites, valores especiais e iterações pi.

pi está intimamente relacionado com as propriedades dos círculos e esferas. Para um círculo de raio r, a circunferência e a área são dadas por

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

Similiarmente, para uma esfera de raio r, a área de superfície e o volume delimitado são

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

Uma fórmula exata para pi em termos das tangentes inversas das frações unitárias é a fórmula de Machin

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

Existem três outras fórmulas semelhantes à máquina, bem como milhares de outras fórmulas semelhantes com mais termos.

GregorySeries

Gregory e Leibniz encontrados

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

(Wells 1986, p. 50), que é conhecido como a série Gregory e pode ser obtido ligando x=1 à série Leibniz para tan^(-1)x. O erro após o termo n desta série na série Gregory é maior que (2n)^(-1) pelo que esta soma converge tão lentamente que 300 termos não são suficientes para calcular pi correctamente com duas casas decimais! Entretanto, ela pode ser transformada para

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

where zeta(z) é a função zeta de Riemann (Vardi 1991, pp. 157-158; Flajolet e Vardi 1996), de modo que o erro após k termos é  aprox. (3/4)^k.

Uma série de soma infinita para Abraham Sharp (ca. 1717) é dada por

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

(Smith 1953, p. 311). Outras séries simples nas quais pi aparece são

1/4pisqrt(2) sum_(k=1)^(infty)
(10)
= 1+1/3-1/5-1/7+1/9+1/(11)-...
(11)
1/4(pi-3) = sum_(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>2 = sum_(k=1)^(infty)1/(k^2)
(14)
= 1+1/4+1/9+1/(16)+1/(25)+...
(15)
1/8pi^2 = sum_(k=1)^(infty)1/((2k-1)^2)
(16)
= 1+1/(3^2)+1/(5^2)+1/(7^2)+...
(17)

(Wells 1986, p. 53).

em 1666, Newton usou uma construção geométrica para derivar a fórmula

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)

que calculou pi (Wells 1986, p. 50; Borwein et al. 1989; Borwein e Bailey 2003, pp. 105-106). Os coeficientes podem ser encontrados a partir da integral

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

tomando a expansão da série de I(x)-I(0) cerca 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 e A054388). Usando a transformação de melhoria da convergência de Euler dá

pi/2 = 1/2sum_(n=0)^(infty)((n!)^22^(n+1))/((2n+1)!)=sum_(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, Item 120).

>

Corresponde à ligação x=1/sqrt(2) à série de potências para a função hipergeométrica _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)

Embora a melhoria da convergência, a série (◇) converge em apenas um bit/terminal. Ao custo de uma raiz quadrada, Gosper notou que x=1/2 dá 2 bits/term,

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

e x=sin(pi/10) dá quase 3.39 bits/term,

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

where phi é a razão áurea. Gosper também obtido

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

Um algoritmo de espigão para pi é dado por Rabinowitz e Wagon (1995; Borwein e Bailey 2003, pp. 141-142).

Mais espantosamente imóvel, uma expressão de forma fechada dando um algoritmo de extração de dígitos que produz dígitos de pi (ou pi^2) na base -16 foi descoberta por Bailey et al. (Bailey et al. 1997, Adamchik e Wagon 1997),

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

Esta fórmula, conhecida como a fórmula BBP, foi descoberta usando o algoritmo PSLQ (Ferguson et al. 1999) e é equivalente a

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

Há uma série de fórmulas do tipo BBP para pi em poderes de (-1)^k, as primeiras fórmulas independentes das quais são

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

Simplesmente, há uma série de fórmulas do tipo BBP para pi em potências de 2^k, as primeiras fórmulas independentes das quais são

pi = sum_(k=0)^(infty)1/(16^k)
(38)
= 1/2sum_(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)sum_(k=0)^(infty)1/(4096^k)
(42)
= 1/(64)sum_(k=0)^(infty)1/(4096^k)
(43)
= 1/(96)sum_(k=0)^(infty)1/(4096^k)
(44)
= 1/(96)sum_(k=0)^(infty)1/(4096^k)
(45)
= 1/(96)sum_(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 encontrou a fórmula do tipo BBP de rápida convergência

 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)

Uma integral relacionada é

 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, e Girgensohn 2004, p. 3; Boros e Moll 2004, p. 125; Lucas 2005; Borwein et al. 2007, p. 14). Esta integral foi conhecida por K. Mahler em meados dos anos 60 e aparece em um exame na Universidade de Sydney em novembro de 1960 (Borwein, Bailey, e Girgensohn, p. 3). Beukers (2000) e Boros e Moll (2004, p. 126) afirmam que não está claro se existe uma escolha natural de polinômio racional cuja integral entre 0 e 1 produz pi-333/106, onde 333/106 é a próxima convergente. Contudo, existe uma integral para a quarta convergente, nomeadamente

 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). Na verdade, Lucas (2005) dá poucos outros integrais desse tipo.

Backhouse (1995) usou a identidade

I_(m.),n) = int_0^1(x^m(1-x)^n)/(1+x^2)dx
(52)
= 2^(-(m+n+1))sqrt(pi)Gama(m+1)Gama(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)

para número inteiro positivo m e n e onde a, b, e c são constantes racionais para gerar um número de fórmulas para pi. Em particular, se 2m-n=0 (mod 4), então c=0 (Lucas 2005).

Uma fórmula semelhante foi subsequentemente descoberta por Ferguson, levando a uma malha bidimensional de tais fórmulas que pode ser gerada por estas duas fórmulas dadas por

 pi=sum_(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)

para qualquer valor complexo de r (Adamchik e Wagon), dando a fórmula do BBP como caso especial r=0.

PiFormulasWagonIdentity

Uma identidade ainda mais geral devido ao Wagon é dada por

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

(Borwein e Bailey 2003, p. 141), que se mantém sobre uma região do plano complexo excluindo duas porções triangulares simetricamente colocadas sobre o eixo real, como ilustrado acima.

Uma classe geral de identidades talvez ainda mais estranha é dada por

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

que detém para qualquer número inteiro positivo n, onde (x)_n é um símbolo Pochhammer (B. Cloitre, pers. comm, 23 de janeiro de 2005). Ainda mais surpreendente, existe uma fórmula análoga para o logaritmo natural de 2.

Na sequência da descoberta da fórmula BBP de 16 dígitos base e fórmulas relacionadas, fórmulas semelhantes em outras bases foram investigadas. Borwein, Bailey e Girgensohn (2004) mostraram recentemente que pi não tem fórmula arctangente BBP tipo máquina que não seja binária, embora isto não exclua um esquema completamente diferente para algoritmos de extração de dígitos em outras bases.

S. Plouffe concebeu um algoritmo para calcular o nésimo dígito de pi em qualquer base em O(n^3(logn)^3) passos.

Uma série de identidades adicionais devidas a Ramanujan, Catalão, e Newton são dadas por Castellanos (1988ab, pp. 86-88), incluindo várias envolvendo somas de números de Fibonacci. Ramanujan encontrou

 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) encontrou a bela fórmula

 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

Uma interessante fórmula de produto infinito devido a Euler que relaciona pi e o nth prime p_n é

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

(Blatner 1997, p. 119), plotado acima em função do número de termos no produto.

Um método semelhante ao de Arquimedes pode ser usado para estimar pi, começando com um n-gon e depois relacionando a área de subseqüentes 2n-gons. Seja beta o ângulo a partir do centro de um dos segmentos do polígono,

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

então

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

(Beckmann 1989, pp. 92-94).

Vieta (1593) foi o primeiro a dar uma expressão exata para pi tomando n=4 na expressão acima, dando

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

que leva a um produto infinito de nestedradicals,

 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). Entretanto, esta expressão não foi rigorosamente provada para convergir até Rudio em 1892.

Uma fórmula relacionada é dada por

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

que pode ser escrito

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

>

onde pi_n é definido usando a iteração

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

with pi_0=sqrt(2) (J. Munkhammar, pers. comm.., 27 de Abril de 2000). A fórmula

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

também está intimamente relacionado.

Uma fórmula bonita para pi é dada por

 pi=(product_(n=1)^(infty)(1+1/(4n^2-1)))/(sum_(n=1)^(infty)1/(4n^2-1)),
(70)

Onde o numerador é uma forma da fórmula Wallis para pi/2 e o denominador é uma soma telescópica com soma 1/2 desde

(71)

(Sondow 1997).

Um caso particular da fórmula Wallis dá

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

(Wells 1986, p. 50). Esta fórmula também pode ser escrita

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

where (n; k) denota um coeficiente binomial e Gamma(x) é a função gama (Knopp 1990). Euler obtido

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

que decorre do valor especial da função zeta de Riemann zeta(2)=pi^2/6. Fórmulas similares seguem de zeta(2n) para todos os inteiros positivos n.

Uma soma infinita devida a Ramanujan é

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

(Borwein et al. 1989; Borwein e Bailey 2003, p. 109; Bailey et al.2007, p. 44). Outras somas são dadas em Ramanujan (1913-14),

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

e

1/pi = sqrt(8)sum_(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, Item 139; Borwein et al. 1989; Borwein and Bailey 2003, p. 108; Bailey et al. 2007, p. 44). A equação (78) é derivada de uma identidade modular de ordem 58, embora uma primeira derivação não tenha sido apresentada antes de Borwein e Borwein (1987). As séries acima dão ambas

 pi aproximadamente (9801)/(2206sqrt(2))=3,14159273001...
(79)

(Wells 1986, p. 54) como primeira aproximação e fornecer, respectivamente, cerca de 6 e 8 casas decimais por termo. Tais séries existem devido à racionalidade de várias invariantes modulares.

A forma geral da série é

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

onde t é uma forma quadrática binária discriminante, j(t) é a função j,

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

e os E_i são séries Eisenstein. Um número de classe p campo envolve p inteiros algébricos de grau das constantes A=a(t), B=b(t), e C=c(t). De todas as séries que consistem de apenas termos inteiros, a que dá os dígitos mais numéricos no menor período de tempo corresponde à maior discriminação de classe número 1 de d=-163 e foi formulada pelos irmãos Chudnovsky (1987). O 163 que aparece aqui é o mesmo que aparece no fato de e^(pisqrt(163)) (a constante Ramanujan) ser muito próximo de um inteiro. Da mesma forma, o fator 640320^3 vem da identidade da função j para j(1/2(1+isqrt(163))). A série é dada por

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 e Borwein 1993; Beck e Trott; Bailey et al. 2007, p. 44). Esta série dá 14 dígitos com precisão por termo. A mesma equação em outra forma foi dada pelos irmãos Chudnovsky (1987) e é usada pela linguagem Wolfram para calcular pi (Vardi 1991; Wolfram Research),

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

where

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

A melhor fórmula para a classe número 2 (maior discriminante -427) é

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

where

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

(Borwein e Borwein 1993). Esta série acrescenta cerca de 25 dígitos para cada termo adicional. A série convergente mais rápida para a classe número 3 corresponde a d=-907 e dá 37-38 dígitos por termo. A série mais rápida da classe convergente número 4 corresponde a d=-1555 e é

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

where

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)

Põe 50 dígitos por termo. Borwein e Borwein (1993) desenvolveram um algoritmo geral para gerar tais séries para número de classe arbitrária.

Uma lista completa das séries da Ramanujan para 1/pi encontradas em seus segundo e terceiro cadernos é dada por Berndt (1994, pp. 352-354),

4/pi = sum_(n=0)^(infty)((6n+1)(1/2)_n^3)/(4^n(n!)^3)
(97)
(16)/pi = sum_(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)

Estas equações foram provadas pela primeira vez por Borwein e Borwein (1987a, pp. 177-187). Borwein e Borwein (1987b, 1988, 1993) provaram outras equações deste tipo, e Chudnovsky e Chudnovsky (1987) encontraram equações semelhantes para outras constantes transcendentais (Bailey et al. 2007, pp. 44-45).

Uma lista completa de equações independentes conhecidas deste tipo é dada por

4/pi = sum_(n=0)^(infty)((6n+1)(1/2)_n^3)/(4^n(n!)^3)
(114)
(16)/pi = sum_(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 = sum_(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 = sum_(n=0)^(infty)((24sqrt(3)n-36n-15+9sqrt(3))(1/2)_n^3(2-sqrt(3))^(4n))/((n!)^3)
(118)

para m=1 com sinais não permanentes,

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 = sum_(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)

para m=1 com sinais alternados,

= sum_(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)

para 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)

para m=3 (Guillera 2002, 2003, 2006), e nenhum outro para m3 são conhecidos (Bailey et al. 2007, pp. 45-48).

Bellard dá a fórmula exótica

 pi=1/(740025),
(126)

where

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

Gasper cita o resultado

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

where _1F_2 é uma função hipergeométrica generalizada, e transforma-a em

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

Um resultado fascinante devido a Gosper é dado por

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

pi satisfaz a desigualdade

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

D. Terr (pers. comm.) notou a curiosa identidade

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

envolvendo os primeiros 9 dígitos de pi.

Deixe uma resposta

O seu endereço de email não será publicado.