From Wikipedia, the free encyclopedia
Mersennovo število (tudi Evklid-Mersennovo število) je naravno število oblike:
Mersenne je poskušal odkriti, katera števila takšne oblike so praštevila. Mersennova praštevila so v tesni povezavi s popolnimi števili. Trenutno (november 2024) je po vrsti znanih 44 Mersennovih praštevil za n enak (OEIS A000043):
in še 4 Mersennova praštevila za n enak:
Ni pa znano ali obstaja še kakšno Mersennovo praštevilo, ki je manjše od 45., oziroma med zadnjimi štirimi.
Velja domnevna ocena za gostoto porazdelitve Mersennovih praštevil z eksponentom :
kjer je γ Euler-Mascheronijeva konstanta.
Enakost:
kaže, da je lahko praštevilo le, če je tudi n praštevilo. Praštevilskost n je nujen, ne pa tudi zadosten pogoj, da je praštevilo. To dejstvo zelo poenostavlja iskanje Mersennovih praštevil. Obratna izjava, da je nujno praštevilo, če je n praštevilo, pa ne velja. Najmanjši protiprimer je , ki je sestavljeno število. Prva druga praštevila, za katera ni praštevilo, so (OEIS A054723):
Ni znano ali je takšnih števil neskončno mnogo. Ta praštevila si sledijo po vrsti, (11 je peto praštevilo, 23 deveto, itd.): (OEIS A135980):
Vsota neskončne vrste obratnih vrednosti Mersennovih praštevil konvergira in je enaka konstanti:
Za prvih 100 števk konstante zadostuje prvih enajst Mersennovih praštevil.
Razpredelnica podaja vsa do sedaj znana Mersennova praštevila (OEIS A000668):
# | št. števk v | datum odkritja | odkritelj | metoda | ||
---|---|---|---|---|---|---|
1 | 2 | 3 | 1 | okoli 430 pr. n. št. | starogrški matematiki[1] | |
2 | 3 | 7 | 1 | okoli 430 pr. n. št. | starogrški matematiki[1] | |
3 | 5 | 31 | 2 | okoli 300 pr. n. št. | starogrški matematiki[2] | |
4 | 7 | 127 | 3 | okoli 300 pr. n. št. | starogrški matematiki[2] | |
5 | 13 | 8191 | 4 | 1456 | neznani [3] | poskusno deljenje |
6 | 17 | 131071 | 6 | 1588 | Cataldi | poskusno deljenje[4] |
7 | 19 | 524287 | 6 | 1588 | Cataldi | poskusno deljenje[4] |
8 | 31 | 2147483647 | 10 | 1772 | Euler[5][6] | izboljšano poskusno deljenje[7] |
9 | 61 | 2305843009213693951 | 19 | november 1883[8] | Pervušin | Lucasova zaporedja |
10 | 89 | 618970019642...137449562111 | 27 | junij 1911[9] | Powers | Lucasova zaporedja |
11 | 107 | 162259276829...578010288127 | 33 | 1. junij 1914[10][11][12] | Powers[13] | Lucasova zaporedja |
12 | 127 | 170141183460...715884105727 | 39 | 10. januar 1876[14] | Lucas | Lucasova zaporedja |
13 | 521 | 686479766013...291115057151 | 157 | 30. januar 1952[15] | Robinson | LLT / računalnik SWAC |
14 | 607 | 531137992816...219031728127 | 183 | 30. januar 1952[15] | Robinson | LLT / SWAC |
15 | 1279 | 104079321946...703168729087 | 386 | 25. junij 1952[16] | Robinson | LLT / SWAC |
16 | 2203 | 147597991521...686697771007 | 664 | 7. oktober 1952[17] | Robinson | LLT / SWAC |
17 | 2281 | 446087557183...418132836351 | 687 | 9. oktober 1952[17] | Robinson | LLT / SWAC |
18 | 3217 | 259117086013...362909315071 | 969 | 8. september 1957[18] | Riesel | LLT / računalnik BESK |
19 | 4253 | 190797007524...815350484991 | 1281 | 3. november 1961[19][20] | Hurwitz | LLT / računalnik IBM 7090 |
20 | 4423 | 285542542228...902608580607 | 1332 | 3. november 1961[19][20] | Hurwitz | LLT / IBM 7090 |
21 | 9689 | 478220278805...826225754111 | 2917 | 11. maj 1963[21] | Gillies | LLT / superračunalnik ILLIAC II |
22 | 9941 | 346088282490...883789463551 | 2993 | 16. maj 1963[21] | Gillies | LLT / ILLIAC II |
23 | 11.213 | 281411201369...087696392191 | 3376 | 2. junij 1963[21] | Gillies | LLT / ILLIAC II |
24 | 19.937 | 431542479738...030968041471 | 6002 | 4. marec 1971[22] | Tuckerman | LLT / računalnik IBM 360/91 |
25 | 21.701 | 448679166119...353511882751 | 6533 | 30. oktober 1978[23] | Noll, Nickel | LLT / superračunalnik CDC Cyber 174 |
26 | 23.209 | 402874115778...523779264511 | 6987 | 9. februar 1979[24] | Noll | LLT / CDC Cyber 174 |
27 | 44.497 | 854509824303...961011228671 | 13.395 | 8. april 1979[25][26] | Nelson, Slowinski | LLT / superračunalnik Cray 1 |
28 | 86.243 | 536927995502...709433438207 | 25.962 | 25. september 1982 | Slowinski | LLT / Cray 1 |
29 | 110.503 | 521928313341...083465515007 | 33.265 | 28. januar 1988[27][28] | Colquitt, Welsh | LLT / superračunalnik NEC SX-2[29] |
30 | 132.049 | 512740276269...455730061311 | 39.751 | 19. september 1983[1][30] | Slowinski | LLT / superračunalnik Cray X-MP |
31 | 216.091 | 746093103064...103815528447 | 65.050 | 1. september 1985[1][31][32] | Slowinski | LLT / Cray X-MP/24 |
32 | 756.839 | 174135906820...328544677887 | 227.832 | 19. februar 1992 | Slowinski, Gage | superračunalnik Cray-2 v Harwell Lab[33] |
33 | 859.433 | 129498125604...243500142591 | 258.716 | 4. januar 1994[34][35][36] | Slowinski, Gage | LLT / superračunalnik Cray C90 |
34 | 1.257.787 | 412245773621...976089366527 | 378.632 | 3. september 1996[37] | Slowinski, Gage[38] | LLT / superračunalnik Cray T94 |
35 | 1.398.269 | 814717564412...868451315711 | 420.921 | 13. november 1996 | GIMPS / Joel Armengaud[39] | LLT / progam Prime95 – 90 MHz Pentium PC |
36 | 2.976.221 | 623340076248...743729201151 | 895.932 | 24. avgust 1997 | GIMPS / Gordon Spence[40] | LLT / Prime95 – 100 MHz Pentium PC |
37 | 3.021.377 | 127411683030...973024694271 | 909.526 | 27. januar 1998 | GIMPS / Roland Clarkson[41] | LLT / Prime95 – 200 MHz Pentium PC |
38 | 6.972.593 | 437075744127...142924193791 | 2.098.960 | 1. junij 1999 | GIMPS / Nayan Hajratwala[42] | LLT / Prime95 – 350 MHz Pentium II IBM Aptiva |
39 | 13.466.917 | 924947738006...470256259071 | 4.053.946 | 14. november 2001 | GIMPS / Michael Cameron[43] | LLT / Prime95 – 800 MHz Athlon T-Bird |
40 | 20.996.011 | 125976895450...762855682047 | 6.320.430 | 17. november 2003 | GIMPS / Michael Shafer[44] | LLT / Prime95 – 2 GHz Dell Dimension |
41 | 24.036.583 | 299410429404...882733969407 | 7.235.733 | 15. maj 2004 | GIMPS / Josh Findley[45] | LLT / Prime95 – 2.4 GHz Pentium 4 PC |
42 | 25.964.951 | 122164630061...280577077247 | 7.816.230 | 18. februar 2005 | GIMPS / Martin Nowak[46] | LLT / Prime95 – 2.4 GHz Pentium 4 PC |
43 | 30.402.457 | 315416475618...411652943871 | 9.152.052 | 15. december 2005 | GIMPS / Cooper, Boone[47] | LLT / Prime95 – 2 GHz Pentium 4 PC |
44 | 32.582.657 | 124575026015...154053967871 | 9.808.358 | 4. september 2006 | GIMPS / Cooper, Boone[48] | LLT / Prime95 – 3 GHz Pentium 4 PC |
45[*] | 37.156.667 | 202254406890...022308220927 | 11.185.272 | 6. september 2008 | GIMPS / Hans-Michael Elvenich[49] | LLT / Prime95 – 2.83 GHz Core 2 Duo PC |
46[*] | 42.643.801 | 169873516452...765562314751 | 12.837.064 | 12. april 2009[**] | GIMPS / Odd Magnar Strindmo[50] | LLT / Prime95 – 3 GHz Core 2 PC |
47[*] | 43.112.609 | 316470269330...166697152511 | 12.978.189 | 23. avgust 2008 | GIMPS / Edson Smith[49] | LLT / Prime95 – Dell Optiplex 745 |
48[*] | 57.885.161 | 581887266232...071724285951 | 17.425.170 | 25. januar 2013 | GIMPS / Cooper[51] | LLT / Prime95 – 3 GHz Intel Core2 Duo E8400[52] |
^ * Ni znano ali obstaja kakšno Mersennovo praštevilo med 44. (M32.582.657) in 48. (M57.885.161) v tej razpredelnici. Zato so zadnje štiri zaporedne številke le začasne. Vsa Mersennova števila manjša od 47-ega (M43.112.609) so bila preverjena vsaj enkrat, nekatera pa niso bila preverjena dvakrat. Nekatera Mersennova števila manjša od 48-ega niso bila preverjena.[53] Praštevila ne odkrijejo vedno v naraščajočem vrstnem redu. 29. Mersennovo praštevilo je bilo na primer odkrito za 30. in 31. Prav tako je bilo 45. odkrito štirinajst dni za 47., ter 46. slabih sedem mesecev za 47.
^ ** Število M42,643,801 je bilo prvič odktito na stroju 12. aprila 2009. Vendar nihče ni bil pozoren na to dejstvo vse do 4. junija. Tako se lahko oba datuma, 12. april ali 4. junij, štejeta za datum 'odkritja'. Odktitelj Strindmo je verjetno uporabil nadimek Stig M. Valstad.
Število M43.112.609 je prvo odkrito praštevilo z več kot 10 milijoni desetiških števk. 48. znano Mersennovo praštevilo bi se zapisalo na 4647. straneh v desetiškem sistemu po 75 števk v vrstici in 50 vrstic na stran. Največje znano Mersennovo praštevilo (257,885,161 − 1) je hkrati tudi trenutno največje znano praštevilo.[51]
Število 2305843009213693951 je deveto Mersennovo praštevilo in je enako . Leta 1883 je Pervušin pokazal, da je praštevilo, in ga zato včasih imenujejo Pervušinovo število. Do leta 1911 je ostalo drugo največje znano praštevilo za številom , katerega praštevilskost je že sedem let prej dokazal Lucas.
Konstanta neskončnega verižnega ulomka Mersennovih praštevil je:[54]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.