Carl Størmer und seine Zahlen

Grundlegende Informationen

• Papier-ID: 2511.03030
• Titel: Carl Størmer and his Numbers
• Autoren: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart
• Klassifizierung: math.HO (Mathematikgeschichte) math.NT (Zahlentheorie)
• Veröffentlichungsdatum: 4. November 2025
• Papierlink: https://arxiv.org/abs/2511.03030

Zusammenfassung

Bei vielen Beweisen des Fermatschen Satzes über zwei Quadrate spielt die minimale positive Restklassenlösung $x_0$ der quadratischen Kongruenzgleichung $x^2 \equiv -1 \bmod p$ eine Schlüsselrolle, wobei $p$ eine Primzahl mit $p \equiv 1 \bmod 4$ ist. Ein solches $x_0$ wird als Størmer-Zahl bezeichnet, benannt nach dem norwegischen Mathematiker und Astronomen Carl Størmer (1874-1957). Dieses Papier etabliert notwendige und hinreichende Bedingungen dafür, dass $x_0 \in \mathbb{N}$ eine Størmer-Zahl einer bestimmten Primzahl $p \equiv 1 \bmod 4$ ist. Størmer's Untersuchung dieser Zahlen stammte hauptsächlich aus seiner Forschung zu Identitäten, die $\pi$ als endliche Linearkombinationen bestimmter Werte der Gregory-MacLaurin-Reihe $\arctan(1/x)$ darstellen. Da 1900 weniger als 600 Dezimalstellen von $\pi$ bekannt waren, war die Approximation von $\pi$ ein wichtiges Forschungsthema. Eine von Størmer 1896 entdeckte Identität wurde von Kanada und seinem Team 2002 verwendet, um 1,24 Billionen Dezimalstellen von $\pi$ zu berechnen.

Forschungshintergrund und Motivation

Problemhintergrund

1. Bedeutung des Fermatschen Satzes über zwei Quadrate: Dieser Satz wird von G.H. Hardy als "einer der schönsten Sätze der Arithmetik" bezeichnet. Er besagt, dass eine Primzahl $p$ genau dann als Summe zweier positiver Quadratzahlen dargestellt werden kann, wenn $p \equiv 1 \bmod 4$.
2. Zentrale Rolle quadratischer Kongruenzen: Die meisten Beweise des Fermatschen Satzes über zwei Quadrate befassen sich mit der Untersuchung der quadratischen Kongruenzgleichung $x^2 \equiv -1 \bmod p$. Beispielsweise setzen die 1848 unabhängig von Hermite und Serret gegebenen Beweise die Kenntnis der minimalen Restklassenlösung $x_0$ voraus und verwenden dann den Euklidischen Algorithmus, um einen Algorithmus zur Bestimmung positiver ganzer Zahlen $a, b$ mit $p = a^2 + b^2$ zu erzeugen.
3. Historische Bedeutung: Obwohl Girard den Satz 1632 formulierte und Fermat 1640 einen Beweis ankündigte, war der erste aufgezeichnete Existenzbeweis von Euler 1749, und der Eindeutigkeitsbeweis wurde von Gauss 1801 erbracht.

Forschungsmotivation

1. Theoretische Anforderungen: Wenn die Primzahl $p$ groß ist, ist die Bestimmung von $x_0$ in der Praxis schwierig und erfordert systematische Entscheidungskriterien.
2. Historischer Wert: Carl Størmer's Arbeit verbindet Zahlentheorie und die Approximation von $\pi$ und hat große mathematikhistorische Bedeutung.
3. Anwendungswert: Størmer's Identitäten spielen bis heute eine Rolle bei der hochpräzisen Berechnung von $\pi$.

Kernbeiträge

1. Etablierung einer vollständigen Charakterisierung der Størmer-Zahlen: Bereitstellung notwendiger und hinreichender Bedingungen dafür, dass eine positive ganze Zahl $x_0$ eine Størmer-Zahl einer bestimmten Primzahl ist (Satz 2.3)
2. Beweis der Injektivität der Størmer-Funktion: Nachweis, dass jede Størmer-Zahl einer eindeutigen Primzahl entspricht (Satz 2.1)
3. Heuristische Darstellung der natürlichen Dichte von Størmer-Zahlen: Unterstützung der Everest-Harman-Vermutung, dass die natürliche Dichte der Størmer-Zahlen $\ln 2$ beträgt
4. Systematische Darlegung der Verbindung zwischen Størmer-Zahlen und Gregory-Zahlen: Darstellung von Størmer's Theorie der $\pi$-Approximation und ihrer modernen Anwendungen
5. Bereitstellung reichhaltiger Rechenbeispiele: Veranschaulichung der praktischen Anwendung der Theorie durch konkrete Beispiele

