🔢 mathematics

Gauss and p-adic numbers

Este artigo examina os cadernos de Carl Friedrich Gauss para demonstrar que seus cálculos envolvendo "congruências infinitas" constituem um trabalho precoce com números p-ádicos, incluindo o cálculo de raízes quadradas e logaritmos em sistemas de inteiros 11-ádicos e 10-ádicos.

Autores originais: Franz Lemmermeyer

Publicado 2026-07-30

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Franz Lemmermeyer

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você esteja tentando resolver um quebra-cabeça onde as peças não se encaixam apenas uma vez, mas se encaixam perfeitamente não importa o quanto você dê zoom. No mundo da matemática, este é o reino da teoria dos números, um campo dedicado a compreender os padrões ocultos dos números inteiros. Normalmente, quando fazemos matemática, paramos em um certo ponto; se precisarmos saber a raiz quadrada de 2, podemos dizer "1,414" e dar o assunto por encerrado. Mas e se pudéssemos continuar para sempre, adicionando mais e mais dígitos precisos, não apenas à direita do ponto decimal, mas em uma direção completamente diferente? Este é o mundo dos números p-ádicos. Pense neles como um tipo especial de sistema numérico onde a "proximidade" é medida não pela distância entre dois números em uma reta numérica, mas por quantos zeros eles compartilham ao final de seus dígitos. Se dois números terminam com a mesma longa sequência de zeros, eles são considerados vizinhos muito próximos. Isso pode parecer um jogo estranho, mas acontece que isso é um superpoder para resolver equações que são impossíveis de decifrar com números comuns.

Agora, avancemos rapidamente para o início dos anos 1800. Geralmente creditamos ao matemático alemão Kurt Hensel a invenção desses números de "congruência infinita" em 1899. Mas um novo olhar sobre os cadernos manuscritos e empoeirados de Carl Friedrich Gauss — um gênio frequentemente chamado de "O Príncipe dos Matemáticos" — revela um segredo impressionante: Gauss estava brincando com essas mesmas ideias um século antes. Em um artigo de F. Lemmermeyer, temos um vislumbre do workshop privado de Gauss, especificamente seu caderno de julho de 1800. O artigo mostra que Gauss não estava apenas adivinhando; ele estava realizando cálculos complexos com "congruências infinitas" (que são exatamente o que hoje chamamos de números p-ádicos) muito antes de qualquer pessoa dar um nome a elas. Ele estava, essencialmente, construindo um conjunto de ferramentas para um universo matemático que só seria oficialmente descoberto no século XX.

O artigo nos leva em uma turnê pelos experimentos específicos de Gauss. Primeiro, Gauss estava tentando encontrar raízes quadradas e cúbicas, mas não o tipo que você encontra em uma calculadora. Ele estava procurando raízes que funcionassem perfeitamente dentro de um mundo "modular" específico. Por exemplo, ele calculou a raiz quadrada 11-ádica de 5, que é um número que, quando elevado ao quadrado, resulta em 5 no sistema 11-ádico (resolvendo a equação $x^2 - 5 = 0$ ). Em vez de obter um decimal bagunçado, ele encontrou um número que, quando multiplicado por si mesmo, termina com os dígitos de 5, não importa quantas vezes você verifique. Ele fez isso partindo de um palpite aproximado e depois "elevando-o" para uma versão mais precisa, dígito por dígito, usando um método que parece escalar uma escada onde cada degrau o aproxima da verdade. O artigo explica que Gauss usou truques inteligentes, como o teorema binomial (uma forma de expandir potências de números) e um algoritmo dígito a dígito semelhante à divisão longa que aprendemos na escola, mas executada ao contrário.

Uma das partes mais fascinantes do artigo é como Gauss lidou com o número 10. Como 10 é feito de 2 e 5, Gauss percebeu que poderia dividir o problema em dois problemas menores e mais fáceis: um baseado em 2 e outro baseado em 5, e então juntá-los novamente. Isso é como resolver um grande quebra-cabeça de peças encaixáveis terminando primeiro o céu e depois o oceano, para finalmente encaixá-los. Ele usou isso para encontrar números "automórficos" — números que, quando elevados ao quadrado, parecem exatamente iguais ao número original ao final da linha. Ele também calculou logaritmos (uma forma de medir o tamanho dos números) neste estranho sistema baseado em 10. O artigo aponta que, embora Gauss fosse incrivelmente brilhante, ele não era perfeito; o autor encontra alguns pequenos erros de cálculo nas notas de Gauss, como um zero faltando ou um dígito emprestado que não foi contabilizado. No entanto, esses erros não diminuem a conquista; eles apenas mostram que Gauss era um ser humano trabalhando em problemas complexos em tempo real.

Em última análise, este artigo não afirma que Gauss "inventou" os números p-ádicos no sentido moderno — ele não escreveu uma definição formal ou uma grande teoria. Em vez disso, o artigo sugere que Gauss tinha uma compreensão profunda e intuitiva de como esses sistemas infinitos funcionavam. Ele sabia como somar, subtrair, multiplicar e até tirar raízes dessas "congruências infinitas". Ele os tratava como uma ferramenta prática para resolver quebra-cabeças algébricos específicos, como encontrar raízes de polinômios ou entender o comportamento de somas quadráticas. O autor, Lemmermeyer, deixa-nos com um desafio: ainda existem algumas páginas no caderno de Gauss que são difíceis de decifrar, convidando os leitores modernos a continuarem cavando. O artigo confirma que Gauss foi um pioneiro que estava décadas, talvez até um século, à frente de seu tempo, brincando com os próprios blocos de construção da teoria algébrica dos números moderna enquanto o resto do mundo ainda estava tentando aprender a contar.

Problema
O artigo aborda a lacuna histórica e matemática entre os cálculos não publicados de Carl Friedrich Gauss em seus cadernos e a formalização moderna dos números $p$ -ádicos por Kurt Hensel em 1899. Embora seja bem estabelecido que Gauss possuía uma forma do "Lema de Hensel" para elevar raízes polinomiais, a natureza específica de seus cálculos envolvendo "congruências infinitas" (congruências módulo $p^\infty$ ) não havia sido totalmente elucidada. O autor investiga os registros do caderno de Gauss de julho de 1800 para determinar como ele realizava a aritmética com essas congruências infinitas, que correspondem aos modernos números $p$ -ádicos e $g$ -ádicos, e para verificar a precisão e os métodos de seus cálculos para raízes quadradas, cúbicas e logaritmos.

Metodologia
O autor emprega uma combinação de análise histórica e verificação computacional moderna:

Reconstrução Histórica: O artigo analisa páginas específicas dos cadernos de Gauss (especificamente o caderno "1800 Juli"), transcrevendo e interpretando seus cálculos manuscritos.
Explicação Algorítmica: O autor explica os algoritmos que Gauss provavelmente utilizou, incluindo:
- Expansões binomiais para calcular raízes (ex: $\sqrt{1 \pm x}$ ).
- Algoritmos de extração dígito a dígito para raízes quadradas (tanto padrão quanto adaptados para contextos $p$ -ádicos).
- Aproximações iterativas usando a desigualdade da média aritmética-geométrica para raízes cúbicas.
- Expansões de séries de potências para calcular logaritmos $p$ -ádicos.
Verificação Moderna: O autor utiliza o sistema de álgebra computacional pari para calcular aproximações modernas $p$ -ádicas e $g$ -ádicas (especificamente módulo $241$, $11 $e$ 10$) para comparar contra os dígitos registrados por Gauss. Isso inclui a verificação da elevação de raízes polinomiais, a expansão de $\sqrt{5}$ em $\mathbb{Q}_{11}$ e o cálculo de logaritmos 10-ádicos via o isomorfismo $\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5$ .
Análise Algébrica: O artigo utiliza o Teorema Chinês dos Restos e a teoria dos idempotentes para explicar a estrutura algébrica dos números 10-ádicos e a existência de divisores de zero e raízes não triviais da unidade.

Principais Contribuições

Identificação de "Congruências Infinitas" como Números $p$ -ádicos: O artigo identifica explicitamente as "congruências infinitas" de Gauss módulo $p^\infty$ como os precursores dos números $p$ -ádicos de Hensel, demonstrando que Gauss estava realizando aritmética nesses anéis décadas antes de sua definição formal.
Decifração dos Algoritmos de Gauss: O autor reconstrói os métodos específicos que Gauss usou para calcular:
- Raízes Quadradas: Como Gauss usou expansões binomiais e subtração dígito a dígito (trabalhando da direita para a esquerda para números $p$ -ádicos) para encontrar raízes como $\sqrt{79}$ e $\sqrt{5}$ em $\mathbb{Q}_{11}$ .
- Raízes Cúbicas: Como Gauss utilizou desigualdades e a média aritmética-geométrica para aproximar $\sqrt[3]{2}$ .
- Raízes Polinomiais: Como Gauss elevou raízes de um polinômio de quinto grau de módulo $241$ para módulo $241^2$ e potências superiores, realizando efetivamente o levantamento de Hensel (Hensel lifting).
- Logaritmos: Como Gauss computou logaritmos 10-ádicos usando expansões de séries de potências para números congruentes a $0 \pmod{10}$ e via fatoração para números coprimos.
Detecção de Erros: O artigo identifica erros de cálculo específicos nos cadernos de Gauss, como um erro de subtração (empréstimo) na expansão 11-ádica de períodos quadráticos e omissões no cálculo de $\log(301)$ e $\log(799)$ .
Clarificação da Estrutura 10-ádica: O artigo explica o pano de fundo algébrico dos cálculos 10-ádicos de Gauss, especificamente a decomposição de $\mathbb{Z}_{10}$ em $\mathbb{Z}_2 \oplus \mathbb{Z}_5$ e o papel dos idempotentes na busca por raízes quadradas de 1.

Resultos

Verificação de Cálculos: Computações modernas confirmam que as aproximações de Gauss para $\sqrt{5}$ em $\mathbb{Q}_{11}$ e as raízes do polinômio de quinto grau módulo $241$ estão corretas até os dígitos que ele registrou, apesar de sua falta de notação formal.
Insight Algorítmico: Mostra-se que o algoritmo de raiz quadrada dígito a dígito usado por Gauss para números 10-ádicos é uma adaptação válida de algoritmos padrão, baseando-se em congruências em vez de magnitude.
Tabelas Logarítmicas: O artigo reconstrói uma tabela corrigida de logaritmos 10-ádicos para inteiros até 31, mostrando que os valores de Gauss geralmente satisfazem $\log(ab) = \log(a) + \log(b)$ , embora algumas entradas específicas contenham erros aritméticos.
Períodos Quadráticos: O artigo esclarece o cálculo de Gauss de períodos quadráticos relacionados à quinta raiz da unidade, observando que, embora seu método fosse sólido, um erro aritmético específico levou a valores incorretos para os períodos $a$ e $b$ .

Significância
O artigo reivindica uma significância modesta, servindo primariamente como um trabalho expositivo e de investigação para "explicar a maioria dos cálculos de Gauss" e deixar o restante como um desafio. Ele destaca que Gauss possuía uma compreensão intuitiva e sofisticada de limites inversos e sistemas compatíveis de congruências, realizando efetivamente a aritmética com números $p$ -ádicos sem o arcabouço formal posteriormente fornecido por Hensel. O autor observa que, embora Gauss não tenha definido formalmente esses limites, seus cadernos demonstram que ele sabia somar, subtrair, multiplicar e calcular raízes dentro desses sistemas. O artigo também reconhece que a existência dessas "congruências infinitas" no trabalho de Gauss foi notada em comunidades matemáticas online, reforçando a ideia de que o conjunto de ferramentas de Gauss era muito mais avançado do que anteriormente apreciado no contexto da análise $p$ -ádica.

Mais como este