Verificatore di Primo di Mersenne

Verifica se 2^p − 1 è un numero primo di Mersenne per un dato esponente p. Utilizza il test di primalità di Lucas–Lehmer con una traccia animata delle iterazioni, visualizzazione del pattern binario, accoppiamento numero perfetto di Euclide-Eulero e contesto storico sui 52 primi di Mersenne conosciuti.

Embed Verificatore di Primo di Mersenne Widget

Verificatore di Primo di Mersenne

Benvenuto nel Verificatore di Numero Primo di Mersenne, uno strumento interattivo che testa se $2^p - 1$ è un numero primo di Mersenne per qualsiasi esponente $p$ fino a 5000. Lo strumento esegue il celebre test di primalità di Lucas-Lehmer, mostra una traccia iterativa animata della ricorrenza $S_i = S_{i-1}^2 - 2 \pmod{M_p}$, visualizza lo schema dei bit binari (una firma distintiva di ogni numero di Mersenne) e — quando il risultato è primo — lo accoppia con il corrispondente numero perfetto pari tramite il teorema di Euclide-Eulero.

Cos'è un Numero Primo di Mersenne?

Un numero di Mersenne è un numero della forma $M_p = 2^p - 1$. Quando $M_p$ è esso stesso primo, viene chiamato numero primo di Mersenne. Il nome onora Marin Mersenne (1588-1648), il monaco francese che catalogò i primi casi e ipotizzò quali esponenti fino a 257 producessero numeri primi — una lista che si rivelò in parte errata, ma che diede il via a tre secoli di ricerca.

Numero Primo di Mersenne

$$M_p = 2^p - 1 \;\; \text{è primo, dove } p \text{ stesso deve essere primo}$$

I primi numeri primi di Mersenne, in ordine:

$M_2 = 3$
$M_3 = 7$
$M_5 = 31$
$M_7 = 127$
$M_{13} = 8.191$
$M_{17} = 131.071$
$M_{19} = 524.287$
$M_{31} = 2.147.483.647$ (scoperto da Eulero nel 1772 — il più grande numero primo conosciuto per 104 anni)

Al 2024, sono noti esattamente 52 numeri primi di Mersenne. Il record attuale è $M_{136.279.841}$, scoperto nell'ottobre 2024 dal progetto di calcolo distribuito GIMPS — un numero con 41.024.320 cifre decimali.

Il Test di Lucas-Lehmer

Il motivo per cui i numeri primi di Mersenne dominano i libri dei record è un test di primalità specializzato ed estremamente veloce scoperto da Édouard Lucas (1878) e semplificato da Derrick Lehmer (1930):

Test di Lucas-Lehmer

$$S_0 = 4, \quad S_i = S_{i-1}^2 - 2 \pmod{M_p}$$

Per p primo $p \geq 3$: $\;M_p$ è primo $\iff S_{p-2} \equiv 0 \pmod{M_p}$

Il test richiede solo $p-2$ elevamenti al quadrato modulari — circa $O(p^3)$ operazioni sui bit con la moltiplicazione scolastica, o $O(p^2 \log p \log\log p)$ con la FFT. Confrontatelo con i test di primalità generici su numeri delle dimensioni di $M_p$ (milioni di cifre), che sarebbero completamente impraticabili. La scorciatoia di Lucas-Lehmer è ciò che rende possibile la ricerca dei numeri primi di Mersenne.

Perché p Deve Essere Primo?

Se $p = a \cdot b$ con $a, b > 1$, un'identità classica mostra che $2^a - 1$ divide $2^{ab} - 1$:

Identità di fattorizzazione

$$2^{ab} - 1 = (2^a - 1)\left(2^{a(b-1)} + 2^{a(b-2)} + \cdots + 2^a + 1\right)$$

Quindi, se l'esponente è composto, $M_p$ è automaticamente composto. Il viceversa è falso: il fatto che $p$ sia primo non garantisce che $M_p$ sia primo. Ad esempio, $p = 11$ è primo ma $M_{11} = 2047 = 23 \times 89$.

