Por que o próprio p deve ser primo?

Se p for igual a 'a' vezes 'b', com ambos maiores que 1, então 2^p - 1 é divisível por 2^a - 1 (e por 2^b - 1), portanto M_p é composto. O inverso não é verdadeiro: p sendo primo não implica que M_p seja primo. Por exemplo, p = 11 é primo, mas M_11 = 2047 = 23 vezes 89 é composto.

Verificador de Primo de Mersenne

Q: O que é um primo de Mersenne?

Um primo de Mersenne é um número primo da forma 2^p - 1, onde p também é primo. Os primeiros primos de Mersenne são 3, 7, 31, 127, 8191, correspondendo aos expoentes p = 2, 3, 5, 7, 13. Até 2024, são conhecidos 52 primos de Mersenne; o maior primo conhecido (M136279841) é um primo de Mersenne com mais de 41 milhões de dígitos.

Q: Como funciona o teste de Lucas-Lehmer?

Para um expoente primo p maior ou igual a 3, define-se S_0 = 4 e S_i = S_(i-1)^2 - 2 modulo M_p. O número de Mersenne M_p = 2^p - 1 é primo se e somente se S_(p-2) for congruente a 0 modulo M_p. O teste executa p-2 iterações, cada uma sendo uma única quadratura modular.

Q: Por que M_p tem p bits 1 consecutivos em binário?

O número 2^p em binário é um 1 seguido por p zeros. Subtrair 1 converte todos os p zeros finais em 1s. Portanto, 2^p - 1 em binário é exatamente p uns, que é a assinatura visual definidora de cada número de Mersenne.

Q: Qual é o maior expoente que esta ferramenta pode testar?

Esta ferramenta testa expoentes de até 5000 para que a iteração de Lucas-Lehmer seja concluída dentro de uma requisição web normal. Para expoentes maiores (incluindo a fronteira GIMPS ativamente pesquisada), é necessário um software dedicado, como o Prime95, já que um único teste pode levar semanas de tempo de computação.

Teste se 2^p - 1 e um primo de Mersenne para um expoente p dado. Usa o teste de Lucas-Lehmer com rastro de iteracao animado, visual de bits binarios, pareamento de Euclides-Euler e os 52 primos conhecidos.

Uso gratuitoSem cadastroResultados instantâneos

Verificador de Primo de MersenneExperimente agora — grátis ▼

Embed Verificador de Primo de Mersenne Widget

Verificador de Primo de Mersenne

Bem-vindo ao Verificador de Primo de Mersenne, uma ferramenta interativa que testa se $2^p - 1$ é um primo de Mersenne para qualquer expoente $p$ até 5000. A ferramenta executa o célebre teste de primalidade de Lucas-Lehmer, mostra um rastreamento de iteração animado da recorrência $S_i = S_{i-1}^2 - 2 \pmod{M_p}$, visualiza o padrão de bits binários (uma assinatura definidora de cada número de Mersenne) e — quando o resultado é primo — associa-o ao número perfeito par correspondente via teorema de Euclides-Euler.

O Que É um Primo de Mersenne?

Um número de Mersenne é um número da forma $M_p = 2^p - 1$. Quando o próprio $M_p$ é primo, ele é chamado de primo de Mersenne. O nome homenageia Marin Mersenne (1588-1648), o monge francês que catalogou os primeiros casos e conjecturou quais expoentes até 257 resultavam em primos — uma lista que se revelou parcialmente errada, mas lançou três séculos de pesquisa.

Primo de Mersenne

$$M_p = 2^p - 1 \;\; \text{é primo, onde } p \text{ também deve ser primo}$$

Os primeiros primos de Mersenne, em ordem:

$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$ (encontrado por Euler em 1772 — o maior primo conhecido por 104 anos)

Até 2024, exatamente 52 primos de Mersenne são conhecidos. O recorde atual é $M_{136{,}279{,}841}$, descoberto em outubro de 2024 pelo projeto de computação distribuída GIMPS — um número com 41.024.320 dígitos decimais.

O Teste de Lucas-Lehmer

A razão pela qual os primos de Mersenne dominam os livros de recordes é um teste de primalidade especializado e extremamente rápido, descoberto por Édouard Lucas (1878) e simplificado por Derrick Lehmer (1930):

Teste de Lucas-Lehmer

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

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

O teste requer apenas $p-2$ quadraturas modulares — aproximadamente $O(p^3)$ operações de bits com multiplicação escolar, ou $O(p^2 \log p \log\log p)$ com FFT. Compare isso com testes de primalidade de uso geral em números do tamanho de $M_p$ (milhões de dígitos), que seriam completamente inviáveis. O atalho de Lucas-Lehmer é o que torna possível a busca por primos de Mersenne.

Por Que $p$ Deve Ser Primo?

Se $p = a \cdot b$ com $a, b > 1$, uma identidade clássica mostra que $2^a - 1$ divide $2^{ab} - 1$:

Identidade de fatoração

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

Portanto, se o expoente for composto, $M_p$ será automaticamente composto. O inverso é falso: $p$ ser primo não garante que $M_p$ seja primo. Por exemplo, $p = 11$ é primo, mas $M_{11} = 2047 = 23 \times 89$.

Primos de Mersenne e Números Perfeitos (Euclides-Euler)

Euclides observou por volta de 300 a.C. que, se $2^p - 1$ for primo, então $2^{p-1}(2^p - 1)$ será um número perfeito — um número igual à soma de seus divisores próprios. Mais tarde, Euler provou o inverso: todo número perfeito par surge desta forma.

Teorema de Euclides-Euler

$$N \text{ é um número perfeito par} \iff N = 2^{p-1}(2^p - 1),\;\; 2^p - 1 \text{ primo}$$

Assim, encontrar um novo primo de Mersenne produz instantaneamente um novo número perfeito. Os primeiros quatro números perfeitos pares são 6, 28, 496 e 8128 — conhecidos desde a antiguidade. Se existe algum número perfeito ímpar permanece um problema não resolvido há mais de 2.300 anos.

O Padrão de Bits Binários

Todo número de Mersenne possui uma representação binária excepcionalmente limpa: $2^p$ em binário é $1$ seguido por $p$ zeros, portanto $2^p - 1$ são exatamente $p$ bits 1 consecutivos:

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

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

É por isso que a ferramenta visualiza cada bit como seu próprio bloco — o padrão de bits é a assinatura visual de um número de Mersenne, independentemente de o número ser primo.

Como Usar Esta Calculadora

Insira um expoente $p$: qualquer número inteiro positivo de 1 a 5.000.
Clique em Verificar: a ferramenta primeiro verifica se $p$ é primo; se não for, explica por que $M_p$ deve ser composto.
Para $p$ primo: a recorrência de Lucas-Lehmer executa $p - 2$ iterações módulo $M_p$.
Explore o resultado: banner do veredito, rastreamento de iteração de 6 linhas (com "..." para etapas intermediárias omitidas em $p$ grande), formas decimais e binárias de $M_p$ e o emparelhamento de número perfeito de Euclides-Euler quando aplicável.

Primeiros Doze Primos de Mersenne Conhecidos

#	Expoente $p$	$M_p = 2^p - 1$	Dígitos	Descoberto
1	2	3	1	Antiguidade
2	3	7	1	Antiguidade
3	5	31	2	Antiguidade
4	7	127	3	Antiguidade
5	13	8.191	4	1456 (anôn.)
6	17	131.071	6	1588 Cataldi
7	19	524.287	6	1588 Cataldi
8	31	2.147.483.647	10	1772 Euler
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

O Projeto GIMPS

A Great Internet Mersenne Prime Search (GIMPS), lançada em 1996 por George Woltman, é um projeto de computação distribuída onde voluntários doam tempo de CPU para executar testes de Lucas-Lehmer em expoentes candidatos. Até 2024, cada primo de Mersenne desde M_35 = M_{1398269} (1996) foi descoberto pelo GIMPS. Um único teste de Lucas-Lehmer na fronteira moderna (expoentes próximos a $10^8$) leva semanas de computação em GPU.

Curiosidades Sobre Primos de Mersenne

$M_{31} = 2{,}147{,}483{,}647$ é o maior número inteiro de 32 bits com sinal — o famoso $\texttt{INT\_MAX}$ em C. Isso não é coincidência: o valor advém do fato de que $M_{31}$ é primo e, portanto, um limite natural de "quase estouro".
Existem lacunas de tamanho desconhecido entre primos de Mersenne sucessivos. Não se sabe se existem infinitos primos de Mersenne — a conjectura de Lenstra-Pomerance-Wagstaff prevê que sim, crescendo aproximadamente como $e^\gamma \log_2 p$.
Em 2008, a Electronic Frontier Foundation concedeu US$ 100.000 ao primeiro descobridor de um primo de 10 milhões de dígitos. O prêmio foi para a equipe GIMPS da UCLA por $M_{43112609}$. Um prêmio de US$ 150.000 ainda está disponível para o primeiro primo de 100 milhões de dígitos.
$M_{31}$ aparece na nota comemorativa de 100 rublos russa de 1811, em homenagem à descoberta de Euler — um dos poucos números primos já impressos em moeda corrente.
Como cada primo de Mersenne gera um número perfeito, a humanidade possui exatamente 52 números perfeitos pares registrados (correspondendo aos 52 primos de Mersenne conhecidos).

Perguntas Frequentes

O que é um primo de Mersenne?

Um primo de Mersenne é um número primo da forma $2^p - 1$, onde $p$ também é primo. Os primeiros são 3, 7, 31, 127 e 8.191. Até 2024, 52 primos de Mersenne são conhecidos; o maior primo conhecido ($M_{136{,}279{,}841}$) é um primo de Mersenne com mais de 41 milhões de dígitos.

Como funciona o teste de Lucas-Lehmer?

Para um expoente primo $p \geq 3$, define-se $S_0 = 4$ e $S_i = S_{i-1}^2 - 2 \pmod{M_p}$. O número de Mersenne $M_p = 2^p - 1$ é primo se e somente se $S_{p-2} \equiv 0 \pmod{M_p}$. O teste executa $p - 2$ iterações, cada uma sendo uma única quadratura modular.

Por que $p$ deve ser primo?

Se $p = ab$ com ambos os fatores maiores que 1, então $2^p - 1$ é divisível por $2^a - 1$ (e por $2^b - 1$), portanto $M_p$ é composto. O inverso não é verdadeiro: $p$ ser primo não implica que $M_p$ seja primo. Por exemplo, $p = 11$ é primo, mas $M_{11} = 2047 = 23 \times 89$ é composto.

Qual é a conexão entre primos de Mersenne e números perfeitos?

O teorema de Euclides-Euler estabelece que todo número perfeito par tem a forma $2^{p-1}(2^p - 1)$ onde $2^p - 1$ é um primo de Mersenne. Assim, cada primo de Mersenne gera exatamente um número perfeito par, e todo número perfeito par provém de um primo de Mersenne. Se existem números perfeitos ímpares é um dos problemas abertos mais antigos da matemática.

Por que $M_p$ tem $p$ bits 1 consecutivos em binário?

O número $2^p$ em binário é um 1 seguido por $p$ zeros. Subtrair 1 converte todos os $p$ zeros finais em 1s. Portanto, $2^p - 1$ em binário é exatamente $p$ uns — a assinatura visual definidora de cada número de Mersenne, seja ele primo ou composto.

Qual é o maior expoente que esta ferramenta pode testar?

Esta ferramenta testa expoentes de até 5.000 para que a iteração de Lucas-Lehmer seja concluída dentro de uma requisição web normal. Para expoentes maiores (incluindo a fronteira GIMPS próxima a $10^8$), é necessário um software dedicado, como o Prime95, já que um único teste pode levar semanas de tempo de computação em uma GPU moderna.

