Verificatore di Primo di Mersenne

Q: Cos'è un numero primo di Mersenne?

Un numero primo di Mersenne è un numero primo della forma 2^p - 1, dove anche p è un numero primo. I primi numeri primi di Mersenne sono 3, 7, 31, 127, 8191, corrispondenti agli esponenti p = 2, 3, 5, 7, 13. Al 2024, sono noti 52 numeri primi di Mersenne; il più grande numero primo conosciuto (M136279841) è un numero primo di Mersenne con oltre 41 milioni di cifre.

Q: Come funziona il test di Lucas-Lehmer?

Per un esponente primo p maggiore o uguale a 3, si definisce S_0 = 4 e S_i = S_(i-1)^2 - 2 modulo M_p. Il numero di Mersenne M_p = 2^p - 1 è primo se e solo se S_(p-2) è congruente a 0 modulo M_p. Il test viene eseguito in p-2 iterazioni, ognuna delle quali consiste in un singolo elevamento al quadrato modulare.

Q: Perché p stesso deve essere primo?

Se p è uguale a a per b con entrambi i valori 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: p primo non implica che M_p sia primo. Ad esempio p = 11 è primo ma M_11 = 2047 = 23 per 89 è composto.

Q: 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, che è la firma visiva distintiva di ogni numero di Mersenne.

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

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

Verifica se 2^p - 1 è un numero primo di Mersenne per un dato esponente p. Usa il test di Lucas-Lehmer con una traccia animata delle iterazioni, un visual del pattern binario, l'accoppiamento Euclide-Eulero e i 52 primi noti.

Utilizzo gratuitoSenza registrazioneRisultati istantanei

Verificatore di Primo di MersenneProvalo ora — gratis ▼

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

API per sviluppatori disponibile: Esegui questo strumento dalla tua app, automazione o agente con una richiesta HTTP JSON. Vedi documentazione API

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

Operazioni matematiche fondamentali:

Calcolatore del Valore Assoluto Nuovo
Verificatore di Numeri Amicabili Nuovo
Visualizzatore di Riporto e Prestito Nuovo
Calcolatore Funzione Soffitto e Pavimento Nuovo
Calcolatore di fattore comune
Calcolatore di Moltiplicazione Incrociata Nuovo
Calcolatore di cubi e radici cubiche
Calcolatore Radice Cubica
Calcolatore di Radice Digitale Nuovo
Dividi in due parti
Calcolatore del Test di Divisibilità
Calcolatore di Moltiplicazione Egizia Nuovo
Calcolatore di Stima Nuovo
Verificatore Numero Pari o Dispari Nuovo
Calcolatore di Fattori
Verificatore di Numero di Fibonacci Nuovo
Trova Minimo e Massimo
Primi n numeri di e
Primi n Numeri di Pi Greco Popolare
Verificatore della Congettura di Goldbach Nuovo
Calcolatore del massimo comune divisore
È un Numero Primo?
Calcolatore del Minimo Comune Multiplo
Calcolatore di Addizione e Sottrazione in Colonna Nuovo
Calcolatore di Divisione Lunga Nuovo
Calcolatore di Moltiplicazione Lunga Nuovo
Calcolatore Funzione di Möbius Nuovo
Allenatore di Calcolo Mentale Nuovo
Verificatore di Primo di Mersenne Nuovo
Calcolatore di Modulo Popolare
Calcolatore per Moltiplicazione
Generatore di Tavole Pitagoriche Nuovo
Calcolatore di radice n-esima alta precisione
Generatore di Decomposizioni Numeriche Nuovo
Calcolatrice del Numero di Cifre
Trova Schemi Numerici Nuovo
Calcolatore Ordine delle Operazioni (PEMDAS) Nuovo
Verificatore di Numeri Perfetti Nuovo
Generatore di Tabella del Valore Posizionale Nuovo
Calcolatore di Fattori Primi
Calcolatore di Fattorizzazione Prima
Calcolatore di quoziente e rimanente
Generatore di Problemi di Matematica Casuali Nuovo
Calcolatore di Rapporti Nuovo
Risolutore Matematico con Numeri Romani Nuovo
Moltiplicazione del Contadino Russo Nuovo
Generatore di Conteggio a Salti Nuovo
Simulatore Soroban Abaco Giapponese Nuovo
Ordina Numeri Popolare
Calcolatore di radice quadrata Popolare
Calcolatore di Somme Popolare
Quiz delle Tabelline Nuovo
Calcolatore Prezzo Unitario Nuovo
Calcolatore di Trucchi di Matematica Vedica 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

Operazioni matematiche fondamentali:

Strumenti popolari e aggiornati:

Scarica tutto in un unico ZIP con Pro