Carl Størmer et ses Nombres

Informations Fondamentales

• Identifiant de l'article : 2511.03030
• Titre : Carl Størmer and his Numbers
• Auteurs : Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart
• Classification : math.HO (Histoire des mathématiques) math.NT (Théorie des nombres)
• Date de publication : 4 novembre 2025
• Lien de l'article : https://arxiv.org/abs/2511.03030

Résumé

Dans de nombreuses preuves du théorème de Fermat sur les deux carrés, la solution minimale en résidu positif $x_0$ de l'équation de congruence quadratique $x^2 \equiv -1 \bmod p$ joue un rôle crucial, où $p$ est un nombre premier et $p \equiv 1 \bmod 4$. Un tel $x_0$ est appelé nombre de Størmer, en l'honneur du mathématicien et astronome norvégien Carl Størmer (1874-1957). Cet article établit les conditions nécessaires et suffisantes pour que $x_0 \in \mathbb{N}$ soit un nombre de Størmer pour un certain nombre premier $p \equiv 1 \bmod 4$. L'étude de ces nombres par Størmer provient principalement de ses recherches sur les identités représentant $\pi$ comme combinaisons linéaires finies de certaines valeurs de la série de Gregory-MacLaurin $\arctan(1/x)$. Puisque moins de 600 chiffres de $\pi$ étaient connus en 1900, l'approximation de $\pi$ était un sujet important. Une identité découverte par Størmer en 1896 a été utilisée par Kanada et son équipe en 2002 pour calculer 1,24 billion de chiffres de $\pi$.

Contexte et Motivation de la Recherche

Contexte du Problème

1. Importance du théorème de Fermat sur les deux carrés : Ce théorème, qualifié par G.H. Hardy de « l'un des plus beaux théorèmes de l'arithmétique », énonce qu'un nombre premier $p$ peut être exprimé comme la somme de deux carrés d'entiers positifs si et seulement si $p \equiv 1 \bmod 4$.
2. Rôle central de la congruence quadratique : La plupart des preuves du théorème de Fermat sur les deux carrés impliquent l'étude de l'équation de congruence quadratique $x^2 \equiv -1 \bmod p$. Par exemple, la preuve donnée indépendamment par Hermite et Serret en 1848 suppose que la solution minimale en résidu $x_0$ est connue, puis utilise l'algorithme d'Euclide pour produire un algorithme résolvant les entiers positifs $a, b$ satisfaisant $p = a^2 + b^2$.
3. Signification historique : Bien que Girard ait énoncé le théorème en 1632 et que Fermat ait annoncé une preuve en 1640, la première preuve d'existence enregistrée a été donnée par Euler en 1749, et la preuve d'unicité a été complétée par Gauss en 1801.

Motivation de la Recherche

1. Besoin théorique : Lorsque le nombre premier $p$ est très grand, trouver $x_0$ est difficile en pratique et nécessite des conditions de jugement systématiques.
2. Valeur historique : Les travaux de Carl Størmer connectent la théorie des nombres et l'approximation de $\pi$, possédant une importance significative en histoire des mathématiques.
3. Valeur applicative : Les identités de Størmer continuent de jouer un rôle dans le calcul de $\pi$ à haute précision.

Contributions Principales

1. Établissement d'une caractérisation complète des nombres de Størmer : Fourniture des conditions nécessaires et suffisantes pour qu'un entier positif $x_0$ soit un nombre de Størmer pour un certain nombre premier (Théorème 2.3)
2. Preuve de l'injectivité de la fonction de Størmer : Démonstration que chaque nombre de Størmer correspond à un nombre premier unique (Théorème 2.1)
3. Fourniture d'une preuve heuristique de la densité naturelle des nombres de Størmer : Soutien de la conjecture d'Everest-Harman, selon laquelle la densité naturelle des nombres de Størmer est $\ln 2$
4. Exposition systématique de la connexion entre les nombres de Størmer et les nombres de Gregory : Démonstration de la théorie d'approximation de $\pi$ de Størmer et de ses applications modernes
5. Fourniture d'exemples de calcul enrichis : Illustration de l'application pratique de la théorie par des exemples concrets

Explication Détaillée des Méthodes

Définition de la Tâche

Entrée : Entier positif $x_0$Sortie : Déterminer si $x_0$ est un nombre de Størmer pour un certain nombre premier $p \equiv 1 \bmod 4$, et si c'est le cas, trouver le nombre premier correspondant $p$Contraintes : $p$ doit être un nombre premier de la forme $4n+1$, et $1 < x_0 \leq (p-1)/2$, $x_0^2 \equiv -1 \bmod p$

Cadre Théorique Principal

Définition 2.1 (Nombre de Størmer)

Soit $p = 4n+1$ un nombre premier, et $x_0$ un entier positif satisfaisant :

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

Alors $x_0$ est appelé nombre de Størmer pour $p$, noté $S(p) = x_0$.

Théorèmes Clés

Théorème 2.1 (Injectivité) : La fonction de Størmer $S: P_{4n+1} \to \mathbb{N}$ est injective.

Esquisse de preuve : Supposons que $S(p_1) = S(p_2)$ mais $p_1 \neq p_2$. Sans perte de généralité, supposons $p_1 > p_2$. Puisque $p_j | (x_0^2 + 1)$, nous obtenons $p_1 p_2 | (x_0^2 + 1)$, c'est-à-dire : $x_0^2 + 1 \geq p_1 p_2$

D'autre part, puisque $x_0 \leq (p_2-1)/2$ et $p_2 \leq p_1 - 2$, nous pouvons déduire : $x_0^2 + 1 < p_1 p_2$

Cela produit une contradiction, donc $p_1 = p_2$.

Théorème 2.2 (Propriété des nombres premiers) : Si $x_0^2 + 1 = 2^r p_1^{r_1} \cdots p_m^{r_m}$, alors chaque $p_j \equiv 1 \bmod 4$.

Théorème 2.3 (Conditions nécessaires et suffisantes) : Soit la décomposition en facteurs premiers de $n = x_0^2 + 1$ donnée par $2^r p_1^{r_1} \cdots p_m^{r_m}$, où $p_1 < \cdots < p_m$. Il existe un nombre premier $p$ tel que $x_0$ soit son nombre de Størmer si et seulement si $2x_0 + 1 \leq p_m$. Si la condition est satisfaite, alors $p = p_m$ et $S(p_m) = x_0$.

Points d'Innovation Technique

1. Cadre de jugement unifié : Transformation du problème de jugement des nombres de Størmer en analyse de la décomposition en facteurs premiers de $x_0^2 + 1$
2. Preuve constructive : Non seulement fourniture des conditions de jugement, mais aussi méthode concrète pour trouver le nombre premier correspondant
3. Connexion entre la théorie des nombres et l'analyse : Établissement de liens profonds entre les nombres de Størmer, la série de Gregory, et l'approximation de $\pi$

Configuration Expérimentale

Présentation des Données

L'article fournit deux tableaux de données importants :

Tableau 1 : Paires ordonnées de nombres premiers et de leurs nombres de Størmer correspondants

(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)
...

Tableau 2 : Les premiers nombres de Størmer disposés en ordre croissant

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, ...

Méthodes de Vérification

L'article vérifie les résultats théoriques par des exemples concrets :

Exemple 1 : $x_0 = 3$

• $x_0^2 + 1 = 10 = 2 \times 5$
• $2x_0 + 1 = 7 > 5$
• Par conséquent, 3 n'est pas un nombre de Størmer

Exemple 2 : $x_0 = 15$

• $x_0^2 + 1 = 226 = 2 \times 113$
• $2x_0 + 1 = 31 \leq 113$
• Par conséquent, $S(113) = 15$

Résultats Expérimentaux

Analyse de la Densité Naturelle

L'article fournit des preuves numériques de la densité naturelle des nombres de Størmer :

Ces données soutiennent la conjecture d'Everest-Harman : $\lim_{n \to \infty} \frac{|\{S(p) | p \leq n\}|}{n} = \ln 2 \approx 0,693$

Preuve Heuristique de la Densité

L'article fournit une preuve heuristique basée sur la théorie des probabilités :

Pour $x_0 \in \mathbb{N}$, si $x_0 = S(p)$, alors $2x_0 + 1 \leq p \leq x_0^2 + 1$. En supposant que chaque entier a une « probabilité » de $2/(p-1)$ de devenir un nombre de Størmer, la probabilité que $x_0$ soit un nombre de Størmer est approximativement :

$\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$

En utilisant l'estimation de Mertens, nous obtenons le résultat final.

Nombres de Gregory et Approximation de π

Fondements Théoriques

Størmer a établi la connexion entre les nombres de Størmer et les nombres de Gregory $t_x := \arctan(1/x)$ :

Théorème 5.1 (Théorème de Størmer) : Si $x \in \mathbb{N}$ n'est pas un nombre de Størmer, alors $t_x$ peut être exprimé de manière unique comme une combinaison linéaire finie de $t_n$, où chaque $n$ est un nombre de Størmer et $n < x$.

Applications Historiques

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

Signification Moderne

L'identité de Størmer de 1896 a été utilisée par l'équipe de Kanada en 2002 pour calculer 1,24 billion de chiffres de π, démontrant la valeur durable de la théorie mathématique classique.

Travaux Connexes

Développement Historique

1. Théorème de Fermat sur les deux carrés : Évolution de Girard (1632) à Fermat (1640) à Euler (1749)
2. Méthode de Smith (1855) : Preuve d'existence élégante utilisant l'algorithme d'Euclide et la théorie des fractions continues
3. Algorithme de Hermite-Serret (1848) : Algorithme de construction de décomposition en somme de carrés basé sur les nombres de Størmer connus

Recherches Connexes

1. Définition de Conway-Guy : Définition légèrement différente des nombres de Størmer, incluant le cas n=1
2. Travaux de Lehmer : Étude des identités de la fonction arccotangente
3. Théorème de Todd : Caractérisation de l'irréductibilité de la fonction arctangente

Conclusions et Discussion

Conclusions Principales

1. Caractérisation complète : Établissement des conditions de jugement nécessaires et suffisantes pour les nombres de Størmer, résolvant un problème de longue date
2. Unification théorique : Unification des nombres de Størmer, du théorème de Fermat sur les deux carrés, de la série de Gregory et de l'approximation de $\pi$ dans un cadre théorique unique
3. Valeur historique : Synthèse systématique des contributions mathématiques de Carl Størmer et de leur signification moderne

Limitations

1. Preuve de densité : La preuve de la densité naturelle reste heuristique, manquant de rigueur mathématique
2. Complexité computationnelle : Pour les grands $x_0$, le jugement de savoir si c'est un nombre de Størmer nécessite la factorisation de $x_0^2 + 1$, ce qui peut être computationnellement difficile
3. Portée applicative : Principalement limitée aux mathématiques théoriques, avec des applications pratiques relativement limitées

Directions Futures

1. Preuve de densité rigoureuse : Recherche d'une preuve mathématique rigoureuse de la conjecture d'Everest-Harman
2. Optimisation algorithmique : Développement d'algorithmes plus efficaces pour le jugement et le calcul des nombres de Størmer
3. Recherche généralisée : Exploration de l'application de structures similaires dans d'autres branches des mathématiques

Évaluation Approfondie

Avantages

1. Complétude théorique : Fourniture d'une caractérisation mathématique complète des nombres de Størmer, comblant une lacune théorique
2. Valeur historique : Introduction systématique de la vie et des contributions de Carl Størmer, possédant une importance significative en histoire des mathématiques
3. Forte connectivité : Connexion habile entre la théorie des nombres, l'analyse et le calcul de π, reliant plusieurs branches des mathématiques
4. Exemples enrichis : Illustration de l'application de la théorie par de nombreux exemples concrets, améliorant la lisibilité
5. Écriture claire : Structure d'article claire, progression graduelle des définitions fondamentales aux applications approfondies

Insuffisances

1. Efficacité computationnelle : Pour les applications pratiques, la complexité computationnelle de la factorisation en nombres premiers peut devenir un goulot d'étranglement
2. Preuve de densité : La preuve de la densité naturelle manque de rigueur mathématique, n'étant que heuristique
3. Limitations applicatives : Bien que la théorie soit complète, la valeur pratique moderne est relativement limitée
4. Degré d'innovation : Principalement une systématisation de la théorie existante, avec des contributions originales relativement limitées

Influence

1. Contribution théorique : Fourniture de nouveaux outils et perspectives pour la recherche en théorie des nombres
2. Valeur éducative : Appropriée comme matériel d'enseignement pour la théorie des nombres et l'histoire des mathématiques
3. Signification inspirante : Peut inspirer des recherches ultérieures sur les structures mathématiques connexes
4. Reproductibilité : Les résultats théoriques sont clairs, les exemples de calcul faciles à vérifier

Scénarios Applicables

1. Recherche en théorie des nombres : Fourniture de nouvelles méthodes pour l'étude de la congruence quadratique et des propriétés des nombres premiers
2. Éducation mathématique : Cas d'enseignement excellent pour connecter différentes branches des mathématiques
3. Recherche en histoire des mathématiques : Fourniture de matériel important pour comprendre le développement des mathématiques aux XIXe-XXe siècles
4. Conception d'algorithmes : Fourniture de fondements théoriques pour les problèmes de calcul connexes

Références Bibliographiques

L'article cite 21 références importantes, couvrant un large éventail allant des manuels classiques de théorie des nombres aux mathématiques computationnelles modernes, reflétant la profondeur et l'ampleur de la recherche. Les références clés incluent le Traité de théorie des nombres d'Andrews, le Livre des nombres de Conway et Guy, ainsi que les articles originaux de Størmer.