🔢 mathematics

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

Dit artikel bewijst een door het Ramanujan Machine-project geconjectureerde polynoom-continuüm breukidentiteit voor $-\pi/4$ door de onderliggende lineaire differentievergelijking expliciet op te lossen en de limiet via Abel-summatie te reduceren tot een gesloten vorm.

Oorspronkelijke auteurs: Chao Wang

Gepubliceerd 2026-04-08

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Chao Wang

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat wiskunde een enorme, eindeloze ladder is. Elke sport van die ladder is een getal, en als je de sporten op een heel specifieke manier stapelt, krijg je een oneindige breuk die we een kettingbreuk noemen.

In dit artikel bewijst de auteur, Chao Wang, iets heel speciaals: hij toont aan dat een bepaalde, zeer ingewikkelde ladder precies uitkomt op het getal $-\pi/4$ (ongeveer -0,785). Dit getal is een beroemd mysterie in de wiskunde, en de formule voor deze ladder was eerder alleen maar een slimme gok van een computerproject genaamd de "Ramanujan Machine". Chao Wang heeft nu het bewijs geleverd dat de computer niet had gelogen.

Hier is hoe hij dat doet, vertaald in alledaagse taal:

1. Het mysterie van de ladder (De Kettingbreuk)

De formule in het artikel ziet eruit als een raadselachtige trap:
$-\frac{\pi}{4} = \frac{1}{-1 + \frac{1}{-4 + \frac{-2}{-7 + \dots}}}$
De getallen in de noemers (de onderkant van de breuken) volgen een simpel patroon, maar de getallen in de tellers (de bovenkant) worden steeds gekker naarmate je hoger komt. Voor computers is het makkelijk om te zien dat dit lijkt op $-\pi/4$ , maar voor wiskundigen is het bewijzen dat het echt $-\pi/4$ is, alsof je moet bewijzen dat een brug niet alleen mooi staat, maar ook daadwerkelijk veilig is om over te lopen.

2. De sleutel: Een geheim recept voor de sporten (De Oplossing)

Om te bewijzen dat de ladder veilig is, moet je weten hoe elke sport eruitziet. Chao Wang kijkt naar de "noemers" van de breuken (de sporten waar je op staat). Hij ontdekt dat deze sporten niet willekeurig groeien, maar dat ze een perfect recept volgen.

Hij vindt een formule die precies zegt hoe zwaar elke sport is, gebaseerd op zijn positie op de ladder. Het is alsof hij een blauwdruk vindt die zegt: "Op sport nummer $n$ moet je precies deze hoeveelheid gewicht hebben." Zonder deze blauwdruk zou je nooit zeker weten of de ladder ooit stopt of in de war raakt.

3. De Wiskundige "Wip" (De Convergentie)

Nu de sporten bekend zijn, moet hij bewijzen dat de ladder niet oneindig hoog blijft, maar dat je er een eindwaarde bereikt. Hij gebruikt een slimme truc die hij een "Wronskian-telescopen" noemt.

Stel je voor dat je twee mensen hebt die op de ladder klimmen. Als je het verschil tussen hun posities berekent, zie je dat dit verschil elke keer een stukje kleiner wordt, net als een telescoop die in elkaar klapt. Chao Wang laat zien dat dit "in elkaar klappen" zo snel gaat, dat de ladder uiteindelijk zeker op een vast punt uitkomt. Hij noemt dit absolute convergentie: de ladder is stabiel en valt niet om.

4. De Reis naar het Einddoel (De Integratie)

Nu weten we dat de ladder een eindwaarde heeft. Maar is het echt $-\pi/4$ ?
Om dit te bewijzen, verandert Chao Wang de hele ladder in een reis. Hij gebruikt een wiskundige techniek (Abel-summatie) om de oneindige som van de sporten om te zetten in een gebied dat we kunnen afmeten.

De Analogie: Stel je voor dat je in plaats van de sporten één voor één op te tellen, een rivier volgt die door een landschap stroomt.
Hij zet de getallen om in een dubbel integraal (een manier om een oppervlak te berekenen).
Vervolgens doet hij een magische transformatie (een substitutie). Het is alsof hij de rivier in een bocht legt zodat hij makkelijker te meten is.
Uiteindelijk komt hij uit bij een simpele berekening met een cirkel en een boog (de arctan-functie).

5. Het Grote Moment

Wanneer hij alle stukken van de puzzel weer aan elkaar plakt, ziet hij dat het oppervlak dat hij heeft berekend exact overeenkomt met $-\pi/4$ .

Samenvattend:
Chao Wang heeft bewezen dat de computer van de Ramanujan Machine gelijk had. Hij deed dit door:

Het geheim van de sporten te kraken (een formule vinden).
Te bewijzen dat de ladder stabiel is (het "in elkaar klappen" van de verschillen).
De hele ladder om te vormen in een landschap dat hij kon afmeten, en te zien dat dit landschap precies de vorm heeft van $-\pi/4$ .

Het is een prachtig voorbeeld van hoe je van een computer-gokje naar een onwrikbaar wiskundig feit kunt gaan, door geduld, een slimme blauwdruk en een beetje creativiteit.

Titel en Context