Numeri Primi di Mersenne e Numeri Perfetti (Euclide-Eulero)

Euclide osservò intorno al 300 a.C. che se $2^p - 1$ è primo, allora $2^{p-1}(2^p - 1)$ è un numero perfetto — un numero uguale alla somma dei suoi divisori propri. Eulero dimostrò in seguito il viceversa: ogni numero perfetto pari ha questa origine.

Teorema di Euclide-Eulero

$$N \text{ è un numero perfetto pari} \iff N = 2^{p-1}(2^p - 1),\;\; 2^p - 1 \text{ primo}$$

Quindi, trovare un nuovo primo di Mersenne produce istantaneamente un nuovo numero perfetto. I primi quattro numeri perfetti pari sono 6, 28, 496 e 8128 — noti fin dall'antichità. L'esistenza di numeri perfetti dispari rimane un problema irrisolto da oltre 2.300 anni.

Lo Schema dei Bit Binari

Ogni numero di Mersenne ha una rappresentazione binaria eccezionalmente pulita: $2^p$ in binario è $1$ seguito da $p$ zeri, quindi $2^p - 1$ è esattamente $p$ bit consecutivi a 1:

M_5 = 2^5 − 1 = 11111₂ = 31

M_7 = 2^7 − 1 = 1111111₂ = 127

Questo è il motivo per cui lo strumento visualizza ogni bit come una tessera a sé stante — lo schema dei bit è la firma visiva di un numero di Mersenne, indipendentemente dal fatto che il numero sia primo.

Come Usare Questo Calcolatore

Inserisci un esponente $p$: qualsiasi numero intero positivo da 1 a 5.000.
Clicca su Verifica: lo strumento controlla innanzitutto se $p$ è primo; in caso contrario, spiega perché $M_p$ deve essere composto.
Per p primo: la ricorrenza di Lucas-Lehmer esegue $p - 2$ iterazioni modulo $M_p$.
Esplora l'output: banner del verdetto, traccia dell'iterazione a 6 righe (con "..." per i passaggi intermedi omessi su $p$ grandi), forme decimale e binaria di $M_p$ e l'associazione con il numero perfetto di Euclide-Eulero quando applicabile.

Primi Dodici Numeri Primi di Mersenne Conosciuti

#	Esponente $p$	$M_p = 2^p - 1$	Cifre	Scoperta
1	2	3	1	Antichità
2	3	7	1	Antichità
3	5	31	2	Antichità
4	7	127	3	Antichità
5	13	8.191	4	1456 (anon.)
6	17	131.071	6	1588 Cataldi
7	19	524.287	6	1588 Cataldi
8	31	2.147.483.647	10	1772 Eulero
9	61	2.3 × 10^18	19	1883 Pervushin
10	89	6.2 × 10^26	27	1911 Powers
11	107	1.6 × 10^32	33	1914 Powers
12	127	1.7 × 10^38	39	1876 Lucas

Il Progetto GIMPS

La Great Internet Mersenne Prime Search (GIMPS), lanciata nel 1996 da George Woltman, è un progetto di calcolo distribuito in cui i volontari donano tempo di CPU per eseguire i test di Lucas-Lehmer sugli esponenti candidati. Al 2024, ogni numero primo di Mersenne a partire da M_35 = M_{1398269} (1996) è stato scoperto dal GIMPS. Un singolo test di Lucas-Lehmer sulla frontiera moderna (esponenti vicino a $10^8$) richiede settimane di calcolo su GPU.

Curiosità sui Numeri Primi di Mersenne

