Pi Formules

Getaltheorie > Constanten > Pi >
Rekenen en Analyse > Reeksen > BBP Formules >
Rekenen en Analyse > Rekenen > Integralen > Definiete Integralen >
MathWorld Contributors > Cloitre >
MathWorld Contributors > Plouffe >
MathWorld Contributors > Sondow >

Minder…
DOWNLOAD Mathematica Notebook

Er zijn vele formules van pi van vele soorten. Deze omvatten onder andere reeksen, producten, meetkundige constructies, limieten, speciale waarden, en pi iteraties.

pi is nauw verbonden met de eigenschappen van cirkels en bollen. Voor een cirkel met straal r, zijn de omtrek en oppervlakte gegeven door

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

Zo ook voor een bol met straal r, zijn de oppervlakte en het volume van de bol

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

Een exacte formule voor pi in termen van de inverse raaklijnen van eenheidsfracties is de formule van Machin

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

Er zijn nog drie andere Machin-achtige formules, evenals duizenden andere soortgelijke formules met meer termen.

GregorySeries

Gregory en Leibniz vonden

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

(Wells 1986, p. 50), die bekend staat als de Gregory-reeks en kan worden verkregen door x=1 in de Leibniz-reeks voor tan^(-1)x te pluggen. De fout na de ne term van deze reeks in de Gregorius-reeks is groter dan (2n)^(-1) zodat deze som zo langzaam convergeert dat 300 termen niet voldoende zijn om pi tot op twee decimalen nauwkeurig te berekenen! Het kan echter worden getransformeerd tot

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

waar zeta(z) de Riemann zeta-functie is (Vardi 1991, pp. 157-158; Flajolet en Vardi 1996), zodat de fout na k termen  ca. (3/4)^k bedraagt.

Een oneindige somreeks naar Abraham Sharp (ca. 1717) wordt gegeven door

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

(Smith 1953, p. 311). Bijkomende eenvoudige reeksen waarin pi voorkomt zijn

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 = 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).

In 1666, gebruikte Newton een meetkundige constructie om de 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)

waarmee hij pi berekende (Wells 1986, p. 50; Borwein et al. 1989; Borwein and Bailey 2003, pp. 105-106). De coëfficiënten kunnen worden gevonden uit de integraal

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

door de reeksuitbreiding te nemen van I(x)-I(0) over 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 en A054388). Gebruik van de convergentieverbeteringstransformatie van Euler geeft

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, punt 120).

Dit komt overeen met het inpluggen van x=1/sqrt(2) in de machtsreeks voor de hypergeometrische functie _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)

Ondanks de convergentieverbetering convergeert reeks (◇) slechts op één bit/term. Ten koste van een vierkantswortel heeft Gosper opgemerkt dat x=1/2 2 bits/term oplevert,

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

en x=sin(pi/10) geeft bijna 3.39 bits/term,

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

waar phi de gulden snede is. Gosper verkreeg ook

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

Een spigot-algoritme voor pi wordt gegeven door Rabinowitz en Wagon (1995; Borwein en Bailey 2003, pp. 141-142).

Nog verbazingwekkender is de ontdekking door Bailey et al. van een gesloten vormexpressie die een cijfer-extractie-algoritme geeft dat cijfers van pi (of pi^2) in basis-16 oplevert (Bailey et al. (Bailey et al. 1997, Adamchik and Wagon 1997),

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

Deze formule, bekend als de BBP-formule, werd ontdekt met behulp van het PSLQ-algoritme (Ferguson et al. 1999) en is equivalent aan

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

Er is een serie BBP-type formules voor pi in machten van (-1)^k, waarvan de eerste paar onafhankelijke formules zijn

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)

Zo zijn er ook een reeks BBP-type formules voor pi in machten van 2^k, waarvan de eerste paar onafhankelijke formules zijn

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)som_(k=0)^(infty)1/(4096^k)
(44)
= 1/(96)sum_(k=0)^(infty)1/(4096^k)
(45)
= 1/(96)som_(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 vond de snel convergerende BBP-typeformule

 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)

