🔢 mathematics

Carl Størmer and his Numbers

Questo lavoro stabilisce condizioni necessarie e sufficienti affinché un numero naturale sia un numero di Størmer—definito come la soluzione di residuo minimo più piccola per $x^2 \equiv -1 \bmod p$ per primi $p \equiv 1 \bmod 4$ —esplorando al contempo il lavoro storico di Carl Størmer che collega questi numeri ai numeri di Gregory e alle approssimazioni ad alta precisione di $\pi$ .

Autori originali: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

Pubblicato 2026-04-30

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di essere un detective che cerca di risolvere un mistero riguardante un club speciale di numeri. Questo articolo parla di quel club, delle regole per entrarvi e di come questi numeri ci aiutino a risolvere un enigma molto antico riguardante il numero $\pi$ (pi greco).

Ecco la storia dei Numeri di Størmer, suddivisa in parti semplici.

1. Il Club: "Numeri di Størmer"

Innanzitutto, parliamo di una famosa regola matematica chiamata Teorema dei due quadrati di Fermat. Essa afferma che se hai un numero primo (un numero divisibile solo per 1 e per se stesso) che è uno in più di un multiplo di 4 (come 5, 13, 17, 29), puoi sempre scomporlo nella somma di due quadrati perfetti.

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

Per trovare quei due quadrati ($2 $e$ 3$), i matematici devono di solito risolvere prima un enigma complicato: trovare un numero $x$ tale che, quando lo si eleva al quadrato e lo si divide per il primo, il resto sia $-1$.

Esempio: Per il primo 13, se elevi al quadrato 5, ottieni 25. $25$ diviso per $13$ lascia un resto di $-1 $(o$ 12$). Quindi, 5 è la chiave.

Gli autori chiamano questo numero chiave un Numero di Størmer. È come la "password" che sblocca la porta per scomporre il numero primo in due quadrati.

2. La Grande Scoperta: Chi Ottiene la Password?

Per molto tempo, le persone sapevano come trovare la password se avevano già il numero primo. Ma cosa succede se hai solo un numero a caso, come 15? È 15 una password per qualche primo? O è un falso?

Gli autori di questo articolo hanno scoperto la regola esatta per stabilire se un numero è un vero Numero di Størmer o meno.

La Regola (Il "Portiere" alla porta):
Prendi il tuo numero (chiamiamolo $x$ ). Eleva al quadrato e aggiungi 1 ( $x^2 + 1$ ). Ora, guarda tutti i numeri primi che moltiplicati insieme danno quel risultato.

Trova il più grande tra i primi in quel gruppo.
La Regola: Il tuo numero $x$ è un Numero di Størmer se e solo se quel primo più grande è maggiore di $2x + 1$ .

Se il primo più grande è troppo piccolo, $x$ è solo un numero normale, non un Numero di Størmer. Se è abbastanza grande, $x$ è la password unica per quel primo specifico.

Analogia: Immagina di avere una chiave ( $x$ ). Controlli la serratura che si adatta ( $x^2+1$ ). Se il bullone più grande nella serratura è enorme (più grande del doppio della tua chiave), allora hai una vera chiave di Størmer. Se il bullone è piccolo, stai tenendo in mano una chiave falsa.

3. Quanto Sono Comuni?

Gli autori hanno esaminato i primi milioni di numeri e hanno scoperto che circa il 70% di essi sono Numeri di Størmer.
Sospettano che, andando verso l'infinito, questa percentuale si stabilizzi esattamente su $\ln(2)$ (che è circa 0,693, o il 69,3%). Non lo hanno dimostrato con il 100% di certezza (è ancora un'ipotesi euristica o un'ipotesi informata), ma i numeri suggeriscono fortemente che sia vero.

4. L'Eroe Reale: Carl Størmer

L'articolo presenta anche l'uomo dietro i numeri: Carl Størmer (1874–1957).

Chi era? Un brillante matematico e astronomo norvegese.
Cosa altro ha fatto? Era famoso per lo studio delle Aurora Boreali (Aurora Polare). Ha scoperto come le particelle cariche del sole danzano nel campo magnetico terrestre. Era così rispettato che un cratere sulla Luna porta il suo nome!
La Curiosità: Era anche un fotografo segreto. Portava una minuscola macchina fotografica spia nella giacca e scattava foto spontanee alle persone nelle strade di Oslo. In seguito, queste foto divennero una famosa mostra d'arte.

5. Il Gran Finale: Calcolare Pi Greco ( $\pi$ )

