A Proof of the Continued Fraction Identity $-\pi/4 = {\rm K}_{n=1}^{\infty}\bigl((n-1)^2\,/\,{-(2n-1)}\bigr)$

Dieser Artikel liefert einen vollständigen analytischen Beweis für die Identität $-\pi/4 = {\rm K}_{n=1}^{\infty}\bigl((n-1)^2\,/\,{-(2n-1)}\bigr)$, indem er die klassische Gaußsche Kettenbruchdarstellung für $\arctan(z)$ bei $z=-1$ mit einer Äquivalenztransformation verknüpft und deren überlegene Konvergenzgeschwindigkeit im Vergleich zur Gregory-Leibniz-Reihe demonstriert.

Das Wesentliche

Stellen Sie sich vor, die Zahl Pi (π) ist ein riesiger, mysteriöser Berg, den Mathematiker seit Jahrhunderten zu erklimmen versuchen. Um die genaue Höhe dieses Berges zu bestimmen, haben sie verschiedene Werkzeuge entwickelt.

Dieser kurze Aufsatz von Chao Wang ist wie eine neue, clevere Landkarte, die zeigt, wie man einen bestimmten Pfad zu einem Teil dieses Berges (genau genommen zu -π/4) viel schneller und effizienter finden kann als mit den alten, bekannten Methoden.

Hier ist die Geschichte des Papers, einfach erklärt:

1. Das alte, mühsame Werkzeug (Die Gregory-Leibniz-Reihe)

Stellen Sie sich vor, Sie versuchen, den Berg zu messen, indem Sie einen Stein nach dem anderen auf einen Haufen legen. Das ist die alte Methode (die Gregory-Leibniz-Reihe).

• Das Problem: Sie müssen tausende Steine legen, um auch nur annähernd eine genaue Zahl zu bekommen. Es ist wie ein Schneckenrennen. Wenn Sie 20 Steine legen, haben Sie vielleicht nur zwei korrekte Dezimalstellen.

2. Der geheime Tunnel (Die Gaußsche Kettenbruch-Formel)

Der Autor erinnert uns an einen alten, aber mächtigen Tunnel, den der große Mathematiker Carl Friedrich Gauß vor langer Zeit entdeckt hat. Dieser Tunnel führt direkt zu -π/4.

• Dieser Tunnel ist ein Kettenbruch. Das ist eine Art mathematisches "Matroschka-Puppe"-System: Eine Zahl, in der eine andere Zahl steckt, in der wieder eine andere steckt, und so weiter.
• Der Tunnel funktioniert perfekt, aber er hat eine kleine Besonderheit: Die Zahlen, die den Weg markieren (die Nenner), sind alle positiv und wachsen langsam (1, 3, 5, 7...).

3. Der magische Trick (Die Äquivalenz-Transformation)

Jetzt kommt der Clou des Papers. Der Autor sagt: "Schauen Sie mal, dieser neue Pfad, den die 'Ramanujan-Maschine' (ein Computerprojekt, das nach neuen Formeln sucht) entdeckt hat, sieht fast genauso aus wie der alte Gauß-Tunnel, nur dass alle Wegmarkierungen negativ sind."

Stellen Sie sich vor, Sie gehen durch den alten Tunnel, aber anstatt nach rechts zu biegen, biegen Sie an jeder Kreuzung nach links.

• Der Autor zeigt, dass man den alten, bewährten Tunnel (Gauß) in den neuen, negativen Tunnel verwandeln kann, indem man einfach einmalig einen "Spiegel" verwendet (mathematisch: eine Transformation mit der Zahl -1).
• Es ist, als würde man ein Foto eines Gebäudes spiegeln. Das Gebäude ist immer noch dasselbe, nur die Perspektive ist anders.
• Die Erkenntnis: Der neue, seltsam aussehende Pfad ist exakt derselbe Weg wie der alte, nur mit umgekehrten Vorzeichen. Da wir wissen, dass der alte Weg funktioniert, funktioniert auch der neue!

4. Warum ist das so cool? (Die Geschwindigkeit)

Das Paper vergleicht dann die beiden Methoden in einer Tabelle:

• Der alte Weg (Steine legen): Braucht 20 Schritte für 2 korrekte Dezimalstellen.
• Der neue Weg (Der Kettenbruch): Braucht 20 Schritte für 16 korrekte Dezimalstellen (das ist die Grenze, die Computer normalerweise sehen können).

Das ist wie der Unterschied zwischen einem Fußgänger und einem Raketenantrieb. Der neue Weg beschleunigt die Berechnung extrem. Während der alte Weg sich nur langsam verbessert, explodiert die Genauigkeit des neuen Weges fast augenblicklich.

Zusammenfassung in einem Satz

Chao Wang hat bewiesen, dass eine seltsame, neu entdeckte Formel für -π/4 eigentlich nur eine "gespiegelte Version" einer klassischen, uralten Formel ist, und dass diese neue Version uns erlaubt, die Zahl Pi mit einer Geschwindigkeit zu berechnen, die alte Methoden völlig in den Schatten stellt.

Es ist keine neue Entdeckung der Zahl Pi selbst, sondern die Entdeckung eines Super-Highways, der uns viel schneller ans Ziel bringt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch:

Technische Zusammenfassung: Ein Beweis der Kettenbruch-Identität für $-\pi/4$

