Verificador de Primo de Mersenne

Q: ¿Qué es un primo de Mersenne?

Un primo de Mersenne es un número primo de la forma 2^p - 1, donde p también es primo. Los primeros primos de Mersenne son 3, 7, 31, 127, 8191, correspondientes a los exponentes p = 2, 3, 5, 7, 13. A partir de 2024, se conocen 52 primos de Mersenne; el primo más grande conocido (M136279841) es un primo de Mersenne con más de 41 millones de dígitos.

Q: ¿Cómo funciona la prueba de Lucas-Lehmer?

Para un exponente primo p mayor o igual a 3, se definen S_0 = 4 y S_i = S_(i-1)^2 - 2 módulo M_p. El número de Mersenne M_p = 2^p - 1 es primo si y solo si S_(p-2) es congruente con 0 módulo M_p. La prueba se ejecuta en p-2 iteraciones, cada una consistente en un único cuadrado modular.

Q: ¿Por qué p mismo debe ser primo?

Si p es igual a 'a' por 'b', siendo ambos mayores que 1, entonces 2^p - 1 es divisible por 2^a - 1 (y por 2^b - 1), por lo que M_p es compuesto. Lo contrario no es cierto: que p sea primo no implica que M_p sea primo. Por ejemplo, p = 11 es primo pero M_11 = 2047 = 23 por 89 es compuesto.

Q: ¿Por qué M_p tiene p bits-1 consecutivos en binario?

El número 2^p en binario es un 1 seguido de p ceros. Restar 1 convierte todos los p ceros finales en 1s. Así, 2^p - 1 en binario son exactamente p unos, lo cual es la firma visual definitoria de cada número de Mersenne.

Q: ¿Cuál es el exponente más grande que esta herramienta puede probar?

Esta herramienta prueba exponentes hasta 5000 para que la iteración de Lucas-Lehmer se complete dentro de una solicitud web normal. Para exponentes más grandes (incluida la frontera de GIMPS que se busca activamente), se requiere software dedicado como Prime95, ya que una sola prueba puede tardar semanas de tiempo de cómputo.

Compruebe si 2^p − 1 es un primo de Mersenne para un exponente p dado. Utiliza la prueba de primalidad de Lucas-Lehmer con un rastro de iteración animado, visualización de patrones de bits binarios, emparejamiento de números perfectos de Euclides-Euler y contexto histórico sobre los 52 primos de Mersenne conocidos.

Verificador de Primo de Mersenne

Embed Verificador de Primo de Mersenne Widget

Verificador de Primo de Mersenne

Bienvenido al Verificador de Primo de Mersenne, una herramienta interactiva que comprueba si $2^p - 1$ es un primo de Mersenne para cualquier exponente $p$ hasta 5000. La herramienta ejecuta la célebre prueba de primalidad de Lucas-Lehmer, muestra un trazo de iteración animado de la recurrencia $S_i = S_{i-1}^2 - 2 \pmod{M_p}$, visualiza el patrón de bits binarios (una firma definitoria de cada número de Mersenne) y, cuando el resultado es primo, lo empareja con el número perfecto par correspondiente mediante el teorema de Euclides-Euler.

¿Qué es un primo de Mersenne?

Un número de Mersenne es un número de la forma $M_p = 2^p - 1$. Cuando $M_p$ es en sí mismo primo, se denomina primo de Mersenne. El nombre rinde homenaje a Marin Mersenne (1588-1648), el monje francés que catalogó los primeros casos y conjeturó qué exponentes hasta 257 daban como resultado primos; una lista que resultó ser parcialmente errónea, pero que lanzó tres siglos de investigación.

Primo de Mersenne

$$M_p = 2^p - 1 \;\; \text{es primo, donde } p \text{ mismo debe ser primo}$$

Los primeros primos de Mersenne, en orden:

$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$ (hallado por Euler en 1772; fue el primo más grande conocido durante 104 años)

