🔢 mathematics

Anomalous Partial Quotients in the Continued Fraction of $\sqrt{ζ(3)-S_N}$

Dit artikel bewijst dat voor specifieke indices $N_k$ afgeleid van companion Pell-getallen, de doorlopende breuk van $\sqrt{\zeta(3)-S_{N_k}}$ abnormale partiële breuken vertoont, inclusief een cubische groeiterm, door Euler--Maclaurin-expansies te combineren met Pell-identiteiten en de resultaten te verifiëren met de LEAN proof assistant.

Oorspronkelijke auteurs: David Victor Feldman

Gepubliceerd 2026-07-07

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: David Victor Feldman

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 je de lengte probeert te meten van een heel vreemd, onzichtbaar touw. Dit touw vertegenwoordigt een piepkleine kloof tussen een beroemde wiskundige constante (genaamd $\zeta(3)$ ) en een specifieke som van getallen. Normaal gesproken proberen wiskundigen deze kloof te meten met een speciaal instrument genaamd een "doorlopende breuk" (continued fraction), waarbij de getallen die ze krijgen voorspelbaar zijn en op een gestage, saaie manier groeien — als een trap waarbij elke trede ongeveer even groot is.

Deze paper ontdekt echter een geheime kortere route. Op zeer specifieke, zeldzame locaties langs de getallenlijn (de zogenaamde "Pell-indices") verandert het gedrag van dit touw drastisch. Het is alsof je een normale trap op loopt en plotseling, elke derde trede een enorme sprong wordt, terwijl de treden daartussenin minuscule, bijna onzichtbare hupjes zijn.

Hier is een overzicht van wat de paper daadwerkelijk heeft ontdekt, gebruikmakend van eenvoudige analogieën:

1. Het "Normale" Gedrag versus de "Anomalie"

Beschouw de doorlopende breuk als een recept om een getal af te breken in een reeks gehele getallen (partiële breuken).

De Algemene Regel: Voor de meeste getallen groeien deze receptstappen langzaam en lineair. Als je van stap 1 naar stap 100 gaat, worden de getallen iets groter, maar niet veel meer.
De Anomalie: De auteur, David Feldman, ontdekte dat bij specifieke "magische getallen" (afgeleid van een reeks genaamd Pell-getallen) het recept volledig ontspoort.
- Het eerste getal in de reeks is enorm groot (lineaire groei).
- Het tweede getal is slechts "1" (minuscuul).
- Het derde getal explodeert! Het groeit kubisch. Als het eerste getal 10 is, kan het derde wel 1.000 of 10.000 zijn. Het is als een trap waarbij één trede een wolkenkrabber is.
- Het vierde getal is weer "1".
- Het vijfde en zesde getal volgen een complex, herhalend patroon gebaseerd op resten.

2. De "Magische Getallen" (De Pell-connectie)

Waarom gebeurt dit alleen op specifieke plekken? De paper legt dit verband met een speciale familie van getallen genaamd Pell-getallen (0, 1, 2, 5, 12, 29...).

Stel je voor dat deze getallen sleutels zijn tot een verborgen deur. Wanneer je een Pell-getal in de formule voor ons "onzichtbare touw" plaatst, komt de wiskunde perfect in lijn en laat dit de "enorme sprong" (de kubische groei) achter.
De paper bewijst dat bij deze specifieke sleutels de irrationele delen van de wiskunde (de rommelige vierkantswortels) op een zeer nauwkeurige manier wegvallen, waardoor er een schoon, voorspelbaar patroon overblijft dat de "enorme sprong" onthult.

3. Hoe Ze Het Hebben Bewezen (De Twee-Stappen-Dans)

De auteur heeft dit patroon niet alleen geraden; hij heeft het bewezen met twee verschillende methoden, zoals het controleren van een kaart met twee verschillende kompassen:

Methode A: De Hoge-Precisie Telescoop (Euler-Maclaurin Expansie)
De auteur gebruikte een krachtige wiskundige telescoop om met extreme precisie in te zoomen op de "kloof". Hij breidde de formule uit naar een lange reeks termen. Door de eerste paar termen met extreme nauwkeurigheid te berekenen, kon hij precies zien waar de "vloer" (het gehele deel) van de getallen zou landen. Dit bevestigde de enorme kubische sprong.
Methode B: De "Rationalisatie"-Truc
Het moeilijkste deel was het bewijzen van het allereerste getal in de reeks. Hiervoor gebruikte de auteur een slimme truc genaamd "rationalisatie".
- Analogie: Stel je voor dat je een wankel, irrationeel getal (zoals $\sqrt{2}$ ) vermenigvuldigt met een breuk. Dat is moeilijk te meten. Maar als je de teller en de noemer vermenigvuldigt met een specifieke "conjugaat" (een partnergetal), verdwijnt de rommelige vierkantswortel en houd je een schoon, rationeel getal over.
- Door dit te doen, toonde de auteur aan dat de waarde strikt tussen twee gehele getallen ligt (specifiek tussen $M-1$ en $M$ ), waarmee hij precies bewees wat het eerste getal in de reeks moet zijn.

4. De Computerverificatie

De paper vermeldt dat al deze claims zijn gecontroleerd door een computerprogramma genaamd Lean (met hulp van een tool genaamd Aristotle).

Analogie: Denk aan dit als een superstrenge scheidsrechter. De auteur schreef zijn bewijs op, en de computer las elke enkele logische stap om te controleren of er geen fouten waren, geen overgeslagen stappen en geen "vaagheden". De computer gaf het "groene licht" aan het hele argument.

5. Wat Betreft de Rest? (Open Vragen)

De paper beweert niet alles op te lossen. Er blijven enkele mysteries over:

De "Heuristische" Gok: De auteur heeft een sterke intuïtie (een heuristiek) over hoe de getallen eruitzien voordat de magische Pell-indices in werking treden, maar hij heeft de allereerste paar stappen van die gok nog niet rigoureus bewezen. Het is als het zien van een patroon in de wolken, maar nog niet de natuurkunde hebben om het te bewijzen.
Voorbij de Zesde Stap: De paper berekent de eerste zes getallen van de reeks perfect. Wat gebeurt er bij de zevende, achtste of honderdste stap? Het patroon wordt ingewikkelder, en de auteur geeft toe dat het beschrijven van het volledige, langetermijngedrag nog steeds een openstaand probleem is.
Waarom $\zeta(3)$ ? De auteur legt uit dat deze specifieke "kubische explosie" alleen gebeurt vanwege de specifieke macht van de getallen betrokken (gerelateerd aan het getal 3). Als je de wiskunde lichtjes zou veranderen, zou de enorme sprong niet plaatsvinden.

Samenvatting

Kortom, deze paper is de ontdekking van een wiskundige glitch (of een feature, afhankelijk van hoe je het bekijkt). Het laat zien dat voor een specifiek, moeilijk te berekenen getal, de gebruikelijke regels van "hoe groot het volgende getal is" op specifieke intervallen breken, wat resulteert in een reeks met een enorme, kubische sprong. De auteur bewees dit met hoogwaardige wiskunde, slimme algebraïsche trucs en computerverificatie, waarmee een verborgen structuur in de getallen werd onthuld die voorheen onzichtbaar was.

Technische Samenvatting: Anomale Partiële Quotiënten in de Voortdurende Breuk van $\sqrt{\zeta(3) - S_N}$

Probleemstelling
Het artikel onderzoekt het gedrag van de eenvoudige voortdurende breukexpansie van de grootheid $\sqrt{R_N}$ , waarbij $R_N = \zeta(3) - S_N$ en $S_N = \sum_{j=1}^N j^{-3}$ . Terwijl de partiële quotiënten van $\sqrt{R_N}$ generiek van de orde $O(N)$ zijn, identificeert de auteur een specifieke sequentie van indices $N_k$ waar de expansie een "anomaal" gedrag vertoont. Specifiek vertonen de derde partiële quotiënten bij deze indices een kubische groei ten opzichte van de geassocieerde Pell-getallen, wat significant afwijkt van de lineaire groei die in generieke gevallen wordt waargenomen.

Methodologie
Het bewijs is zelfstandig en verloopt in twee afzonderlijke stadia, waarbij analytische getaltheorie wordt gecombineerd met formele verificatie:

Euler–Maclaurin Expansie en Rationalisatie (Stadia 1 & 2):
- De auteur maakt gebruik van de Euler–Maclaurin expansie om $1/\sqrt{R_{N_k}}$ met hoge precisie te benaderen. Een cruciaal algebraïsch kenmerk van de gekozen indices $N_k$ is dat zij toestaan dat irrationele termen (specifiek $\sqrt{2}$ ) wegvallen wanneer de expansie wordt uitgedrukt in termen van Pell-getallen $M_k = P_{2k+1}$ en begeleidende Pell-getallen $Q_{2k+1}$ .
- Dit leidt tot een Laurent-polynoomexpansie in $M_k$ met rationale coëfficiënten.
- Om de eerste partiële quoctient ( $PQ_0$ ) rigoureus vast te stellen, hanteert het artikel een "rationalisatie"-argument. Door de irrationele term $\sqrt{R_N}$ te vermenigvuldigen met een rationale benadering afgeleid van de Pell-identiteit $Q^2 - 2M^2 = -1$ , begrenst de auteur de waarde binnen het interval $(M_k - 1, M_k)$ , waarmee bewezen wordt dat $PQ_0 = M_k - 1$ .
Voortdurende Breukketen en Heuristische Afleiding:
- Gebruikmakend van de hoog-precieze expansie, worden opeenvolgende "floor-and-invert"-stappen uitgevoerd om de eerste zes partiële quotiënten af te leiden.
- Een heuristische afleiding wordt geboden met behulp van Gospers bihomogene algoritme voor voortdurende breuken. Dit algoritme behandelt het probleem als de voortdurende breuk van een product van twee getallen ( $1/\sqrt{R_N} = 1/(\sqrt{R_N/2} \cdot \sqrt{2})$ ), wat inzicht biedt in waarom de Pell-indices een resonantie creëren die de anomale kubische term produceert.

Kernresultaten
Het artikel stelt Stelling 1.1 vast, die expliciet de eerste zes partiële quotiënten van de voortdurende breuk voor $\sqrt{R_{N_k}}$ bepaalt voor alle $k \geq 3$ . Laat $M_k = P_{2k+1}$ en $r_k = (10M_k) \pmod{261}$ . De expansie begint als volgt:
$\sqrt{R_{N_k}} = [0; M_k - 1, 1, 6M_k^3 + 12M_k - 2, 1, \lfloor \frac{10M_k - 261}{261} \rfloor, \lfloor \frac{261}{r_k} \rfloor + \epsilon_k, \dots]$
waarbij $\epsilon_k = -1$ als $r_k$ deelbaar is door 261 (voorkomend bij specifieke periodieke indices) en $0$ anders.

Groeisnelheden: De partiële quotiënten vertonen onderscheidende groeipatronen:
- $PQ_0 \sim M_k$ (Lineair)
- $PQ_1 = 1$
- $PQ_2 \sim 6M_k^3$ (Kubisch, de primaire anomalie)
- $PQ_3 = 1$
- $PQ_4 \sim \frac{10}{261}M_k$ (Lineair)
- $PQ_5$ is begrensd (maximaal 261) en is afhankelijk van de modulaire recursie van $r_k$ .
Formalisering: Alle geclaimde resultaten zijn geformaliseerd in de LEAN proof assistant met behulp van de Aristotle bibliotheek. De formalisering omvat de Euler–Maclaurin grenzen en het rationalisatiebewijs voor de eerste partiële quoctient.

Betekenis en Openstaande Problemen
Het artikel benadrukt het "delicate" karakter van de eerste stap ( $PQ_0 = M_k - 1$ ), die rust op de precieze eliminatie van $\sqrt{2}$ -termen die inherent zijn aan de Pell-indices. De kubische groei van $PQ_2$ wordt geïdentificeerd als het mechanisme dat deze indices uitzonderlijk maakt.

De auteur merkt enkele beperkingen en openstaande problemen op:

Heuristisch versus Rigoureus: Hoewel de eerste zes quotiënten bewezen zijn, blijft een heuristische afleiding voor de voortdurende breuk van de tussenliggende functie $g(N) = \sqrt{R_N/2}$ (Conjectuur 4.1) onbewezen voor de kleinste indices ( $k=1$ ) vanwege de resterende foutmargen. Dit is de enige onbewezen claim in de bijbehorende Lean-formalisering.
Generalisatie: De specifieke kubische anomalie is gekoppeld aan $\zeta(3)$ (waar $s=3$ ). Voor andere oneven $s$ verandert de leidende groeivoet, en het resonantiemechanisme valt weg.
Toekomstige Richtingen: Het artikel stelt vragen over de volledige quasi-periodieke structuur van de partiële quotiënten voorbij $PQ_5$ , potentiële connecties met de Apéry-bewijzen voor de irrationaliteit van $\zeta(3)$ , en of deze specifieke benaderingen nieuwe irrationaliteits- of transcendentieresultaten opleveren.