1. Problemstellung
Das Papier adressiert die mathematische Bestätigung einer spezifischen Kettenbruch-Identität, die im Kontext des „Ramanujan Machine"-Projekts aufgetaucht ist. Es geht um die Identität:
$$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1^2}{-3 + \cfrac{2^2}{-5 + \cfrac{3^2}{-7 + \ddots}}}}$$
Die Partialquotienten sind definiert durch $a_n = (n-1)^2$ (mit $a_1=1$) und $b_n = -(2n-1)$. Obwohl diese Identität numerisch plausibel erschien, fehlte bisher ein rigoroser analytischer Beweis. Das Ziel des Autors, Chao Wang, ist es, diese Konvergenz und den Wert der Reihe formal zu beweisen.

2. Methodik
Der Beweis erfolgt in zwei logischen Schritten, die auf klassischer Funktionentheorie und der Theorie der Kettenbrüche basieren:

• Schritt 1: Rückführung auf die Gaußsche Kettenbruch-Darstellung.
  Der Autor bezieht sich auf die klassische Gaußsche Kettenbruch-Entwicklung für die Arkustangens-Funktion $\arctan(z)$. Für $|z| \le 1$ (mit $z \neq \pm i$) gilt:
  $$\arctan(z) = \cfrac{z}{1 + \cfrac{1^2 z^2}{3 + \cfrac{2^2 z^2}{5 + \cfrac{3^2 z^2}{7 + \ddots}}}}$$
  Durch Einsetzen von $z = -1$ erhält man eine Darstellung für $\arctan(-1) = -\pi/4$. Die Konvergenz dieser Reihe an der Randstelle $z=-1$ wird durch den Satz von Gauss-Kummer für die hypergeometrische Reihe ${}_2F_1(\frac{1}{2}, 1; \frac{3}{2}; -1)$ garantiert, da der Realteil des Parameters $c-a-b$ positiv ist ($0 > -1$), was absolute Konvergenz sichert.

• Schritt 2: Äquivalenztransformation.
  Um die Gaußsche Form (mit positiven Nennern $2n-1$) in die geforderte Form (mit negativen Nennern$-(2n-1)$) zu überführen, wird eine Äquivalenztransformation angewendet.
  Zwei Kettenbrüche sind äquivalent, wenn sie durch eine Folge von Skalaren $\{r_n\}$ ineinander überführt werden können, ohne ihren Wert zu ändern. Der Autor wählt die konstante Folge $r_n = -1$ für alle $n \ge 1$.

  • Dies transformiert den ersten Zähler: $r_1 \cdot a_1 = (-1) \cdot (-1) = 1$.
  • Dies transformiert die Nenner: $r_n \cdot b_n = (-1) \cdot (2n-1) = -(2n-1)$.
  • Dies transformiert die weiteren Zähler: $r_n r_{n-1} \cdot a_n = (-1)(-1)(n-1)^2 = (n-1)^2$.
    Das Ergebnis ist exakt die in der Konjektur (2) gegebene Struktur. Da Äquivalenztransformationen den Wert und die Konvergenzeigenschaften erhalten, folgt die Gültigkeit der Identität direkt aus der Konvergenz des Gaußschen Kettenbruchs.

3. Wichtige Beiträge und Ergebnisse

• Rigoroser Beweis: Das Papier liefert einen vollständigen, selbstständigen Beweis für die Konjektur 1.1 aus der Ramanujan-Machine-Literatur.
• Strukturelle Klarheit: Es wird gezeigt, dass die Identität keine neue, mysteriöse Entdeckung ist, sondern eine einfache Vorzeichen-Änderung der Nenner der klassischen Gaußschen Kettenbruchentwicklung für $\arctan(-1)$ darstellt.
• Konvergenzanalyse: Der Autor analysiert die Konvergenzrate. Es wird gezeigt, dass der Quotient $\rho_n = a_n / (b_n b_{n-1})$ gegen $1/4$konvergiert. Dies liegt am kritischen Schwellenwert für limit-periodische Kettenbrüche, was die Konvergenz bestätigt, aber nicht durch den Worpitzky-Satz (der$\sup \rho_n < 1/4$ erfordert) abgedeckt wird.
• Numerischer Vergleich: Ein Vergleich mit der Gregory-Leibniz-Reihe (der klassischen alternierenden Reihe für $\pi/4$) zeigt eine super-exponentielle Beschleunigung der Konvergenz. Während die Leibniz-Reihe nur mit $O(n^{-1})$ konvergiert, erreicht der Kettenbruch bei $n=20$ bereits die Maschinengenauigkeit (ca. $10^{-16}$).

4. Bedeutung und Fazit
Die Arbeit demonstriert, wie algorithmisch gefundene mathematische Identitäten (wie im Ramanujan Machine-Projekt) durch Rückführung auf etablierte Theoreme der hypergeometrischen Funktionen und elementare Transformationstheorie rigoros bewiesen werden können.
Die zentrale Erkenntnis ist, dass die scheinbar „nicht-kanonische" Form der Identität (mit negativen Nennern) lediglich eine äquivalente Darstellung des klassischen Gaußschen Kettenbruchs ist. Dies unterstreicht die Tiefe der Verbindung zwischen modernen algorithmischen Entdeckungen und der klassischen Analysis des 19. Jahrhunderts (Gauss, Lambert). Der Beweis erfordert keine neuen mathematischen Technologien, sondern nutzt geschickt bestehende Sätze zur Äquivalenz und Konvergenz.