🔢 mathematics

A Rigorous Proof of a Ramanujan Machine Identity for $-\pi/4$ via Exact Recurrence Solving

Diese Arbeit beweist eine von der Ramanujan-Maschine vermutete Identität für $-\pi/4$ , indem sie eine geschlossene Formel für die Nennerfolge herleitet und den Grenzwert durch eine Wronski-Determinanten-Argumentation sowie eine Beta-Funktions-Integration exakt bestimmt.

Ursprüngliche Autoren: Chao Wang

Veröffentlicht 2026-04-08

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Chao Wang

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

🍰 Ein mathematisches Puzzle: Wie man die Zahl $-\pi/4$ aus einem unendlichen Kuchen schneidet

Stellen Sie sich vor, Sie haben einen riesigen, unendlich langen Kuchen. Dieser Kuchen ist nicht einfach nur ein Stück, sondern besteht aus einer endlosen Kette von Schichten, die sich immer wieder wiederholen. Die Mathematiker der „Ramanujan-Maschine" (ein Computerprojekt, das nach neuen mathematischen Geheimnissen sucht) haben behauptet: „Wenn man diesen Kuchen unendlich oft schneidet und die Stücke addiert, erhält man genau den Wert $-\pi/4$ ."

Das Problem war: Niemand konnte beweisen, dass das wirklich stimmt. Es sah nur so aus, als würde es funktionieren, weil die Zahlen auf dem Computer so ähnlich aussahen. Chao Wangs Papier ist nun der strenge Beweis, der zeigt, dass dieser Kuchen tatsächlich genau so schmeckt, wie die Computer behaupten.

Hier ist, wie er es gemacht hat, Schritt für Schritt:

1. Das Rätsel der unendlichen Leiter 🪜

Der „Kuchen" ist in der Mathematik ein sogenannter Kettenbruch. Man kann sich das wie eine Leiter vorstellen, die ins Unendliche führt.

Jeder Spross der Leiter hat eine Nummer (den Nenner) und eine Verbindung (den Zähler).
Die Ramanujan-Maschine hat eine sehr spezielle Leiter entworfen, bei der die Nummern der Sprossen und die Verbindungen nach einem komplizierten Muster wachsen.
Die Frage war: Wenn man die Leiter unendlich hoch klettert, landen wir genau bei $-\pi/4$ (also minus Pi durch 4)?

2. Der Schlüssel: Eine geheime Formel für die Sprossen 🔑

Um die Leiter zu verstehen, muss man wissen, wie hoch jeder Spross ist. In der Mathematik nennt man das die „Nenner-Folge".

Wang hat sich die Leiter genau angesehen und eine magische Formel entdeckt. Er konnte beweisen, dass man die Höhe jedes Sprosses ( $q_n$ ) nicht mühsam ausrechnen muss, sondern sie einfach mit einem einzigen Rechenschritt bestimmen kann.
Die Analogie: Stellen Sie sich vor, Sie müssten die Anzahl der Ziegelsteine in einem unendlich hohen Turm zählen. Statt jeden Stein einzeln zu zählen, findet Wang eine Formel, die Ihnen sofort sagt: „Der 100. Stock hat genau 5.000 Steine."
Diese Formel ist der erste große Durchbruch. Sie macht das Chaos der unendlichen Leiter berechenbar.

3. Der Sicherheitscheck: Wackelt die Leiter? 🛡️

Bevor man die Leiter hochklettern kann, muss man sicher sein, dass sie nicht in sich zusammenfällt.

