Verificador de Primo de Mersenne

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.

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):

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\):

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.

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:

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

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

• Primo de Mersenne - Wikipedia
• Prueba de primalidad de Lucas-Lehmer - Wikipedia
• Número perfecto - Wikipedia
• GIMPS: Gran Búsqueda de Primos de Mersenne por Internet
• OEIS A000043: Exponentes de primos de Mersenne

Otras herramientas relacionadas:

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
• 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
• Calculadora de Raíz Enésima de Alta Precisión
• Calculadora de número de dígitos
• 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 Proporciones 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