Simplifique su flujo de trabajo: Busque miniwebtool.
Añadir
Herramientas relacionadas
Verificador de Números AmigosConvertidor Binario a OctalCalculadora de la Prueba de DivisibilidadCalculadora de la Prueba Exacta de Fisher¿Es un Número Primo?Calculadora de Potencia de MatrizCalculadora de Exponenciación ModularVerificador de Números PerfectosCalculadora de factor primarioBuscador de Primos Gemelos
Página de inicio > Matemáticas > Operaciones matemáticas básicas > Verificador de Primo de Mersenne
 

Verificador de Primo de Mersenne

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

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

Calculadora de Signo Solar, Lunar y Ascendente 🌞🌙✨Calculadora de día del año - ¿Qué día del año es hoy?Generador de IMEI Aleatorio📅 Calculadora de FechaCalculadora de Compatibilidad AmorosaCalculadora del Signo de VenusConvertidor de cm a pies y pulgadasConvertidor de Pies y Pulgadas a CentímetrosSelector de Nombre AleatorioSelector de Películas AleatorioCalendario del Día del AñoEliminar acentos del textoBúsqueda de ID de Usuario de InstagramConvertidor de kPa a psiCalculadora de Número del NombreBúsqueda de ID de usuario de FacebookCalculadora de Numerologíacalculadora-de-hba1cCalculadora de SumaCalculadora de Desviación Estándar RelativaCalculadora de Número MaestroExtractor de Imágenes de Video📅 Calculadora de Diferencia entre FechasBola Mágica 8Descargador de Miniaturas de YouTubeCalculadora de Duración de TiempoSelector Aleatoriobúsqueda-de-direcciones-MACGenerador de Cartas de Baraja AleatorioConvertidor de Decimal a Tiempo¿Cuál es mi signo del zodiaco?convertidor ppm a porcentajeConvertidor de Porcentaje a PPMCalculadora HexadecimalDivisor de imágenesCalculadora de Promedio - Alta PrecisiónConvertidor de psi a kPaCalculadora del Signo de MarteEliminar espacios🌐 Convertidor de Zona Horaria🖱️ Contador de ClicsGenerador de Código MorseCalculadora de CombinaciónGenerador de Palabras DesordenadasDivisor de AudioCalculadora de cociente y residuoCalculadora de Círculos¿Cuál es mi número de la suerte?Convertidor de Tiempo a DecimalOrdenar NúmerosContador de líneasEstadísticas del Canal de YouTubeCalculadora de Número del AlmaCalcular tiempo entre dos fechasCalculadora CPMCalculadora de Coeficiente de VariaciónCalculadora de notación científicaCalculadora de reducción porcentualGenerador Aleatorio de ListasGenerador de Cumpleaños AleatorioGenerador de números de loteríaLanzador de MonedasCalculadora de Número de DestinoGenerador de Plantilla de Cono DesarrolladoCalculadora de Área de Polígono IrregularPrimeros n Dígitos de PiCalculadora de Promedio de BateoDivisor de videoCalculadora de PermutaciónCalculadora de Número de Trayecto de VidaCalculadora de Prueba tConvertidor de FPSConvertidor de Tamaño de ArchivoCalculadora de pendiente y gradoGenerador de Nombres AleatoriosCalculadora de Retorno de SaturnoCalculadora del día de la semana de nacimientoCalculadora de Percentil de EstaturaCalculadora de Edad GestacionalGenerador de Números Decimales AleatoriosCalculadora de Aumento PorcentualCalculadora de Duración de BateríaGenerador de Números Enteros AleatoriosCalculadora de MóduloCalculadora de Error PorcentualConversor de Calendario HebreoGenerador de sopa de letrasFormateador de TextoVerificador de Nombre de Usuario en Redes SocialesCalendario de Mercurio RetrógradoGenerador de Fechas AleatoriasGenerador de Dirección IP AleatoriaGenerador de direcciones MACLista de Años BisiestosValidador XMLCalculadora de Posición del SolConvertidor de fracción a número mixtoGenerador de personaje RPG aleatorioGenerador de hora aleatoriaCalculadora de edadGenerador de Superpoder AleatorioRotar VideoCalculadora de Grupo SanguíneoCalculadora de números de ángelesCalculadora de Monetización de YouTube ShortsGenerador de Texto Pequeño ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾Calculadora de Log (Logaritmo)Generador de Verdad o Reto AleatorioCalculadora de media aritméticaGenerador de letras aleatoriasCalculadora de Compatibilidad de Signos LunaresCalculadora de EscaleraGenerador de ContraseñaGenerador de Versículos Bíblicos AleatoriosDecodificador de Código MorseCalculadora de Diferencia de ListasConvertidor de Notación Científica a DecimalCalculadora de ProporcionesCalculadora OctalConvertidor de Decimal a BCDGenerador de Hash SHA256Graficador de FuncionesGenerador de PIN AleatorioCalculadora de Punto de EbulliciónCalculadora de Log Base 10Generador de LaberintosCalculadora de Integral DobleCalculadora del signo de mercurioCalculadora de media, mediana y modaCalculadora de Ganancias de TwitchConvertidor de Porcentaje a DecimalConvertidor de tazas a gramosConversor de HTML a TextoConvertidor de Número a PalabraAnalizador de Direcciones MACCalculadora de Déficit Calóricoconvertidor de palabras a números de teléfonoFusionar vídeosGenerador de cartones de bingoGenerador de Números AleatoriosGenerador de Tarjeta de Crédito AleatorioAnalizador Avanzado de Compatibilidad ZodiacalCalculadora de Hace Cuánto TiempoCalculadora de Peso de AceroCalculadora de Flujo en TuberíasCalculadora de Número de SemanaEliminar saltos de líneaGenerador Aleatorio de Nombres en LíneaGenerador de Unir los PuntosCalculadora de Proporción ÁureaConvertidor de BaseExtractor de AudioSolucionador de InecuacionesVerificador de Número Par o ImparCalculadora de Porcentaje de AsistenciaExtractor de URLCalculadora de número de dígitosCalculadora BinariaCalculadora de SenoGenerador de Número de PersonalidadGenerador de CriptogramaGenerador de ítems aleatoriosCalculadora de Mínimo Común MúltiploCalculadora de Tasa de Crecimiento PorcentualConvertidor hexadecimal a binarioGenerador de Coordenadas AleatoriasRepetición de TextoCalculadora de Horas de TrabajoConvertidor de CMYK a hexadecimalEliminador de Caracteres InvisiblesConvertidor de Código Gray a BinarioConvertidor de Número a FracciónConvertidor de dirección IP a binarioGenerador aleatorio de animalesGenerador de anagramasGenerador de País AleatorioSimulador de Puertas Lógicas🎰 Calculadora de Pity GachaConvertidor de Fracción a PorcentajeConvertidor de dirección IP a hexadecimalCalculadora de ERAGenerador de Colores AleatoriosGraficador de Campo de Direcciones e InclinacionesCalculadora de Tipo CorporalCalculadora de Transferencia de CalorGenerador de Tabla de Valor PosicionalCalculadora de TechadoConvertidor Decimal a OctalExtractor de Etiquetas de YouTubeCalculadora de ComisionesCalculadora de FraccionesGraficador de funciones trigonométricasCalculadora de baseCalculadora de Cambio PorcentualCalculadora de Dinero de TikTokCalculadora de Rectángulo ÁureoCalculadora de Tasa de Interés EfectivoCambio de Tiempo SRTGenerador de Killer SudokuSelector de Comentarios de YouTubeCalculadora de Cuerdas de LeñaCalculadora de CADR de Purificador de AireCalculadora de Tamaño de DeshumidificadorCalculadora de Tamaño de Ventilador de TechoCalculadora de Tamaño de CortinasCalculadora de Tamaño de AlfombraCalculadora de Altura para Colgar CuadrosCalculadora de Altura de Montaje de TVCalculadora de Tamaño de TVCalculadora de Volumen y Lámina de EstanqueCalculadora de Sal para PiscinaCalculadora de Volumen de PiscinaCalculadora de Tamaño de Calentador de AguaCalculadora de Resina EpoxiCalculadora de Espaciado de BalaustresCalculadora de Zócalos y MoldurasCalculadora de RevestimientoCalculadora de Tinte para TerrazasCalculadora de Semillas de CéspedCalculadora de CéspedCalculadora de AsfaltoCalculadora de Yardas CúbicasCalculadora de Longitud de AntenaCalculadora de Llenado de ConductoCalculadora de Condensadores en Serie y ParaleloCalculadora de Reactancia InductivaCalculadora de Iluminación de HabitacionesCalculadora de Lux a LúmenesConversor de Lúmenes a VatiosCalculadora de Tamaño de GeneradorConversor de mAh a WhCalculadora de Potencia TrifásicaCalculadora de kVACalculadora de Amperios a VatiosCalculadora de Vatios a AmperiosCalculadora de Resistencias en SerieCalculadora de FricciónCalculadora de Plano InclinadoCalculadora de Ventaja MecánicaCalculadora de Velocidad del SonidoCalculadora de Velocidad de OndaCalculadora de flotabilidadCalculadora de Velocidad TerminalCalculadora de Longitud de Onda de de BroglieCalculadora de Energía del FotónCalculadora E=mc²Calculadora de Dilatación del TiempoCalculadora de la Tercera Ley de KeplerCalculadora de Velocidad de EscapeCalculadora de Fuerza GravitacionalCalculadora de la Ley de Beer-LambertCalculadora de la Ecuación de NernstCalculadora de Presión OsmóticaCalculadora de Elevación del Punto de EbulliciónCalculadora de Descenso del Punto de CongelaciónCalculadora de Composición PorcentualCalculadora de NormalidadCalculadora de MolalidadConversor de pKa a KaCalculadora de Henderson-HasselbalchCalculadora de Rendimiento TeóricoCalculadora de Reactivo LimitanteCalculadora de Configuración ElectrónicaTabla Periódica InteractivaGenerador de Planes de Lecciones con IAGenerador de Cuestionarios con IAGenerador de Citas APA MLA ChicagoCalculadora de Puntuación APCalculadora de Puntuación ACTCalculadora de Puntuación del SATConversor de Porcentaje a CGPAConversor de CGPA a PorcentajeCalificador Fácil (EZ Grader)Calculadora del Costo de Criar un HijoCalculadora de Consumo de Leche para BebésCalculadora de Talla de PañalesGenerador de Nombres de BebéPredictor del Color de Ojos del BebéCalculadora de Percentil de IMC InfantilPredictor de Altura InfantilCalculadora de Tiempo de Duplicación de hCGCalculadora de Fecha de Parto FIVCalculadora de ImplantaciónPredictor de Sexo ChinoFormateador de Fechas ISO 8601Conversor de Fecha JulianaCalculadora de SiestaCalculadora de fases lunaresCalculadora de amanecer y atardecerWorld ClockConvertidor de Fechas a Números RomanosCuenta Regresiva para la JubilaciónCalculadora de SobriedadCalculadora de Medio CumpleañosCalculadora de AniversarioCalculadora de Reparto de PropinasCalculadora de ROI de Email MarketingCalculadora de Costo por LeadCalculadora de Capital de TrabajoEstimador de Ganancias de YouTube