Wang nutzt ein mathematisches Werkzeug, das wie eine Waage funktioniert (ein sogenannter „Wronskian"). Er vergleicht zwei benachbarte Sprossen.
Er zeigt, dass die Differenz zwischen den Schritten immer kleiner wird. Es ist, als würde man einen Ball werfen, der bei jedem Aufprall nur noch halb so hoch springt.
Da die Sprünge immer kleiner werden, weiß man: Die Leiter ist stabil. Wir werden nicht ins Unendliche fallen, sondern an einem bestimmten Punkt ankommen. Das nennt man Konvergenz.

4. Die Reise zum Ziel: Vom Summen zum Integral 🗺️

Jetzt wissen wir, dass die Leiter stabil ist und wir ein Ziel erreichen. Aber welches Ziel? Ist es wirklich $-\pi/4$ ?

Wang verwandelt das Problem, die unendliche Summe zu berechnen, in eine Reise durch ein Land der Flächen.
Er nutzt eine Technik namens „Abel-Summation". Stellen Sie sich vor, Sie haben einen Haufen kleiner Steine (die Summe). Statt sie alle aufzuheben, schmilzt er sie zu einem Fluss zusammen.
Dieser Fluss wird durch eine Fläche beschrieben, die man mit einem Integral berechnen kann. Es ist, als würde man die unendliche Summe in eine Landschaft verwandeln, die man mit einem Lineal messen kann.

5. Der letzte Schritt: Der magische Kreis 🔄

Der letzte Teil des Beweises ist wie das Lösen eines Rätsels in einem Detektivfilm.

Wang berechnet die Fläche dieses Flusses. Er macht eine geschickte Umstellung (eine Substitution), die wie ein Trick im Zaubertrick wirkt: Plötzlich sieht die komplizierte Kurve aus wie ein Kreisbogen.
Und woher kommt $\pi$ ? $\pi$ ist das Verhältnis von Kreisumfang zu Durchmesser. Sobald Wang die Kurve in einen Kreis verwandelt hat, taucht $\pi$ ganz natürlich auf.
Durch eine letzte einfache Rechnung (Integration) zeigt er: Die Fläche entspricht exakt $-\pi/4$ .

Fazit: Was haben wir gelernt? 🎓

Chao Wang hat gezeigt, dass die Ramanujan-Maschine nicht nur gerät, sondern dass hinter ihren Vermutungen eine tiefe, logische Struktur steckt.

Er hat das Chaos der unendlichen Zahlen in eine klare Formel gegossen.
Er hat bewiesen, dass die Summe stabil ist und nicht ins Chaos abdriftet.
Er hat die Summe in eine geometrische Fläche verwandelt, die sich leicht berechnen lässt.

Am Ende bleibt nur noch eine Tatsache: Die unendliche Leiter führt tatsächlich genau dorthin, wo die Ramanujan-Maschine sie hinführen wollte – zu $-\pi/4$ . Es ist ein Beweis dafür, dass selbst die kompliziertesten mathematischen Muster, die von Computern gefunden werden, eine elegante, menschlich verständliche Wahrheit verbergen.

Technische Zusammenfassung: Ein strenger Beweis einer Ramanujan-Maschinen-Identität für $-\pi/4$

Titel: A Rigorous Proof of a Ramanujan Machine Identity for $-\pi/4$ via Exact Recurrence Solving
Autor: Chao Wang
Quelle: arXiv:2601.08461v2 (April 2026)

1. Problemstellung

Das Paper adressiert eine spezifische Vermutung des „Ramanujan Machine"-Projekts, das darauf abzielt, mathematische Konstanten durch algorithmische Suche in Kettenbrüchen zu entdecken. Das Projekt generiert zwar viele numerische Koinzidenzen, liefert jedoch oft keine analytischen Beweise.
Die zentrale Fragestellung betrifft die Identität für die Konstante $-\pi/4$ in Form eines verallgemeinerten Kettenbruchs:
$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1}{-4 + \cfrac{-2}{-7 + \cfrac{-9}{-10 + \cfrac{-20}{-13 + \ddots}}}}}$
Die Partialquotienten sind definiert durch:

Nenner: $b_n = -(3n - 2)$ für $n \ge 1$ .
Zähler: $a_1 = 1, a_2 = 1$ und $a_n = -(n-1)(2n-5)$ für $n \ge 3$ .

Die Komplexität der Zähler $a_n$ für $n \ge 3$ (quadratisch in $n$ ) erschwert den direkten Bezug zu Standard-Hypergeometrischen Reihen, was herkömmliche asymptotische Methoden unzureichend macht.

2. Methodik

Der Beweis folgt einem dreistufigen analytischen Ansatz, der über rein numerische oder asymptotische Argumente hinausgeht:

Schritt 1: Exakte Lösung der Rekursionsgleichung.
Die Konvergenzsequenzen $p_n/q_n$ des Kettenbruchs gehorchen der fundamentalen Rekursionsrelation:
$\begin{pmatrix} p_n \\ q_n \end{pmatrix} = b_n \begin{pmatrix} p_{n-1} \\ q_{n-1} \end{pmatrix} + a_n \begin{pmatrix} p_{n-2} \\ q_{n-2} \end{pmatrix}$
Der Autor leitet eine geschlossene Formel für die Nennersequenz $q_n$ her, indem er die zugrunde liegende lineare Differenzengleichung zweiter Ordnung exakt löst. Dies geschieht mittels starker Induktion unter Verwendung von Konventionen für die Doppel-Fakultät ( $n!!$ ).
Schritt 2: Konvergenzanalyse via Wronski-Identität.
Um die Konvergenz des Kettenbruchs zu beweisen, wird eine diskrete Wronski-Determinante $W_n = p_n q_{n-1} - p_{n-1} q_n$ eingeführt. Durch Ausnutzen der Rekursionsstruktur wird eine Teleskop-Summe hergeleitet, die den Unterschied aufeinanderfolgender Konvergenten ( $p_n/q_n - p_{n-1}/q_{n-1}$ ) als explizite Reihe darstellt. Ein Quotiententest zeigt, dass diese Reihe absolut konvergiert.
Schritt 3: Identifikation des Grenzwerts.
Der Grenzwert der Reihe wird durch Abel-Summation (Summation by parts) in eine Integraldarstellung überführt. Dabei wird die Reihe in eine Summe umgewandelt, die durch die Euler-Beta-Funktion ausgedrückt werden kann. Dies ermöglicht die Umformung der Summe in ein Doppelintegral. Durch Substitution und partielle Integration wird das Integral schließlich in geschlossener Form ausgewertet.

3. Wichtige Beiträge und Ergebnisse

Geschlossene Formel für die Nenner:
Der Hauptbeitrag ist die Herleitung der exakten Formel für die Nennersequenz $q_n$ für alle $n \ge 0$ :
$q_n = (-1)^n (2n - 3)!! \, (n^2 + n - 1)$
wobei $(2n-3)!!$ die Doppel-Fakultät bezeichnet. Diese Formel wurde durch Induktion bewiesen und ist entscheidend für die weitere Analyse.
Teleskop-Identität:
Es wurde die folgende Identität etabliert, die den Abstand der Konvergenten beschreibt:
$\frac{p_n}{q_n} - \frac{p_{n-1}}{q_{n-1}} = \frac{(n-1)!}{(2n-3)!! \, (n^2+n-1)(n^2-n-1)}$
Dies ermöglicht die Umwandlung des Kettenbruchs in eine absolut konvergente unendliche Reihe.
Analytische Bestätigung des Grenzwerts:
Durch die Reduktion der Reihe auf das Integral $I = \int_0^1 \frac{4(1-y^2)\arctan y}{(1+y^2)^2} dy$ und dessen Auswertung zu $\pi/2 - 1$ , wurde gezeigt, dass der Gesamtwert des Kettenbruchs exakt $-\pi/4$ ist.

4. Signifikanz

Dieses Papier ist von erheblicher Bedeutung für die Zahlentheorie und die computergestützte Mathematik:

Validierung algorithmischer Entdeckungen: Es liefert einen strengen, nicht-numerischen Beweis für eine Vermutung der Ramanujan Machine, was die Zuverlässigkeit solcher algorithmischer Werkzeuge untermauert.
Methodische Fortschritte: Der Ansatz kombiniert klassische Differenzengleichungstheorie mit modernen Techniken der Summation (Abel) und Integralrechnung (Beta-Funktion), um Probleme zu lösen, die für Standard-Hypergeometrie-Methoden zu komplex sind.
Schließung einer Lücke: Es demonstriert, wie man von heuristischen asymptotischen Argumenten zu exakten, geschlossenen Lösungen gelangt, selbst bei Kettenbrüchen mit nicht-trivialen, polynomiellen Koeffizienten.

Zusammenfassend beweist Chao Wang, dass der von der Ramanujan Machine vorgeschlagene Kettenbruch nicht nur numerisch, sondern analytisch exakt den Wert $-\pi/4$ annimmt, indem er die zugrunde liegende Rekursionsstruktur vollständig entschlüsselt und die resultierende Reihe in ein elementares Integral überführt.

🍰 Ein mathematisches Puzzle: Wie man die Zahl −π/4-\pi/4−π/4 aus einem unendlichen Kuchen schneidet