Methodische Erläuterung

Aufgabendefinition

Eingabe: Positive ganze Zahl $x_0$Ausgabe: Bestimmung, ob $x_0$ eine Størmer-Zahl einer bestimmten Primzahl $p \equiv 1 \bmod 4$ ist; wenn ja, Auffindung der entsprechenden Primzahl $p$Einschränkungen: $p$ muss eine Primzahl der Form $4n+1$ sein, und es muss gelten $1 < x_0 \leq (p-1)/2$ sowie $x_0^2 \equiv -1 \bmod p$

Theoretischer Kernrahmen

Definition 2.1 (Størmer-Zahl)

Sei $p = 4n+1$ eine Primzahl und $x_0$ eine positive ganze Zahl, die folgende Bedingungen erfüllt:

• (i) $1 < x_0 \leq \frac{p-1}{2}$
• (ii) $x_0^2 \equiv -1 \bmod p$

Dann wird $x_0$ als Størmer-Zahl von $p$ bezeichnet, notiert als $S(p) = x_0$.

Schlüsselsätze

Satz 2.1 (Injektivität): Die Størmer-Funktion $S: P_{4n+1} \to \mathbb{N}$ ist injektiv.

Beweisidee: Angenommen, $S(p_1) = S(p_2)$ aber $p_1 \neq p_2$. Ohne Beschränkung der Allgemeinheit sei $p_1 > p_2$. Da $p_j | (x_0^2 + 1)$, folgt $p_1 p_2 | (x_0^2 + 1)$, also: $x_0^2 + 1 \geq p_1 p_2$

Andererseits folgt aus $x_0 \leq (p_2-1)/2$ und $p_2 \leq p_1 - 2$: $x_0^2 + 1 < p_1 p_2$

Dies führt zu einem Widerspruch, daher $p_1 = p_2$.

Satz 2.2 (Primzahleigenschaft): Wenn $x_0^2 + 1 = 2^r p_1^{r_1} \cdots p_m^{r_m}$, dann erfüllt jedes $p_j$ die Bedingung $p_j \equiv 1 \bmod 4$.

Satz 2.3 (Notwendige und hinreichende Bedingungen): Sei die Primfaktorzerlegung von $n = x_0^2 + 1$ gegeben durch $2^r p_1^{r_1} \cdots p_m^{r_m}$, wobei $p_1 < \cdots < p_m$. Dann existiert eine Primzahl $p$, für die $x_0$ eine Størmer-Zahl ist, genau dann wenn $2x_0 + 1 \leq p_m$. Falls die Bedingung erfüllt ist, dann $p = p_m$ und $S(p_m) = x_0$.

Technische Innovationspunkte

1. Einheitlicher Entscheidungsrahmen: Umwandlung des Bestimmungsproblems für Størmer-Zahlen in die Analyse der Primfaktorzerlegung von $x_0^2 + 1$
2. Konstruktiver Beweis: Nicht nur Bereitstellung von Entscheidungskriterien, sondern auch konkrete Methoden zur Auffindung der entsprechenden Primzahl
3. Verbindung von Zahlentheorie und Analysis: Etablierung tiefgreifender Zusammenhänge zwischen Størmer-Zahlen, Gregory-Reihen und der Approximation von $\pi$

Experimentelle Einrichtung

Datendarstellung

Das Papier bietet zwei wichtige Datentabellen:

Tabelle 1: Geordnete Paare von Primzahlen und entsprechenden Størmer-Zahlen

(5,2), (13,5), (17,4), (29,12), (37,6), (41,9), (53,23)
(61,11), (73,27), (89,14), (97,22), (101,10), (109,33), (113,15)
...

Tabelle 2: Die ersten mehreren Størmer-Zahlen in aufsteigender Reihenfolge

1, 2, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34, 35, 36, 37, 39, 40, 42, ...

Verifikationsmethoden

Das Papier verifiziert theoretische Ergebnisse durch konkrete Beispiele:

Beispiel 1: $x_0 = 3$

• $x_0^2 + 1 = 10 = 2 \times 5$
• $2x_0 + 1 = 7 > 5$
• Daher ist 3 keine Størmer-Zahl

Beispiel 2: $x_0 = 15$

• $x_0^2 + 1 = 226 = 2 \times 113$
• $2x_0 + 1 = 31 \leq 113$
• Daher $S(113) = 15$

Experimentelle Ergebnisse

Analyse der natürlichen Dichte

Das Papier bietet numerische Evidenz für die natürliche Dichte von Størmer-Zahlen:

Diese Daten unterstützen die Everest-Harman-Vermutung: $\lim_{n \to \infty} \frac{|\{S(p) | p \leq n\}|}{n} = \ln 2 \approx 0,693$

Heuristische Dichtedarstellung

Das Papier bietet einen auf Wahrscheinlichkeitstheorie basierenden heuristischen Beweis:

Für $x_0 \in \mathbb{N}$ gilt: wenn $x_0 = S(p)$, dann $2x_0 + 1 \leq p \leq x_0^2 + 1$. Unter der Annahme, dass die "Wahrscheinlichkeit" für jede ganze Zahl, eine Størmer-Zahl zu sein, etwa $2/(p-1)$ beträgt, ist die Wahrscheinlichkeit, dass $x_0$ eine Størmer-Zahl ist, ungefähr:

$\sum_{2x_0+1 \leq p \leq x_0^2+1, p \equiv 1 \bmod 4} \frac{2}{p-1} \sim \sum_{2x_0 \leq p \leq x_0^2} \frac{1}{p} \sim \ln 2$

Unter Verwendung der Mertens-Schätzung wird das Endergebnis erhalten.

Gregory-Zahlen und die Approximation von π

Theoretische Grundlagen

Størmer etablierte eine Verbindung zwischen Størmer-Zahlen und Gregory-Zahlen $t_x := \arctan(1/x)$:

Satz 5.1 (Størmer-Satz): Wenn $x \in \mathbb{N}$ keine Størmer-Zahl ist, dann kann $t_x$ eindeutig als endliche Linearkombination von $t_n$ dargestellt werden, wobei jedes $n$ eine Størmer-Zahl mit $n < x$ ist.

Historische Anwendungen

1. Machin-Formel (1706): $\frac{\pi}{4} = 4\arctan\frac{1}{5} - \arctan\frac{1}{239}$
2. Euler-Formel: $\frac{\pi}{4} = 5\arctan\frac{1}{7} + 2\arctan\frac{79}{3}$
3. Størmer-Formel (1896): $\frac{\pi}{4} = 44\arctan\frac{1}{57} + 7\arctan\frac{1}{239} - 12\arctan\frac{1}{682} + 24\arctan\frac{1}{12943}$

Moderne Bedeutung

Størmer's Identität von 1896 wurde vom Kanada-Team 2002 zur Berechnung von 1,24 Billionen Dezimalstellen von $\pi$ verwendet und zeigt den bleibenden Wert klassischer mathematischer Theorie.

Verwandte Arbeiten

Historische Entwicklung

1. Fermatscher Satz über zwei Quadrate: Entwicklung von Girard (1632) über Fermat (1640) bis Euler (1749)
2. Smith-Methode (1855): Eleganter Existenzbeweis unter Verwendung des Euklidischen Algorithmus und der Kettenbruchtheorie
3. Hermite-Serret-Algorithmus (1848): Algorithmus zur Konstruktion von Quadratsummenzerlegungen basierend auf bekannten Størmer-Zahlen

Verwandte Forschung

1. Conway-Guy-Definition: Leicht unterschiedliche Definition von Størmer-Zahlen, die den Fall n=1 einschließt
2. Lehmer-Arbeit: Untersuchung von Identitäten der Arccotangens-Funktion
3. Todd-Satz: Charakterisierung der Irreduzibilität von Arkustangens-Funktionen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vollständige Charakterisierung: Etablierung notwendiger und hinreichender Entscheidungskriterien für Størmer-Zahlen, Lösung eines lange bestehenden Problems
2. Theoretische Vereinigung: Vereinigung von Størmer-Zahlen, Fermatschen Satz über zwei Quadrate, Gregory-Reihen und der Approximation von $\pi$ in einem theoretischen Rahmen
3. Historischer Wert: Systematische Zusammenfassung von Carl Størmer's mathematischen Beiträgen und ihrer modernen Bedeutung

Einschränkungen

1. Dichtebeweise: Der Beweis der natürlichen Dichte bleibt heuristisch und entbehrt einer strengen mathematischen Begründung
2. Rechenkomplexität: Für große $x_0$ erfordert die Bestimmung, ob es sich um eine Størmer-Zahl handelt, die Faktorisierung von $x_0^2 + 1$, was rechnerisch schwierig sein kann
3. Anwendungsbereich: Hauptsächlich auf theoretische Mathematik beschränkt, mit relativ begrenzten praktischen Anwendungen

Zukünftige Richtungen

1. Strenger Dichtebeweise: Suche nach strengem mathematischem Beweis der Everest-Harman-Vermutung
2. Algorithmusoptimierung: Entwicklung effizienterer Algorithmen zur Bestimmung und Berechnung von Størmer-Zahlen
3. Verallgemeinerungsforschung: Erkundung ähnlicher Strukturen in anderen mathematischen Bereichen

Tiefgreifende Bewertung

Stärken

1. Theoretische Vollständigkeit: Bereitstellung einer vollständigen mathematischen Charakterisierung von Størmer-Zahlen, Schließung theoretischer Lücken
2. Historischer Wert: Systematische Einführung in Carl Størmer's Leben und Beiträge mit großer mathematikhistorischer Bedeutung
3. Starke Verbindungen: Geschickte Verbindung von Zahlentheorie, Analysis und der Berechnung von $\pi$
4. Reichhaltige Beispiele: Veranschaulichung der Anwendung der Theorie durch zahlreiche konkrete Beispiele, erhöhte Lesbarkeit
5. Klare Darstellung: Klare Papierstruktur mit schrittweiser Progression von grundlegenden Definitionen zu tiefgreifenden Anwendungen

Schwächen

1. Recheneffizienz: Für praktische Anwendungen kann die rechnerische Komplexität der Primfaktorzerlegung ein Engpass werden
2. Dichtebeweise: Der Beweis der natürlichen Dichte entbehrt mathematischer Strenge und ist nur heuristisch
3. Anwendungsbeschränkungen: Obwohl die Theorie vollständig ist, ist der moderne praktische Wert relativ begrenzt
4. Innovationsgrad: Hauptsächlich Systematisierung bestehender Theorien mit relativ geringeren Originalitätsbeiträgen

Einflussfähigkeit

1. Theoretischer Beitrag: Bereitstellung neuer Werkzeuge und Perspektiven für zahlentheoretische Forschung
2. Pädagogischer Wert: Geeignet als Lehr- und Lernmaterial für Zahlentheorie und Mathematikgeschichte
3. Inspirierendes Potenzial: Kann weitere Forschung zu verwandten mathematischen Strukturen anregen
4. Reproduzierbarkeit: Klare theoretische Ergebnisse, leicht zu verifizierende Rechenbeispiele

Anwendungsszenarien

1. Zahlentheoretische Forschung: Bereitstellung neuer Methoden zur Untersuchung quadratischer Kongruenzen und Primzahleigenschaften
2. Mathematische Ausbildung: Ausgezeichnetes Lehrbeispiel zur Verbindung verschiedener mathematischer Bereiche
3. Mathematikhistorische Forschung: Wichtiges Material zum Verständnis der mathematischen Entwicklung des 19. und 20. Jahrhunderts
4. Algorithmisches Design: Theoretische Grundlagen für verwandte Rechenproblem

Literaturverzeichnis

Das Papier zitiert 21 wichtige Literaturquellen, die von klassischen zahlentheoretischen Lehrbüchern bis zu moderner Rechenmathematik reichen und die Tiefe und Breite der Forschung widerspiegeln. Wichtige Referenzen umfassen Andrews' "Zahlentheorie", Conway und Guy's "Das Buch der Zahlen" sowie Størmer's Originalarbeiten.