Een verwante integraal is

 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, and Girgensohn 2004, p. 3; Boros and Moll 2004, p. 125; Lucas 2005; Borwein et al. 2007, p. 14). Deze integraal was bekend bij K. Mahler in het midden van de jaren 1960 en komt voor in een examen aan de Universiteit van Sydney in november 1960 (Borwein, Bailey, and Girgensohn, p. 3). Beukers (2000) en Boros en Moll (2004, p. 126) stellen dat het niet duidelijk is of er een natuurlijke keuze bestaat van een rationale polynoom waarvan de integraal tussen 0 en 1 pi-333/106 oplevert, waarbij 333/106 de eerstvolgende convergente is. Er bestaat echter een integraal voor de vierde convergente, namelijk

 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). Lucas (2005) geeft nog een paar van dergelijke integralen.

Backhouse (1995) gebruikte de identiteit

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)

voor positieve gehele getallen m en n en waarbij a, b, en c rationale constante zijn om een aantal formules voor pi te genereren. In het bijzonder, als 2m-n=0 (mod 4), dan is c=0 (Lucas 2005).

Een soortgelijke formule werd later ontdekt door Ferguson, wat leidt tot een tweedimensionaal rooster van dergelijke formules die kunnen worden gegenereerd door deze twee formules, gegeven door

 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)

voor elke complexe waarde van r (Adamchik en Wagon), wat de BBP-formule geeft als het speciale geval r=0.

PiFormulasWagonIdentity

Een nog algemenere identiteit door Wagon wordt gegeven door

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

(Borwein en Bailey 2003, p. 141), die geldt voor een gebied van het complexe vlak met uitzondering van twee driehoekige delen die symmetrisch om de reële as zijn geplaatst, zoals hierboven is geïllustreerd.

Een wellicht nog algemenere klasse van identiteiten wordt gegeven door

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

die geldt voor elk positief geheel getal n, waarbij (x)_n een Pochhammer-symbool is (B. Cloitre, pers. comm., 23 jan. 2005). Nog verbazingwekkender is dat er een nauw verwante formule is voor de natuurlijke logaritme van 2.

Na de ontdekking van de BBP-formule met 16 basisgetallen en verwante formules, werden soortgelijke formules in andere basisgetallen onderzocht. Borwein, Bailey, en Girgensohn (2004) hebben onlangs aangetoond dat pi geen Machin-type BBP arctangent formule heeft die niet binair is, hoewel dit niet uitsluit dat er een geheel ander schema is voor cijfer-extractie algoritmen in andere grondslagen.

S. Plouffe heeft een algoritme bedacht om het nde cijfer van pi in elke basis te berekenen in O(n^3(logn)^3) stappen.

Een reeks aanvullende identiteiten door Ramanujan, Catalan, en Newton worden gegeven door Castellanos (1988ab, pp. 86-88), waaronder een aantal met betrekking tot sommen van Fibonacci getallen. Ramanujan vond

 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) vond de mooie 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

Een interessante oneindige productformule van Euler die pi en het ne priemgetal p_n met elkaar in verband brengt is

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

(Blatner 1997, p. 119), hierboven uitgezet als functie van het aantal termen in het product.

Een soortgelijke methode als die van Archimedes kan worden gebruikt om pi te schatten door te beginnen met een n-gon en dan de oppervlakte van de daaropvolgende 2n-gons te relateren. Stel beta is de hoek vanaf het middelpunt van een van de segmenten van de veelhoek,

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

dan

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

(Beckmann 1989, pp. 92-94).

Vieta (1593) was de eerste die een exacte uitdrukking gaf voor pi door n=4 te nemen in bovenstaande uitdrukking, die

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

wat leidt tot een oneindig product van geneste rradicalen,

 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). Van deze uitdrukking werd echter pas in 1892 door Rudio rigoureus bewezen dat ze convergeert.

Een verwante formule wordt gegeven door

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

die kan worden geschreven

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

waar pi_n is gedefinieerd met behulp van de iteratie

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

met pi_0=sqrt(2) (J. Munkhammar, pers. comm, 27 april 2000). De formule

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

is ook nauw verwant.

Een mooie formule voor pi wordt gegeven door

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

waar de teller een vorm is van de Wallis formule voor pi/2 en de noemer een telescopische som met som 1/2 aangezien

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

(Sondow 1997).

Een bijzonder geval van de Wallis-formule geeft

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

(Wells 1986, p. 50). Deze formule kan ook worden geschreven

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

waar (n; k) een binomiaal coëfficiënt aanduidt en Gamma(x) de gammafunctie is (Knopp 1990). Euler verkreeg

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

hetgeen volgt uit de speciale waarde van de Riemann zeta-functie zeta(2)=pi^2/6. Soortgelijke formules volgen uit zeta(2n) voor alle positieve gehele getallen n.

Een oneindige som door Ramanujan is

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

(Borwein et al. 1989; Borwein and Bailey 2003, p. 109; Bailey et al.2007, p. 44). Verdere sommen worden gegeven in 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)

en

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, punt 139; Borwein et al. 1989; Borwein en Bailey 2003, p. 108; Bailey et al. 2007, p. 44). Vergelijking (78) is afgeleid van een modulaire identiteit van orde 58, hoewel een eerste afleiding niet werd voorgesteld vóór Borwein en Borwein (1987). De bovenstaande reeksen geven beide

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

(Wells 1986, p. 54) als eerste benadering en geven respectievelijk ongeveer 6 en 8 decimalen per term. Dergelijke reeksen bestaan vanwege de rationaliteit van diverse modulaire invarianten.

De algemene vorm van de reeks is

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

waar t een binaire kwadratische vormdiscriminant is, j(t) is de j-functie,

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

en de E_i zijn Eisensteinreeksen. Een klassegetal p veld bevat pde graad algebraïsche gehele getallen van de constanten A=a(t), B=b(t), en C=c(t). Van alle reeksen die alleen uit gehele termen bestaan, komt de reeks die in de kortste tijd de meeste numerieke cijfers geeft overeen met de grootste discriminant van klasse nummer 1, d=-163, en werd geformuleerd door de gebroeders Chudnovsky (1987). De 163 die hier voorkomt is dezelfde die voorkomt in het feit dat e^(pisqrt(163)) (de constante van Ramanujan) zeer dicht bij een geheel getal ligt. Evenzo komt de factor 640320^3 uit de j-gelijkvormigheid voor j(1/2(1+isqrt(163))). De reeks wordt gegeven door

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 en Borwein 1993; Beck en Trott; Bailey et al. 2007, p. 44). Deze reeks geeft 14 cijfers nauwkeurig per term. Dezelfde vergelijking in een andere vorm is gegeven door de gebroeders Chudnovsky (1987) en wordt door de Wolfram Language gebruikt om pi te berekenen (Vardi 1991; Wolfram Research),

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

waar

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

De beste formule voor klasse nummer 2 (grootste discriminant -427) is

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

waar

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

(Borwein en Borwein 1993). Deze reeks telt ongeveer 25 cijfers op voor elke extra term. De snelst convergerende reeks voor klasse nummer 3 komt overeen met d=-907 en geeft 37-38 cijfers per term. De snelst convergerende reeks voor klasse nummer 4 komt overeen met d=-1555 en is

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

waar

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)

Dit geeft 50 cijfers per term. Borwein en Borwein (1993) hebben een algemeen algoritme ontwikkeld voor het genereren van dergelijke reeksen voor willekeurige klassen.

Een volledige lijst van Ramanujans reeksen voor 1/pi die in zijn tweede en derde notitieboek zijn gevonden, wordt gegeven door 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)

Deze vergelijkingen zijn voor het eerst bewezen door Borwein en Borwein (1987a, pp. 177-187). Borwein en Borwein (1987b, 1988, 1993) bewezen andere vergelijkingen van dit type, en Chudnovsky en Chudnovsky (1987) vonden soortgelijke vergelijkingen voor andere transcendentale constanten (Bailey et al. 2007, pp. 44-45).

Een volledige lijst van onafhankelijke bekende vergelijkingen van dit type wordt gegeven door

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)

voor m=1 met niet-alternatieve tekens,

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)

voor m=1 met wisselende tekens,

(128)/(pi^2) = 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)

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

voor m=3 (Guillera 2002, 2003, 2006), en geen andere voor m3 zijn bekend (Bailey et al. 2007, pp. 45-48).

Bellard geeft de exotische formule

 pi=1/(740025),
(126)

where

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

Gasper citeert het resultaat

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

waar _1F_2 een gegeneraliseerde hypergeometrische functie is, en transformeert deze tot

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

Een fascinerend resultaat van Gosper wordt gegeven door

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

pi voldoet aan de ongelijkheid

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

D. Terr (pers. comm.) merkte de merkwaardige identiteit op

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

in verband met de eerste 9 cijfers van pi.

Geef een antwoord

Het e-mailadres wordt niet gepubliceerd.