Meno…
Ci sono molte formule di di molti tipi. Tra le altre, queste includono serie, prodotti, costruzioni geometriche, limiti, valori speciali e iterazioni di pi greco.
è intimamente legato alle proprietà di cerchi e sfere. Per un cerchio di raggio , la circonferenza e l’area sono date da
(1)
|
|||
(2)
|
Similmente, per una sfera di raggio , la superficie e il volume racchiusi sono
(3)
|
|||
(4)
|
Una formula esatta per in termini di tangenti inverse di frazioni unitarie è la formula di Machin
(5)
|
Ci sono altre tre formule simili a Machin, così come migliaia di altre formule simili con più termini.
Gregory e Leibniz trovarono
(6)
|
|||
(7)
|
(Wells 1986, p. 50), che è nota come serie di Gregory e può essere ottenuta inserendo nella serie di Leibniz per . L’errore dopo il termine di questa serie nella serie di Gregory è più grande di quindi questa somma converge così lentamente che 300 termini non sono sufficienti per calcolare correttamente con due cifre decimali! Tuttavia, può essere trasformato in
(8)
|
dove è la funzione zeta di Riemann (Vardi 1991, pp. 157-158; Flajolet e Vardi 1996), così che l’errore dopo termini è .
Una serie a somma infinita di Abraham Sharp (ca. 1717) è data da
(9)
|
(Smith 1953, p. 311). Altre serie semplici in cui compare sono
(10)
|
|||
(11)
|
|||
(12)
|
|||
(13)
|
|||
(14)
|
|||
(15)
|
|||
(16)
|
|||
(17)
|
(Wells 1986, p. 53).
Nel 1666, Newton usò una costruzione geometrica per ricavare la formula
(18)
|
|||
(19)
|
che ha usato per calcolare (Wells 1986, p. 50; Borwein et al. 1989; Borwein e Bailey 2003, pp. 105-106). I coefficienti possono essere trovati dall’integrale
(20)
|
|||
(21)
|
prendendo l’espansione in serie di intorno a 0, obtaining
(22)
|
(OEIS A054387 e A054388). Usando la trasformazione di miglioramento della convergenza di Eulero dà
(23)
|
|||
(24)
|
|||
(25)
|
(Beeler et al. 1972, voce 120).
Questo corrisponde a inserire nella serie delle potenze della funzione ipergeometrica ,
(26)
|
Nonostante il miglioramento della convergenza, la serie (◇) converge ad un solo bit/terma. A costo di una radice quadrata, Gosper ha notato che dà 2 bit/terma,
(27)
|
e dà quasi 3.39 bit/terma,
(28)
|
dove è il rapporto aureo. Gosper ottenne anche
(29)
|
Un algoritmo spigot per è dato da Rabinowitz e Wagon (1995; Borwein e Bailey 2003, pp. 141-142).
Più sorprendentemente ancora, un’espressione in forma chiusa che dà un algoritmo di estrazione delle cifre che produce cifre di (o ) in base-16 è stata scoperta da Bailey et al. (Bailey et al. 1997, Adamchik e Wagon 1997),
(30)
|
Questa formula, nota come formula BBP, è stata scoperta usando l’algoritmo PSLQ (Ferguson et al. 1999) ed è equivalente a
(31)
|
C’è una serie di formule di tipo BBP per in potenze di , le cui prime formule indipendenti sono
(32)
|
|||
(33)
|
|||
(34)
|
|||
(35)
|
|||
(36)
|
|||
(37)
|
Similmente, esiste una serie di formule di tipo BBP per in potenze di , le cui prime formule indipendenti sono
(38)
|
|||
(39)
|
|||
(40)
|
|||
(41)
|
|||
(42)
|
|||
(43)
|
|||
(44)
|
|||
(45)
|
|||
(46)
|
|||
(47)
|
|||
(48)
|
F. Bellard ha trovato la formula BBP-type rapidamente convergente
(49)
|
Un integrale relativo è
(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). Questo integrale era conosciuto da K. Mahler a metà degli anni ’60 e appare in un esame all’Università di Sydney nel novembre 1960 (Borwein, Bailey e Girgensohn, p. 3). Beukers (2000) e Boros e Moll (2004, p. 126) affermano che non è chiaro se esista una scelta naturale di polinomi razionali il cui integrale tra 0 e 1 produce , dove 333/106 è il prossimo convergente. Tuttavia, esiste un integrale per il quarto convergente, cioè
(51)
|
(Lucas 2005; Bailey et al. 2007, p. 219). In effetti, Lucas (2005) fornisce alcuni altri integrali di questo tipo.
Backhouse (1995) ha usato l’identità
(52)
|
|||
(53)
|
|||
(54)
|
per intero positivo e e dove , , e sono costanti razionali per generare un certo numero di formule per . In particolare, se , allora (Lucas 2005).
Una formula simile fu scoperta successivamente da Ferguson, portando ad un reticolo bidimensionale di tali formule che può essere generato da queste due formule date da
(55)
|
per qualsiasi valore complesso di (Adamchik e Wagon), dando la formula BBP come caso speciale .
Un’identità ancora più generale dovuta a Wagon è data da
(56)
|
(Borwein e Bailey 2003, p. 141), che vale su una regione del piano complesso che esclude due porzioni triangolari poste simmetricamente intorno all’asse reale, come illustrato sopra.
Una classe di identità forse ancora più strana è data da
(57)
|
che vale per qualsiasi intero positivo , dove è un simbolo Pochhammer (B. Cloitre, pers. comm, 23 gennaio 2005). Ancora più sorprendentemente, c’è una formula strettamente analoga per il logaritmo naturale di 2.
Dopo la scoperta della formula BBP in base 16 e delle formule correlate, sono state studiate formule simili in altre basi. Borwein, Bailey e Girgensohn (2004) hanno recentemente dimostrato che non ha una formula arctangente BBP di tipo Machin che non sia binaria, anche se questo non esclude uno schema completamente diverso per algoritmi di estrazione delle cifre in altre basi.
S. Plouffe ha ideato un algoritmo per calcolare la sima cifra di in qualsiasi base in passi.
Una serie di identità aggiuntive dovute a Ramanujan, Catalan, e Newton sono date da Castellanos (1988ab, pp. 86-88), incluse diverse che coinvolgono somme di numeri di Fibonacci. Ramanujan ha trovato
(58)
|
(Hardy 1923, 1924, 1999, p. 7).
Plouffe (2006) ha trovato la bella formula
(59)
|
Un’interessante formula di prodotto infinito dovuta a Eulero che mette in relazione e il simo primo è
(60)
|
|||
(61)
|
(Blatner 1997, p. 119), tracciato sopra come funzione del numero di termini nel prodotto.
Un metodo simile a quello di Archimede può essere usato per stimare iniziando con un gon e poi mettendo in relazione l’area dei successivi -gon. Sia l’angolo dal centro di uno dei segmenti del poligono,
(62)
|
allora
pi=(2sin(2beta))/((n-3)prodotto_(k=0)^(infty)cos(2^(-k)beta)) |
(63)
|
(Beckmann 1989, pp. 92-94).
Vieta (1593) fu il primo a dare un’espressione esatta per prendendo nella precedente espressione, dando
(64)
|
che porta a un prodotto infinito di radicali annidati,
(65)
|
(Wells 1986, p. 50; Beckmann 1989, p. 95). Tuttavia, questa espressione non fu rigorosamente dimostrata convergente fino a Rudio nel 1892.
Una formula correlata è data da
(66)
|
che può essere scritto
(67)
|
dove è definito usando l’iterazione
(68)
|
con (J. Munkhammar, pers. comm, 27 aprile 2000). La formula
(69)
|
è anche strettamente correlato.
Una bella formula per è data da
(70)
|
dove il numeratore è una forma della formula di Wallis per e il denominatore è una somma telescopica con somma 1/2 poiché
(71)
|
(Sondow 1997).
Un caso particolare della formula di Wallis dà
(72)
|
(Wells 1986, p. 50). Questa formula può anche essere scritta
(73)
|
dove denota un coefficiente binomiale e è la funzione gamma (Knopp 1990). Euler ottenne
(74)
|
che segue dal valore speciale della funzione zeta di Riemann . Formule simili seguono da per tutti gli interi positivi .
Una somma infinita dovuta a Ramanujan è
(75)
|
(Borwein et al. 1989; Borwein e Bailey 2003, p. 109; Bailey et al.2007, p. 44). Altre somme sono date in Ramanujan (1913-14),
(76)
|
e
(77)
|
|||
(78)
|
(Beeler et al. 1972, voce 139; Borwein et al. 1989; Borwein e Bailey 2003, p. 108; Bailey et al. 2007, p. 44). L’equazione (78) deriva da un’identità modulare di ordine 58, sebbene una prima derivazione non sia stata presentata prima di Borwein e Borwein (1987). Le serie precedenti danno entrambe
(79)
|
(Wells 1986, p. 54) come prima approssimazione e forniscono, rispettivamente, circa 6 e 8 cifre decimali per termine. Tali serie esistono a causa della razionalità di vari invarianti modulari.
La forma generale della serie è
(80)
|
dove è un discriminante binario della forma quadratica, è la funzione j,
(81)
|
|||
(82)
|
e le sono serie di Eisenstein. Un campo di numero di classe coinvolge interi algebrici di terzo grado delle costanti , , e . Di tutte le serie composte da soli termini interi, quella che dà il maggior numero di cifre numeriche nel più breve periodo di tempo corrisponde al più grande discriminante di classe numero 1 ed è stata formulata dai fratelli Chudnovsky (1987). Il 163 che appare qui è lo stesso che appare nel fatto che (la costante di Ramanujan) è quasi un intero. Allo stesso modo, il fattore viene dall’identità della funzione j per . La serie è data da
(83)
|
|||
(84)
|
(Borwein e Borwein 1993; Beck e Trott; Bailey et al. 2007, p. 44). Questa serie dà accuratamente 14 cifre per termine. La stessa equazione in un’altra forma è stata data dai fratelli Chudnovsky (1987) ed è usata dal linguaggio Wolfram per calcolare (Vardi 1991; Wolfram Research),
(85)
|
dove
(86)
|
|||
(87)
|
|||
(88)
|
La formula migliore per la classe numero 2 (discriminante maggiore ) è
(89)
|
dove
(90)
|
|||
(91)
|
|||
(92)
|
(Borwein e Borwein 1993). Questa serie aggiunge circa 25 cifre per ogni termine aggiuntivo. La serie convergente più veloce per la classe numero 3 corrisponde a e dà 37-38 cifre per termine. La serie convergente più veloce per la classe numero 4 corrisponde a ed è
(93)
|
dove
(94)
|
|||
(95)
|
|||
(96)
|
Questo dà 50 cifre per termine. Borwein e Borwein (1993) hanno sviluppato un algoritmo generale per generare tali serie per un numero di classe arbitrario.
Un elenco completo delle serie di Ramanujan per trovate nel suo secondo e terzo quaderno è dato da Berndt (1994, pp. 352-354),
(97)
|
|||
(98)
|
|||
(99)
|
|||
(100)
|
|||
(101)
|
|||
(102)
|
|||
(103)
|
|||
(104)
|
|||
(105)
|
|||
(106)
|
|||
(107)
|
|||
(108)
|
|||
(109)
|
|||
(110)
|
|||
(111)
|
|||
(112)
|
|||
(113)
|
Queste equazioni furono dimostrate per la prima volta da Borwein e Borwein (1987a, pp. 177-187). Borwein e Borwein (1987b, 1988, 1993) dimostrarono altre equazioni di questo tipo, e Chudnovsky e Chudnovsky (1987) trovarono equazioni simili per altre costanti trascendentali (Bailey et al. 2007, pp. 44-45).
Un elenco completo di equazioni indipendenti note di questo tipo è dato da
(114)
|
|||
(115)
|
|||
(116)
|
|||
(117)
|
|||
(118)
|
per con segni non alternati,
(119)
|
|||
(120)
|
|||
(121)
|
|||
(122)
|
per con segni alterni,
(123)
|
|||
(124)
|
per (Guillera 2002, 2003, 2006),
(125)
|
per (Guillera 2002, 2003, 2006), e non sono noti altri per (Bailey et al. 2007, pp. 45-48).
Bellard dà la formula esotica
(126)
|
where
(127)
|
Gasper cita il risultato
(128)
|
dove è una funzione ipergeometrica generalizzata, e la trasforma in
(129)
|
Un risultato affascinante dovuto a Gosper è dato da
(130)
|
soddisfa la disuguaglianza
(131)
|
D. Terr (pers. comm.) ha notato la curiosa identità
(132)
|
che coinvolge le prime 9 cifre di pi greco.