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.
ID del artículo : 2510.11559Título : Gauss y números p-ádicosAutor : F. LemmermeyerClasificación : math.NT (Teoría de Números), math.HO (Historia y Perspectiva General)Fecha de publicación : 13 de octubre de 2025Enlace del artículo : https://arxiv.org/abs/2510.11559 En sus cuadernos, Gauss registró varios cálculos con "congruencias infinitas". Estas congruencias infinitas son números p-ádicos; Gauss calcula una raíz cuadrada de 5 5 5 en los enteros 11 11 11 -ádicos para encontrar una aproximación 11 11 11 -ádica a una suma de Gauss cuadrática, calcula una raíz cuadrada no trivial de 1 1 1 en enteros 10 10 10 -ádicos, y calcula los logaritmos 10 10 10 -ádicos de números naturales pequeños.
El concepto de números p-ádicos se atribuye típicamente a Hensel, quien introdujo esta teoría en 1899. Hasse posteriormente hizo que los números p-ádicos fueran herramientas indispensables en la teoría algebraica de números al descubrir el principio local-global. Sin embargo, este artículo revela un hecho histórico importante:
Trabajo pionero de Gauss : Gauss ya había registrado en sus cuadernos de julio de 1800 cálculos relacionados con "congruencias infinitas", ¡que son en realidad números p-ádicos!Significado de la época : Esto precede a la introducción formal de Hensel por casi 100 años, demostrando la perspicacia matemática adelantada de GaussValor de investigación : Revisar la historia matemática para descubrir contribuciones importantes que fueron pasadas por altoAnalizar los cuadernos originales de Gauss para revelar los verdaderos orígenes del concepto de números p-ádicos Interpretar los cálculos de "congruencias infinitas" de Gauss módulo 241, módulo 11 y módulo 10 Demostrar que Gauss ya dominaba las operaciones aritméticas p-ádicas fundamentales Descubrimiento histórico : Demostrar que Gauss ya utilizaba el concepto de números p-ádicos en 1800, 99 años antes que HenselInterpretación técnica : Análisis detallado de tres clases de cálculos p-ádicos de Gauss:
Raíces p-ádicas de polinomios Aproximaciones p-ádicas de sumas de Gauss cuadráticas Raíces cuadradas y logaritmos en números 10-ádicos Reconstrucción de métodos : Reinterpretación de los métodos de cálculo de Gauss utilizando teoría p-ádica modernaVerificación computacional : Verificación de la exactitud de los cálculos de Gauss utilizando herramientas computacionales modernasLa tarea central de este artículo es interpretar y verificar tres clases de cálculos de números p-ádicos en los cuadernos de Gauss:
Resolver el polinomio f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 en números 241-ádicos Calcular la expansión de 5 \sqrt{5} 5 en números 11-ádicos Calcular raíces cuadradas no triviales de 1 en números 10-ádicos y logaritmos de números naturales Gauss utilizó un método similar al que ahora se conoce como "Lema de Hensel":
Primero encontrar la raíz del polinomio módulo p Luego elevar gradualmente a raíces módulo p n p^n p n Para la raíz x 1 ≡ 2 ( m o d 241 ) x_1 \equiv 2 \pmod{241} x 1 ≡ 2 ( mod 241 ) , Gauss calculó:
x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 241 2 + ⋯ x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 24 1 2 + ⋯ Gauss calculó la expansión de 5 \sqrt{5} 5 en números 11-ádicos:
5 = 4 + 4 ⋅ 11 + 10 ⋅ 11 2 + 4 ⋅ 11 3 + 0 ⋅ 11 4 + 9 ⋅ 11 5 + ⋯ \sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots 5 = 4 + 4 ⋅ 11 + 10 ⋅ 1 1 2 + 4 ⋅ 1 1 3 + 0 ⋅ 1 1 4 + 9 ⋅ 1 1 5 + ⋯
Estrategia de cálculo :
Encontrar la solución n = 3 n = 3 n = 3 de 5 n 2 ≡ 1 ( m o d 11 ) 5n^2 \equiv 1 \pmod{11} 5 n 2 ≡ 1 ( mod 11 ) Utilizar la expansión binomial: 1 + x = 1 + 1 2 x − 1 8 x 2 + ⋯ \sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots 1 + x = 1 + 2 1 x − 8 1 x 2 + ⋯ Establecer x = 4 ⋅ 11 x = 4 \cdot 11 x = 4 ⋅ 11 y calcular 1 + 4 ⋅ 11 \sqrt{1 + 4 \cdot 11} 1 + 4 ⋅ 11 Finalmente dividir por n = 3 n = 3 n = 3 para obtener el resultado Gauss calculó la raíz cuadrada no trivial de 1 en números 10-ádicos:
ε = ⋯ 2001114846846461792218008213239954784512519836425781249 \varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249 ε = ⋯ 2001114846846461792218008213239954784512519836425781249
Utilizando la relación recursiva: si 1 − a 2 ≡ 10 n r ( m o d 10 n + 2 ) 1 - a^2 \equiv 10^n r \pmod{10^{n+2}} 1 − a 2 ≡ 1 0 n r ( mod 1 0 n + 2 ) , entonces:
b ≡ − r 2 ( m o d 10 ) b \equiv -\frac{r}{2} \pmod{10} b ≡ − 2 r ( mod 10 )
Métodos aritméticos : Gauss desarrolló operaciones aritméticas fundamentales de números p-ádicosExpansiones en series : Utilización de series binomiales y series logarítmicas para cálculos p-ádicosTécnicas de elevación : Dominio del método de elevar raíces de módulo p a módulo p n p^n p n Utilización de isomorfismos : Uso implícito de la estructura Z 10 ≅ Z 2 ⊕ Z 5 \mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5 Z 10 ≅ Z 2 ⊕ Z 5 El autor utilizó la herramienta computacional moderna PARI/GP para verificar los cálculos 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)
Cálculos manuales de Gauss vs. verificación computacional moderna Métodos históricos vs. métodos estándar de teoría p-ádica moderna Cálculo de Gauss: 5 = 9.0.4.10.4.4 \sqrt{5} = 9.0.4.10.4.4 5 = 9.0.4.10.4.4 (leyendo de derecha a izquierda)
Verificación moderna: Completamente correcto, con precisión hasta 11 6 11^6 1 1 6
Cuando Gauss calculó los períodos cuadráticos a = − 1 + 5 2 a = \frac{-1+\sqrt{5}}{2} a = 2 − 1 + 5 y b = − 1 − 5 2 b = \frac{-1-\sqrt{5}}{2} b = 2 − 1 − 5 , cometió un error:
Valor correcto: a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 Valor de Gauss: a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 (error de acarreo en la división) Los valores logarítmicos calculados por Gauss coinciden esencialmente con los cálculos modernos:
log ( 31 ) = 80666080 \log(31) = 80666080 log ( 31 ) = 80666080 (Gauss)El cálculo moderno verificó la propiedad logarítmica log ( a b ) = log ( a ) + log ( b ) \log(ab) = \log(a) + \log(b) log ( ab ) = log ( a ) + log ( b ) La mayoría de los cálculos son precisos hasta p 6 p^6 p 6 o mayor precisión Algunos cálculos contienen errores aritméticos, pero los métodos son correctos Demuestra la capacidad computacional extraordinaria de Gauss Hensel (1899) : Introducción formal de la teoría de números p-ádicosHasse : Desarrollo del principio local-globalInvestigación de Frei : Señala que Gauss conocía el "Lema de Hensel"Descubrimiento de este artículo : Gauss realmente dominaba la aritmética p-ádica completaPosición central de números p-ádicos en teoría algebraica de números Aplicaciones en criptografía y teoría computacional de números Conexiones con teoría de campos de clases locales Reposicionamiento histórico : Gauss es el verdadero precursor del concepto de números p-ádicos, 99 años antes que HenselLogros técnicos : Gauss ya dominaba operaciones fundamentales de números p-ádicos, raíces cuadradas, logaritmos y otras operaciones avanzadasValor metodológico : Los métodos de cálculo de Gauss son altamente consistentes con la teoría modernaRestricciones de literatura : Basado únicamente en los cuadernos de Gauss existentes, puede haber material no descubiertoDificultades de interpretación : El propósito y método de algunos cálculos aún requieren investigación adicionalSistema de símbolos : El significado de la notación utilizada por Gauss, como Λ \Lambda Λ , aún no está claroInvestigación profunda : Continuar investigando otros cuadernos y materiales no publicados de GaussReconstrucción de métodos : Reconstrucción completa de la teoría p-ádica de Gauss en lenguaje modernoAplicación educativa : Utilizar los métodos intuitivos de Gauss en la enseñanza de números p-ádicosValor historiográfico : Descubrimiento matemático importante que reescribe los orígenes de los números p-ádicosProfundidad técnica : Análisis detallado de cálculos y verificación modernaSólida base bibliográfica : Investigación rigurosa basada en literatura originalDiálogo transepocal : Combinación perfecta de métodos clásicos con teoría modernaCompletitud de interpretación : El propósito y método de algunos cálculos aún no son suficientemente clarosProfundidad teórica : El análisis se centra principalmente en el nivel computacional, con discusión teórica relativamente limitadaAnálisis de impacto : Falta análisis sobre por qué estos trabajos de Gauss no fueron publicados ni difundidosImpacto académico : Cambiará la narrativa en libros de texto de historia matemática sobre los orígenes de números p-ádicosValor educativo : Proporciona perspectiva histórica e intuitiva para la enseñanza de números p-ádicosInspiración para investigación : Estimula la revisión de los orígenes históricos de otros conceptos matemáticosInvestigación en historia de las matemáticas Enseñanza de teoría de números p-ádicos Investigación de métodos de teoría computacional de números Investigación del pensamiento matemático de Gauss Las referencias principales incluyen:
Cuadernos originales de Gauss (Cod. Ms. Gauß Schedae 5) Trabajo pionero de Hensel sobre números p-ádicos (1899) Investigación de Frei sobre el trabajo no publicado del Capítulo Ocho de Gauss Literatura temprana del siglo XIX sobre problemas de "números autorreproductivos" Evaluación general : Este es un artículo importante de investigación en historia de las matemáticas que, mediante análisis profundo de los cuadernos originales de Gauss, revela los verdaderos orígenes del concepto de números p-ádicos. El artículo no solo posee importante valor historiográfico, sino que también demuestra la perspicacia matemática de Gauss que trascendió su época. Aunque aún hay necesidad de profundización en la interpretación de ciertos detalles técnicos, este descubrimiento sin duda cambiará nuestra comprensión de la historia de los números p-ádicos.