Perché ci importano questi numeri? Perché ci aiutano a calcolare $\pi$ (il rapporto tra la circonferenza di un cerchio e il suo diametro).

Ai vecchi tempi, prima dei computer, calcolare $\pi$ era come cercare di riempire una piscina con un cucchiaino. Avevi bisogno di un modo molto efficiente per farlo. I matematici usano formule che coinvolgono arcotangenti (un tipo di calcolo angolare) per ottenere le cifre di $\pi$ .

Størmer ha scoperto una connessione speciale:

Se hai un numero che NON è un Numero di Størmer, puoi scomporre la sua formula arcotangente in una somma di arcotangenti di Numeri di Størmer.
Se un numero È un Numero di Størmer, è "irriducibile": non può essere scomposto ulteriormente. È un mattone fondamentale.

La "Super Formula":
Nel 1896, Størmer trovò una formula complessa per calcolare $\pi$ .

Nel 2002, un team guidato da Yasumasa Kanada utilizzò la formula di Størmer per calcolare 1,24 trilioni di cifre di $\pi$ .
Questo fu un record mondiale all'epoca.

Quindi, un concetto di teoria dei numeri del XIX secolo, definito da una regola da "portiere" sui fattori primi, è stata l'arma segreta utilizzata per battere il record mondiale del calcolo delle cifre di $\pi$ nel XXI secolo.

Riepilogo

I Numeri di Størmer sono speciali "password" che aiutano a scomporre certi numeri primi in due quadrati.
L'articolo fornisce un semplice test per vedere se un numero è un Numero di Størmer: controlla se il più grande fattore primo di ( $x^2+1$ ) è maggiore di $2x+1$ .
Circa il 69% di tutti i numeri sono Numeri di Størmer.
Questi numeri sono stati cruciali per Carl Størmer per creare formule che hanno permesso ai computer di calcolare trilioni di cifre di $\pi$ .
Carl Størmer era anche un astronomo per cui è stato nominato un cratere lunare e una spia della fotografia di strada.

1. Enunciato del Problema

L'articolo affronta la caratterizzazione dei numeri di Størmer, una specifica classe di interi che emerge dallo studio del Teorema dei due quadrati di Fermat e dall'approssimazione di $\pi$ .

Contesto: Per un primo $p \equiv 1 \pmod 4$ , il Teorema dei due quadrati di Fermat garantisce una rappresentazione unica $p = a^2 + b^2$ . La maggior parte delle dimostrazioni costruttive di questo teorema si basa sulla ricerca del più piccolo intero positivo $x_0$ tale che $x_0^2 \equiv -1 \pmod p$ e $1 < x_0 \le (p-1)/2$ .
Il Divario: Sebbene l'esistenza di tale $x_0$ sia nota, non esisteva una condizione semplice, necessaria e sufficiente per determinare se un intero arbitrario $x_0 \in \mathbb{N}$ sia il numero di Størmer per qualche primo $p$ . Inoltre, la distribuzione statistica (densità naturale) di questi numeri era oggetto di congettura ma mancava di una dimostrazione rigorosa.
Motivazione Storica: Lo studio si collega al lavoro di Carl Størmer sulle identità che esprimono $\pi$ come combinazioni lineari di valori dell'arcotangente (numeri di Gregory), che erano cruciali per i calcoli di $\pi$ ad alta precisione prima dell'era informatica.

2. Metodologia

Gli autori impiegano una combinazione di teoria dei numeri, teoria algebrica dei numeri (in particolare gli interi di Gauss) ed euristiche probabilistiche.

Continuanti e Algoritmo Euclideo: L'articolo esamina il metodo di Smith, che utilizza l'algoritmo euclideo e i continuanti (determinanti di matrici tridiagonali) per collegare la soluzione di $x^2 \equiv -1 \pmod p$ alla decomposizione $p = a^2 + b^2$ .
Analisi della Fattorizzazione in Primi: La metodologia centrale consiste nell'analizzare la fattorizzazione in primi di $x_0^2 + 1$ . Gli autori investigano la relazione tra $x_0$ e il più grande fattore primo di $x_0^2 + 1$ .
Interi di Gauss: Per affrontare la connessione con i numeri di Gregory, gli autori utilizzano l'anello degli interi di Gauss $\mathbb{Z}[i]$ . Mappano il problema della decomposizione di $\arctan(1/n)$ sulla fattorizzazione degli interi di Gauss $n+i$ e sulle proprietà delle loro norme.
Euristiche Probabilistiche: Per la congettura sulla densità, gli autori costruiscono un argomento euristico basato sulla distribuzione dei primi nelle progressioni aritmetiche e sui teoremi di Mertens.

3. Contributi e Risultati Chiave

A. Caratterizzazione dei Numeri di Størmer (Teorema 2.3)

L'articolo stabilisce una condizione necessaria e sufficiente definitiva affinché un intero $x_0$ sia un numero di Størmer.

Definizione: Sia $x_0^2 + 1 = 2^r \cdot p_1^{e_1} \cdots p_m^{e_m}$ la fattorizzazione in primi, dove $p_1 < p_2 < \dots < p_m$ .
Teorema: $x_0$ è il numero di Størmer per un primo $p$ se e solo se $2x_0 + 1 \le p_m$ (dove $p_m$ è il più grande fattore primo di $x_0^2 + 1$ ).
Implicazione: Se la condizione è soddisfatta, il primo associato è unico e vale $p = p_m$ . Se $2x_0 + 1 > p_m$ , allora $x_0$ non è un numero di Størmer per alcun primo.
Iniettività: Gli autori dimostrano che la funzione di Størmer $S(p)$ è iniettiva; un specifico $x_0$ corrisponde ad al massimo un primo $p$ .

B. Congettura sulla Densità Naturale (Sezione 3)

Congettura: L'articolo discute la congettura di Everest e Harman (2008) secondo cui la densità naturale dei numeri di Størmer è $\ln(2) \approx 0.693$ .
Dimostrazione Euristica: Gli autori forniscono un argomento probabilistico che suggerisce tale densità. Stimano la probabilità che un $x_0$ casuale soddisfi la condizione $2x_0 + 1 \le p \le x_0^2 + 1$ per qualche primo $p$ . Utilizzando il Teorema dei Numeri Primi per le progressioni aritmetiche e le stime di Mertens, derivano il 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: Gli autori dichiarano esplicitamente che una dimostrazione rigorosa di questa densità rimane sfuggente.

C. Connessione ai Numeri di Gregory e a $\pi$ (Sezione 5)

Teorema di Størmer: L'articolo formalizza il risultato di Størmer secondo cui, se $\gcd(a, b) = 1$ , allora $\arctan(b/a)$ può essere espresso in modo unico come una combinazione lineare finita di $\arctan(1/n)$ dove ogni $n$ è un numero di Størmer.
Meccanismo: Ciò è dimostrato tramite la fattorizzazione unica in $\mathbb{Z}[i]$ . La decomposizione di $a+bi$ in primi di Gauss corrisponde alla decomposizione dell'angolo $\arctan(b/a)$ in angoli associati ai numeri di Størmer.
Irriducibilità: L'articolo collega i numeri di Størmer ai numeri di Gregory "irriducibili" (nel senso di Todd), dimostrando che $n$ è un numero di Størmer se e solo se $\arctan(1/n)$ non può essere scritto come somma di altri termini $\arctan(1/k)$ .
Applicazione Storica: L'articolo evidenzia come l'identità di Størmer del 1896 ( $t_1 = 44t_{57} + 7t_{239} - 12t_{682} + 24t_{12943}$ ) sia stata utilizzata da Yasumasa Kanada nel 2002 per calcolare 1,24 trilioni di cifre di $\pi$ .

4. Significato

Chiarezza Teorica: L'articolo risolve l'ambiguità riguardante l'identificazione dei numeri di Størmer, fornendo un test computazionalmente efficiente (Teorema 2.3) che evita la necessità di cercare il primo specifico $p$ associato a un $x_0$ .
Collegamento tra Campi: Collega efficacemente la teoria dei numeri classica (teorema di Fermat, congruenze quadratiche) con la storia della matematica computazionale (approssimazioni di $\pi$ ).
Contesto Storico: L'articolo funge da tributo completo a Carl Størmer, dettagliando il suo duplice lascito nella teoria dei numeri e nell'astrofisica (in particolare lo studio delle aurore e delle particelle cariche nei campi magnetici).
Utilità Algoritmica: La caratterizzazione permette la generazione di numeri di Størmer e la costruzione di nuove identità dell'arcotangente per $\pi$ , che, sebbene meno critiche per i supercomputer moderni, rimangono elegantemente matematiche e storicamente significative.

In sintesi, l'articolo fornisce una caratterizzazione rigorosa dei numeri di Størmer, offre un'euristica convincente per la loro densità e chiarisce il loro ruolo fondamentale nella struttura algebrica delle identità dell'arcotangente utilizzate per approssimare $\pi$ .