A partir de 2024, se conocen exactamente 52 primos de Mersenne. El récord actual es $M_{136{,}279{,}841}$, descubierto en octubre de 2024 por el proyecto de computación distribuida GIMPS, un número con 41,024,320 dígitos decimales.

La prueba de Lucas-Lehmer

La razón por la que los primos de Mersenne dominan los libros de récords es una prueba de primalidad especializada y extremadamente rápida descubierta por Édouard Lucas (1878) y simplificada por Derrick Lehmer (1930):

Prueba 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$ es primo $\iff S_{p-2} \equiv 0 \pmod{M_p}$

La prueba requiere solo $p-2$ cuadrados modulares: aproximadamente $O(p^3)$ operaciones de bits con la multiplicación escolar, o $O(p^2 \log p \log\log p)$ con FFT. Compare esto con las pruebas de primalidad de propósito general en números del tamaño de $M_p$ (millones de dígitos), que serían completamente inviables. El atajo de Lucas-Lehmer es lo que hace posible la búsqueda de primos de Mersenne.

¿Por qué p debe ser primo?

Si $p = a \cdot b$ con $a, b > 1$, una identidad clásica muestra que $2^a - 1$ divide a $2^{ab} - 1$:

Identidad de factorización

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

Por lo tanto, si el exponente es compuesto, $M_p$ es automáticamente compuesto. Lo contrario es falso: que $p$ sea primo no garantiza que $M_p$ sea primo. Por ejemplo, $p = 11$ es primo pero $M_{11} = 2047 = 23 \times 89$.

Primos de Mersenne y números perfectos (Euclides-Euler)

Euclides observó hacia el año 300 a. C. que si $2^p - 1$ es primo, entonces $2^{p-1}(2^p - 1)$ es un número perfecto: un número igual a la suma de sus divisores propios. Euler demostró más tarde lo contrario: todo número perfecto par surge de esta manera.

Teorema de Euclides-Euler

$$N \text{ es un número perfecto par} \iff N = 2^{p-1}(2^p - 1),\;\; 2^p - 1 \text{ primo}$$

Así pues, encontrar un nuevo primo de Mersenne produce instantáneamente un nuevo número perfecto. Los cuatro primeros números perfectos pares son 6, 28, 496 y 8128, conocidos desde la antigüedad. Si existe algún número perfecto impar sigue siendo un problema sin resolver con más de 2,300 años de antigüedad.

El patrón de bits binarios

Cada número de Mersenne tiene una representación binaria excepcionalmente limpia: $2^p$ en binario es $1$ seguido de $p$ ceros, por lo que $2^p - 1$ son exactamente $p$ bits-1 consecutivos:

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

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

Esta es la razón por la que la herramienta visualiza cada bit como su propia celda: el patrón de bits es la firma visual de un número de Mersenne, independientemente de si el número es primo.

Cómo usar esta calculadora

Ingrese un exponente $p$: cualquier número entero positivo de 1 a 5,000.
Haga clic en Comprobar: la herramienta primero verifica si $p$ es primo; si no lo es, explica por qué $M_p$ debe ser compuesto.
Para p primo: la recurrencia de Lucas-Lehmer ejecuta $p - 2$ iteraciones módulo $M_p$.
Explore el resultado: el banner del veredicto, el trazo de la iteración de 6 filas (con "..." para los pasos intermedios omitidos en $p$ grandes), las formas decimal y binaria de $M_p$, y el emparejamiento con el número perfecto de Euclides-Euler cuando corresponda.

Primeros doce primos de Mersenne conocidos

#	Exponente $p$	$M_p = 2^p - 1$	Dígitos	Descubierto
1	2	3	1	Antigüedad
2	3	7	1	Antigüedad
3	5	31	2	Antigüedad
4	7	127	3	Antigüedad
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

El proyecto GIMPS

La Great Internet Mersenne Prime Search (GIMPS), lanzada en 1996 por George Woltman, es un proyecto de computación distribuida donde los voluntarios donan tiempo de CPU para ejecutar pruebas de Lucas-Lehmer en exponentes candidatos. A partir de 2024, todos los primos de Mersenne desde M_35 = M_{1398269} (1996) han sido descubiertos por GIMPS. Una sola prueba de Lucas-Lehmer en la frontera moderna (exponentes cercanos a $10^8$) tarda semanas de computación en GPU.

