🔢 mathematics

The irrationality measure of {\pi} is at most 7.101862832357

Door twee onafhankelijke teller exponenten te introduceren in de Zeilberger–Zudilin-integraal en deze te specialiseren tot $A_1=A_2=\frac{1857}{2785}$ , vestigt de auteur een nieuwe bovengrens van ongeveer 7,10186 voor de irrationaliteitsmaat van $\pi$ , waarmee het vorige record met meer dan 0,00134 wordt verbeterd.

Oorspronkelijke auteurs: Yufei Bai

Gepubliceerd 2026-09-11

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Yufei Bai

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

In het uitgestrekte landschap van de wiskunde zijn er getallen die niet als eenvoudige breuken kunnen worden geschreven. Dit zijn irrationale getallen, en ze omvatten bekende constanten zoals de vierkantswortel van twee en de verhouding tussen de omtrek van een cirkel en zijn diameter, bekend als pi. Hoewel we deze getallen tot biljoenen decimalen kunnen berekenen, blijft een diepere vraag bestaan: hoe goed kunnen we ze benaderen met breuken? Wiskundigen meten deze moeilijkheid met een concept dat de irrationaliteitsmaat wordt genoemd. Zie deze maatstaf als een graadmeter voor hoe koppig een getal is; een lagere score betekent dat het getal moeilijker te misleiden is met een eenvoudige breuk, terwijl een hogere score suggereert dat het gemakkelijker te benaderen is. Eeuwenlang hebben wiskundigen geprobeerd de exacte score voor pi vast te stellen. We weten dat deze ten minste twee is, maar de precieze bovengrens is een bewegend doel geweest, waarbij eerdere beste inspanningen de grens net boven de zeven plaatsten.

Een recente studie door Yufei Bai heeft deze grens verder verlegd door te bewijzen dat de irrationaliteitsmaat van pi strikt kleiner is dan 7,101862832357. Dit mag klinken als een kleine aanpassing, maar in de wereld van hoogprecisie getaltheorie is het een significante sprong. Het onderzoek bouwt voort op een geavanceerde methode ontwikkeld door wiskundigen Doron Zeilinger en Wadim Zudilin, die complexe integralen gebruikt — in essentie oppervlaktes onder kromme lijnen in het complexe vlak — om speciale wiskundige expressies te generen. Deze expressies fungeren als een test: als ze zich op een bepaalde manier gedragen, bewijzen ze dat pi niet te gemakkelijk door breuken kan worden benaderd. Het vorige beste resultaat met deze methode had de limiet op ongeveer 7,1032 gesteld. Bai's werk verfijnt de ingrediënten van deze test door de specifieke machten te tweaken die in de formule van de integraal worden gebruikt, om zo een iets beter resultaat uit de marge te persen.

De kern van de prestatie ligt in de manier waarop de onderzoeker de parameters van de integraal heeft aangepast. Stel je de integraal voor als een machine met twee draaiknoppen die de gevoeligheid regelen. Het vorige werk had deze knoppen op een specifieke, evenwichtige positie gezet. Bai ontdekte dat door beide knoppen naar een nieuwe, zeer specifieke instelling te draaien — waar de waarden ongeveer 1857 gedeeld door 2785 zijn — de machine efficiënter wordt in het detecteren van de ware aard van pi. Deze aanpassing is niet zomaar een willekeurige gok; het artikel demonstreert dat deze specifieke instelling een lokaal minimum is voor de foutfunctie, wat betekent dat elke kleine verschuiving in welke richting dan ook het resultaat zou verslechteren. Het is een precieze, berekende optimalisatie binnen een nauwe wiskundige vallei.

Om dit te bewijzen, construeert het artikel een sequentie van op gehelen gebaseerde expressies die pi bevatten. De onderzoeker analyseert vervolgens twee concurrerende krachten binnen deze expressies. De ene kracht zorgt ervoor dat de getallen groter worden naarmate de sequentie vordert, terwijl de andere kracht de gehele expressie doet krimpen naar nul. Het doel is om een balans te vinden waarbij de expressie verwaarloosbaar klein wordt zonder dat de getallen binnenin onmogelijk groot worden. Door zorgvuldig de groei van de noemers en het verval van de integraal te volgen, stelt de studie een strikte ongelijkheid vast. De wiskunde laat zien dat de expressie, voor de gekozen parameters, snel genoeg krimpt om te bewijzen dat de irrationaliteitsmaat van pi niet boven de nieuwe, lagere drempel kan uitkomen.

