Semplifica il tuo flusso di lavoro: cerca miniwebtool.
Aggiungi
Strumenti correlati
Verificatore di Numeri AmicabiliConvertitore da binario a ottaleCalcolatore del Test di DivisibilitàCalcolatore del Test Esatto di FisherÈ un Numero Primo?Calcolatore di Potenza di MatriceCalcolatore Esponenziazione ModulareVerificatore di Numeri PerfettiCalcolatore di Fattori PrimiTrova Numeri Primi Gemelli
Pagina Iniziale > Matematica > Operazioni matematiche fondamentali > Verificatore di Primo di Mersenne
 

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.

Verificatore di Primo di Mersenne

Scegli un esponente famoso da testare — ognuno viene eseguito in pochi millisecondi:

✦ Primo noto \(M_p\) p = 13 p = 17 p = 31 p = 61 p = 127
✕ Composto \(M_p\) p = 11 p = 23 p = 37 p = 67
⚡ Grandi p = 521 p = 1279 p = 2281 p = 4253
2^

Qualsiasi intero positivo da 1 a 5.000. Per esponenti più grandi usa software specializzati come Prime95.

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:

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 = 111112 = 31
M_7 = 2^7 − 1 = 11111112 = 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

  1. Inserisci un esponente \(p\): qualsiasi numero intero positivo da 1 a 5.000.
  2. Clicca su Verifica: lo strumento controlla innanzitutto se \(p\) è primo; in caso contrario, spiega perché \(M_p\) deve essere composto.
  3. Per p primo: la ricorrenza di Lucas-Lehmer esegue \(p - 2\) iterazioni modulo \(M_p\).
  4. 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\)CifreScoperta
1231Antichità
2371Antichità
35312Antichità
471273Antichità
5138.19141456 (anon.)
617131.07161588 Cataldi
719524.28761588 Cataldi
8312.147.483.647101772 Eulero
9612.3 × 10^18191883 Pervushin
10896.2 × 10^26271911 Powers
111071.6 × 10^32331914 Powers
121271.7 × 10^38391876 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

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:

Strumenti in primo piano:

Calcolatore dei numeri degli angeli📅 Calcolatore di DataCalcolatrice di Compatibilità AmorosaCalcolatore Segno Solare, Lunare e Ascendente 🌞🌙✨Calcolatore di SommeGeneratore di parole casuali in ingleseRimuovi spaziCalcolatore di Compatibilità dei Segni LunariConvertitore di Tempo in DecimaliConvertitore di Piedi e Pollici in CentimetriFormattatore di Testo⏱️ Calcolatore di OreRicerca ID Utente InstagramRicerca ID Utente FacebookQual è il mio numero fortunato?Generatore di CrucipuzzleEstrattore di Immagini da VideoCalcolatore del Giorno dell'Anno - Che giorno dell'anno è oggi?Generatore di Carte da Gioco CasualeConvertitore da esadecimale a decimaleCalcolatore del numero di percorso di vitaCalcolatore per ridurre frazioniCalcolatore EsadecimaleGeneratore di Citazioni CasualiPalla Magica 8Convertitore Numero in FrazioneGeneratore di anagrammiGeneratore di Orario CasualeSelettore di Film CasualeGeneratore di Obbligo o Verità AleatorioCalcolatore del Numero del NomeVerificatore di Nome Utente sui Social MediaCalcolatore del Numero dell'AnimaEstrattore AudioGeneratore di stringhe casualiCalendario del Giorno dell'AnnoInverti Testoconvertitore da ppm a percentualeCalcolatore di ScalaGeneratore di Date CasualiConvertitore da cm a piedi e polliciDivisore AudioSegnapunti TennisGeneratore casuale di animaliGeneratore di Colori CasualiCompressore VideoCalcolatore del percentile di altezzaConvertitore di Percentuale in PPMUnisci Videoricerca-indirizzo-MACRimuovi linee vuote da un testoCalendario di Mercurio RetrogradoConvertitore da Decimale a TempoCalcolatore di Durata del TempoConvertitore da binario a esadecimaleGeneratore di oggetti casualiLista di Anni BisestiliDivisore videoCalcolatore Dimensioni di Stampa e Risoluzione (DPI/PPI)Calendario di luna nuova e luna pienaCalcolatore BinarioConvertitore di potenzaGeneratore di Personaggi RPG CasualeCalcolatore del Test Chi-QuadratoCalcolatrice della Deviazione Standard RelativaConvertitore di Frequenza e Lunghezza d'OndaDivisore di ImmaginiMiglioratore di ImmaginiCalcolatore del calcio correttoCalcolatore della Media GeometricaConvertitore da decimale a esadecimaleValidatore XMLCalcolatore Ritmo NuotoCalcolatore del Coefficiente di VariazioneOrdina NumeriCalcolatore della Circonferenza di un EllisseCalcolatore di calcestruzzoCalcolatore EBITDA🔍 Verificatore di PlagioCalcolatore di Comparazione di FrazioniCalcolatore di Log in Base 10Calcolatore di notazioni scientificheConvertitore da Esadecimale a BinarioGeneratore di LabirintiCalcolatore dell'Aspettativa di VitaCalcolatore Posizione del SoleConvertitore FPS🔊 Generatore di ToniGeneratore di Superpotere Casualegeneratore-di-testo-capovoltoAggiungi o Sostituisci Audio nel VideoCalcolatore della Distanza di VoloCalcolatore dello Zodiaco dell'Albero CelticoCalcolatore di ArrotondamentoGeneratore di Compleanni CasualiGeneratore di Unisci i PuntiniCreatore di CruciverbaConvertitore di AngoliGeneratore di CrittogrammaStatistiche del Canale YouTubeCalcolatrice di NumerologiaCalcolatore del Ritorno di SaturnoConvertitore di Velocità di Trasferimento DatiConvertitore HTML in TestoGeneratore di IMEI CasualeCalcolatrice del Numero d'EspressioneCalcolatore di Probabilità dei DadiCalcolatore tempo di raffreddamento birraStrumento Cifrario di VigenèreCalcolatore di Differenza di ListeCalcolatore di diminuzione di percentualeCalcolatore di Guadagni TwitchContatore di lineaContatore di Token AICalcolatore da frazione a decimaleRuota VideoCalcolatore CAGRCalcolatore del Numero della PersonalitàCalcolatore dell'ArcotangenteCalcolatore della TangenteCalcolatore delle frazioni equivalentiConfronta due stringheCalcolatore di alba e tramontoConvertitore di VelocitàStrumento online per rimuovere la punteggiaturaAggiungi prefisso e suffisso al testoCalcolatore del deficit caloricoCalcolatore dell'Arcocoseno (Coseno Inverso)Calcolatore Lunghezza AntennaCalcolatore Rapporto ParcheggioConvertitore in numeri romaniGeneratore di indirizzi MACRimozione Caratteri InvisibiliCalcolatore del Segno di VenereCalcolatore di Filo per Punto CroceConta il numero di caratteriGeneratore di Argomenti di Dibattito CasualiGeneratore di Coordinate CasualiGeneratore di Lettera CasualeCalcolatore dell'Area di un EllisseCalcolatrice del giorno della settimana di nascitaGeneratore di Emoji CasualeCalcolatore di Conversione Scala ModelloCalcolatore di Decibel (dB)Calcolatore di VelocitàGeneratore di Tabelloni Torneo CasualiRandomizzatore di listaCalcolatore del cerchioCalcolatore di Arctan2Calcolatore Media, Mediana e Modaconvertitore da parole a numero di telefonoConvertitore di Unità di CucinaConvertitore Taglie di AbbigliamentoGeneratore di Gruppi CasualiGeneratore Sasso Carta ForbiciRegola Velocità VideoCalcolatore Proporzioni Ricette👙 Calcolatore Taglia ReggisenoConvertitore da binario a ottaleConvertitore Misura AnelloGeneratore di frequenza sonora casualeInverti VideoAnalizzatore di Frequenza delle ParoleCalcolatore del Giorno della SettimanaCalcolatore del Numero MaestroCalcolatore di anni caniniCalcolatore Guadagni YouTubeCalcolatore Notazione Sigma (Sommatoria)Convertitore di dimensioni del fileConvertitore di Taglie ScarpeGeneratore di Carte di Credito CasualeCalcolatore della Congettura di CollatzCalcolatore di radice quadrataCalcolatore di Velocità di CiclismoCalcolatore Handicap GolfEspansore di Frasi AIGeneratore di Morse CodeRimuovi audio da videoStrumento Cifrario di CesareVerificatore di Robustezza della PasswordVerificatore Numero Pari o DispariAggiungi Testo all'ImmagineCalcolatore Cavalli VaporeCalcolatore del SonnoCalcolatore dell'Errore PercentualeCalcolatore Resistore per LEDConvertitore di Codici Colore (Tutti i Formati)Convertitore di piedi in metriGeneratore di Testo BarratoCalcolatore del segno di mercurioCalcolatore del Segno LunareCalcolatore di Area del Poligono IrregolareCalcolatore di log naturaleCalcolatore di ModuloCalcolatore di Pendenza e GradoCalcolatore di pH🖱️ Contatore di ClicConvertitore di pollici in cmLista di Numeri di FibonacciCalcolatore del Consumo di AcquaCalcolatore punteggio ACFTCalcolatore Wilks & DOTSCalcolatore Offset RuotaRicerca Indice di Carico e Indice di Velocità PneumaticiCalcolatore del Costo per MiglioCalcolatore di Riscatto del LeasingCalcolatore Miscela OttaniCalcolatore Miscela Olio 2 TempiCalcolatore Cilindrata MotoreCalcolatore Ingombro Divano PortaCalcolatore di Cataste di LegnaCalcolatore CADR Purificatore AriaCalcolatore Dimensione DeumidificatoreCalcolatore Dimensione Ventilatore da SoffittoCalcolatore Dimensioni TendeCalcolatore Dimensione TappetoCalcolatore Altezza per Appendere QuadriCalcolatore Altezza di Montaggio TVCalcolatore Dimensioni TVCalcolatore Volume e Telo per LaghettoCalcolatore Sale PiscinaCalcolatore Volume PiscinaCalcolatore Dimensione ScaldabagnoCalcolatore di Resina EpossidicaCalcolatore Spaziatura BalaustriCalcolatore di Battiscopa e ModanatureCalcolatore di RivestimentoCalcolatore impregnante per deckCalcolatore Semi per PratoCalcolatore di Zolle ErboseCalcolatore AsfaltoCalcolatore di Iarde CubeCalcolatore Riempimento TuboCalcolatore di Condensatori in Serie e ParalleloCalcolatore di Reattanza InduttivaCalcolatore di Illuminazione della StanzaCalcolatore da Lux a LumenConvertitore da Lumen a WattCalcolatore Dimensione GeneratoreConvertitore da mAh a WhCalcolatore di Potenza TrifaseCalcolatore kVACalcolatore da Ampere a WattCalcolatore da Watt ad AmpereCalcolatore Resistenze in SerieCalcolatore di AttritoCalcolatore del Piano InclinatoCalcolatore del Vantaggio MeccanicoCalcolatore della Velocità del SuonoCalcolatore della Velocità dell'OndaCalcolatore di galleggiabilitàCalcolatore di Velocità TerminaleCalcolatore della Lunghezza d'Onda di de BroglieCalcolatore di Energia del FotoneCalcolatore E=mc²Calcolatore di Dilatazione del TempoCalcolatore della Terza Legge di KepleroCalcolatore della Velocità di FugaCalcolatore della Forza GravitazionaleCalcolatore della Legge di Beer-LambertCalcolatore dell'Equazione di NernstCalcolatore della Pressione OsmoticaCalcolatore di Innalzamento del Punto di EbollizioneCalcolatore di Abbassamento del Punto di CongelamentoCalcolatore di Composizione PercentualeCalcolatore di NormalitàCalcolatore di MolalitàConvertitore da pKa a KaCalcolatore di Henderson-HasselbalchCalcolatore della Resa TeoricaCalcolatore del Reagente LimitanteCalcolatore di Configurazione ElettronicaTavola Periodica InterattivaGeneratore di Piani di Lezione con IAGeneratore di Quiz IAGeneratore di Citazioni (APA/MLA/Chicago)Calcolatore Percentuale di PresenzeAP Score CalculatorCalcolatore Punteggio ACTCalcolatore Punteggio SATConvertitore da Percentuale a CGPAConvertitore da CGPA a PercentualeCorrettore Voti Facile (EZ Grader)Calcolatore del Costo di Crescere un FiglioCalcolatore di Assunzione di Latte per NeonatiCalcolatore Taglia PannoliniGeneratore di Nomi per BambiniPredittore del Colore degli Occhi del BambinoCalcolatore del Percentile BMI per BambiniCalcolatore Altezza Futura del BambinoCalcolatore del Tempo di Raddoppiamento dell'hCGCalcolatore della Data Prevista del Parto FIVETCalcolatore di ImpiantoPredittore Cinese del Sesso del BebèFormattatore di Date ISO 8601Convertitore Data GiulianaNap CalculatorCalcolatore delle Fasi LunariOrologio MondialeConvertitore da Data a Numeri RomaniConto alla Rovescia per la PensioneCalcolatore di SobrietàCalcolatore di Mezzo CompleannoCalcolatore AnniversarioCalcolatore Numero della SettimanaCalcolatore di Ripartizione delle ManceCalcolatore ROI Email MarketingCalcolatore del Costo Per LeadCalcolatore del Capitale Circolante