Drei Essays über Machin-Typ-Formeln

Grundinformationen

• Papier-ID: 2302.00154
• Titel: Three essays on Machin's type formulas
• Autoren: Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• Klassifizierung: math.NT (Zahlentheorie)
• Veröffentlichtes Journal: Indagationes Mathematicae (zur Veröffentlichung angenommen)
• Papierlink: https://arxiv.org/abs/2302.00154

Zusammenfassung

Dieses Papier untersucht drei Probleme im Zusammenhang mit Machin-Typ-Formeln. Zunächst werden alle zweiteiligen Machin-Formeln angegeben, bei denen die Arkustangensfunktionen an 2-ganzzahligen Stellen (Werten der Form $b/2^a$) ausgewertet werden. Diese Formeln sind rechnerisch nützlich, da Multiplikation oder Division durch Zweierpotenzen für die meisten Computer sehr schnelle Operationen sind. Zweitens wird eine Methode zur Findung unendlich vieler Formeln mit $N$ Termen vorgestellt, die besonders für den Fall $N=2$ nützlich ist, die meisten bekannten Formeln wiederherstellt, einige neue Formeln liefert und einen einfachen Beweis für die Existenz zweiteiliger Machin-Formeln mit beliebig kleinem Lehmer-Maß ermöglicht. Schließlich wird eine Lücke in früheren Ergebnissen korrigiert und alle zweiteiligen Machin-Typ-Formeln mit Arkustangens von Potenzen des Goldenen Schnitts werden angegeben.

Forschungshintergrund und Motivation

Historischer Hintergrund

Die Machin-Formel stammt aus der 1706 von John Machin entdeckten Identität: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

In Kombination mit der 1671 von Gregory entdeckten Arkustangens-Reihenentwicklung: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

nutzte Machin diese Formel, um 100 Dezimalstellen von π zu berechnen.

Forschungsmotivation

1. Rechnerische Effizienzfragen: Suche nach effizienteren Machin-Typ-Formeln zur Berechnung von π, besonders Formen mit Zweierpotenzen, da Computer Operationen mit Zweierpotenzen äußerst effizient durchführen
2. Theoretische Vollständigkeit: Systematische Klassifizierung und Konstruktion verschiedener Machin-Typ-Formeln
3. Minimierung des Lehmer-Maßes: Suche nach Formeln mit beliebig kleinem Lehmer-Maß zur Verbesserung der Recheneffizienz
4. Korrektur historischer Lücken: Vervollständigung der Klassifizierung von Machin-Formeln mit dem Goldenen Schnitt

Einschränkungen bestehender Methoden

• Begrenzte Anzahl bekannter Machin-Typ-Formeln
• Mangel an systematischen Konstruktionsmethoden
• Unzureichende Forschung zu speziellen Formen (wie Formeln mit Zweierpotenzen)
• Lücken in früheren Forschungen zum Goldenen Schnitt

Kernbeiträge

1. Vollständige Klassifizierung zweiteiliger Machin-Formeln mit 2-ganzzahligen Werten: Zehn isolierte Lösungen und zwei Parameterfamilien
2. Vorstellung der "Machin-Formel-Maschine"-Methode: Systematische Generierung von Machin-Typ-Formeln mit $N$ Termen
3. Beweis der Existenz zweiteiliger Machin-Formeln mit beliebig kleinem Lehmer-Maß: Konstruktiver Beweis
4. Korrektur und Vervollständigung der Klassifizierung von Machin-Formeln mit Potenzen des Goldenen Schnitts: Entdeckung von 16 wesentlich verschiedenen Identitäten

Detaillierte Methoden

Erstes Problem: 2-ganzzahlige Machin-Formeln

Aufgabendefinition

Suche nach allen Lösungen der folgenden Form: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ wobei $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ und $z_k = 2^{a_k}/b_k$ oder $b_k/2^{a_k}$.

Kerntechnik

Verwendung komplexer Darstellung zur Umwandlung des Problems in: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

Analyse der Primfaktorzerlegung in Gaußschen ganzen Zahlen, kombiniert mit bekannten diophantischen Gleichungslösungen:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

Zweites Problem: Machin-Formel-Maschine

Kernidee

Definition rationaler Funktionen $R_j(n,x)$ ($j = 0,1,2,3$), so dass: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

Funktionsdefinition

Basierend auf der De-Moivre-Formel, Definition: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

Konkrete Ausdrücke:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

Hauptsatz

Für ganze Zahlen $r_k$, die $\sum_{k=1}^N r_k = 0$ erfüllen, gilt: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

Drittes Problem: Formeln mit dem Goldenen Schnitt

Problembeschreibung

Klassifizierung aller Formeln der Form: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ wobei $\phi = \frac{1+\sqrt{5}}{2}$ der Goldene Schnitt ist.

Technische Methode

Analyse von Elementen in $K = \mathbb{Q}(i,\sqrt{5})$ durch Norm- und Primfaktorzerlegung, unter Verwendung des wesentlichen Primfaktorsatzes für Fibonacci- und Lucas-Zahlen.

Experimentelle Ergebnisse

Hauptergebnisse

Satz 1: 2-ganzzahlige Machin-Formeln

Entdeckung von zehn isolierten Lösungen und zwei Parameterfamilien:

Beispiele isolierter Lösungen:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (klassische Machin-Formel)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

Parameterfamilien:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

Satz 3: Formeln mit kleinem Lehmer-Maß

Beweis, dass für jedes $\varepsilon > 0$ eine Machin-Formel existiert: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ deren Lehmer-Maß kleiner als $\varepsilon$ ist.

Der konstruktive Beweis basiert auf Kettenbruchkonvergenten von π; detaillierte Ergebnisse siehe Tabelle 1 und Tabelle 2.

Konkrete numerische Beispiele

Tabelle 1 zeigt Formeln basierend auf Kettenbruchkonvergenten von π, wobei das Lehmer-Maß von 0,901429 auf 0,172125 abnimmt.

Tabelle 2 zeigt Formeln basierend auf $2^m$, mit minimalem Lehmer-Maß von 0,199544.

Formeln mit dem Goldenen Schnitt

Entdeckung von 16 wesentlich verschiedenen Identitäten, einschließlich:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

Verwandte Arbeiten

Historische Entwicklung

• Störmer (1895): Beweis, dass Formeln der Form $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ nur vier Lösungen haben
• Lehmer (1938): Einführung des Lehmer-Maßes als Maß für Recheneffizienz
• Moderne Entwicklung: Schnellere π-Berechnungsmethoden wie der Chudnovsky-Algorithmus

Verwandte Forschung

Die "Machin-Formel-Maschine" dieses Papiers erweitert Ergebnisse aus 4, die spezielle Fälle der Funktion $R_3(n,x)$ unter Verwendung rekursiver Beziehungen von Rédei-Polynomen erhalten haben.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vollständige Lösung des Klassifizierungsproblems zweiteiliger Machin-Formeln mit 2-ganzzahligen Werten
2. Bereitstellung einer systematischen Methode zur Konstruktion von Machin-Formeln
3. Beweis, dass Formeln mit beliebig kleinem Lehmer-Maß konstruiert werden können
4. Korrektur und Vervollständigung der Klassifizierung von Formeln mit dem Goldenen Schnitt

Einschränkungen

1. Für Fälle $N > 2$ kann die Methode möglicherweise nicht alle bekannten Formeln abdecken
2. Obwohl Formeln mit kleinem Lehmer-Maß konstruiert werden können, haben die Zähler und Nenner der Brüche viele Stellen, und die praktische Recheneffizienz erfordert Kompromisse
3. Moderne π-Berechnungen verfügen über effizientere Algorithmen (wie den Chudnovsky-Algorithmus), daher ist der praktische Wert von Machin-Typ-Formeln begrenzt

Zukünftige Richtungen

1. Erweiterung auf Machin-Formeln mit mehr Termen
2. Untersuchung anderer spezieller Formen von Arkustangens-Parametern
3. Erkundung von Verbindungen zu elliptischen Funktionen und Modulfunktionen

Tiefgreifende Bewertung

Stärken

1. Theoretische Vollständigkeit: Systematische Lösung mehrerer wichtiger Klassifizierungsprobleme
2. Methodische Innovation: Die vorgestellte "Machin-Formel-Maschine" ist allgemein und praktisch anwendbar
3. Konstruktive Beweise: Nicht nur Existenzbeweise, sondern auch konkrete Konstruktionsmethoden
4. Historische Korrektur: Sorgfältige Behandlung und Korrektur von Lücken in früheren Forschungen

Technische Highlights

1. Geschickte Komplexifizierung: Umwandlung reeller Probleme in algebraische Probleme im komplexen Bereich
2. Anwendung diophantischer Gleichungen: Effektive Nutzung bekannter Lösungen diophantischer Gleichungen
3. Anwendung der Kettenbruchtheorie: Nutzung der Kettenbrucheigenschaften von π zur Konstruktion von Formeln mit kleinem Lehmer-Maß

Mängel

1. Begrenzte praktische Anwendbarkeit: In der modernen hochpräzisen π-Berechnung zeigen diese Formeln keine offensichtlichen Vorteile
2. Komplexitätsprobleme: Die konstruierten Formeln mit kleinem Lehmer-Maß beinhalten ganze Zahlen mit vielen Stellen
3. Verallgemeinerbarkeit: Die Anwendbarkeit der Methode auf allgemeinere Fälle ist begrenzt

Auswirkungen

1. Theoretischer Beitrag: Bereitstellung eines systematischen Rahmens für die Theorie der Machin-Typ-Formeln
2. Rechenmathematik: Neue Werkzeuge für die Untersuchung spezieller Funktionsidentitäten
3. Zahlentheoretische Anwendungen: Demonstration der Kraft algebraischer Zahlentheoriemethoden bei konkreten Problemen

Literaturverzeichnis

Das Papier zitiert 24 wichtige Referenzen, die von klassischen Arbeiten von Machin (1706) und Gregory (1671) bis zu modernen verwandten Forschungen reichen, insbesondere die grundlegenden Arbeiten von Störmer, Lehmer und anderen in diesem Bereich.