Desde 2010 · Más de 2 millones de usos de herramientas al mes
Desde 2010
Añadir a Chrome

Mi Caja de Herramientas

Modo Automático

Aún no has guardado herramientas.

Actualizar a la Versión Premium
Herramientas relacionadas
Verificador de Número de FibonacciBuscador de Primos GemelosCalculadora de Exponenciación ModularGenerador MurmurHash3
Página de inicio > Matemáticas > Operaciones matemáticas básicas
 

Verificador de Primo de Mersenne

Comprueba si 2^p - 1 es un primo de Mersenne para un exponente p dado. Usa la prueba de Lucas-Lehmer con un rastro animado, un visual de patron binario y los 52 primos de Mersenne conocidos.

Uso gratuitoNo requiere registroResultados instantáneos
Verificador de Primo de MersennePruébalo ahora — gratis ▼

Elija un exponente famoso para probar; cada uno se ejecuta en milisegundos:

✦ Primo \(M_p\) conocido p = 13 p = 17 p = 31 p = 61 p = 127
✕ \(M_p\) compuesto p = 11 p = 23 p = 37 p = 67
⚡ Los grandes p = 521 p = 1279 p = 2281 p = 4253
2^

Cualquier número entero positivo de 1 a 5,000. Para exponentes mayores use software especializado como Prime95.

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:

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

  1. Ingrese un exponente \(p\): cualquier número entero positivo de 1 a 5,000.
  2. Haga clic en Comprobar: la herramienta primero verifica si \(p\) es primo; si no lo es, explica por qué \(M_p\) debe ser compuesto.
  3. Para p primo: la recurrencia de Lucas-Lehmer ejecuta \(p - 2\) iteraciones módulo \(M_p\).
  4. 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ígitosDescubierto
1231Antigüedad
2371Antigüedad
35312Antigüedad
471273Antigüedad
5138,19141456 (anón.)
617131,07161588 Cataldi
719524,28761588 Cataldi
8312,147,483,647101772 Euler
9612.3 × 10^18191883 Pervushin
10896.2 × 10^26271911 Powers
111071.6 × 10^32331914 Powers
121271.7 × 10^38391876 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

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:

Herramientas populares y actualizadas:

Verificador de Números PerfectosVerificador de Números AmigosVerificador de Número Par o ImparVer todos →
Página de inicio > Matemáticas > Operaciones matemáticas básicas > Verificador de Primo de Mersenne