Less…
Există multe formule de de mai multe tipuri. Printre altele, acestea includ serii, produse, construcții geometrice, limite, valori speciale și iterații pi.
este intim legat de proprietățile cercurilor și sferelor. Pentru un cerc de rază , circumferința și aria sunt date de
(1)
|
|||
(2)
|
În mod similar, pentru o sferă de rază , suprafața și volumul închis sunt
(3)
|
|||
(4)
|
O formulă exactă pentru în termeni de tangente inverse ale fracțiilor unitare este formula lui Machin
(5)
|
Există alte trei formule asemănătoare cu cea a lui Machin,precum și mii de alte formule similare care au mai mulți termeni.
Gregory și Leibniz au găsit
(6)
|
|||
(7)
|
(Wells 1986, p. 50), care este cunoscută sub numele de seria Gregory și poate fi obținută prin introducerea lui în seria Leibniz pentru . Eroarea după cel de-al lea termen al acestei serii din seria Gregory este mai mare decât , astfel încât această sumă converge atât de lent încât 300 de termeni nu sunt suficienți pentru a calcula corect cu două zecimale! Totuși, ea poate fi transformată în
(8)
|
unde este funcția zeta Riemann (Vardi 1991, pp. 157-158; Flajolet și Vardi 1996), astfel încât eroarea după termeni este .
O serie de sume infinite la Abraham Sharp (cca. 1717) este dată de
(9)
|
(Smith 1953, p. 311). Serii simple suplimentare în care apare sunt
(10)
|
|||
(11)
|
|||
(12)
|
|||
(13)
|
|||
(14)
|
|||
(15)
|
|||
(16)
|
|||
(17)
|
(Wells 1986, p. 53).
În 1666, Newton a folosit o construcție geometrică pentru a obține formula
(18)
|
|||
(19)
|
care a folosit-o pentru a calcula (Wells 1986, p. 50; Borwein et al. 1989; Borwein și Bailey 2003, pp. 105-106). Coeficienții pot fi găsiți din integrala
(20)
|
|||
(21)
|
prin extinderea în serie a lui în jurul lui 0, obtaining
(22)
|
(OEIS A054387 și A054388). Folosind transformarea de îmbunătățire a convergenței lui Euler se obține
(23)
|
|||
(24)
|
|||
(25)
|
(Beeler et al. 1972, poziția 120).
Acest lucru corespunde conectării în seria de puteri pentru funcția hipergeometrică ,
(26)
|
În ciuda îmbunătățirii convergenței, seria (◇) converge la un singur bit/termen. Cu prețul unei rădăcini pătrate, Gosper a observat că dă 2 biți/termen,
(27)
|
și dă aproape 3.39 biți/termen,
(28)
|
unde este raportul de aur. Gosper a mai obținut
(29)
|
Un algoritm spigot pentru este dat de Rabinowitz și Wagon (1995; Borwein și Bailey 2003, pp. 141-142).
Mai uimitor încă, o expresie în formă închisă care dă un algoritm de extragere a cifrelor care produce cifre de (sau ) în baza 16 a fost descoperită de Bailey et al. (Bailey et al. 1997, Adamchik și Wagon 1997),
(30)
|
Această formulă, cunoscută sub numele de formula BBP, a fost descoperită cu ajutorul algoritmului PSLQ (Ferguson et al. 1999) și este echivalentă cu
(31)
|
Există o serie de formule de tip BBP pentru în puteri ale lui , ale căror prime câteva formule independente sunt
(32)
|
|||
(33)
|
|||
(34)
|
|||
(35)
|
|||
(36)
|
|||
(37)
|
În mod similar, există o serie de formule de tip BBP pentru în puteri ale lui , ale căror prime câteva formule independente sunt
(38)
|
|||
(39)
|
|||
(40)
|
|||
(41)
|
|||
(42)
|
|||
(43)
|
|||
(44)
|
|||
(45)
|
|||
(46)
|
|||
(47)
|
|||
(48)
|
F. Bellard a găsit formula de tip BBP care converge rapid
(49)
|
O integrală conexă este
(50)
|
(Dalzell 1944, 1971; Le Lionnais 1983, p. 22; Borwein, Bailey și Girgensohn 2004, p. 3; Boros și Moll 2004, p. 125; Lucas 2005; Borwein et al. 2007, p. 14). Această integrală a fost cunoscută de K. Mahler la mijlocul anilor 1960 și apare într-un examen la Universitatea din Sydney în noiembrie 1960 (Borwein, Bailey și Girgensohn, p. 3). Beukers (2000) și Boros și Moll (2004, p. 126) afirmă că nu este clar dacă acestea există o alegere naturală a polinomului rațional a cărui integrală între 0 și 1 produce , unde 333/106 este următoarea convergentă. Totuși, există o integrală pentru a patra convergentă, și anume
(51)
|
(Lucas 2005; Bailey et al. 2007, p. 219). De fapt, Lucas (2005) dă alte câteva astfel de integrale.
Backhouse (1995) a folosit identitatea
(52)
|
|||
(53)
|
|||
(54)
|
pentru numerele întregi pozitive și și unde , , și sunt constante raționale pentru a genera un număr de formule pentru . În special, dacă , atunci (Lucas 2005).
O formulă similară a fost descoperită ulterior de Ferguson, ceea ce conduce la o rețea bidimensională de astfel de formule care poate fi generată de aceste două formule date de
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)
|
pentru orice valoare complexă a lui (Adamchik și Wagon), dând formula BBP ca fiind cazul special .
O identitate și mai generală datorată lui Wagon este dată de
(56)
|
(Borwein și Bailey 2003, p. 141), care este valabil pentru o regiune a planului complex care exclude două porțiuni triunghiulare plasate simetric în jurul axei reale, așa cum este ilustrat mai sus.
O clasă de identități poate chiar mai ciudat de generală este dată de
(57)
|
care este valabil pentru orice număr întreg pozitiv , unde este un simbol Pochhammer (B. Cloitre, com. pers., 23 ianuarie 2005). Chiar mai uimitor, există o formulă strâns analogă pentru logaritmul natural al lui 2.
În urma descoperirii formulei BBP cu cifre în baza 16 și a formulelor înrudite, au fost cercetate formule similare în alte baze. Borwein, Bailey și Girgensohn (2004) au arătat recent că nu are o formulă arctangentă BBP de tip Machin care să nu fie binară, deși acest lucru nu exclude o schemă complet diferită pentru algoritmii de extragere a cifrelor în alte baze.
S. Plouffe a conceput un algoritm pentru a calcula a cea cifră a lui în orice bază în pași.
O serie de identități suplimentare datorate lui Ramanujan, Catalan și Newton sunt date de Castellanos (1988ab, pp. 86-88), inclusiv câteva care implică sume de numere Fibonacci. Ramanujan a găsit
(58)
|
(Hardy 1923, 1924, 1999, p. 7).
Plouffe (2006) a găsit frumoasa formulă
(59)
|
O formulă interesantă de produs infinit datorată lui Euler care leagă și al lea prim este
(60)
|
|||
(61)
|
(Blatner 1997, p. 119), reprezentată mai sus în funcție de numărul de termeni din produs.
O metodă similară cu cea a lui Arhimede poate fi folosită pentru a estima , începând cu un -gon și apoi raportând aria următoarelor -gonuri. Fie unghiul de la centrul unuia dintre segmentele poligonului,
(62)
|
atunci
(63)
|
(Beckmann 1989, pp. 92-94).
Vieta (1593) a fost primul care a dat o expresie exactă pentru luând în expresia de mai sus, obținând
(64)
|
care conduce la un produs infinit de radicali imbricați,
(65)
|
(Wells 1986, p. 50; Beckmann 1989, p. 95). Cu toate acestea, nu s-a dovedit riguros că această expresie converge până la Rudio în 1892.
O formulă înrudită este dată de
(66)
|
ceea ce se poate scrie
(67)
|
unde se definește folosind iterația
(68)
|
cu (J. Munkhammar, com. pers, 27 aprilie 2000). Formula
(69)
|
este, de asemenea, strâns legată.
O formulă drăguță pentru este dată de
(70)
|
unde numărătorul este o formă a formulei Wallis pentru iar numitorul este o sumă telescopată cu suma 1/2 deoarece
(71)
|
(Sondow 1997).
Un caz particular al formulei Wallis dă
(72)
|
(Wells 1986, p. 50). Această formulă poate fi, de asemenea, scrisă
(73)
|
unde denotă un coeficient binomial și este funcția gamma (Knopp 1990). Euler a obținut
(74)
|
ceea ce rezultă din valoarea specială a funcției zeta Riemann . Formule similare rezultă din pentru toți numerele întregi pozitive .
O sumă infinită datorată lui Ramanujan este
(75)
|
(Borwein et al. 1989; Borwein și Bailey 2003, p. 109; Bailey et al.2007, p. 44). Alte sume sunt date în Ramanujan (1913-14),
(76)
|
și
(77)
|
|||
(78)
|
(Beeler et al. 1972, poziția 139; Borwein et al. 1989; Borwein și Bailey 2003, p. 108; Bailey et al. 2007, p. 44). Ecuația (78) este derivată dintr-o identitate modulară de ordinul 58, deși o primă derivare nu a fost prezentată înainte de Borwein și Borwein (1987). Seriile de mai sus dau ambele
(79)
|
(Wells 1986, p. 54) ca primă aproximație și oferă, respectiv, aproximativ 6 și 8 zecimale pe termen. Astfel de serii există datorită raționalității diverșilor invarianți modulari.
Forma generală a seriei este
(80)
|
unde este discriminantul unei forme pătratice binare, este funcția j,
(81)
|
|||
(82)
|
și sunt serii Eisenstein. Un câmp de numere de clasă implică numere întregi algebrice de lea grad ale constantelor , , și . Dintre toate seriile formate numai din termeni întregi, cea care dă cele mai multe cifre numerice în cel mai scurt timp corespunde celui mai mare discriminant al clasei numărul 1 de și a fost formulată de frații Chudnovsky (1987). Numărul 163 care apare aici este același cu cel care apare în faptul că (constanta lui Ramanujan) este foarte aproape de un număr întreg. În mod similar, factorul provine din identitatea funcției j pentru . Seria este dată de
(83)
|
|||
(84)
|
(Borwein și Borwein 1993; Beck și Trott; Bailey et al. 2007, p. 44). Această serie oferă 14 cifre cu exactitate pe termen. Aceeași ecuație într-o altă formă a fost dată de frații Chudnovsky (1987) și este utilizată de limbajul Wolfram pentru a calcula (Vardi 1991; Wolfram Research),
(85)
|
unde
(86)
|
|||
(87)
|
|||
(88)
|
Cea mai bună formulă pentru clasa numărul 2 (cel mai mare discriminant ) este
(89)
|
unde
(90)
|
|||
(91)
|
|||
(92)
|
(Borwein și Borwein 1993). Această serie adaugă aproximativ 25 de cifre pentru fiecare termen suplimentar. Seria care converge cel mai rapid pentru clasa numărul 3 corespunde la și oferă 37-38 de cifre pentru fiecare termen. Seria cu cea mai rapidă convergență pentru clasa numărul 4 corespunde lui și este
(93)
|
unde
(94)
|
|||
(95)
|
|||
(96)
|
Aceasta dă 50 de cifre pe termen. Borwein și Borwein (1993) au dezvoltat un algoritm general pentru generarea unor astfel de serii pentru un număr arbitrar de clase.
O listă completă a seriilor lui Ramanujan pentru găsite în al doilea și al treilea caiet al său este dată de Berndt (1994, pp. 352-354),
(97)
|
|||
(98)
|
|||
(99)
|
|||
(100)
|
|||
(101)
|
|||
(102)
|
|||
(103)
|
|||
(104)
|
|||
(105)
|
|||
(106)
|
|||
(107)
|
|||
(108)
|
|||
(109)
|
|||
(110)
|
|||
(111)
|
|||
(112)
|
|||
(113)
|
Aceste ecuații au fost demonstrate pentru prima dată de Borwein și Borwein (1987a, pp. 177-187). Borwein și Borwein (1987b, 1988, 1993) au demonstrat și alte ecuații de acest tip, iar Chudnovsky și Chudnovsky (1987) au găsit ecuații similare pentru alte constante transcendentale (Bailey et al. 2007, pp. 44-45).
O listă completă a ecuațiilor independente cunoscute de acest tip este dată de
(114)
|
|||
(115)
|
|||
(116)
|
|||
(117)
|
|||
(118)
|
pentru cu semne nealternante,
(119)
|
|||
(120)
|
|||
(121)
|
|||
(122)
|
pentru cu semne alternative,
(123)
|
|||
(124)
|
pentru (Guillera 2002, 2003, 2006),
(125)
|
pentru (Guillera 2002, 2003, 2006), și nu se cunosc altele pentru (Bailey et al. 2007, pp. 45-48).
Bellard dă formula exotică
(126)
|
where
(127)
|
Gasper citează rezultatul
(128)
|
unde este o funcție hipergeometrică generalizată, și o transformă în
(129)
|
Un rezultat fascinant datorat lui Gosper este dat de
(130)
|
satisface inegalitatea
(131)
|
D. Terr (com. pers.) a remarcat curioasa identitate
(132)
|
care implică primele 9 cifre ale lui pi.
.