Recursos Adicionais

Cite este conteúdo, página ou ferramenta como:

"Verificador de Primo de Mersenne" em https://MiniWebtool.com/br/verificador-de-primo-de-mersenne/ de MiniWebtool, https://MiniWebtool.com/

pela equipe miniwebtool. Atualizado em: 18 de abr. de 2026

API para desenvolvedores disponível: Execute esta ferramenta no seu app, automação ou agente com uma requisição HTTP JSON. Ver documentação da API

Você também pode experimentar nosso Solucionador de Matemática AI GPT para resolver seus problemas de matemática através de perguntas e respostas em linguagem natural.

Operações básicas de matemática:

Calculadora de Valor Absoluto Novo
Verificador de Números Amigáveis Novo
Visualizador de Vai um e Empresta Novo
Calculadora de Teto e Piso Novo
Calculadora de fator comum
Calculadora de Multiplicação Cruzada Novo
Calculadora de Cubo e Raiz Cúbica
Calculadora de Raiz Cúbica
Calculadora de Raiz Digital Novo
Divida em Duas Partes
Calculadora de Teste de Divisibilidade
Calculadora de Multiplicação Egípcia Novo
Calculadora de Estimativa Novo
Verificador de Número Par ou Ímpar Popular
Calculadora de Fatores
Verificador de Número de Fibonacci Novo
Encontrar Mínimo e Máximo
Primeiros n Dígitos de e
Primeiros n Dígitos do Pi Popular
Verificador da Conjectura de Goldbach Novo
Calculadora de Máximo Divisor Comum
É um Número Primo?
Calculadora de Mínimo Múltiplo Comum
Calculadora de Adição e Subtração Longa Novo
Calculadora de Divisão Longa Novo
Calculadora de Multiplicação Longa Novo
Calculadora de Função de Möbius Novo
Treinador de Matemática Mental Novo
Verificador de Primo de Mersenne Novo
Calculadora de Módulo Popular
Calculadora de Multiplicação Popular
Gerador de Tabuada Novo
Calculadora de Raiz N-ésima de Alta Precisão
Gerador de Decomposições Numéricas Novo
Calculadora de Número de Dígitos Popular
Encontrador de Padrões Numéricos Novo
Calculadora de Ordem das Operações (PEMDAS) Novo
Verificador de Número Perfeito Novo
Gerador de Gráfico de Valor Posicional Novo
Calculadora de Fator Primo
Calculadora de Fatoração de Primos
Calculadora de quociente e restante
Gerador de Problemas de Matemática Aleatórios Popular
Calculadora de Razão Novo
Calculadora de Matemática com Números Romanos Novo
Multiplicação Camponesa Russa Novo
Gerador de Contagem Salteada Novo
Simulador de Soroban Ábaco Japonês Popular
Classificar Números Popular
Calculadora de raiz quadrada
Calculadora de Soma
Quiz de Tabuada Popular
Calculadora de Taxa Unitária Novo
Calculadora de Truques de Matemática Védica Novo

Verificador de Primo de Mersenne

Verificador de Primo de Mersenne

O Que É um Primo de Mersenne?

O Teste de Lucas-Lehmer

Por Que \(p\) Deve Ser Primo?

Primos de Mersenne e Números Perfeitos (Euclides-Euler)

O Padrão de Bits Binários

Como Usar Esta Calculadora

Primeiros Doze Primos de Mersenne Conhecidos

O Projeto GIMPS

Curiosidades Sobre Primos de Mersenne

Perguntas Frequentes

O que é um primo de Mersenne?

Como funciona o teste de Lucas-Lehmer?

Por que \(p\) deve ser primo?

Qual é a conexão entre primos de Mersenne e números perfeitos?

Por que \(M_p\) tem \(p\) bits 1 consecutivos em binário?

Qual é o maior expoente que esta ferramenta pode testar?

Recursos Adicionais

Operações básicas de matemática:

Ferramentas populares e atualizadas:

Baixe tudo em um único ZIP com o Pro