🔢 mathematics

Carl Størmer and his Numbers

Este artigo estabelece condições necessárias e suficientes para que um número natural seja um número de Størmer—definido como a menor solução de resíduo mínimo para $x^2 \equiv -1 \bmod p$ para primos $p \equiv 1 \bmod 4$ —explorando também o trabalho histórico de Carl Størmer que conecta esses números aos números de Gregory e a aproximações de alta precisão de $\pi$ .

Autores originais: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

Publicado 2026-04-30

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

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ê é um detetive tentando resolver um mistério sobre um clube especial de números. Este artigo é sobre esse clube, as regras para ingressar e como esses números nos ajudam a resolver um quebra-cabeça muito antigo sobre o número $\pi$ (pi).

Aqui está a história dos Números de Størmer, dividida em partes simples.

1. O Clube: "Números de Størmer"

Primeiro, vamos falar sobre uma famosa regra matemática chamada Teorema dos Dois Quadrados de Fermat. Ela diz que, se você tiver um número primo (um número divisível apenas por 1 e por ele mesmo) que seja um a mais que um múltiplo de 4 (como 5, 13, 17, 29), você sempre pode dividi-lo em dois quadrados perfeitos somados.

Exemplo: $13 = 2^2 + 3^2$ ( $4 + 9$ ).

Para encontrar esses dois quadrados ($2 $e$ 3$), os matemáticos geralmente precisam resolver primeiro um enigma complicado: encontrar um número $x$ tal que, quando você o eleva ao quadrado e divide pelo primo, o resto seja $-1$.

Exemplo: Para o primo 13, se você elevar 5 ao quadrado, obtém 25. $25$ dividido por $13$ deixa um resto de $-1$ (ou $12$). Portanto, 5 é a chave.

Os autores chamam esse número-chave de Número de Størmer. É como a "senha" que destrava a porta para dividir o número primo em dois quadrados.

2. A Grande Descoberta: Quem Recebe a Senha?

Por muito tempo, as pessoas sabiam como encontrar a senha se já tivessem o número primo. Mas e se você tiver apenas um número aleatório, como 15? Será que 15 é uma senha para algum primo? Ou é uma falsificação?

Os autores deste artigo descobriram a regra exata para dizer se um número é um verdadeiro Número de Størmer ou não.

A Regra (O "Porteiro" na Porta):
Pegue seu número (vamos chamá-lo de $x$ ). Eleve-o ao quadrado e some 1 ( $x^2 + 1$ ). Agora, observe todos os números primos que se multiplicam para formar esse resultado.

Encontre o maior primo nesse grupo.
A Regra: Seu número $x$ é um Número de Størmer se e somente se esse maior primo for maior que $2x + 1$ .

Se o maior primo for muito pequeno, $x$ é apenas um número comum, não um Número de Størmer. Se for grande o suficiente, $x$ é a senha única para aquele primo grande específico.

Analogia: Imagine que você tem uma chave ( $x$ ). Você verifica a fechadura que ela se encaixa ( $x^2+1$ ). Se o maior parafuso na fechadura for enorme (maior que o dobro do tamanho da sua chave), então você tem uma chave verdadeira de Størmer. Se o parafuso for pequeno, você está segurando uma chave falsa.

3. Quão Comuns Eles São?

Os autores analisaram os primeiros milhão de números e descobriram que cerca de 70% deles são Números de Størmer.
Eles suspeitam que, à medida que você vai até o infinito, essa porcentagem se estabiliza exatamente em $\ln(2)$ (que é aproximadamente 0,693, ou 69,3%). Eles não provaram isso com 100% de certeza (ainda é uma "heurística" ou uma suposição educada), mas os números sugerem fortemente que é verdade.

4. O Herói do Mundo Real: Carl Størmer

O artigo também apresenta o homem por trás dos números: Carl Størmer (1874–1957).

Quem era ele? Um brilhante matemático e astrônomo norueguês.
O que mais ele fez? Ele era famoso por estudar as Auroras Boreais (Luzes do Norte). Ele descobriu como partículas carregadas do sol dançam no campo magnético da Terra. Ele era tão respeitado que uma cratera na Lua leva seu nome!
O Fato Divertido: Ele também era um fotógrafo secreto. Ele carregava uma minúscula câmera espiã em seu casaco e tirava fotos espontâneas de pessoas nas ruas de Oslo. Mais tarde, essas fotos se tornaram uma famosa exposição de arte.

