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

Dit artikel biedt een zelfstandig analytisch bewijs voor de identiteit $-\pi/4 = {\rm K}_{n=1}^{\infty}\bigl((n-1)^2\,/\,{-(2n-1)}\bigr)$ door de Gauss-continuüm breuk voor $\arctan(z)$ bij $z=-1$ te evalueren en een equivalente transformatie toe te passen, waarbij ook de super-exponentiële convergentie ten opzichte van de Gregory-Leibniz-reeks wordt aangetoond.

De kern

Stel je voor dat wiskundigen al eeuwenlang proberen om het getal π (pi) te "ontmaskeren". Pi is die mysterieuze getal dat de omtrek van een cirkel beschrijft, maar het heeft oneindig veel decimalen en geen patroon. Wiskundigen houden ervan om deze getallen te benaderen met verschillende methoden, net zoals je een berg kunt beklimmen via verschillende paden.

In dit korte, maar krachtige artikel, bewijst de schrijver, Chao Wang, dat een heel specifieke, vreemd ogende "ladder" van getallen precies leidt naar -π/4.

Hier is de uitleg in gewoon Nederlands, met een paar creatieve vergelekingen:

1. Het mysterieuze pad (De bewering)

Stel je een ladder voor. Bij een gewone ladder zijn de sporten allemaal even groot. Maar deze ladder is gek:

• De sporten (de noemers) worden steeds langer: -1, -3, -5, -7...
• De dwarsbalken (de tellers) worden steeds zwaarder: 1, 4, 9, 16... (dat zijn de kwadraten: 1², 2², 3²...).

Als je deze ladder oneindig hoog bouwt, zou je denken dat het een chaotisch gedoe is. Maar het artikel zegt: "Nee, als je deze ladder helemaal beklimt, kom je precies uit bij -π/4."

Vroeger was er al een bekende ladder voor π/4 (de "Gregory-Leibniz" reeks), maar die was traag. Het was alsof je een slak was die probeert een berg op te klimmen; na 100 stappen was je nog maar een paar centimeter verder. De nieuwe ladder in dit artikel is een supersnelle kabelbaan.

2. De oude kaart (De Gauss-verbinding)

De schrijver zegt eigenlijk: "We hoeven niet van nul af te beginnen. We hebben al een bewezen kaart voor deze route."

In de 19e eeuw had een wiskundige genaamd Gauss al een soortgelijke ladder ontdekt voor de functie arctan (de boogtangens). Die ladder leek heel erg op de onze, maar met één klein verschil: de tekens.

• De oude ladder had positieve sporten: +1, +3, +5...
• De nieuwe ladder heeft negatieve sporten: -1, -3, -5...

Het is alsof je een spiegelbeeld van een bekende route bekijkt. De schrijver laat zien dat deze twee ladders in feite hetzelfde zijn, alleen in een andere "kleding".

3. De magische sleutel (De Equivalentie)

Hoe bewijst hij dat ze hetzelfde zijn? Hij gebruikt een wiskundige truc die hij een "equivalentie-transformatie" noemt.

Stel je voor dat je een oude, stoffige kaart hebt (de Gauss-ladder). Je wilt hem omzetten naar een moderne GPS-route (de nieuwe ladder). Je hebt een magische sleutel nodig die de hele route één keer omkeert.

• De schrijver gebruikt een heel simpele sleutel: een reeks van -1.
• Als je deze sleutel op de oude ladder toepast, verandert elke positieve sport in een negatieve sport.
• Plotseling ziet de oude, bekende ladder er precies uit als de mysterieuze nieuwe ladder uit het begin.

Omdat we al wisten dat de oude ladder leidt naar -π/4, en we weten dat de nieuwe ladder precies hetzelfde is (alleen omgekeerd), moet de nieuwe ladder ook naar -π/4 leiden. Klaar. Het bewijs is compleet.

4. Waarom is dit cool? (De snelheid)

Het artikel vergelijkt ook hoe snel deze methoden werken.

• De oude methode (Gregory-Leibniz): Dit is alsof je een schepje zand per uur toevoegt aan een emmer. Na 20 stappen heb je nog maar 3 cijfers van π correct.
• De nieuwe methode (De ladder uit het artikel): Dit is alsof je een waterpers gebruikt. Na 20 stappen heb je al 16 cijfers van π correct!

Het artikel laat zien dat deze nieuwe "ladder" niet alleen correct is, maar ook supersnel convergeert. Het is een enorme verbetering ten opzichte van de oude, trage methoden.

Conclusie

Kort samengevat:
Chao Wang heeft laten zien dat een raar ogende wiskundige formule (een ladder met negatieve getallen) niet zomaar een toevalstreffer is. Het is eigenlijk een bekende route (de Gauss-ladder) die gewoon even anders is gekleed. Door een simpele "spiegeltruc" te gebruiken, bewijst hij dat deze route perfect werkt en bovendien veel sneller is dan de oude klassieke methoden om π te benaderen.

Het is een mooi voorbeeld van hoe wiskunde vaak draait om het zien van verbindingen: wat er eerst als twee verschillende dingen leek, blijkt in feite één en hetzelfde te zijn, alleen vanuit een ander perspectief bekeken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A Proof of the Continued Fraction Identity" van Chao Wang, geschreven in het Nederlands.

Titel: Bewijs van een Kettingbreukidentiteit voor $-\pi/4$

1. Het Probleem

Het artikel adresseert een wiskundige identiteit die eerder werd geconjectureerd door het "Ramanujan Machine"-project. De identiteit betreft een specifieke kettingbreuk die convergeert naar $-\pi/4$:

$$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1^2}{-3 + \cfrac{2^2}{-5 + \cfrac{3^2}{-7 + \ddots}}}}$$

De partiële quotiënten zijn gedefinieerd als:

• $a_n = (n-1)^2$ voor $n \geq 2$ (met $a_1 = 1$).
• $b_n = -(2n - 1)$ voor $n \geq 1$.

Hoewel deze structuur bekend voorkomt in de literatuur over hypergeometrische functies, ontbrak er tot nu toe een strikt, zelfstandig analytisch bewijs dat deze specifieke vorm (met de negatieve noemers) direct koppelt aan de waarde $-\pi/4$. Het doel van het artikel is om dit bewijs te leveren en de convergentie te garanderen.

2. Methodologie

De auteur hanteert een tweestapsbenadering die voortbouwt op klassieke theorieën van Gauss en Euler:

• Stap 1: Referentie naar de Gauss-kettingbreuk voor $\arctan(z)$
  De auteur herinnert aan de klassieke Gauss-kettingbreuk voor de inverse tangensfunctie:
  $$\arctan(z) = \cfrac{z}{1 + \cfrac{1^2 z^2}{3 + \cfrac{2^2 z^2}{5 + \cfrac{3^2 z^2}{7 + \ddots}}}}$$
  Door $z = -1$ te substitueren, wordt de linkerkant $-\pi/4$. De rechterkant levert een kettingbreuk op met positieve noemers ($2n-1$) en een negatieve eerste term. De convergentie van deze reeks wordt wiskundig onderbouwd door de absolute convergentie van de onderliggende hypergeometrische reeks${}_2F_1(\frac{1}{2}, 1; \frac{3}{2}; -1)$, zoals vastgesteld door de Gauss-Kummer-stelling.

• Stap 2: Equivalente Transformatie
  De kern van het bewijs ligt in het toepassen van een equivalente transformatie op kettingbreuken. Twee kettingbreuken zijn equivalent (en hebben dus dezelfde waarde) als er een reeks van niet-nul scalairen $\{r_n\}$ bestaat die de tellers en noemers transformeert volgens specifieke regels.
  De auteur toont aan dat de gewenste identiteit (2) exact overeenkomt met de Gauss-vorm (8) door de constante reeks $r_n = -1$ voor alle $n \geq 1$ te kiezen.

  • Dit transformeert de noemers van $b_n = 2n-1$ naar $\tilde{b}_n = -(2n-1)$.
  • De tellers blijven behouden omdat $r_n r_{n-1} = (-1)(-1) = 1$.

3. Belangrijkste Bijdragen

• Rigoureus Bewijs: Het artikel levert het eerste zelfstandige, analytische bewijs voor Conjecture 1.1 uit het Ramanujan Machine-project.
• Simpelheid van de Transformatie: Het bewijs onthult dat de complexe ogende identiteit slechts een uniforme tekenwijziging is van de klassieke Gauss-kettingbreuk. De structuur is minimaal gewijzigd (alleen de noemers zijn negatief), wat de geldigheid van de identiteit verklaart.
• Convergentieanalyse: De auteur bevestigt dat de convergentie van de nieuwe kettingbreuk volgt uit de convergentie van de Gauss-vorm, aangezien equivalente transformaties de convergentie en de limietwaarde behouden. Er wordt ook opgemerkt dat de convergentie sneller is dan de standaard Worpitzky-criteria, maar wel binnen de grenzen valt van de theorie voor periodieke kettingbreuken.

4. Resultaten

• Geldigheid: De identiteit is bewezen:
  $$\cfrac{1}{-1 + \cfrac{1^2}{-3 + \cfrac{2^2}{-5 + \cfrac{3^2}{-7 + \ddots}}}} = -\frac{\pi}{4}$$
• Numerieke Vergelijking: In Sectie 5 wordt een numerieke vergelijking gemaakt tussen de convergenten van deze kettingbreuk ($F_n$) en de partiële sommen van de Gregory-Leibniz-reeks ($S_n$).
  • De Gregory-Leibniz-reeks convergeert lineair ($O(n^{-1})$).
  • De kettingbreuk convergeert super-exponentieel. Bij $n=20$ bereikt de fout van de kettingbreuk de machine-precisie van dubbele precisie ($\approx 10^{-16}$), terwijl de Leibniz-reeks bij dezelfde $n$ nog een fout van ongeveer $10^{-2}$ heeft.
  • De ratio van de fouten toont aan dat de kettingbreuk een exponentiële versnelling biedt ten opzichte van de traditionele reeks.

5. Betekenis

Dit artikel is significant omdat het een algoritme-genererde wiskundige observatie (uit het Ramanujan Machine-project) verheft tot een rigoureus bewezen stelling. Het demonstreert dat veel "nieuwe" identiteiten die door AI-algoritmen worden ontdekt, vaak diepe verbindingen hebben met klassieke theorieën (zoals hypergeometrische functies), maar een eenvoudige algebraïsche transformatie nodig hebben om herkenbaar te worden.

De methode vereist geen nieuwe geavanceerde technologie, maar combineert standaard theorieën van hypergeometrische functies en kettingbreuk-equivalentie op een elegante manier. Het resultaat biedt bovendien een uiterst efficiënte numerieke methode voor het benaderen van $\pi$ (of $-\pi/4$) in vergelijking met traditionele reeksen.