Datos curiosos sobre los primos de Mersenne

$M_{31} = 2{,}147{,}483{,}647$ es el entero con signo de 32 bits más grande: el famoso $\texttt{INT\_MAX}$ en C. Esto no es coincidencia: el valor proviene del hecho de que $M_{31}$ es primo y, por tanto, un límite natural de "casi desbordamiento".
Existen brechas de tamaño desconocido entre primos de Mersenne sucesivos. No se sabe si existen infinitos primos de Mersenne; la conjetura de Lenstra-Pomerance-Wagstaff predice que sí los hay, creciendo aproximadamente como $e^\gamma \log_2 p$.
En 2008, la Electronic Frontier Foundation otorgó 100,000 USD al primer descubridor de un primo de 10 millones de dígitos. El premio fue para el equipo GIMPS de la UCLA por $M_{43112609}$. Todavía hay disponible un premio de 150,000 USD para el primer primo de 100 millones de dígitos.
$M_{31}$ aparece en el billete conmemorativo de 100 rublos rusos de 1811 en honor al descubrimiento de Euler, uno de los pocos números primos impresos en moneda.
Debido a que cada primo de Mersenne rinde un número perfecto, la humanidad tiene exactamente 52 números perfectos pares registrados (coincidiendo con los 52 primos de Mersenne conocidos).

Preguntas frecuentes

¿Qué es un primo de Mersenne?

Un primo de Mersenne es un número primo de la forma $2^p - 1$, donde $p$ también es primo. Los primeros son 3, 7, 31, 127 y 8,191. A partir de 2024, se conocen 52 primos de Mersenne; el primo más grande conocido ($M_{136{,}279{,}841}$) es un primo de Mersenne con más de 41 millones de dígitos.

¿Cómo funciona la prueba de Lucas-Lehmer?

Para un exponente primo $p \geq 3$, se define $S_0 = 4$ y $S_i = S_{i-1}^2 - 2 \pmod{M_p}$. El número de Mersenne $M_p = 2^p - 1$ es primo si y solo si $S_{p-2} \equiv 0 \pmod{M_p}$. La prueba se ejecuta en $p - 2$ iteraciones, cada una con un único cuadrado modular.

¿Por qué p debe ser primo?

Si $p = ab$ con ambos factores mayores que 1, entonces $2^p - 1$ es divisible por $2^a - 1$ (y por $2^b - 1$), por lo que $M_p$ es compuesto. Lo contrario no es cierto: que $p$ sea primo no implica que $M_p$ sea primo. Por ejemplo, $p = 11$ es primo pero $M_{11} = 2047 = 23 \times 89$ es compuesto.

¿Cuál es la conexión entre los primos de Mersenne y los números perfectos?

El teorema de Euclides-Euler establece que todo número perfecto par tiene la forma $2^{p-1}(2^p - 1)$ donde $2^p - 1$ es un primo de Mersenne. Así, cada primo de Mersenne genera exactamente un número perfecto par, y cada número perfecto par proviene de un primo de Mersenne. La existencia de números perfectos impares es uno de los problemas abiertos más antiguos de las matemáticas.

¿Por qué M_p tiene p bits-1 consecutivos en binario?

El número $2^p$ en binario es un 1 seguido de $p$ ceros. Restar 1 convierte todos los $p$ ceros finales en 1s. Así que $2^p - 1$ en binario son exactamente $p$ unos: la firma visual definitoria de cada número de Mersenne, ya sea primo o compuesto.

¿Cuál es el exponente más grande que esta herramienta puede probar?

Esta herramienta prueba exponentes hasta 5,000 para que la iteración de Lucas-Lehmer se complete dentro de una solicitud web normal. Para exponentes más grandes (incluida la frontera de GIMPS cerca de $10^8$), se requiere software dedicado como Prime95, ya que una sola prueba puede tardar semanas de tiempo de cómputo en una GPU moderna.