De studie is rigoureus en zelfvoorzienend. Het vertrouwt niet op computersimulaties om het antwoord te raden, maar gebruikt exacte rekenkunde en logische deductie om elke stap te verifiëren. De auteur merkt expliciet op dat dit resultaat een lokale verbetering is; het bewijst dat dit specifieke punt beter is dan zijn directe buren, maar het claimt niet de absoluut beste mogelijke instelling voor alle tijden te zijn. Bovendien erkent het artikel de hulp van generatieve kunstmatige intelligentie-instrumenten bij het verkennen van parameters en het controleren van bewijzen, terwijl het benadrukt dat de wiskundige claims en de uiteindelijke tekst de enige verantwoordelijkheid van de auteur zijn. Het resultaat staat als een geverifieerde, strakkere grens op hoe goed pi kan worden benaderd, waarbij de bekende bovengrens met een fractie van een procent is verlaagd, wat een enorme precisie vereiste om te vinden.

Technische Samenvatting: De irrationale maat van $\pi$ is hoogstens 7,101862832357

1. Probleemstelling
Het artikel behandelt de bepaling van de irrationale maat $\mu(\pi)$ , gedefinieerd als het infimum van reële getallen $\mu$ waarvoor de ongelijkheid $|\pi - p/q| > q^{-\mu-\varepsilon}$ geldt voor alle gehele getallen en voldoende grote positieve gehele getallen $q$ . Hoewel de exacte waarde onbekend blijft, is het doel om de strakst mogelijke bovengrens vast te stellen. De huidige state-of-the-art vóór dit werk werd vastgesteld door Zeilberger en Zudilin [5], die $\mu(\pi) \le 7,103205334137\dots$ bewezen met behulp van een specifieke contourintegraalconstructie met vaste parameters.

2. Methodologie
De auteur introduceert een verfijning van de Zeilberger–Zudilin integraal door twee onafhankelijke teller-exponenten, $A_1$ en $A_2$ , in de integraand op te nemen:
$I_{A_1, A_2}(N) = -i \int_{4-2i}^{4+2i} \frac{(x-5)^{A_1 N} Q_0(x)^{A_2 N}}{x^{N+1}(x-10)^{N+1}} dx$
waarbij $Q_0(x) = (x-4+2i)(x-4-2i)(x-6+2i)(x-6-2i)$ .

De methodologie verloopt via vier hoofdfasen:

Arithmetische Constructie: De integraal wordt getransformeerd via een verandering van variabelen ( $t = x-5$ ) naar een rationale functie $R_n(t)$ die geïntegreerd wordt over een verticaal segment. Het artikel leidt een partiële breukontwikkeling af van $R_n(t)$ , waarbij de coëfficiënten $c_{j,n}$ worden geïdentificeerd. Door de $p$ -adische valenties van deze coëfficiënten te analyseren (specifiek bij priemgetallen 2 en 5), construeert de auteur rationale lineaire vormen $M_n J_n = U_n + V_n \pi$ . Een cruciaal onderdeel is de "verwijderbare-priem" besparing, waarbij een product $\Phi_n$ van specifieke priemgetallen wordt aangetoond de noemers van de coëfficiënten te delen, waardoor de groeisnelheid van de noemer-opschaler $M_n$ wordt verminderd.
Analytische Schatting: Het artikel schat de asymptotische groeisnelheid van de coëfficiënten $V_n$ $V_{n}$ en de afname van de integraal $J_n$ $J_{n}$ .
- De groeisnelheid van de coëfficiënt $r$ wordt bepaald met een methode met positieve coëfficiënten bij een verzadigingspunt (Lemma 4.1) toegepast op de genererende functie van de coëfficiënten.
- De afnamesnelheid van de integraal $s$ wordt bepaald door de integratiecontour te vervormen naar een pad dat door een complex verzadigingspunt $y_c$ gaat, waarbij de fasefunctie $F(y)$ wordt gemaximaliseerd.
Optimalisatie van Parameters: De auteur definieert een expliciete hulp-grensfunctie $B(\alpha, \beta)$ (waarbij $\alpha, \beta$ genormaliseerde exponenten zijn) die de resulterende schatting van de irrationale maat vertegenwoordigt. Het artikel toont aan dat het oorspronkelijke Zeilberger–Zudilin punt geen lokaal minimum is voor deze tweeparameterfunctie. Een zoektocht binnen de "diagonale familie" ( $A_1 = A_2$ ) identificeert een specifiek rationeel punt $(A_1, A_2) = (1857/2785, 1857/2785)$ dat een lagere grens oplevert.
Bewijs van Lokale Optimaliteit: Het artikel bewijst dat dit specifieke rationale punt een strikt tweedimensionaal lokaal minimum is van de hulp-grensfunctie $B(\alpha, \beta)$ binnen de toegestane arithmetische kamer. Dit wordt bereikt door een exacte logaritmische variatieformule voor de priem-besparingsterm af te leiden en de directionele afgeleiden over twaalf sectoren in de parameterruimte te analyseren.

3. Belangrijkste Bijdragen en Resultaten

Nieuwe Bovengrens: Het primaire resultaat (Theorem 1.1) stelt vast dat:
$\mu(\pi) < 7,101862832357$
Dit verbetert de Zeilberger–Zudilin bovengrens met meer dan $0,001342501780$, een reductie van ongeveer $0,0189\%$ .
Parameterselectie: De specifieke parameters die worden gebruikt zijn $(a, b, c) = (1857, 3714, 5570)$ , wat overeenkomt met genormaliseerde exponenten $(\alpha^*, \beta^*) = (1857/5570, 1857/2785)$ .
Lokale Minimaliteit: Theorem 1.2 en Theorem 6.3 bewijzen dat het gekozen parameterpunt een strikt lokaal minimum is van de hulp-grensfunctie $B(\alpha, \beta)$ . Het bewijs omvat een rigoureuze analyse van de directionele afgeleiden van de priem-besparingsterm $\phi(\alpha, \beta)$ , waarbij wordt aangetoond dat elke kleine perturbatie in de parameters de bovengrens verhoogt.
Rigoureuze Numerieke Insluiting: Het artikel voorziet in expliciete, rigoureuze rationale insluitingen voor alle tussenliggende constanten, inclusief de priem-besaringsterm $\omega$ , de groeisnelheid van de coëfficiënt $r$ , en de afnamesnelheid van de integraal $s$ . Deze berekeningen vermijden floating-point aannames door gebruik te maken van exacte rationale rekenkunde en intervalgrenzen voor logaritmen en Bernoulli-getallen.

4. Betekenis en Reikwijdte
Het artikel claimt betekenis op twee specifieke gebieden:

Kwantitatieve Verbetering: Het biedt een nieuwe bovengrens voor $\mu(\pi)$ die de Zeilberger–Zudilin bovengrens verbetert, wat aantoont dat de constructie met vaste parameters kan worden verfijnd door een tweede onafhankelijke exponent te introduceren.
Structureel Inzicht: Het stelt vast dat het voorheen optimale diagonale punt niet een lokaal optimum is voor de tweeparameter-deformatie. Het werk biedt een gedetailleerd geometrisch en analytisch begrip van de "arithmetic chamber" waar deze grenzen worden gedefinieerd, en bewijst dat het nieuwe punt een lokaal minimum is in tweedimensionale zin.

Beperkingen en Claims
De auteur geeft expliciet de bescheiden reikwijdte van de resultaten aan:

Het resultaat is een bovengrens, geen de exacte waarde van $\mu(\pi)$ .
De lokale minimaliteit (Theorem 1.2) is een lokale uitspraak over de specifieke hulpfunctie $B(\alpha, \beta)$ binnen de toegestane kamer. Het claimt niet de globale optimaliteit over alle mogelijke constructies, alle mogelijke noemer-besparingen, of alle positieve parameters.
De verbetering is specifiek voor de familie van integralen gedefinieerd door de tweeparameter-deformatie; het impliceert niet dat de ware irrationale maat van $\pi$ dicht bij deze bovengrens ligt, noch sluit het betere grenzen uit van geheel andere constructies.

Verklaring
Het artikel vermeldt dat Generatieve AI (OpenAI's GPT-5.6 Sol en GPT-6 Astra) heeft geassisteerd bij de parameterverkenning, bewijsontwikkeling, berekening en het opstellen van het manuscript. De auteur verklaart echter volledig verantwoordelijk te zijn voor alle wiskundige claims en de definitieve tekst.

Meer zoals dit