Het artikel biedt een strikt wiskundig bewijs voor een identiteit die is geconjectureerd door het Ramanujan Machine-project. Dit project gebruikt algoritmische methoden om niet-standaard continuïteitsbreuken (continued fractions) voor wiskundige constanten te ontdekken. Hoewel deze methoden numerieke coincidenties efficiënt kunnen identificeren, ontbreekt er vaak een analytisch bewijs. Dit artikel vult die lacune voor de constante $-\pi/4$ .

Het Probleem

De kern van het probleem is het bewijzen van de volgende gelijkheid voor een gegeneraliseerde continuïteitsbreuk:
$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1}{-4 + \cfrac{-2}{-7 + \cfrac{-9}{-10 + \cfrac{-20}{-13 + \cdots}}}}}$
De breuk wordt gedefinieerd door de partiële quotiënten:

$b_n = -(3n - 2)$ voor $n \ge 1$ .
$a_n = 1$ voor $n = 1, 2$ en $a_n = -(n-1)(2n-5)$ voor $n \ge 3$ .

De complexiteit van de tellers $a_n$ (die kwadratisch zijn voor $n \ge 3$ ) maakt een directe koppeling aan standaard hypergeometrische reeksen moeilijk, wat eerdere heuristische benaderingen beperkte.

Methodologie

De auteur, Chao Wang, gebruikt een analytische aanpak die verder gaat dan asymptotische argumenten. De methode bestaat uit drie hoofdfasen:

Exacte Oplossing van de Recurrente Betrekking:
In plaats van numerieke benadering, lost de auteur de onderliggende tweede-orde lineaire differentievergelijking voor de noemer-sequentie $q_n$ exact op. De convergenten $p_n/q_n$ voldoen aan de fundamentele recurrente relatie:
$\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}$
Met behulp van sterke inductie wordt een gesloten vorm (closed-form) afgeleid voor $q_n$ .
Convergentie via Wronskian-identiteit:
Om de convergentie van de breuk te bewijzen, wordt een discrete Wronskian-identiteit ( $W_n = p_n q_{n-1} - p_{n-1} q_n$ ) gebruikt. Dit leidt tot een "telescopische" som (telescoping sum) voor het verschil tussen opeenvolgende convergenten. De absolute convergentie wordt vervolgens vastgesteld via de verhoudingstest (ratio test).
Identificatie van de Limietwaarde:
De resulterende oneindige reeks wordt geëvalueerd door:
- Toepassing van Abel-summatie (sommatie per delen).
- Omzetting naar een integraalvoorstelling met de Euler-Bèta-functie.
- Het oplossen van een dubbelintegraal via een elementaire substitutie en partiële integratie.

Belangrijkste Bijdragen en Resultaten

1. Gesloten Vorm voor de Noemer (Stelling 3.1)

De auteur bewijst dat de noemer-sequentie $q_n$ een exacte gesloten vorm heeft die geldt voor alle $n \ge 0$ :
$q_n = (-1)^n (2n - 3)!! (n^2 + n - 1)$
Hierbij is $n!!$ de dubbele faculteit, met de conventies $(-1)!! = 1$ en $(-3)!! = -1$ . Dit resultaat is cruciaal omdat het de complexe recursie reduceert tot een expliciete formule.

2. Telescopische Identiteit en Convergentie (Stelling 4.1)

Door de gesloten vorm van $q_n$ te combineren met de Wronskian-identiteit, wordt de volgende telescopische relatie afgeleid voor het verschil tussen convergenten:
$\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)}$
De verhouding van opeenvolgende termen in deze reeks convergeert naar $1/2$ , wat bewijst dat de reeks absoluut convergeert.

3. Exacte Evaluatie tot $-\pi/4$

De limietwaarde $L$ van de breuk wordt herschreven als een reeks die via Abel-summatie wordt omgezet in een integraal $I$ :
$L = -\frac{1}{2} - \frac{1}{2}I$
De integraal $I$ wordt geëvalueerd tot:
$I = \int_0^1 \frac{4(1-y^2)\arctan(y)}{(1+y^2)^2} dy = \frac{\pi}{2} - 1$
Substitutie van dit resultaat in de uitdrukking voor $L$ levert het definitieve bewijs:
$L = -\frac{1}{2} - \frac{1}{2}\left(\frac{\pi}{2} - 1\right) = -\frac{\pi}{4}$

Significantie

Dit artikel is significant op de volgende gebieden:

Validatie van Algoritmische Ontdekkingen: Het biedt een rigoureus analytisch bewijs voor een conjectuur gegenereerd door kunstmatige intelligentie (Ramanujan Machine), wat de betrouwbaarheid van dergelijke systemen versterkt.
Methodologische Vooruitgang: Het demonstreert hoe complexe, niet-standaard continuïteitsbreuken kunnen worden opgelost door het combineren van exacte differentievergelijkingen, Wronskian-technieken en integraaltransformaties, in plaats van te vertrouwen op numerieke heuristiek.
Wiskundige Diepgang: De afleiding van de gesloten vorm voor $q_n$ en de daaropvolgende evaluatie via Bèta-functies en arctan-integrals toont een elegante verbinding tussen discrete recurrente relaties en continue analyse.

Samenvattend levert Chao Wang een volledig wiskundig bewijs dat de door de Ramanujan Machine geconjectureerde continuïteitsbreuk exact gelijk is aan $-\pi/4$ , waarbij de complexiteit van de tellers wordt overwonnen door een diepgaande analyse van de onderliggende recurrente structuur.