Recursos adicionales

Cite este contenido, página o herramienta como:

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

por el equipo de MiniWebTool. Actualizado: 18 de abr. de 2026

API para desarrolladores disponible: Ejecuta esta herramienta desde tu app, automatización o agente con una solicitud HTTP JSON. Ver documentación de la API

También puede probar nuestro Solucionador de Matemáticas AI GPT para resolver sus problemas matemáticos mediante preguntas y respuestas en lenguaje natural.

Operaciones matemáticas básicas:

Calculadora de factor común
Calculadora de cubos y raíces cúbicas
Calculadora de Raíz Cúbica
Dividir en dos partes
Calculadora de la Prueba de Divisibilidad
Calculadora de Factores
Calculadora de Mínimo y Máximo Destacado
Primeros n dígitos de e
Primeros n Dígitos de Pi Destacado
Calculadora de máximo común divisor
¿Es un Número Primo?
Calculadora de Mínimo Común Múltiplo Destacado
Calculadora de Módulo Destacado
Calculadora de Multiplicación Destacado
Calculadora de Raíz Enésima de Alta Precisión
Calculadora de número de dígitos Destacado
Calculadora de factor primario
Calculadora de Factorización Prima
Calculadora de cociente y residuo Destacado
Ordenar Números Destacado
Calculadora de raíz cuadrada
Calculadora de Suma Destacado
Calculadora de Razones Nuevo
Calculadora de División Larga Nuevo
Calculadora de Multiplicación Cruzada Nuevo
Generador de Tablas de Multiplicar Nuevo
Calculadora de Multiplicación Larga Nuevo
Calculadora de Suma y Resta Larga Nuevo
Calculadora de Orden de Operaciones (PEMDAS) Nuevo
Generador de Tabla de Valor Posicional Nuevo
Buscador de Patrones Numéricos Nuevo
Verificador de Número Par o Impar Nuevo
Calculadora de Valor Absoluto Nuevo
Calculadora de Techo y Piso Nuevo
Calculadora de Precio Unitario Nuevo
Generador de Conteo Salteado Nuevo
Calculadora de Estimación Nuevo
Verificador de Números Perfectos Nuevo
Verificador de Números Amigos Nuevo
Verificador de Primo de Mersenne Nuevo
Verificador de la Conjetura de Goldbach Nuevo
Calculadora de Función de Möbius Nuevo
Verificador de Número de Fibonacci Nuevo
Calculadora de Raíz Digital Nuevo
Generador Aleatorio de Problemas de Matemáticas Nuevo
Generador de Descomposiciones Numéricas Nuevo
Visualizador de Llevadas y Prestadas Nuevo
Examen de Tablas de Multiplicar Nuevo
Entrenador de Cálculo Mental Nuevo
Calculadora de Matemáticas con Números Romanos Nuevo
Calculadora de Multiplicación Egipcia Nuevo
Calculadora de Trucos de Matemática Védica Nuevo
Multiplicación Campesina Rusa Nuevo
Simulador de Soroban Ábaco Japonés Nuevo

Verificador de Primo de Mersenne

Verificador de Primo de Mersenne

¿Qué es un primo de Mersenne?

La prueba de Lucas-Lehmer

¿Por qué p debe ser primo?

Primos de Mersenne y números perfectos (Euclides-Euler)

El patrón de bits binarios

Cómo usar esta calculadora

Primeros doce primos de Mersenne conocidos

El proyecto GIMPS

Datos curiosos sobre los primos de Mersenne

Preguntas frecuentes

¿Qué es un primo de Mersenne?

¿Cómo funciona la prueba de Lucas-Lehmer?

¿Por qué p debe ser primo?

¿Cuál es la conexión entre los primos de Mersenne y los números perfectos?

¿Por qué M_p tiene p bits-1 consecutivos en binario?

¿Cuál es el exponente más grande que esta herramienta puede probar?

Recursos adicionales

Operaciones matemáticas básicas:

Herramientas destacadas: