2025-11-10T03:14:45.496353

Gauss and p-adic numbers

Lemmermeyer
In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of $5$ in the $11$-adic integers in order to find an $11$-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of $1$ in $10$-adic integers, and computes the $10$-adic logarithms of small natural numbers.
academic

Gauss et les nombres p-adiques

Informations fondamentales

  • ID de l'article: 2510.11559
  • Titre: Gauss et les nombres p-adiques
  • Auteur: F. Lemmermeyer
  • Classification: math.NT (Théorie des nombres), math.HO (Histoire et aperçu)
  • Date de publication: 13 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.11559

Résumé

Dans ses carnets, Gauss a enregistré diverses calculs avec des « congruences infinies ». Ces congruences infinies sont des nombres p-adiques ; Gauss calcule une racine carrée de 55 dans les entiers 1111-adiques afin de trouver une approximation 1111-adique d'une somme de Gauss quadratique, calcule une racine carrée non triviale de 11 dans les entiers 1010-adiques, et calcule les logarithmes 1010-adiques de petits nombres naturels.

Contexte et motivation de la recherche

Contexte historique

Le concept de nombres p-adiques est généralement attribué à Hensel, qui a introduit cette théorie en 1899. Hasse a ensuite rendu les nombres p-adiques indispensables à la théorie algébrique des nombres en découvrant le principe local-global. Cependant, cet article révèle un fait historique important :

  1. Travaux précurseurs de Gauss : Gauss a enregistré dans ses carnets de juillet 1800 des calculs relatifs aux « congruences infinies », qui sont en réalité des nombres p-adiques !
  2. Signification de l'époque : Cela précède l'introduction formelle de Hensel de près de 100 ans, démontrant la perspicacité mathématique avant-gardiste de Gauss
  3. Valeur de la recherche : Réexaminer l'histoire des mathématiques et découvrir les contributions importantes qui ont été négligées

Motivation de la recherche

  • Analyser les carnets originaux de Gauss pour révéler les véritables origines du concept de nombres p-adiques
  • Déchiffrer les calculs de Gauss en « congruences infinies » modulo 241, modulo 11 et modulo 10
  • Démontrer que Gauss maîtrisait déjà les opérations arithmétiques p-adiques fondamentales

Contributions principales

  1. Découverte historique : Prouver que Gauss utilisait déjà le concept de nombres p-adiques en 1800, 99 ans avant Hensel
  2. Interprétation technique : Analyser en détail trois catégories de calculs p-adiques de Gauss :
    • Racines p-adiques de polynômes
    • Approximations p-adiques de sommes de Gauss quadratiques
    • Racines carrées et logarithmes dans les nombres 10-adiques
  3. Reconstruction méthodologique : Réinterpréter les méthodes de calcul de Gauss à l'aide de la théorie p-adique moderne
  4. Vérification computationnelle : Valider l'exactitude des calculs de Gauss à l'aide d'outils informatiques modernes

Explication détaillée des méthodes

Définition des tâches

Le cœur de cet article consiste à déchiffrer et vérifier trois catégories de calculs de nombres p-adiques dans les carnets de Gauss :

  1. Résoudre le polynôme f(x)=x520x486x398x2+80x+3f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 dans les nombres 241-adiques
  2. Calculer le développement de 5\sqrt{5} dans les nombres 11-adiques
  3. Calculer les racines carrées non triviales de 1 et les logarithmes de nombres naturels dans les nombres 10-adiques

Méthodes de calcul fondamentales

1. Relèvement des racines de polynômes p-adiques

Gauss a utilisé une méthode similaire à ce qu'on appelle maintenant le « lemme de Hensel » :

  • Trouver d'abord la racine du polynôme modulo p
  • Puis relever progressivement à la racine modulo pnp^n
  • Pour la racine x12(mod241)x_1 \equiv 2 \pmod{241}, Gauss a calculé : x1=2+191241+1602412+x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots

2. Calcul de la racine carrée 11-adique

Gauss a calculé le développement de 5\sqrt{5} dans les nombres 11-adiques : 5=4+411+10112+4113+0114+9115+\sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots

Stratégie de calcul :

  • Trouver la solution n=3n = 3 de 5n21(mod11)5n^2 \equiv 1 \pmod{11}
  • Utiliser le développement binomial : 1+x=1+12x18x2+\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots
  • Poser x=411x = 4 \cdot 11 et calculer 1+411\sqrt{1 + 4 \cdot 11}
  • Finalement diviser par n=3n = 3 pour obtenir le résultat

3. Calculs spéciaux dans les nombres 10-adiques

Gauss a calculé la racine carrée non triviale de 1 dans les nombres 10-adiques : ε=2001114846846461792218008213239954784512519836425781249\varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249

Utilisant la relation de récurrence : si 1a210nr(mod10n+2)1 - a^2 \equiv 10^n r \pmod{10^{n+2}}, alors : br2(mod10)b \equiv -\frac{r}{2} \pmod{10}

Points d'innovation technique

  1. Méthodes arithmétiques : Gauss a développé les opérations arithmétiques fondamentales des nombres p-adiques
  2. Développements en série : Utilisation des séries binomiales et logarithmiques pour les calculs p-adiques
  3. Techniques de relèvement : Maîtrise de la méthode de relèvement des racines de modulo p à modulo pnp^n
  4. Utilisation d'isomorphismes : Utilisation implicite de la structure Z10Z2Z5\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5

Configuration expérimentale

Outils de vérification

L'auteur utilise l'outil informatique moderne PARI/GP pour vérifier les calculs de Gauss :

sqrt(5 + O(11^8)) = 4 + 4·11 + 10·11^2 + 4·11^3 + 9·11^5 + 5·11^6 + 8·11^7 + O(11^8)

Méthodes comparatives

  • Calculs manuels de Gauss vs vérification informatique moderne
  • Méthodes historiques vs méthodes standard de la théorie p-adique moderne

Résultats expérimentaux

Résultats de vérification principaux

1. Vérification de la racine carrée 11-adique

Calcul de Gauss : 5=9.0.4.10.4.4\sqrt{5} = 9.0.4.10.4.4 (lu de droite à gauche) Vérification moderne : Complètement correct, précision jusqu'à 11611^6

2. Calcul des périodes quadratiques

Lors du calcul des périodes quadratiques a=1+52a = \frac{-1+\sqrt{5}}{2} et b=152b = \frac{-1-\sqrt{5}}{2}, Gauss a commis une erreur :

  • Valeur correcte : a=6.7.9.9.8.7a = 6.7.9.9.8.7
  • Valeur de Gauss : a=10.0.2.5.2.7a = 10.0.2.5.2.7 (erreur de retenue lors de la division)

3. Calcul des logarithmes 10-adiques

Les valeurs logarithmiques calculées par Gauss concordent essentiellement avec les calculs modernes :

  • log(31)=80666080\log(31) = 80666080 (Gauss)
  • La vérification moderne a confirmé la propriété logarithmique log(ab)=log(a)+log(b)\log(ab) = \log(a) + \log(b)

Analyse de la précision de calcul

  • La plupart des calculs sont exacts jusqu'à p6p^6 ou une précision supérieure
  • Certains calculs contiennent des erreurs arithmétiques, mais la méthode est correcte
  • Démontre la capacité de calcul extraordinaire de Gauss

Travaux connexes

Contexte historique

  1. Hensel (1899) : Introduction formelle de la théorie des nombres p-adiques
  2. Hasse : Développement du principe local-global
  3. Recherche de Frei : Indication que Gauss connaissait le « lemme de Hensel »
  4. Découverte de cet article : Gauss maîtrisait en réalité l'arithmétique p-adique complète

Développements modernes

  • Position centrale des nombres p-adiques en théorie algébrique des nombres
  • Applications en cryptographie et théorie computationnelle des nombres
  • Connexions avec la théorie locale des corps de classes

Conclusion et discussion

Conclusions principales

  1. Repositionnement historique : Gauss est le véritable précurseur du concept de nombres p-adiques, 99 ans avant Hensel
  2. Réalisations techniques : Gauss maîtrisait déjà les opérations fondamentales des nombres p-adiques, ainsi que des opérations avancées comme les racines carrées et les logarithmes
  3. Valeur méthodologique : Les méthodes de calcul de Gauss sont hautement cohérentes avec la théorie moderne

Limitations

  1. Limitations documentaires : Basé uniquement sur les carnets existants de Gauss, il peut y avoir du matériel non découvert
  2. Difficultés d'interprétation : L'intention et la méthode de certains calculs nécessitent une étude plus approfondie
  3. Système de notation : La signification de la notation Λ\Lambda utilisée par Gauss reste peu claire

Directions futures

  1. Exploration approfondie : Poursuivre l'étude des autres carnets et matériaux non publiés de Gauss
  2. Reconstruction méthodologique : Reconstruire complètement la théorie p-adique de Gauss en langage moderne
  3. Applications pédagogiques : Utiliser les méthodes intuitives de Gauss pour l'enseignement des nombres p-adiques

Évaluation approfondie

Points forts

  1. Valeur historiographique : Découverte majeure en histoire des mathématiques, réécrit les origines des nombres p-adiques
  2. Profondeur technique : Analyse détaillée des calculs et vérification moderne
  3. Fondation documentaire : Recherche solide basée sur des sources primaires
  4. Dialogue transtemporel : Fusion parfaite des méthodes classiques et de la théorie moderne

Insuffisances

  1. Complétude de l'interprétation : Le but et la méthode de certains calculs restent insuffisamment clairs
  2. Profondeur théorique : L'analyse se situe principalement au niveau computationnel, avec une discussion théorique relativement limitée
  3. Analyse d'impact : Manque d'analyse sur les raisons pour lesquelles ces travaux de Gauss n'ont pas été publiés et diffusés

Impact

  1. Impact académique : Modifiera les récits des manuels d'histoire des mathématiques concernant les origines des nombres p-adiques
  2. Valeur éducative : Fournit une perspective historique et intuitive pour l'enseignement des nombres p-adiques
  3. Inspiration pour la recherche : Stimule la réexamination des origines historiques d'autres concepts mathématiques

Domaines d'application

  • Recherche en histoire des mathématiques
  • Enseignement de la théorie des nombres p-adiques
  • Recherche sur les méthodes de théorie computationnelle des nombres
  • Étude de la pensée mathématique de Gauss

Références bibliographiques

Les principales références incluent :

  1. Les carnets originaux de Gauss (Cod. Ms. Gauß Schedae 5)
  2. Les travaux fondateurs de Hensel sur les nombres p-adiques (1899)
  3. La recherche de Frei sur les travaux non publiés du chapitre huit de Gauss
  4. Les premières littératures du 19e siècle sur le problème des « nombres auto-reproducteurs »

Évaluation générale : Cet article est une recherche importante en histoire des mathématiques qui, par une analyse approfondie des carnets originaux de Gauss, révèle les véritables origines du concept de nombres p-adiques. L'article possède non seulement une valeur historiographique importante, mais démontre également la perspicacité mathématique de Gauss qui transcendait son époque. Bien que certains détails techniques d'interprétation méritent une étude plus approfondie, cette découverte modifiera sans doute notre compréhension de l'histoire des nombres p-adiques.