Número primo de Mersenne para niños
Datos para niños Número primo de Mersenne |
||
---|---|---|
Nombrado por | Marin Mersenne | |
No. de términos conocidos | 52 | |
No. conjeturado de términos | Infinito | |
Subsecuencia de | Números de Mersenne | |
Primeros términos | 3, 7, 31, 127, 8191 | |
Mayor término conocido | 2136,279,841 − 1 (21/10/2024) | |
índice OEIS |
|
|
Un número de Mersenne es un número especial que se obtiene restando 1 a una potencia de 2. Se escribe como Mn = 2n - 1. Por ejemplo, si n es 3, M3 = 23 - 1 = 8 - 1 = 7.
Un número primo de Mersenne es un número de Mersenne que, además, es un número primo. Esto significa que solo se puede dividir por 1 y por sí mismo. El 7 es un número primo de Mersenne porque es primo.
Estos números llevan el nombre de Marin Mersenne, un filósofo y matemático francés del siglo XVII. Él estudió mucho estos números y propuso una lista de cuáles creía que eran primos.
Contenido
Historia de los Números de Mersenne
Marin Mersenne hizo una lista de números primos de Mersenne con exponentes (la 'n' en 2n) menores o iguales a 257. Pensó que solo esos eran primos. Sin embargo, su lista no era del todo correcta.
Mersenne incluyó algunos números que no eran primos y se le olvidaron otros que sí lo eran. Por ejemplo, se equivocó con M67 y M257, que no son primos. Pero no incluyó M61, M89 y M107, que sí son primos.
Pasaron más de 200 años hasta que los matemáticos pudieron verificar su lista por completo. Hoy en día, se han descubierto muchos más números primos de Mersenne, mucho más grandes que los que Mersenne conocía.
Propiedades Interesantes
Los números primos de Mersenne tienen características especiales que los hacen únicos.
¿Cuándo un Número de Mersenne es Compuesto?
Si el exponente 'n' de un número de Mersenne (Mn = 2n - 1) es un número compuesto (es decir, se puede dividir por otros números además de 1 y sí mismo), entonces el número de Mersenne Mn también será compuesto.
Por ejemplo, si n = 4, que es compuesto (4 = 2 x 2), entonces M4 = 24 - 1 = 16 - 1 = 15. El número 15 es compuesto (se puede dividir por 3 y por 5).
Esto significa que, para que un número de Mersenne sea primo, su exponente 'n' debe ser un número primo. Sin embargo, que 'n' sea primo no garantiza que Mn también lo sea. Por ejemplo, M11 = 211 - 1 = 2047, y 11 es primo, pero 2047 no lo es (2047 = 23 x 89).
Divisores de los Números de Mersenne
Si 'p' es un número primo diferente de 2, y un número primo 'q' divide a 2p - 1, entonces 'q' siempre será un número que es uno más que un múltiplo de 2p.
Por ejemplo, para M5 = 25 - 1 = 31. El número 31 es primo. Si aplicamos la regla, 31 = 6 x 5 + 1. Aquí, p es 5 y 6 es un múltiplo de 2 (2 x 3).
Otro ejemplo es M11 = 211 - 1 = 2047. Este número no es primo, sus divisores son 23 y 89.
- 23 = 2 x 11 + 1 (aquí p es 11, y 2 es un múltiplo de 2).
- 89 = 8 x 11 + 1 (aquí p es 11, y 8 es un múltiplo de 2).
Lista de Primos de Mersenne Conocidos
Hasta el 21 de octubre de 2024, se conocen 52 números primos de Mersenne. El más grande de ellos es M136,279,841, que tiene más de 41 millones de cifras. ¡Es un número gigantesco!
El número primo más grande conocido en el mundo casi siempre ha sido un número primo de Mersenne. Esto se debe a que son más fáciles de encontrar y verificar con computadoras.
La siguiente tabla muestra los números primos de Mersenne que se han descubierto:
# | n | Mn | N.º de cifras de Mn |
Fecha del descubrimiento |
Descubridor |
---|---|---|---|---|---|
1 | 2 | 3 | 1 | antigüedad | Euclides |
2 | 3 | 7 | 1 | antigüedad | Euclides |
3 | 5 | 31 | 2 | antigüedad | Euclides |
4 | 7 | 127 | 3 | antigüedad | Euclides |
5 | 13 | 8191 | 4 | 1456 | anónimo |
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 | 2305843009213693951 | 19 | 1883 | Pervushin |
10 | 89 | 618970019…449562111 | 27 | 1911 | Powers |
11 | 107 | 162259276…010288127 | 33 | 1914 | Powers |
12 | 127 | 170141183…884105727 | 39 | 1876 | Lucas |
13 | 521 | 686479766…115057151 | 157 | 30-01-1952 | Robinson (SWAC) |
14 | 607 | 531137992…031728127 | 183 | 30-01-1952 | Robinson (SWAC) |
15 | 1279 | 104079321…168729087 | 386 | 25-06-1952 | Robinson (SWAC) |
16 | 2203 | 147597991…697771007 | 664 | 07-10-1952 | Robinson (SWAC) |
17 | 2281 | 446087557…132836351 | 687 | 09-10-1952 | Robinson (SWAC) |
18 | 3217 | 259117086…909315071 | 969 | 08-09-1957 | Riesel |
19 | 4253 | 190797007…350484991 | 1281 | 03-11-1961 | Hurwitz |
20 | 4423 | 285542542…608580607 | 1332 | 03-11-1961 | Hurwitz |
21 | 9689 | 478220278…225754111 | 2917 | 11-05-1963 | Gillies |
22 | 9941 | 346088282…789463551 | 2993 | 16-05-1963 | Gillies |
23 | 11 213 | 281411201…696392191 | 3376 | 02-06-1963 | Gillies |
24 | 19 937 | 431542479…968041471 | 6002 | 04-03-1971 | Tuckerman |
25 | 21 701 | 448679166…511882751 | 6533 | 30-10-1978 | Noll y Nickel |
26 | 23 209 | 402874115…779264511 | 6987 | 09-02-1979 | Noll |
27 | 44 497 | 854509824…011228671 | 13 395 | 08-04-1979 | Nelson y Slowinski |
28 | 86 243 | 536927995…433438207 | 25 962 | 25-09-1982 | Slowinski |
29 | 110 503 | 521928313…465515007 | 33 265 | 28-01-1988 | Colquitt y Welsh |
30 | 132 049 | 512740276…730061311 | 39 751 | 20-09-1983 | Slowinski |
31 | 216 091 | 746093103…815528447 | 65 050 | 06-09-1985 | Slowinski |
32 | 756 839 | 174135906…544677887 | 227 832 | 19-02-1992 | Slowinski y Gage |
33 | 859 433 | 129498125…500142591 | 258 716 | 10-01-1994 | Slowinski y Gage |
34 | 1257 787 | 412245773…089366527 | 378 632 | 03-09-1996 | Slowinski y Gage |
35 | 1398 269 | 814717564…451315711 | 420 921 | 13-11-1996 | GIMPS / Joel Armengaud |
36 | 2976 221 | 623340076…729201151 | 895 932 | 24-08-1997 | GIMPS / Gordon Spence |
37 | 3021 377 | 127411683…024694271 | 909 526 | 27-01-1998 | GIMPS / Roland Clarkson |
38 | 6972 593 | 437075744…924193791 | 2098 960 | 01-06-1999 | GIMPS / |
39 | 13 466 917 | 924947738…256259071 | 4053 946 | 14-11-2001 | GIMPS / Michael Cameron |
40 | 20 996 011 | 125976895…855682047 | 6320 430 | 17-11-2003 | GIMPS / Michael Shafer |
41 | 24 036 583 | 299410429…733969407 | 7235 733 | 15-05-2004 | GIMPS / Josh Findley |
42 | 25 964 951 | 122164630…577077247 | 7816 230 | 18-02-2005 | GIMPS / Martin Nowak |
43 | 30 402 457 | 315416475…652943871 | 9152 052 | 15-12-2005 | GIMPS / Curtis Cooper y Steven Boone |
44 | 32 582 657 | 124575026…053967871 | 9808 358 | 04-09-2006 | GIMPS / Curtis Cooper y Steven Boone |
45 | 37 156 667 | 202254406…308220927 | 11 185 272 | 06-09-2008 | GIMPS / Hans-Michael Elvenich |
46 | 42 643 801 | 169873516…562314751 | 12 837 064 | 12-04-2009 | GIMPS / Odd M. Strindmo |
47 | 43 112 609 | 316470269…697152511 | 12 978 189 | 23-08-2008 | GIMPS / Edson Smith |
48 | 57 885 161 | 581887266…724285951 | 17 425 170 | 25-01-2013 | GIMPS / Curtis Cooper |
49 | 74 207 281 | 300376418…086436351 | 22 338 618 | 07-01-2016 | GIMPS / Curtis Cooper |
50 | 77 232 917 | 467333183…762179071 | 23 249 425 | 26-12-2017 | GIMPS / Jonathan Pace |
51 | 82 589 933 | 148894445…217902591 | 24 862 048 | 07-12-2018 | GIMPS / Patrick Laroche |
52 | 136 279 841 | 881694327…486871551 | 41 024 320 | 12-10-2024 | GIMPS / Luke Durant |
Es importante saber que no se sabe si hay más números primos de Mersenne entre el 48º (M43,112,609) y el 52º (M136,279,841). Por eso, la tabla es provisional. A veces, se descubre un número más pequeño después de uno más grande.
Preguntas Abiertas en Matemáticas
Aunque la idea original de Mersenne fue corregida, los matemáticos siguen investigando estos números. Han surgido nuevas preguntas y conjeturas.
La Nueva Conjetura de Mersenne
Esta conjetura, también conocida como la Conjetura de Bateman, Selfridge y Wagstaff (de 1989), dice que si se cumplen dos condiciones para un número impar 'p', entonces una tercera condición también se cumple:
- 'p' es de la forma 2k ± 1 o 4k ± 3 para algún número natural 'k'.
- 2p - 1 es un número primo (un primo de Mersenne).
- (2p + 1) / 3 es un número primo (un número primo de Wagstaff).
Si 'p' es un número compuesto impar, entonces tanto 2p - 1 como (2p + 1)/3 no son primos. Por eso, solo se necesita revisar números primos para esta conjetura.
Algunos matemáticos piensan que esta conjetura es "obviamente cierta" porque encaja con los datos que ya se conocen.
La Conjetura de Lenstra-Pomerance-Wagstaff
Esta conjetura propone que no solo hay una cantidad infinita de números primos de Mersenne, sino que también se puede estimar cuántos hay. Sugiere una fórmula para calcular aproximadamente cuántos primos de Mersenne existen con un exponente 'p' menor que un número 'x'.
Relación con Otros Números
Los números primos de Mersenne están conectados con otros tipos de números interesantes en matemáticas.
Números Perfectos
Hace muchos siglos, el matemático Euclides descubrió una relación especial entre los números primos de Mersenne y los números perfectos. Un número perfecto es aquel que es igual a la suma de sus divisores propios (sin incluirse a sí mismo). Por ejemplo, 6 es un número perfecto porque sus divisores propios son 1, 2 y 3, y 1 + 2 + 3 = 6.
Euclides demostró que si M es un número primo de Mersenne, entonces M · (M + 1) / 2 es un número perfecto. Más tarde, Euler demostró que todos los números perfectos pares tienen esta forma. Hasta ahora, no se ha encontrado ningún número perfecto impar, y se cree que no existen.
Números Dobles de Mersenne
Un número doble de Mersenne es un número de la forma MMp = 2(2p-1) - 1. Aquí, el exponente es a su vez un número de Mersenne.
Números Repunit
Los números repunit son números que se escriben solo con la cifra 1 en una base dada. Por ejemplo, en base 10, 11, 111, 1111 son repunits. Los números de Mersenne son los números repunit cuando se escriben en el sistema binario (base 2). Por ejemplo, 7 en binario es 111, que es un repunit.
Galería de imágenes
Véase también
En inglés: Mersenne prime Facts for Kids
- Constante de Erdős–Borwein
- Número perfecto
- Número primo de Fermat
- Número primo de Wagstaff
- Número primo de Wieferich
- Repunit
- Test de Lucas-Lehmer
- Números primos de Mersenne y números perfectos