5. O Grande Final: Calculando Pi ( $\pi$ )

Por que nos importamos com esses números? Porque eles nos ajudam a calcular $\pi$ (a razão entre a circunferência de um círculo e seu diâmetro).

Nos velhos tempos, antes dos computadores, calcular $\pi$ era como tentar encher uma piscina com uma colher de chá. Você precisava de uma maneira muito eficiente de fazer isso. Os matemáticos usam fórmulas envolvendo arcotangentes (um tipo de cálculo de ângulo) para obter os dígitos de $\pi$ .

Størmer descobriu uma conexão especial:

Se você tiver um número que NÃO é um Número de Størmer, você pode decompor sua fórmula de arcotangente em uma soma de arcotangentes de Números de Størmer.
Se um número É um Número de Størmer, ele é "irredutível" — você não pode decompor ainda mais. É um bloco de construção fundamental.

A "Super Fórmula":
Em 1896, Størmer encontrou uma fórmula complexa para calcular $\pi$ .

Em 2002, uma equipe liderada por Yasumasa Kanada usou a fórmula de Størmer para calcular 1,24 trilhão de dígitos de $\pi$ .
Este foi um recorde mundial na época.

Portanto, um conceito da teoria dos números do século XIX, definido por uma regra de "porteiro" sobre fatores primos, foi a arma secreta usada para quebrar o recorde mundial de cálculo dos dígitos de $\pi$ no século XXI.

Resumo

Números de Størmer são "senhas" especiais que ajudam a dividir certos números primos em dois quadrados.
O artigo fornece um teste simples para ver se qualquer número é um Número de Størmer: Verifique se o maior fator primo de ( $x^2+1$ ) é maior que $2x+1$ .
Cerca de 69% de todos os números são Números de Størmer.
Esses números foram cruciais para Carl Størmer criar fórmulas que permitiram aos computadores calcular trilhões de dígitos de $\pi$ .
Carl Størmer também foi um astrônomo que deu nome a crateras na Lua e um espião da fotografia de rua.

1. Formulação do Problema

O artigo aborda a caracterização dos números de Størmer, uma classe específica de inteiros que surge do estudo do Teorema dos Dois Quadrados de Fermat e da aproximação de $\pi$ .

Contexto: Para um primo $p \equiv 1 \pmod 4$ , o Teorema dos Dois Quadrados de Fermat garante uma representação única $p = a^2 + b^2$ . A maioria das provas construtivas deste teorema depende da descoberta do menor inteiro positivo $x_0$ tal que $x_0^2 \equiv -1 \pmod p$ e $1 < x_0 \le (p-1)/2$ .
A Lacuna: Embora a existência de tal $x_0$ seja conhecida, não havia uma condição simples, necessária e suficiente para determinar se um inteiro arbitrário $x_0 \in \mathbb{N}$ é o número de Størmer para algum primo $p$ . Além disso, a distribuição estatística (densidade natural) desses números era objeto de conjectura, mas carecia de uma prova rigorosa.
Motivação Histórica: O estudo conecta-se ao trabalho de Carl Størmer sobre identidades que expressam $\pi$ como combinações lineares de valores de arco-tangente (números de Gregory), que foram cruciais para cálculos de $\pi$ de alta precisão antes da era dos computadores.

2. Metodologia

Os autores empregam uma combinação de teoria dos números, teoria algébrica dos números (especificamente inteiros de Gauss) e heurísticas probabilísticas.

Continuantes e Algoritmo de Euclides: O artigo revisa o método de Smith, que utiliza o algoritmo de Euclides e continuantes (determinantes de matrizes tridiagonais) para vincular a solução de $x^2 \equiv -1 \pmod p$ à decomposição $p = a^2 + b^2$ .
Análise de Fatoração Prima: A metodologia central envolve analisar a fatoração prima de $x_0^2 + 1$ . Os autores investigam a relação entre $x_0$ e o maior fator primo de $x_0^2 + 1$ .
Inteiros de Gauss: Para abordar a conexão com os números de Gregory, os autores utilizam o anel dos inteiros de Gauss $\mathbb{Z}[i]$ . Eles mapeiam o problema de decompor $\arctan(1/n)$ para a fatoração de inteiros de Gauss $n+i$ e as propriedades de suas normas.
Heurísticas Probabilísticas: Para a conjectura de densidade, os autores constroem um argumento heurístico baseado na distribuição de primos em progressões aritméticas e nos teoremas de Mertens.

