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

Verifique se 2^p − 1 é um primo de Mersenne para um determinado expoente p. Usa o teste de primalidade de Lucas–Lehmer com rastreamento animado de iteração, visualização de padrão de bits binários, emparelhamento de números perfeitos de Euclides-Euler e contexto histórico sobre os 52 primos de Mersenne conhecidos.

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

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.

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 em destaque: