Simplifique su flujo de trabajo: Busque miniwebtool.
Añadir
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

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

Otras herramientas relacionadas:

Verificador de Números AmigosNuevo
Calculadora de la Conjetura de CollatzDestacado
Primeros n números primos
Verificador de la Conjetura de GoldbachNuevo
¿Es un Número Primo?
Calculadora de Función de MöbiusNuevo
Verificador de Números PerfectosNuevo
Calculadora de factor primario
Buscador de Primos GemelosNuevo

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 AmorosaConvertidor de cm a pies y pulgadasSelector de Nombre AleatorioConvertidor de Pies y Pulgadas a CentímetrosCalendario del Día del AñoCalculadora de Número del Nombrecalculadora-de-hba1cCalculadora de Sumabúsqueda-de-direcciones-MACCalculadora de Promedio - Alta PrecisiónExtractor de Imágenes de VideoEliminar acentos del textoCalculadora de CombinaciónConvertidor de kPa a psiGenerador Aleatorio de ListasCalculadora de Desviación Estándar RelativaCalculadora de Duración de TiempoSelector de Películas AleatorioConvertidor de Porcentaje a PPMconvertidor ppm a porcentajeCalculadora HexadecimalEliminar espaciosCalculadora de NumerologíaConvertidor de Decimal a TiempoCalculadora de Aumento PorcentualGenerador de Código MorseBúsqueda de ID de usuario de FacebookCalculadora del Signo de VenusConvertidor de FPSGenerador de Palabras DesordenadasCalculadora de la Conjetura de Collatz📅 Calculadora de Diferencia entre FechasBúsqueda de ID de Usuario de InstagramOrdenar NúmerosContador de líneasSelector AleatorioCalculadora de Cambio PorcentualCalculadora de Número Maestro¿Cuál es mi signo del zodiaco?Generador de Nombres AleatoriosCalculadora CPMConvertidor hexadecimal a binarioGenerador de anagramasCalculadora de reducción porcentualCalculadora de MóduloGenerador de números de loteríaCalcular tiempo entre dos fechasCalculadora OctalCalculadora de PermutaciónCalculadora de cociente y residuoDivisor de imágenesDivisor de AudioConvertidor de Notación Científica a DecimalConvertidor de Número a PalabraPrimeros n Dígitos de PiConvertidor de Tiempo a DecimalContador de SílabasGenerador de Cumpleaños AleatorioCalculadora de Promedio de BateoConvertidor de números romanosGenerador de Superpoder AleatorioGenerador de sopa de letrasCalculadora de Error PorcentualGenerador de Verdad o Reto AleatorioCalculadora de Coeficiente de VariaciónConvertidor de dirección IP a binarioGenerador de Cartas de Baraja AleatorioCalculadora BinariaCalculadora de AntilogaritmoConversor de HTML a Texto¿Cuál es mi número de la suerte?Calculadora de números de ángelesDescargador de Miniaturas de YouTubeConvertidor de Decimal a BCDGenerador de Coordenadas AleatoriasCalculadora de Retorno de SaturnoBola Mágica 8Calculadora de EscaleraCalculadora de Log Base 10Calculadora de Horas de TrabajoCalculadora de Mínimo Común MúltiploCreador de Diagramas de Caja y BigotesCalculadora de Número de Trayecto de VidaConvertidor de fracción a número mixtoFormateador de TextoGenerador de cartones de bingoGenerador de letras aleatoriasGraficador de FuncionesCalculadora de Distancia del Círculo MáximoAnalizador Avanzado de Compatibilidad ZodiacalCalculadora de ERAExtractor de URLSolucionador de InecuacionesCalculadora de Área de Polígono IrregularCalculadora de Error EstándarCalculadora de CírculosCalculadora de Grava, Arena y Tierra VegetalCalculadora de Peso de AceroCalculadora de Par de Apriete de PernosCalculadora de Flujo en TuberíasCalculadora de Carga de VigasConvertidor de Dólares a OroCalculadora de Probabilidad de OpcionesCalculadora de División de AccionesCalculadora de ESPPCalculadora de Recargo por Mora en FacturaCalculadora de Tarifa por Hora para FreelancersCalculadora de Leasing vs CompraDivisor de Propinas AvanzadoGenerador de Lista de EquipajeCalculadora de Jet LagCalculadora de Presupuesto de ViajeCalculadora de Distancia de VueloCalculadora de Pérdida de CalorCalculadora de Costo de Generación de ElectricidadCalculadora de Consumo de AguaCalculadora de Costo de Energía de ElectrodomésticosCalculadora de Auditoría Energética del HogarCalculadora de ROI SolarCalculadora de Paneles SolaresCalculadora de Compost (Relación C:N)Calculadora de Fertilizante para CéspedCalculadora de Fechas de HeladasCalculadora de Tierra para Bancal ElevadoCalculadora de Fertilizante NPKCalculadora de Tasa de Germinación de SemillasCalculadora de Bitrate de VideoTranspositor de Tonalidad MusicalCalculador de BPM por ToquesEstimador de tamaño de archivo de fotoCalculadora de Megapíxeles a Tamaño de ImpresiónCalculadora de Factor de RecorteCalculadora del Triángulo de ExposiciónCalculadora de Capacidad de Remolque del VehículoCalculadora de Arrendamiento de AutoCalculadora de 0–60 y Cuarto de MillaCalculadora de Tiempo de Carga de VECalculadora de Autonomía de VECalculadora de Consumo de CombustibleConversor de Tallas de RopaReferencia de Tamaños de PapelConvertidor de Tallas de AnilloConvertidor de Unidad AstronómicaConversor de Eficiencia de CombustibleConvertidor de Tasa de Transferencia de DatosConversor de Par de Torsión (Nm, ft-lb, kgf-cm)Generador de Texto TachadoVisualizador de Espacios en BlancoCalculadora de Tiempo de LecturaCalculadora de Tiempo de DiscursoContador de PárrafosContador de OracionesConversor de Texto a Binario/Hex/ASCIIGenerador de Imágenes Placeholder Lorem PicsumGenerador de Archivos .envGit Command GeneratorConversor de Códigos de Color (Todos los Formatos)Generador y Verificador de Hash BcryptGenerador JWTGenerador de CSS GridCalculadora de Integración NuméricaCalculadora de Transformada ZCalculadora de Transformada Rápida de Fourier (FFT)Calculadora de Producto TensorialCalculadora de Exponencial de MatricesCalculadora de Forma Normal de JordanCalculadora de Anillos y CuerposCalculadora de Orden en Teoría de GruposSolucionador de Sistemas de EDOsSolucionador de EDO de BernoulliCalculadora del Método de EulerGraficador de Campo de Direcciones e InclinacionesSolucionador de EDO de Segundo OrdenSolucionador de EDO de Primer OrdenSolucionador del Problema del Matrimonio EstableCalculadora de Flujo de Red (Flujo Máximo)Verificador de Grafo PlanarVerificador de Camino HamiltonianoSolucionador del Viajante de Comercio (TSP)Solucionador de Programación LinealCalculadora de Inclusión-ExclusiónSolucionador de Relaciones de RecurrenciaCalculadora de Matriz de AdyacenciaCalculadora de Ordenación TopológicaCalculadora de Coloración de GrafosSimulador de Puertas LógicasSolucionador de Mapa de Karnaugh (K-Map)Simplificador de Álgebra BooleanaCalculadora de Función de ParticiónCalculadora de Raíz DigitalVerificador de Número de FibonacciCalculadora de Fracciones EgipciasCalculadora de Función de MöbiusVerificador de la Conjetura de GoldbachVerificador de Primo de MersenneBuscador de Primos GemelosVerificador de Números AmigosVerificador de Números PerfectosCalculadora de Exponenciación ModularCalculadora de Permutaciones con RepeticiónCalculadora de Tamaño del EfectoCalculadora de Riesgo RelativoCalculadora de Razón de MomiosCalculadora de Tabla de ContingenciaCalculadora de la Prueba Exacta de FisherCalculadora de Correlación de Rangos de SpearmanCalculadora de Distribución BetaCalculadora de Distribución de WeibullCalculadora de Distribución ExponencialCalculadora de Distribución GeométricaCalculadora de Distribución Binomial NegativaCalculadora de Distribución HipergeométricaCalculadora de Prueba F y Distribución FCalculadora del Teorema de BayesCalculadora de Polinomio CaracterísticoCalculadora de Potencia de MatrizCalculadora de Descomposición de CholeskyCalculadora de Descomposición QRCalculadora de Diagonalización de MatricesCalculadora de la Regla de CramerCalculadora de Espacio ColumnaCalculadora de Espacio NuloCalculadora del Ángulo entre VectoresCalculadora de Vector UnitarioCalculadora de Magnitud de VectorCalculadora de Producto VectorialCalculadora de Producto EscalarCalculadora de Multiplicación de MatricesCalculadora de Matriz InversaCalculadora RREF (Forma Escalonada Reducida por Filas)Calculadora del Método de NewtonCalculadora de Matriz JacobianaCalculadora de Integral de SuperficieCalculadora de Integral de LíneaCalculadora de RotacionalCalculadora de DivergenciaCalculadora de Gradiente MultivariableCalculadora de Optimización (Cálculo)Solucionador de Tasas RelacionadasCalculadora de Tasa de Cambio InstantáneaCalculadora de Tasa de Cambio PromedioCalculadora de Suma de Series InfinitasCalculadora de Prueba de Convergencia de SeriesCalculadora de Series de PotenciasCalculadora de Series de MaclaurinCalculadora de la Regla de L'HôpitalCalculadora de Integral ImpropiaCalculadora de la Regla de SimpsonCalculadora de la Regla del TrapecioCalculadora de Suma de RiemannGraficador de Curvas ParamétricasCalculadora de Superficie de RevoluciónCalculadora de Volumen de RevoluciónCalculadora de Distancia de Geometría CoordenadaCalculadora de la Fórmula de HerónCalculadora de Línea Tangente al CírculoCalculadora de Bisectriz del ÁnguloCalculadora de Círculo Inscrito (Incirculo)Calculadora de Círculo Circunscrito (Circuncentro)Calculadora de Distancia 3DCalculadora de ToroCalculadora de Tronco de ConoCalculadora de Polígono RegularIdentificador de Sección CónicaCalculadora de HipérbolaCalculadora de ParábolaCalculadora de Expansión del Teorema BinomialGenerador del Triángulo de PascalCalculadora de Notación de Producto (Notación Pi)Calculadora de Notación Sigma (Sumatoria)Calculadora del Teorema de la Raíz RacionalCalculadora de la Regla de los Signos de DescartesCalculadora de Líneas Paralelas y PerpendicularesCalculadora de Ecuación de la RectaConvertidor de Forma Estándar a Pendiente-OrdenadaCalculadora de Forma Punto-PendienteResolvedor de Sistema de Ecuaciones No LinealesSolucionador de Ecuaciones RacionalesResolvedor de Ecuaciones LiteralesSolucionador de Ecuaciones TrigonométricasResolvedor de Ecuaciones ExponencialesSolucionador de Ecuaciones LogarítmicasCalculadora de Ecuación CuárticaCalculadora de Ecuación CúbicaCalculadora de EstimaciónConvertidor de Número a FracciónGenerador de Conteo SalteadoCalculadora de Precio UnitarioCalculadora de Techo y PisoCalculadora de Valor AbsolutoBuscador de Patrones NuméricosGenerador de Tabla de Valor PosicionalCalculadora de Orden de Operaciones (PEMDAS)Calculadora de Suma y Resta LargaCalculadora de Multiplicación LargaGenerador de Tablas de Multiplicar🎮 Conversor de Moneda de Juego🎲 Calculadora de Probabilidad de Loot🎰 Calculadora de Pity Gacha⚔️ Calculadora de DPS🎮 Convertidor de Sensibilidad de Juegos❄️ Calculadora de Día de Nieve🚚 Estimador de Costos de Mudanza🔍 Verificador de Plagio📷 OCR / Imagen a Texto📈 Creador de Gráficos de Líneas🥧 Creador de Gráfico Circular📊 Creador de Gráficos de Barras🔊 Generador de Tonos🖱️ Contador de ClicsBloc de Notas en Línea⬛ Calculadora de Relación de Aspecto🌍 Calculadora de Huella de Carbono👙 Calculadora de Talla de SujetadorCalculadora de Tamaño de NeumáticosCalculadora de Costo de Combustible💧 Calculadora de Punto de Rocío🌡️ Calculadora de Índice de Calor🌬️ Calculadora de Sensación Térmica por Viento⏰ Despertador en Línea⏰ Calculadora de Tarjeta de Tiempo🕐 Conversor de Hora Militar⏱️ Calculadora de Horas⏱️ Cronómetro en Línea⏱️ Temporizador de Cuenta Regresiva🌐 Convertidor de Zona HorariaCalculadora de AlfombrasCalculadora de Muro de ContenciónCalculadora de Dimensionamiento HVACCalculadora de AislamientoCalculadora de AdoquinesCalculadora de VarillaCalculadora de MaderaCalculadora de Pies CuadradosCalculadora de Multiplicación CruzadaCalculadora de Resumen de Cinco NúmerosCalculadora de PercentilCalculadora de Distribución NormalCalculadora de Valor pCalculadora de ProporcionesCalculadora de Completar el CuadradoCalculadora de RedondeoCalculadora de División LargaContador de Caracteres Twitter/XSelector de Comentarios de YouTubeExtractor de Etiquetas de YouTubeEstimador de Ganancias de YouTubeGenerador de personaje RPG aleatorio