$M_{31} = 2.147.483.647$ è il più grande intero con segno a 32 bit — il famoso $\texttt{INT\_MAX}$ in C. Non è un caso: il valore deriva dal fatto che $M_{31}$ è primo e quindi rappresenta un limite naturale di "quasi-overflow".
Esistono lacune di dimensioni sconosciute tra i successivi numeri primi di Mersenne. Non è noto se esistano infiniti numeri primi di Mersenne — la congettura di Lenstra-Pomerance-Wagstaff prevede di sì, con una crescita approssimativa pari a $e^\gamma \log_2 p$.
Nel 2008, la Electronic Frontier Foundation ha assegnato 100.000 dollari al primo scopritore di un numero primo di 10 milioni di cifre. Il premio è andato al team GIMPS dell'UCLA per $M_{43112609}$. Un premio di 150.000 dollari è ancora disponibile per il primo numero primo di 100 milioni di cifre.
$M_{31}$ appare sulla banconota russa commemorativa da 100 rubli del 1811 in onore della scoperta di Eulero — uno dei pochi numeri primi mai stampati su una valuta.
Poiché ogni numero primo di Mersenne produce un numero perfetto, l'umanità ha esattamente 52 numeri perfetti pari registrati (corrispondenti ai 52 numeri primi di Mersenne noti).

Domande Frequenti

Cos'è un numero primo di Mersenne?

Un numero primo di Mersenne è un numero primo della forma $2^p - 1$, dove anche $p$ è primo. I primi sono 3, 7, 31, 127 e 8.191. Al 2024, sono noti 52 numeri primi di Mersenne; il più grande numero primo conosciuto ($M_{136.279.841}$) è un numero primo di Mersenne con oltre 41 milioni di cifre.

Come funziona il test di Lucas-Lehmer?

Per un esponente primo $p \geq 3$, si definisce $S_0 = 4$ e $S_i = S_{i-1}^2 - 2 \pmod{M_p}$. Il numero di Mersenne $M_p = 2^p - 1$ è primo se e solo se $S_{p-2} \equiv 0 \pmod{M_p}$. Il test viene eseguito in $p - 2$ iterazioni, ognuna delle quali è un singolo elevamento al quadrato modulare.

Perché p deve essere primo?

Se $p = ab$ con entrambi i fattori maggiori di 1, allora $2^p - 1$ è divisibile per $2^a - 1$ (e per $2^b - 1$), quindi $M_p$ è composto. Il viceversa non è vero: il fatto che $p$ sia primo non implica che $M_p$ sia primo. Ad esempio $p = 11$ è primo ma $M_{11} = 2047 = 23 \times 89$ è composto.

Qual è il collegamento tra i numeri primi di Mersenne e i numeri perfetti?

Il teorema di Euclide-Eulero afferma che ogni numero perfetto pari ha la forma $2^{p-1}(2^p - 1)$ dove $2^p - 1$ è un numero primo di Mersenne. Quindi ogni primo di Mersenne genera esattamente un numero perfetto pari, e ogni numero perfetto pari deriva da un primo di Mersenne. L'esistenza di numeri perfetti dispari è uno dei problemi più antichi della matematica.

Perché $M_p$ ha $p$ bit consecutivi a 1 in binario?

Il numero $2^p$ in binario è un 1 seguito da $p$ zeri. Sottraendo 1 si convertono tutti i $p$ zeri finali in 1. Quindi $2^p - 1$ in binario è esattamente $p$ uno — la firma visiva distintiva di ogni numero di Mersenne, primo o composto.

Qual è l'esponente più grande che questo strumento può testare?

Questo strumento testa esponenti fino a 5.000 in modo che l'iterazione di Lucas-Lehmer si completi entro una normale richiesta web. Per esponenti più grandi (inclusa la frontiera GIMPS vicino a $10^8$), è necessario un software dedicato come Prime95, poiché un singolo test può richiedere settimane di calcolo su una moderna GPU.

Risorse Aggiuntive

Cita questo contenuto, pagina o strumento come:

"Verificatore di Primo di Mersenne" su https://MiniWebtool.com/it/verificatore-di-primo-di-mersenne/ di MiniWebtool, https://MiniWebtool.com/

