🔢 mathematics

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

Durch die Einführung zweier unabhängiger Exponenten im Nenner in das Zeilberger–Zudilin-Integral und deren Spezialisierung auf $A_1=A_2=\frac{1857}{2785}$ etabliert der Autor eine neue obere Schranke von etwa 7,10186 für das Irrationalitätsmaß von $\pi$ und verbessert damit den bisherigen Rekord um mehr als 0,00134.

Ursprüngliche Autoren: Yufei Bai

Veröffentlicht 2026-09-11

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Yufei Bai

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

In der weiten Landschaft der Mathematik gibt es Zahlen, die nicht als einfache Brüche geschrieben werden können. Dies sind irrationale Zahlen, zu denen bekannte Konstanten wie die Quadratwurzel aus zwei und das Verhältnis des Umfangs eines Kreises zu seinem Durchmesser, bekannt als Pi, gehören. Obwohl wir diese Zahlen auf Billionen von Dezimalstellen berechnen können, bleibt eine tiefere Frage: Wie gut lassen sie sich durch Brüche annähern? Mathematiker messen diesen Schwierigkeitsgrad mit einem Konzept namens Irrationalitätsmaß. Betrachten Sie dieses Maß als einen Gradmesser dafür, wie eigensinnig eine Zahl ist; ein niedrigerer Wert bedeutet, dass die Zahl schwerer mit einem einfachen Bruch zu „täuschen“ ist, während ein höherer Wert darauf hindeutet, dass sie leichter anzunähern ist. Seit Jahrhunderten versuchen Mathematiker, den exakten Wert für Pi festzulegen. Wir wissen, dass er mindestens zwei ist, aber die präzise obere Grenze war ein bewegliches Ziel, wobei frühere Bestleistungen ihn knapp über sieben platzierten.

Eine aktuelle Studie von Yufei Bai hat diese Grenze weiter verschoben, indem sie bewies, dass das Irrationalitätsmaß von Pi strikt kleiner als 7,101862832357 ist. Das mag wie eine winzige Anpassung klingen, aber in der Welt der Hochpräzisions-Zahlentheorie ist dies ein bedeutender Sprung. Die Forschung baut auf einer anspruchsvollen Methode auf, die von den Mathematikern Doron Zeilberger und Wadim Zudilin entwickelt wurde und komplexe Integrale verwendet – im Wesentlichen Flächen unter Kurven im komplexen Bereich –, um spezielle mathematische Ausdrücke zu erzeugen. Diese Ausdrücke dienen als Test: Wenn sie sich auf eine bestimmte Weise verhalten, beweisen sie, dass Pi nicht zu leicht durch Brüche angenähert werden kann. Das bisher beste Ergebnis unter Verwendung dieser Methode hatte die Grenze bei etwa 7,1032 gesetzt. Bais Arbeit verfeinert die Zutaten dieses Tests, indem sie die spezifischen Potenzen in der Formel des Integrals anpasst, um ein etwas besseres Ergebnis herauszupressen.

Der Kern der Errungenschaft liegt darin, wie der Forscher die Parameter des Integrals angepasst hat. Stellen Sie sich das Integral wie eine Maschine mit zwei Reglern vor, die ihre Empfindlichkeit steuern. Die vorangegangene Arbeit hatte diese Regler auf eine spezifische, ausgewogene Position eingestellt. Bai entdeckte, dass die Maschine effizienter darin wird, die wahre Natur von Pi zu erkennen, wenn man beide Regler auf eine neue, sehr spezifische Einstellung dreht – wobei die Werte etwa 1857 geteilt durch 2785 betragen. Diese Anpassung ist kein bloßer Zufall; die Arbeit zeigt, dass diese spezifische Einstellung ein lokales Minimum für die Fehlerfunktion ist, was bedeutet, dass jede kleine Verschiebung in irgendeine Richtung das Ergebnis verschlechtern würde. Es ist eine präzise, berechnete Optimierung innerhalb eines engen mathematischen Tals.

Um dies zu beweisen, konstruiert die Arbeit eine Sequenz von auf ganzen Zahlen basierender Ausdrücke, die Pi beinhalten. Der Forscher analysiert dann zwei konkurrierende Kräfte innerhalb dieser Ausdrücke. Eine Kraft bewirkt, dass die Zahlen im Zuge der Sequenz größer werden, während die andere Kraft den gesamten Ausdruck gegen Null schrumpfen lässt. Das Ziel ist es, ein Gleichgewicht zu finden, bei dem der Ausdruck verschwindend klein wird, ohne dass die Zahlen darin unmöglich groß werden. Durch die sorgfältige Verfolgung des Wachstums der Nenner und des Zerfalls des Integrals etabliert die Studie eine strikte Ungleichung. Die Mathematik zeigt, dass der Ausdruck für die gewählten Parameter schnell genug schrumpft, um zu beweisen, dass das Irrationalitätsmaß von Pi diesen neuen, niedrigeren Schwellenwert nicht überschreiten kann.

Die Studie ist rigoros und in sich abgeschlossen. Sie stützt sich nicht auf Computersimulationen, um die Antwort zu erraten, sondern verwendet exakte Arithmetik und logische Deduktion, um jeden Schritt zu verifizieren. Der Autor merkt explizit an, dass dies eine lokale Verbesserung ist; er beweist, dass dieser spezifische Punkt besser als seine unmittelbaren Nachbarn ist, behauptet aber nicht, der absolut beste mögliche Wert für alle Zeiten zu sein. Darüber hinaus räumt das Paper die Unterstützung durch generative KI-Werkzeuge bei der Untersuchung von Parametern und der Überprüfung von Beweisen ein, betont jedoch, dass die mathematischen Behauptungen und der endgültige Text allein in der Verantwortung des Autors liegen. Das Ergebnis stellt eine verifizierte, engere Grenze für die Annäherbarkeit von Pi dar und senkt die bekannte Obergrenze um einen Bruchteil eines Prozents, was eine immense Präzision erforderte, um gefunden zu werden.

Technische Zusammenfassung: Das Irrationalitätsmaß von $\pi$ ist höchstens 7,101862832357

1. Problemstellung
Die Arbeit setzt sich mit der Bestimmung des Irrationalitätsmaßes $\mu(\pi)$ auseinander, das als Infimum reeller Zahlen $\mu$ definiert ist, für die die Ungleichung $|\pi - p/q| > q^{-\mu-\varepsilon}$ für alle ganzen Zahlen $p$ und hinreichend große positive ganze Zahlen $q$ gilt. Während der exakte Wert unbekannt bleibt, besteht das Ziel darin, die engstmögliche obere Schranke festzulegen. Der aktuelle Stand der Technik vor dieser Arbeit wurde durch Zeilberger und Zudilin [5] etabliert, die $\mu(\pi) \le 7,103205334137\dots$ unter Verwendung einer spezifischen Konturintegral-Konstruktion mit festen Parametern bewiesen haben.

2. Methodik
Der Autor führt eine Verfeinerung des Zeilberger–Zudilin-Integrals ein, indem er zwei unabhängige Exponenten der Zähler, $A_1$ und $A_2$ , in das Integrand einfügt:
$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$
wobei $Q_0(x) = (x-4+2i)(x-4-2i)(x-6+2i)(x-6-2i)$ .

Die Methodik gliedert sich in vier Hauptphasen:

Arithmetische Konstruktion: Das Integral wird mittels einer Variablensubstitution ( $t = x-5$ ) in eine rationale Funktion $R_n(t)$ transformiert, die über ein vertikales Segment integriert wird. Die Arbeit leitet eine Partialbruchzerlegung von $R_n(t)$ her und identifiziert die Koeffizienten $c_{j,n}$ . Durch die Analyse der $p$ -adischen Valuationen dieser Koeffizienten (speziell bei den Primzahlen 2 und 5) konstruiert der Autor ganzzahlige lineare Formen $M_n J_n = U_n + V_n \pi$ . Eine kritische Komponente ist die „Removable-Prime“-Ersparnis (Removable-Prime Saving), bei der gezeigt wird, dass ein Produkt $\Phi_n$ spezifischer Primzahlen die Nenner der Koeffizienten teilt, wodurch die Wachstumsrate des Nenner-Ausgleichs $M_n$ reduziert wird.
Analytische Schätzung: Die Arbeit schätzt die asymptotische Wachstumsrate der Koeffizienten $V_n$ $V_{n}$ und den Zerfall des Integrals $J_n$ $J_{n}$ .
- Die Wachstumsrate $r$ der Koeffizienten wird mittels einer Methode mit positiven Koeffizienten am Sattelpunkt (Lemma 4.1) angewandt auf die erzeugende Funktion der Koeffizienten bestimmt.
- Die Zerfallsrate $s$ des Integrals wird durch Deformation des Integrationswegs zu einem Pfad bestimmt, der durch einen komplexen Sattelpunkt $y_c$ verläuft, welcher die Phasenfunktion $F(y)$ maximiert.
Optimierung der Parameter: Der Autor definiert eine explizite Hilfs-Schrankenfunktion $B(\alpha, \beta)$ (wobei $\alpha, \beta$ normierte Exponenten sind), welche die resultierende Schätzung des Irrationalitätsmaßes darstellt. Die Arbeit zeigt, dass der ursprüngliche Zeilberger–Zudilin-Punkt kein lokaler Minimierer für diese zweiparametrische Funktion ist. Eine Suche innerhalb der „Diagonalen-Familie“ ( $A_1 = A_2$ ) identifiziert einen spezifischen rationalen Punkt $(A_1, A_2) = (1857/2785, 1857/2785)$ , der eine niedrigere Schranke liefert.
Nachweis der lokalen Optimalität: Die Arbeit beweist, dass dieser spezifische rationale Punkt ein strikt zweidimensionaler lokaler Minimierer der Schrankenfunktion $B(\alpha, \beta)$ innerhalb der zulässigen arithmetischen Kammer ist. Dies geschieht durch die Ableitung einer exakten logarithmischen Variationsformel für den Prime-Saving-Term und die Analyse der Richtungsableitungen über zwölf Sektoren im Parameterraum.