3. Contribuições e Resultados Principais

A. Caracterização dos Números de Størmer (Teorema 2.3)

O artigo estabelece uma condição definitiva necessária e suficiente para que um inteiro $x_0$ seja um número de Størmer.

Definição: Seja $x_0^2 + 1 = 2^r \cdot p_1^{e_1} \cdots p_m^{e_m}$ a fatoração prima, onde $p_1 < p_2 < \dots < p_m$ .
Teorema: $x_0$ é o número de Størmer para um primo $p$ se e somente se $2x_0 + 1 \le p_m$ (onde $p_m$ é o maior fator primo de $x_0^2 + 1$ ).
Implicação: Se a condição for satisfeita, o primo associado é único e igual a $p = p_m$ . Se $2x_0 + 1 > p_m$ , então $x_0$ não é um número de Størmer para nenhum primo.
Injetividade: Os autores provam que a função de Størmer $S(p)$ é injetiva; um $x_0$ específico corresponde a no máximo um primo $p$ .

B. Conjectura de Densidade Natural (Seção 3)

Conjectura: O artigo discute a conjectura de Everest e Harman (2008) de que a densidade natural dos números de Størmer é $\ln(2) \approx 0,693$ .
Prova Heurística: Os autores fornecem um argumento probabilístico sugerindo essa densidade. Eles estimam a probabilidade de que um $x_0$ aleatório satisfaça a condição $2x_0 + 1 \le p \le x_0^2 + 1$ para algum primo $p$ . Usando o Teorema dos Números Primos para progressões aritméticas e estimativas de Mertens, eles derivam o limite:
$\lim_{x_0 \to \infty} \sum_{2x_0 \le p \le x_0^2} \frac{1}{p} \sim \ln(\ln(x_0^2)) - \ln(\ln(2x_0)) \sim \ln(2)$
Nota: Os autores afirmam explicitamente que uma prova rigorosa dessa densidade permanece elusiva.

C. Conexão com Números de Gregory e $\pi$ (Seção 5)

Teorema de Størmer: O artigo formaliza o resultado de Størmer de que, se $\gcd(a, b) = 1$ , então $\arctan(b/a)$ pode ser expresso unicamente como uma combinação linear finita de $\arctan(1/n)$ , onde cada $n$ é um número de Størmer.
Mecanismo: Isso é provado via fatoração única em $\mathbb{Z}[i]$ . A decomposição de $a+bi$ em primos de Gauss corresponde à decomposição do ângulo $\arctan(b/a)$ em ângulos associados a números de Størmer.
Irredutibilidade: O artigo conecta os números de Størmer aos números de Gregory "irredutíveis" (no sentido de Todd), provando que $n$ é um número de Størmer se e somente se $\arctan(1/n)$ não puder ser escrito como uma soma de outros termos $\arctan(1/k)$ .
Aplicação Histórica: O artigo destaca como a identidade de Størmer de 1896 ( $t_1 = 44t_{57} + 7t_{239} - 12t_{682} + 24t_{12943}$ ) foi utilizada por Yasumasa Kanada em 2002 para calcular 1,24 trilhão de dígitos de $\pi$ .

4. Significado

Clareza Teórica: O artigo resolve a ambiguidade relativa à identificação dos números de Størmer, fornecendo um teste computacionalmente eficiente (Teorema 2.3) que evita a necessidade de buscar o primo específico $p$ associado a um $x_0$ .
Ponte entre Campos: Ele conecta efetivamente a teoria dos números clássica (teorema de Fermat, congruências quadráticas) com a história da matemática computacional (aproximações de $\pi$ ).
Contexto Histórico: O artigo serve como uma homenagem abrangente a Carl Størmer, detalhando seu legado duplo na teoria dos números e na astrofísica (especificamente o estudo de auroras e partículas carregadas em campos magnéticos).
Utilidade Algorítmica: A caracterização permite a geração de números de Størmer e a construção de novas identidades de arco-tangente para $\pi$ , que, embora menos críticas para supercomputadores modernos, permanecem matematicamente elegantes e historicamente significativas.

Em resumo, o artigo fornece uma caracterização rigorosa dos números de Størmer, oferece uma heurística convincente para sua densidade e elucida seu papel fundamental na estrutura algébrica das identidades de arco-tangente usadas para aproximar $\pi$ .