dal team di MiniWebtool. Aggiornato: 18 aprile 2026

Puoi anche provare il nostro Risolutore di Matematica AI GPT per risolvere i tuoi problemi matematici attraverso domande e risposte in linguaggio naturale.

Altri strumenti correlati:

Verificatore di Numeri AmicabiliNuovo

Calcolatore della Congettura di CollatzIn Primo Piano

Primi n numeri primi

Verificatore della Congettura di GoldbachNuovo

È un Numero Primo?

Calcolatore Funzione di MöbiusNuovo

Verificatore di Numeri PerfettiNuovo

Calcolatore di Fattori Primi

Trova Numeri Primi GemelliNuovo

Operazioni matematiche fondamentali:

Calcolatore di fattore comune
Calcolatore di cubi e radici cubiche
Calcolatore Radice Cubica
Dividi in due parti
Calcolatore del Test di Divisibilità
Calcolatore di Fattori
Trova Minimo e Massimo
Primi n numeri di e
Primi n Numeri di Pi Greco In Primo Piano
Calcolatore del massimo comune divisore
È un Numero Primo?
Calcolatore del Minimo Comune Multiplo
Calcolatore di Modulo In Primo Piano
Calcolatore per Moltiplicazione
Calcolatore di radice n-esima alta precisione
Calcolatrice del Numero di Cifre
Calcolatore di Fattori Primi
Calcolatore di Fattorizzazione Prima
Calcolatore di quoziente e rimanente
Ordina Numeri In Primo Piano
Calcolatore di radice quadrata In Primo Piano
Calcolatore di Somme In Primo Piano
Calcolatore di Rapporti Nuovo
Calcolatore di Divisione Lunga Nuovo
Calcolatore di Moltiplicazione Incrociata Nuovo
Generatore di Tavole Pitagoriche Nuovo
Calcolatore di Moltiplicazione Lunga Nuovo
Calcolatore di Addizione e Sottrazione in Colonna Nuovo
Calcolatore Ordine delle Operazioni (PEMDAS) Nuovo
Generatore di Tabella del Valore Posizionale Nuovo
Trova Schemi Numerici Nuovo
Verificatore Numero Pari o Dispari Nuovo
Calcolatore del Valore Assoluto Nuovo
Calcolatore Funzione Soffitto e Pavimento Nuovo
Calcolatore Prezzo Unitario Nuovo
Generatore di Conteggio a Salti Nuovo
Calcolatore di Stima Nuovo
Verificatore di Numeri Perfetti Nuovo
Verificatore di Numeri Amicabili Nuovo
Verificatore di Primo di Mersenne Nuovo
Verificatore della Congettura di Goldbach Nuovo
Calcolatore Funzione di Möbius Nuovo
Verificatore di Numero di Fibonacci Nuovo
Calcolatore di Radice Digitale Nuovo
Generatore di Problemi di Matematica Casuali Nuovo

Verificatore di Primo di Mersenne

Verificatore di Primo di Mersenne

Cos'è un Numero Primo di Mersenne?

Il Test di Lucas-Lehmer

Perché p Deve Essere Primo?

Numeri Primi di Mersenne e Numeri Perfetti (Euclide-Eulero)

Lo Schema dei Bit Binari

Come Usare Questo Calcolatore

Primi Dodici Numeri Primi di Mersenne Conosciuti

Il Progetto GIMPS

Curiosità sui Numeri Primi di Mersenne

Domande Frequenti

Cos'è un numero primo di Mersenne?

Come funziona il test di Lucas-Lehmer?

Perché p deve essere primo?

Qual è il collegamento tra i numeri primi di Mersenne e i numeri perfetti?

Perché \(M_p\) ha \(p\) bit consecutivi a 1 in binario?

Qual è l'esponente più grande che questo strumento può testare?

Risorse Aggiuntive

Altri strumenti correlati:

Operazioni matematiche fondamentali:

Strumenti in primo piano: