Less…
Es gibt viele Formeln von von vielen Typen. Dazu gehören unter anderem Reihen, Produkte, geometrische Konstruktionen, Grenzwerte, spezielle Werte und Pi-Wiederholungen.
steht in engem Zusammenhang mit den Eigenschaften von Kreisen und Kugeln. Für einen Kreis mit dem Radius , sind Umfang und Fläche gegeben durch
(1)
|
|||
(2)
|
Also, für eine Kugel mit dem Radius , sind die Oberfläche und das eingeschlossene Volumen
(3)
|
|||
(4)
|
Eine exakte Formel für in Form der inversen Tangens von Einheitsbrüchen ist die Machinsche Formel
(5)
|
Es gibt drei weitere Machin-ähnliche Formeln, sowie Tausende von anderen ähnlichen Formeln mit mehr Termen.
Gregory und Leibniz fanden
(6)
|
|||
(7)
|
(Wells 1986, S. 50), die als Gregory-Reihe bekannt ist und durch Einsetzen von in die Leibniz-Reihe für erhalten werden kann. Der Fehler nach dem -ten Term dieser Reihe in der Gregory-Reihe ist größer als , so dass diese Summe so langsam konvergiert, dass 300 Terme nicht ausreichen, um korrekt auf zwei Dezimalstellen zu berechnen! Sie lässt sich aber umformen zu
(8)
|
wobei die Riemannsche Zeta-Funktion ist (Vardi 1991, pp. 157-158; Flajolet und Vardi 1996), so dass der Fehler nach Termen ist.
Eine unendliche Summenreihe nach Abraham Sharp (ca. 1717) ist gegeben durch
(9)
|
(Smith 1953, S. 311). Weitere einfache Reihen, in denen erscheint, sind
(10)
|
|||
(11)
|
|||
(12)
|
|||
(13)
|
|||
(14)
|
|||
(15)
|
|||
(16)
|
|||
(17)
|
(Wells 1986, S. 53).
Im Jahre 1666, Newton benutzte eine geometrische Konstruktion zur Herleitung der Formel
(18)
|
|||
(19)
|
, die er zur Berechnung von verwendete (Wells 1986, S. 50; Borwein et al. 1989; Borwein und Bailey 2003, S. 105-106). Die Koeffizienten lassen sich aus dem Integral
(20)
|
|||
(21)
|
durch die Reihenentwicklung von um 0, obtaining
(22)
|
(OEIS A054387 und A054388). Die Anwendung der Eulerschen Konvergenzverbesserungstransformation ergibt
(23)
|
|||
(24)
|
|||
(25)
|
(Beeler et al. 1972, Item 120).
Das entspricht dem Einsetzen von in die Potenzreihe für die hypergeometrische Funktion ,
(26)
|
Trotz der Konvergenzverbesserung konvergiert die Reihe (◇) nur mit einem Bit/Term. Auf Kosten einer Quadratwurzel hat Gosper festgestellt, dass 2 Bit/Term ergibt,
(27)
|
und ergibt fast 3.39 Bit/Term,
(28)
|
wobei der Goldene Schnitt ist. Gosper erhielt auch
(29)
|
Ein Zapfenalgorithmus für wird von Rabinowitz und Wagon (1995; Borwein und Bailey 2003, S. 141-142) angegeben.
Noch erstaunlicher ist, dass Bailey et al. eine geschlossene Formel für einen Algorithmus zur Extraktion von Ziffern zur Basis 16 gefunden haben, der Ziffern von (oder ) erzeugt. (Bailey et al. 1997, Adamchik and Wagon 1997),
(30)
|
Diese Formel, bekannt als BBP-Formel, wurde mit Hilfe des PSLQ-Algorithmus (Ferguson et al. 1999) entdeckt und ist äquivalent zu
(31)
|
Es gibt eine Reihe von BBP-artigen Formeln für in Potenzen von , die ersten paar unabhängigen Formeln davon sind
(32)
|
|||
(33)
|
|||
(34)
|
|||
(35)
|
|||
(36)
|
|||
(37)
|
Auch für gibt es eine Reihe von BBP-artigen Formeln in Potenzen von , die ersten paar unabhängigen Formeln davon sind
(38)
|
|||
(39)
|
|||
(40)
|
|||
(41)
|
|||
(42)
|
|||
(43)
|
|||
(44)
|
|||
(45)
|
|||
(46)
|
|||
(47)
|
|||
(48)
|
F. Bellard fand die schnell konvergierende BBP-Typenformel
(49)
|
Ein verwandtes Integral ist
(50)
|
(Dalzell 1944, 1971; Le Lionnais 1983, p. 22; Borwein, Bailey, und Girgensohn 2004, S. 3; Boros und Moll 2004, S. 125; Lucas 2005; Borwein et al. 2007, S. 14). Dieses Integral war K. Mahler Mitte der 1960er Jahre bekannt und taucht in einer Prüfung an der Universität von Sydney im November 1960 auf (Borwein, Bailey, und Girgensohn, S. 3). Beukers (2000) und Boros und Moll (2004, S. 126) stellen fest, dass es nicht klar ist, ob es eine natürliche Wahl eines rationalen Polynoms gibt, dessen Integral zwischen 0 und 1 ergibt, wobei 333/106 das nächste konvergente Integral ist. Es gibt jedoch ein Integral für den vierten Konvergenten, nämlich
(51)
|
(Lucas 2005; Bailey et al. 2007, S. 219). In der Tat gibt Lucas (2005) einige weitere solche Integrale an.
Backhouse (1995) verwendet die Identität
(52)
|
|||
(53)
|
|||
(54)
|
für positive ganze Zahlen und und wobei , und rationale Konstanten sind, um eine Reihe von Formeln für zu erzeugen. Insbesondere, wenn , dann (Lucas 2005).
Eine ähnliche Formel wurde später von Ferguson entdeckt, was zu einem zweidimensionalen Gitter solcher Formeln führt, das durch diese beiden Formeln erzeugt werden kann, gegeben durch
(55)
|
für jeden komplexen Wert von (Adamchik und Wagon), was die BBP-Formel für den Spezialfall ergibt.
Eine noch allgemeinere Identität nach Wagon ist gegeben durch
(56)
|
(Borwein und Bailey 2003, p. 141), die für einen Bereich der komplexen Ebene gilt, der zwei dreieckige Teile ausschließt, die symmetrisch um die reelle Achse angeordnet sind, wie oben dargestellt.
Eine vielleicht noch allgemeinere Klasse von Identitäten ist gegeben durch
(57)
|
was für jede positive ganze Zahl gilt, wobei ein Pochhammer-Symbol ist (B. Cloitre, pers. Mitt, Jan. 23, 2005). Noch erstaunlicher ist, dass es eine sehr analoge Formel für den natürlichen Logarithmus von 2 gibt.
Nach der Entdeckung der BBP-Formel zur Basis 16 und verwandter Formeln wurden ähnliche Formeln in anderen Basen untersucht. Borwein, Bailey und Girgensohn (2004) haben kürzlich gezeigt, dass keine BBP-Arkustangens-Formel vom Machin-Typ hat, die nicht binär ist, obwohl dies ein völlig anderes Schema für Ziffern-Extraktionsalgorithmen in anderen Basen nicht ausschließt.
S. Plouffe hat einen Algorithmus entwickelt, um die -te Stelle von in jeder Basis in Schritten zu berechnen.
Eine Reihe weiterer Identitäten, die auf Ramanujan, Catalan und Newton zurückgehen, werden von Castellanos (1988ab, S. 86-88) angegeben, darunter mehrere, die Summen von Fibonacci-Zahlen betreffen. Ramanujan fand
(58)
|
(Hardy 1923, 1924, 1999, p. 7).
Plouffe (2006) fand die schöne Formel
(59)
|
Eine interessante, auf Euler zurückgehende unendliche Produktformel, die und die te Primzahl in Beziehung setzt, lautet
(60)
|
|||
(61)
|
(Blatner 1997, p. 119), die oben als Funktion der Anzahl der Terme im Produkt aufgetragen ist.
Eine Methode, die der von Archimedes ähnelt, kann verwendet werden, um abzuschätzen, indem man mit einem -Gon beginnt und dann die Fläche der nachfolgenden -Gons in Beziehung setzt. Sei der Winkel von der Mitte eines der Segmente des Polygons,
(62)
|
dann
(63)
|
(Beckmann 1989, pp. 92-94).
Vieta (1593) war der erste, der einen exakten Ausdruck für lieferte, indem er in den obigen Ausdruck einsetzte, was
(64)
|
was zu einem unendlichen Produkt von verschachtelten Radikalen führt,
(65)
|
(Wells 1986, S. 50; Beckmann 1989, S. 95). Allerdings wurde die Konvergenz dieses Ausdrucks erst von Rudio 1892 rigoros bewiesen.
Eine verwandte Formel ist gegeben durch
(66)
|
was geschrieben werden kann
(67)
|
wobei mit Hilfe der Iteration definiert wird
(68)
|
mit (J. Munkhammar, pers. Mitt, April 27, 2000). Die Formel
(69)
|
ist ebenfalls eng verwandt.
Eine schöne Formel für ist gegeben durch
(70)
|
wobei der Zähler eine Form der Wallis-Formel für ist und der Nenner eine Teleskopsumme mit Summe 1/2 ist, da
(71)
|
(Sondow 1997).
Ein Sonderfall der Wallis-Formel ergibt
(72)
|
(Wells 1986, S. 50). Diese Formel kann auch geschrieben werden
(73)
|
wobei einen Binomialkoeffizienten bezeichnet und die Gammafunktion ist (Knopp 1990). Euler erhielt
(74)
|
was aus dem speziellen Wert der Riemannschen Zeta-Funktion folgt. Ähnliche Formeln folgen aus für alle positiven ganzen Zahlen .
Eine unendliche Summe nach Ramanujan ist
(75)
|
(Borwein et al. 1989; Borwein und Bailey 2003, S. 109; Bailey et al.2007, S. 44). Weitere Summen sind in Ramanujan (1913-14) angegeben,
(76)
|
und
(77)
|
|||
(78)
|
(Beeler et al. 1972, Punkt 139; Borwein et al. 1989; Borwein und Bailey 2003, S. 108; Bailey et al. 2007, S. 44). Gleichung (78) wird von einer modularen Identität der Ordnung 58 abgeleitet, obwohl eine erste Ableitung erst von Borwein und Borwein (1987) vorgelegt wurde. Die obigen Reihen ergeben beide
(79)
|
(Wells 1986, S. 54) als erste Näherung und liefern etwa 6 bzw. 8 Dezimalstellen pro Term. Solche Reihen existieren aufgrund der Rationalität verschiedener modularer Invarianten.
Die allgemeine Form der Reihe ist
(80)
|
wobei eine binäre quadratische Formdiskriminante ist, ist die j-Funktion,
(81)
|
|||
(82)
|
und die sind Eisensteinreihen. Ein Feld der Klassenzahl besteht aus algebraischen ganzen Zahlen dritten Grades mit den Konstanten , und . Von allen Reihen, die nur aus ganzzahligen Termen bestehen, entspricht diejenige, die die meisten numerischen Ziffern in der kürzesten Zeit liefert, der größten Diskriminante der Klasse 1 von und wurde von den Brüdern Chudnovsky (1987) formuliert. Die 163, die hier auftaucht, ist dieselbe, die in der Tatsache auftaucht, dass (die Ramanujan-Konstante) fast eine ganze Zahl ist. In ähnlicher Weise stammt der Faktor aus der j-Funktionsidentität für . Die Reihe ist gegeben durch
(83)
|
|||
(84)
|
(Borwein und Borwein 1993; Beck und Trott; Bailey et al. 2007, S. 44). Diese Reihe ergibt genau 14 Ziffern pro Term. Die gleiche Gleichung in anderer Form wurde von den Gebrüdern Chudnovsky (1987) aufgestellt und wird von der Wolfram Language zur Berechnung von verwendet (Vardi 1991; Wolfram Research),
(85)
|
wobei
(86)
|
|||
(87)
|
|||
(88)
|
Die beste Formel für die Klasse Nummer 2 (größte Diskriminante ) ist
(89)
|
wobei
(90)
|
|||
(91)
|
|||
(92)
|
(Borwein und Borwein 1993). Diese Reihe fügt etwa 25 Stellen für jeden zusätzlichen Term hinzu. Die am schnellsten konvergierende Reihe für Klasse 3 entspricht und ergibt 37-38 Ziffern pro Term. Die am schnellsten konvergierende Reihe der Klasse 4 entspricht und ist
(93)
|
wobei
(94)
|
|||
(95)
|
|||
(96)
|
Das ergibt 50 Ziffern pro Term. Borwein und Borwein (1993) haben einen allgemeinen Algorithmus zur Erzeugung solcher Reihen für beliebige Klassenzahlen entwickelt.
Eine vollständige Auflistung von Ramanujans Reihen für , die in seinem zweiten und dritten Notizbuch gefunden wurden, findet sich bei Berndt (1994, pp. 352-354),
(97)
|
|||
(98)
|
|||
(99)
|
|||
(100)
|
|||
(101)
|
|||
(102)
|
|||
(103)
|
|||
(104)
|
|||
(105)
|
|||
(106)
|
|||
(107)
|
|||
(108)
|
|||
(109)
|
|||
(110)
|
|||
(111)
|
|||
(112)
|
|||
(113)
|
Diese Gleichungen wurden erstmals von Borwein und Borwein (1987a, S. 177-187) nachgewiesen. Borwein und Borwein (1987b, 1988, 1993) bewiesen weitere Gleichungen dieser Art, und Chudnovsky und Chudnovsky (1987) fanden ähnliche Gleichungen für andere transzendente Konstanten (Bailey et al. 2007, S. 44-45).
Eine vollständige Liste von unabhängigen bekannten Gleichungen dieses Typs ist gegeben durch
(114)
|
|||
(115)
|
|||
(116)
|
|||
(117)
|
|||
(118)
|
für mit nicht-wechselnden Vorzeichen,
(119)
|
|||
(120)
|
|||
(121)
|
|||
(122)
|
für mit wechselnden Vorzeichen,
(123)
|
|||
(124)
|
für (Guillera 2002, 2003, 2006),
(125)
|
für (Guillera 2002, 2003, 2006), und keine weiteren für sind bekannt (Bailey et al. 2007, S. 45-48).
Bellard gibt die exotische Formel
(126)
|
where
(127)
|
Gasper zitiert das Ergebnis
(128)
|
wobei eine verallgemeinerte hypergeometrische Funktion ist, und transformiert es zu
(129)
|
Ein faszinierendes Ergebnis nach Gosper ist gegeben durch
(130)
|
erfüllt die Ungleichung
(131)
|
D. Terr (pers. Mitt.) bemerkte die merkwürdige Identität
(132)
|
mit den ersten 9 Ziffern von pi.