3. Zentrale Beiträge und Ergebnisse

Neue obere Schranke: Das Hauptergebnis (Theorem 1.1) stellt fest, dass:
$\mu(\pi) < 7.101862832357$
Dies verbessert die Zeilberger–Zudilin-Schranke um mehr als $0,001342501780$, was einer Reduktion von etwa $0,0189\%$ entspricht.
Parameterwahl: Die spezifischen Parameter verwendet sind $(a, b, c) = (1857, 3714, 5570)$ , was den normierten Exponenten $(\alpha^*, \beta^*) = (1857/5570, 1857/2785)$ entspricht.
Lokale Minimalität: Theorem 1.2 und Theorem 6.3 beweisen, dass der gewählte Parameterpunkt ein strikter lokaler Minimierer der Hilfsfunktion $B(\alpha, \beta)$ ist. Der Beweis umfasst eine rigorose Analyse der Richtungsableitungen des Prime-Saving-Terms $\phi(\alpha, \beta)$ , die zeigt, dass jede kleine Störung der Parameter die Schranke erhöht.
Rigide numerische Einschließung: Die Arbeit liefert explizite, rigorose rationale Einschließungen für alle Zwischenkonstanten, einschließlich der Prime-Saving-Rate $\omega$ , der Koeffizienten-Wachstumsrate $r$ und der Integral-Zerfallsrate $s$ . Diese Berechnungen vermeiden die Annahme von Gleitkommazahlen und nutzen exakte rationale Arithmetik sowie Intervallgrenzen für Logarithmen und Bernoulli-Zahlen.

4. Bedeutung und Umfang
Die Arbeit beansprucht Bedeutung in zwei spezifischen Bereichen:

Quantitative Verbesserung: Sie liefert eine neue obere Schranke für $\mu(\pi)$ , die die Zeilberger–Zudilin-Schranke verbessert und zeigt, dass die Konstruktion mit festen Parametern durch Einführung eines zweiten unabhängigen Exponenten verfeinert werden kann.
Strukturelle Einsicht: Sie stellt fest, dass der zuvor optimale diagonale Punkt kein lokales Optimum für die zweiparametrische Deformation ist. Die Arbeit liefert ein detailliertes geometrisches und analytisches Verständnis der „arithmetischen Kammer“, in der diese Schranken definiert sind, und beweist, dass der neue Punkt ein lokaler Minimierer im zweidimensionalen Sinne ist.

Einschränkungen und Behauptungen
Der Autor gibt den begrenzten Umfang der Ergebnisse explizit an:

Das Ergebnis ist eine obere Schranke, nicht der exakte Wert von $\mu(\pi)$ .
Die lokale Minimalität (Theorem 1.2) ist eine lokale Aussage über die spezifische Hilfsfunktion $B(\alpha, \beta)$ innerhalb der zulässigen Kammer. Es wird nicht behauptet, dass eine globale Optimalität über alle möglichen Konstruktionen, alle möglichen Nenner-Einsparungen oder alle positiven Parameter vorliegt.
Die Verbesserung bezieht sich spezifisch auf die Familie der durch die Zwei-Exponenten-Deformation definierten Integrale; sie impliziert weder, dass das wahre Irrationalitätsmaß von $\pi$ nahe an dieser Schranke liegt, noch dass sie andere, bessere Schranken aus völlig anderen Konstruktionen ausschließt.

Offenlegung
Die Arbeit stellt fest, dass Generative KI (OpenAI's GPT-5.6 Sol und GPT-6 Astra) bei der Parameterexploration, der Beweisentwicklung, der Berechnung und der Erstellung des Manuskripts unterstützt hat. Der Autor erklärt jedoch die volle Verantwortung für alle mathematischen Behauptungen und den finalen Text.

Mehr davon