Mersennovo prvočíslo

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
m (1 revizi)
(+ Výrazné vylepšení)
Řádka 1: Řádka 1:
-
{{Wikipedia-cs|Mersennovo prvočíslo|700}}
+
'''Mersennovo prvočíslo''' je takové [[prvočíslo]], které je o jedna menší než [[celé číslo|celočíselná]] [[mocnina]] dvojky, tzn. je tvaru
 +
:<math>M_p = 2^p -1</math>,
 +
pokud číslo v takovém tvaru není prvočíslo, označuje se jako '''Mersennovo číslo'''.
 +
Příkladem Mersennova prvočísla je 7&nbsp;=&nbsp;2<sup>3</sup>&nbsp;−&nbsp;1. Naproti tomu například Mersennovo číslo 2<sup>4</sup>&nbsp;−&nbsp;1&nbsp;=&nbsp;15 není prvočíslem (je to [[složené číslo]], 15&nbsp;= 3&nbsp;·&nbsp;5).
 +
 +
== Vlastnosti ==
 +
Lze snadno ukázat, že pokud má být číslo 2<sup>''n''</sup>&nbsp;−&nbsp;1 prvočíslem, musí být prvočíslem i exponent ''n'':
 +
:<math>2^{ab}-1 = (2^a-1) \cdot (1+2^a+2^{2a}+2^{3a}+\dots+2^{(b-1)a})</math>,
 +
opak ovšem neplatí: číslo 2<sup>''p''</sup>&nbsp;−&nbsp;1 může být složené i pro prvočíselný exponent ''p'' (např. 2<sup>11</sup>&nbsp;−&nbsp;1&nbsp;= 23&nbsp;·&nbsp;89).
 +
 +
Mersennova prvočísla mají těsný vztah s [[dokonalé číslo|dokonalými čísly]] (čísla, která jsou rovná součtu svých vlastních [[dělitel]]ů), tento fakt byl také prvotním důvodem pro studium tohoto druhu prvočísel. Už ve [[4. století př. n. l.]] [[Eukleidés]] dokázal, že pokud ''M'' je Mersennovo prvočíslo, pak ''M''(''M''+1)/2 je dokonalé číslo. V [[18. století]] pak dokázal [[Euler]], že takovou formu mají všechna [[Sudá a lichá čísla|sudá]] dokonalá čísla. (Nejsou známa žádná lichá dokonalá čísla a předpokládá se, že žádná neexistují.)
 +
 +
V současné době není známo, zda je Mersennových prvočísel [[nekonečno|nekonečně]] mnoho.
 +
 +
<math>M_n</math> je sumou [[kombinační číslo|kombinačních čísel]]: <math>M_n = \sum_{i=0}^{n}{n \choose i} - 1</math>.
 +
 +
== Historie ==
 +
Tato čísla jsou pojmenována po [[Francie|francouzském]] matematikovi Marinu Mersennovi (1588–1648), který sestavil seznam takových prvočísel s exponenty do 257; jeho seznam však obsahoval chyby: nesprávně zahrnoval ''M''<sub>67</sub> a ''M''<sub>257</sub> a naopak v něm chyběly ''M''<sub>61</sub>, ''M''<sub>89</sub>, ''M''<sub>107</sub>. Mnoho prvočísel v tomto tvaru je však známo už výrazně déle (viz níže).
 +
 +
== Způsoby hledání ==
 +
Pro hledání Mersennových prvočísel existují specializované velice rychlé metody (oproti obecným metodám pro hledání či testování libovolných prvočísel), což je důvod, proč největší známá prvočísla jsou právě Mersennovými prvočísly.
 +
 +
V současné době nejrychlejší metoda testování prvočíselnosti Mersennových čísel spočívá ve výpočtu [[rekurentní posloupnost]]i, vyvinutá v roce 1878 Edouardem Lucasem a vylepšená [[Derrick Henry Lehmer|Lehmerem]] ve 30. letech [[20. století]], známá jako [[Lucasův-Lehmerův test]]. Tento test je založen na faktu, že Mersennovo číslo je prvočíslem [[tehdy a jen tehdy]], pokud dělí číslo <math>s_{n - 2}</math>, kde <math>s_k = s_{k-1}^2 - 2</math> (a <math>s_0 = 4</math>).
 +
 +
Převratem ve vyhledávání Mersennových prvočísel byl příchod [[počítač]]ů. První počítačem nalezené Mersennovo prvočíslo, ''M''<sub>521</sub>, bylo nalezeno v 22:00 [[30. leden|30. ledna]] [[1952]] na počítači na [[UCLA]], pod Lehmerovým vedením, pomocí programu sestaveného profesorem Robinsonem. Od nalezení předchozího Mersennova prvočísla tehdy uběhlo už 38&nbsp;let, následující prvočíslo (''M''<sub>607</sub>) pak bylo nalezeno za necelé dvě hodiny, v dalších měsících pak stejný program nalezl tři další.
 +
 +
V roce [[1996]] vznikl na [[Internet]]u projekt [[GIMPS]] pro [[distribuovaný výpočet|distribuované]] vyhledávání Mersennových prvočísel. Tento projekt dosud objevil čtrnáct největších známých Mersennových prvočísel (tzn. i největší dnes známé prvočíslo).
 +
 +
== Známá Mersennova prvočísla ==
 +
Následující tabulka obsahuje všechna známá Mersennova prvočísla (sekvence [[oeis:A000668|A000668]] v [[OEIS]]):
 +
 +
{| class="wikitable"
 +
|-
 +
! #
 +
! ''n''
 +
! ''M''<sub>''n''</sub>
 +
! Cifer v ''M''<sub>''n''</sub>
 +
! Datum objevu
 +
! Objevitel
 +
|-
 +
| align="right" | 1.
 +
| align="right" | 2
 +
| align="right" | [[3 (číslo)|3]]
 +
| align="right" | 1
 +
| ''dávno''
 +
| ''neznámý''
 +
|-
 +
| align="right" | 2.
 +
| align="right" | 3
 +
| align="right" | [[7 (číslo)|7]]
 +
| align="right" | 1
 +
| ''dávno''
 +
| ''neznámý''
 +
|-
 +
| align="right" | 3.
 +
| align="right" | 5
 +
| align="right" | [[31 (číslo)|31]]
 +
| align="right" | 2
 +
| ''dávno''
 +
| ''neznámý''
 +
|-
 +
| align="right" | 4.
 +
| align="right" | 7
 +
| align="right" | [[127 (číslo)|127]]
 +
| align="right" | 3
 +
| ''dávno''
 +
| ''neznámý''
 +
|-
 +
| align="right" | 5.
 +
| align="right" | 13
 +
| align="right" | 8191
 +
| align="right" | 4
 +
| 1456
 +
| ''neznámý''
 +
|-
 +
| align="right" | 6.
 +
| align="right" | 17
 +
| align="right" | 131071
 +
| align="right" | 6
 +
| 1588
 +
| Pietro Cataldi
 +
|-
 +
| align="right" | 7.
 +
| align="right" | 19
 +
| align="right" | 524287
 +
| align="right" | 6
 +
| 1588
 +
| Pietro Cataldi
 +
|-
 +
| align="right" | 8.
 +
| align="right" | 31
 +
| align="right" | [[2147483647 (číslo)|2147483647]]
 +
| align="right" | 10
 +
| 1772
 +
| Leonhard Euler
 +
|-
 +
| align="right" | 9.
 +
| align="right" | 61
 +
| align="right" | 2305843009213693951
 +
| align="right" | 19
 +
| 1883
 +
| Ivan Pervušin
 +
|-
 +
| align="right" | 10.
 +
| align="right" | 89
 +
| align="right" | 618970019…449562111
 +
| align="right" | 27
 +
| [[1911]]
 +
| [[R. E. Powers|Powers]]
 +
|-
 +
| align="right" | 11.
 +
| align="right" | 107
 +
| align="right" | 162259276…010288127
 +
| align="right" | 33
 +
| [[1914]]
 +
| [[R. E. Powers|Powers]]
 +
|-
 +
| align="right" | 12.
 +
| align="right" | 127
 +
| align="right" | 170141183…884105727
 +
| align="right" | 39
 +
| 1876
 +
| Edouard Lucas
 +
|-
 +
| align="right" | 13.
 +
| align="right" | 521
 +
| align="right" | 686479766…115057151
 +
| align="right" | 157
 +
| [[30. leden|30. ledna]] [[1952]]
 +
| [[Raphael M. Robinson|Robinson]]
 +
|-
 +
| align="right" | 14.
 +
| align="right" | 607
 +
| align="right" | 531137992…031728127
 +
| align="right" | 183
 +
| [[30. leden|30. ledna]] [[1952]]
 +
| [[Raphael M. Robinson|Robinson]]
 +
|-
 +
| align="right" | 15.
 +
| align="right" | 1&nbsp;279
 +
| align="right" | 104079321…168729087
 +
| align="right" | 386
 +
| [[25. červen|25. června]] [[1952]]
 +
| [[Raphael M. Robinson|Robinson]]
 +
|-
 +
| align="right" | 16.
 +
| align="right" | 2&nbsp;203
 +
| align="right" | 147597991…697771007
 +
| align="right" | 664
 +
| [[7. říjen|7. října]] [[1952]]
 +
| [[Raphael M. Robinson|Robinson]]
 +
|-
 +
| align="right" | 17.
 +
| align="right" | 2&nbsp;281
 +
| align="right" | 446087557…132836351
 +
| align="right" | 687
 +
| [[9. říjen|9. října]] [[1952]]
 +
| [[Raphael M. Robinson|Robinson]]
 +
|-
 +
| align="right" | 18.
 +
| align="right" | 3&nbsp;217
 +
| align="right" | 259117086…909315071
 +
| align="right" | 969
 +
| [[8. září]] [[1957]]
 +
| [[Hans Riesel|Riesel]]
 +
|-
 +
| align="right" | 19.
 +
| align="right" | 4&nbsp;253
 +
| align="right" | 190797007…350484991
 +
| align="right" | 1&nbsp;281
 +
| [[3. listopad]]u [[1961]]
 +
| [[Alexander Hurwitz|Hurwitz]]
 +
|-
 +
| align="right" | 20.
 +
| align="right" | 4&nbsp;423
 +
| align="right" | 285542542…608580607
 +
| align="right" | 1&nbsp;332
 +
| [[3. listopad]]u [[1961]]
 +
| [[Alexander Hurwitz|Hurwitz]]
 +
|-
 +
| align="right" | 21.
 +
| align="right" | 9&nbsp;689
 +
| align="right" | 478220278…225754111
 +
| align="right" | 2&nbsp;917
 +
| [[11. květen|11. května]] [[1963]]
 +
| [[Donald B. Gillies|Gillies]]
 +
|-
 +
| align="right" | 22.
 +
| align="right" | 9&nbsp;941
 +
| align="right" | 346088282…789463551
 +
| align="right" | 2&nbsp;993
 +
| [[16. květen|16. května]] [[1963]]
 +
| [[Donald B. Gillies|Gillies]]
 +
|-
 +
| align="right" | 23.
 +
| align="right" | 11&nbsp;213
 +
| align="right" | 281411201…696392191
 +
| align="right" | 3&nbsp;376
 +
| [[2. červen|2. června]] [[1963]]
 +
| [[Donald B. Gillies|Gillies]]
 +
|-
 +
| align="right" | 24.
 +
| align="right" | 19&nbsp;937
 +
| align="right" | 431542479…968041471
 +
| align="right" | 6&nbsp;002
 +
| [[4. březen|4. března]] [[1971]]
 +
| [[Bryant Tuckerman|Tuckerman]]
 +
|-
 +
| align="right" | 25.
 +
| align="right" | 21&nbsp;701
 +
| align="right" | 448679166…511882751
 +
| align="right" | 6&nbsp;533
 +
| [[30. říjen|30. října]] [[1978]]
 +
| [[Landon Curt Noll|Noll]] a [[Laura Nickel|Nickel]]
 +
|-
 +
| align="right" | 26.
 +
| align="right" | 23&nbsp;209
 +
| align="right" | 402874115…779264511
 +
| align="right" | 6&nbsp;987
 +
| [[9. únor]]a [[1979]]
 +
| [[Landon Curt Noll|Noll]]
 +
|-
 +
| align="right" | 27.
 +
| align="right" | 44&nbsp;497
 +
| align="right" | 854509824…011228671
 +
| align="right" | 13&nbsp;395
 +
| [[8. duben|8. dubna]] [[1979]]
 +
| [[Harry Nelson|Nelson]] a [[David Slowinski|Slowinski]]
 +
|-
 +
| align="right" | 28.
 +
| align="right" | 86&nbsp;243
 +
| align="right" | 536927995…433438207
 +
| align="right" | 25&nbsp;962
 +
| [[25. září]] [[1982]]
 +
| [[David Slowinski|Slowinski]]
 +
|-
 +
| align="right" | 29.
 +
| align="right" | 110&nbsp;503
 +
| align="right" | 521928313…465515007
 +
| align="right" | 33&nbsp;265
 +
| [[28. leden|28. ledna]] [[1988]]
 +
| [[Walt Colquitt|Colquitt]] a [[Luke Welsh|Welsh]]
 +
|-
 +
| align="right" | 30.
 +
| align="right" | 132&nbsp;049
 +
| align="right" | 512740276…730061311
 +
| align="right" | 39&nbsp;751
 +
| [[20. září]] [[1983]]
 +
| [[David Slowinski|Slowinski]]
 +
|-
 +
| align="right" | 31.
 +
| align="right" | 216&nbsp;091
 +
| align="right" | 746093103…815528447
 +
| align="right" | 65&nbsp;050
 +
| [[6. září]] [[1985]]
 +
| [[David Slowinski|Slowinski]]
 +
|-
 +
| align="right" | 32.
 +
| align="right" | 756&nbsp;839
 +
| align="right" | 174135906…544677887
 +
| align="right" | 227&nbsp;832
 +
| [[19. únor]]a [[1992]]
 +
| [[David Slowinski|Slowinski]] a [[Paul Gage|Gage]]
 +
|-
 +
| align="right" | 33.
 +
| align="right" | 859&nbsp;433
 +
| align="right" | 129498125…500142591
 +
| align="right" | 258&nbsp;716
 +
| [[10. leden|10. ledna]] [[1994]]
 +
| [[David Slowinski|Slowinski]] a [[Paul Gage|Gage]]
 +
|-
 +
| align="right" | 34.
 +
| align="right" | 1&nbsp;257&nbsp;787
 +
| align="right" | 412245773…089366527
 +
| align="right" | 378&nbsp;632
 +
| [[3. září]] [[1996]]
 +
| [[David Slowinski|Slowinski]] a [[Paul Gage|Gage]]
 +
|-
 +
| align="right" | 35.
 +
| align="right" | 1&nbsp;398&nbsp;269
 +
| align="right" | 814717564…451315711
 +
| align="right" | 420&nbsp;921
 +
| [[13. listopad]]u [[1996]]
 +
| [[GIMPS]] / Joel Armengaud
 +
|-
 +
| align="right" | 36.
 +
| align="right" | 2&nbsp;976&nbsp;221
 +
| align="right" | 623340076…729201151
 +
| align="right" | 895&nbsp;932
 +
| [[24. srpen|24. srpna]] [[1997]]
 +
| [[GIMPS]] / Gordon Spence
 +
|-
 +
| align="right" | 37.
 +
| align="right" | 3&nbsp;021&nbsp;377
 +
| align="right" | 127411683…024694271
 +
| align="right" | 909&nbsp;526
 +
| [[27. leden|27. ledna]] [[1998]]
 +
| [[GIMPS]] / Roland Clarkson
 +
|-
 +
| align="right" | 38.
 +
| align="right" | 6&nbsp;972&nbsp;593
 +
| align="right" | 437075744…924193791
 +
| align="right" | 2&nbsp;098&nbsp;960
 +
| [[1. červen|1. června]] [[1999]]
 +
| [[GIMPS]] / Nayan Hajratwala
 +
|-
 +
| align="right" | 39.
 +
| align="right" | 13&nbsp;466&nbsp;917
 +
| align="right" | 924947738…256259071
 +
| align="right" | 4&nbsp;053&nbsp;946
 +
| [[14. listopad]]u [[2001]]
 +
| [[GIMPS]] / Michael Cameron
 +
|-
 +
| align="right" | 40.
 +
| align="right" | 20&nbsp;996&nbsp;011
 +
| align="right" | 125976895…855682047
 +
| align="right" | 6&nbsp;320&nbsp;430
 +
| [[17. listopad]]u [[2003]]
 +
| [[GIMPS]] / Michael Shafer
 +
|-
 +
| align="right" | 41.
 +
| align="right" | 24&nbsp;036&nbsp;583
 +
| align="right" | 299410429…733969407
 +
| align="right" | 7&nbsp;235&nbsp;733
 +
| [[15. květen|15. května]] [[2004]]
 +
| [[GIMPS]] / Josh Findley
 +
|-
 +
| align="right" | 42.
 +
| align="right" | 25&nbsp;964&nbsp;951
 +
| align="right" | 122164630…577077247
 +
| align="right" | 7&nbsp;816&nbsp;230
 +
| [[18. únor]]a [[2005]]
 +
| [[GIMPS]] / Martin Nowak
 +
|-
 +
| align="right" | 43.<sup>*</sup>
 +
| align="right" | 30&nbsp;402&nbsp;457
 +
| align="right" | 315416475…652943871
 +
| align="right" | 9&nbsp;152&nbsp;052
 +
| [[16. prosinec|16. prosince]] [[2005]]
 +
| [[GIMPS]] / Curtis Cooper a Steven Boone
 +
|-
 +
| align="right" | 44.<sup>*</sup>
 +
| align="right" | 32&nbsp;582&nbsp;657
 +
| align="right" | 124575026…053967871
 +
| align="right" | 9&nbsp;808&nbsp;358
 +
| [[4. září]] [[2006]]
 +
| [[GIMPS]] / Curtis Cooper a Steven Boone
 +
|-
 +
| align="right" | 45.<sup>*</sup>
 +
| align="right" | 37 156 667
 +
| align="right" | 202254406…308220927
 +
| align="right" | 11 185 272
 +
| [[6. září]] [[2008]]
 +
| [[GIMPS]] / Hans-Michael Elvenich
 +
|-
 +
| align="right" | 46.<sup>*</sup>
 +
| align="right" | 42 643 801
 +
| align="right" | 169873516…562314751
 +
| align="right" | 12 837 064
 +
| [[12. duben]] [[2009]]
 +
| [[GIMPS]] / Odd M. Strindmo
 +
|-
 +
| align="right" | 47.<sup>*</sup>
 +
| align="right" | 43 112 609
 +
| align="right" | 316470269…697152511
 +
| align="right" | 12 978 189
 +
| [[23. srpen|23. srpna]] [[2008]]
 +
| [[GIMPS]] / Edson Smith
 +
|-
 +
| align="right" | 48.<sup>*</sup>
 +
| align="right" | 57 885 161
 +
| align="right" | 581887266…724285951
 +
| align="right" | 17 425 170
 +
| [[25. leden]] [[2013]]
 +
| [[GIMPS]] / Curtis Cooper<ref>{{cite web|url=http://mersenne.org/various/57885161.htm|title=GIMPS Project Discovers Largest Known Prime Number, 2<sup>57,885,161</sup>-1|publisher=''[[Great Internet Mersenne Prime Search]]''|accessdate=2013-02-05}}</ref>
 +
|}
 +
<sup>*</sup> Dosud není známo, zda mezi 42. a 48. existují některá dosud neobjevená Mersennova prvočísla, číslování je zde proto pouze dočasné.
 +
 +
== Reference ==
 +
<references />
 +
== Související články ==
 +
* [[Dokonalé číslo]]
 +
* [[Abundantní číslo]]
 +
* [[Deficientní číslo]]
 +
== Externí odkazy ==
 +
* [http://www.mersenne.org/ www.mersenne.org] – Great Internet Mersenne Prime Search (GIMPS)
 +
* [http://mathworld.wolfram.com/MersennePrime.html Mersennovo prvočíslo v encyklopedii MathWorld]
 +
* [http://mathworld.wolfram.com/MersenneNumber.html Mersennovo číslo v encyklopedii MathWorld]
 +
* [http://primes.utm.edu/mersenne/ Historie, věty, seznam Mersennových prvočísel]
 +
* [http://mersennewiki.org/index.php/Main_Page mersennewiki.org] – [[wiki]] o Mersennových prvočíslech
 +
 +
 +
{{Článek z Wikipedie}}
[[Kategorie:Prvočísla]]
[[Kategorie:Prvočísla]]
[[Kategorie:Teorie čísel]]
[[Kategorie:Teorie čísel]]

Verze z 19. 2. 2014, 15:46

Mersennovo prvočíslo je takové prvočíslo, které je o jedna menší než celočíselná mocnina dvojky, tzn. je tvaru

<math>M_p = 2^p -1</math>,

pokud číslo v takovém tvaru není prvočíslo, označuje se jako Mersennovo číslo.

Příkladem Mersennova prvočísla je 7 = 23 − 1. Naproti tomu například Mersennovo číslo 24 − 1 = 15 není prvočíslem (je to složené číslo, 15 = 3 · 5).

Obsah

Vlastnosti

Lze snadno ukázat, že pokud má být číslo 2n − 1 prvočíslem, musí být prvočíslem i exponent n:

<math>2^{ab}-1 = (2^a-1) \cdot (1+2^a+2^{2a}+2^{3a}+\dots+2^{(b-1)a})</math>,

opak ovšem neplatí: číslo 2p − 1 může být složené i pro prvočíselný exponent p (např. 211 − 1 = 23 · 89).

Mersennova prvočísla mají těsný vztah s dokonalými čísly (čísla, která jsou rovná součtu svých vlastních dělitelů), tento fakt byl také prvotním důvodem pro studium tohoto druhu prvočísel. Už ve 4. století př. n. l. Eukleidés dokázal, že pokud M je Mersennovo prvočíslo, pak M(M+1)/2 je dokonalé číslo. V 18. století pak dokázal Euler, že takovou formu mají všechna sudá dokonalá čísla. (Nejsou známa žádná lichá dokonalá čísla a předpokládá se, že žádná neexistují.)

V současné době není známo, zda je Mersennových prvočísel nekonečně mnoho.

<math>M_n</math> je sumou kombinačních čísel: <math>M_n = \sum_{i=0}^{n}{n \choose i} - 1</math>.

Historie

Tato čísla jsou pojmenována po francouzském matematikovi Marinu Mersennovi (1588–1648), který sestavil seznam takových prvočísel s exponenty do 257; jeho seznam však obsahoval chyby: nesprávně zahrnoval M67 a M257 a naopak v něm chyběly M61, M89, M107. Mnoho prvočísel v tomto tvaru je však známo už výrazně déle (viz níže).

Způsoby hledání

Pro hledání Mersennových prvočísel existují specializované velice rychlé metody (oproti obecným metodám pro hledání či testování libovolných prvočísel), což je důvod, proč největší známá prvočísla jsou právě Mersennovými prvočísly.

V současné době nejrychlejší metoda testování prvočíselnosti Mersennových čísel spočívá ve výpočtu rekurentní posloupnosti, vyvinutá v roce 1878 Edouardem Lucasem a vylepšená Lehmerem ve 30. letech 20. století, známá jako Lucasův-Lehmerův test. Tento test je založen na faktu, že Mersennovo číslo je prvočíslem tehdy a jen tehdy, pokud dělí číslo <math>s_{n - 2}</math>, kde <math>s_k = s_{k-1}^2 - 2</math> (a <math>s_0 = 4</math>).

Převratem ve vyhledávání Mersennových prvočísel byl příchod počítačů. První počítačem nalezené Mersennovo prvočíslo, M521, bylo nalezeno v 22:00 30. ledna 1952 na počítači na UCLA, pod Lehmerovým vedením, pomocí programu sestaveného profesorem Robinsonem. Od nalezení předchozího Mersennova prvočísla tehdy uběhlo už 38 let, následující prvočíslo (M607) pak bylo nalezeno za necelé dvě hodiny, v dalších měsících pak stejný program nalezl tři další.

V roce 1996 vznikl na Internetu projekt GIMPS pro distribuované vyhledávání Mersennových prvočísel. Tento projekt dosud objevil čtrnáct největších známých Mersennových prvočísel (tzn. i největší dnes známé prvočíslo).

Známá Mersennova prvočísla

Následující tabulka obsahuje všechna známá Mersennova prvočísla (sekvence A000668 v OEIS):

# n Mn Cifer v Mn Datum objevu Objevitel
1. 2 3 1 dávno neznámý
2. 3 7 1 dávno neznámý
3. 5 31 2 dávno neznámý
4. 7 127 3 dávno neznámý
5. 13 8191 4 1456 neznámý
6. 17 131071 6 1588 Pietro Cataldi
7. 19 524287 6 1588 Pietro Cataldi
8. 31 2147483647 10 1772 Leonhard Euler
9. 61 2305843009213693951 19 1883 Ivan Pervušin
10. 89 618970019…449562111 27 1911 Powers
11. 107 162259276…010288127 33 1914 Powers
12. 127 170141183…884105727 39 1876 Edouard Lucas
13. 521 686479766…115057151 157 30. ledna 1952 Robinson
14. 607 531137992…031728127 183 30. ledna 1952 Robinson
15. 1 279 104079321…168729087 386 25. června 1952 Robinson
16. 2 203 147597991…697771007 664 7. října 1952 Robinson
17. 2 281 446087557…132836351 687 9. října 1952 Robinson
18. 3 217 259117086…909315071 969 8. září 1957 Riesel
19. 4 253 190797007…350484991 1 281 3. listopadu 1961 Hurwitz
20. 4 423 285542542…608580607 1 332 3. listopadu 1961 Hurwitz
21. 9 689 478220278…225754111 2 917 11. května 1963 Gillies
22. 9 941 346088282…789463551 2 993 16. května 1963 Gillies
23. 11 213 281411201…696392191 3 376 2. června 1963 Gillies
24. 19 937 431542479…968041471 6 002 4. března 1971 Tuckerman
25. 21 701 448679166…511882751 6 533 30. října 1978 Noll a Nickel
26. 23 209 402874115…779264511 6 987 9. února 1979 Noll
27. 44 497 854509824…011228671 13 395 8. dubna 1979 Nelson a Slowinski
28. 86 243 536927995…433438207 25 962 25. září 1982 Slowinski
29. 110 503 521928313…465515007 33 265 28. ledna 1988 Colquitt a Welsh
30. 132 049 512740276…730061311 39 751 20. září 1983 Slowinski
31. 216 091 746093103…815528447 65 050 6. září 1985 Slowinski
32. 756 839 174135906…544677887 227 832 19. února 1992 Slowinski a Gage
33. 859 433 129498125…500142591 258 716 10. ledna 1994 Slowinski a Gage
34. 1 257 787 412245773…089366527 378 632 3. září 1996 Slowinski a Gage
35. 1 398 269 814717564…451315711 420 921 13. listopadu 1996 GIMPS / Joel Armengaud
36. 2 976 221 623340076…729201151 895 932 24. srpna 1997 GIMPS / Gordon Spence
37. 3 021 377 127411683…024694271 909 526 27. ledna 1998 GIMPS / Roland Clarkson
38. 6 972 593 437075744…924193791 2 098 960 1. června 1999 GIMPS / Nayan Hajratwala
39. 13 466 917 924947738…256259071 4 053 946 14. listopadu 2001 GIMPS / Michael Cameron
40. 20 996 011 125976895…855682047 6 320 430 17. listopadu 2003 GIMPS / Michael Shafer
41. 24 036 583 299410429…733969407 7 235 733 15. května 2004 GIMPS / Josh Findley
42. 25 964 951 122164630…577077247 7 816 230 18. února 2005 GIMPS / Martin Nowak
43.* 30 402 457 315416475…652943871 9 152 052 16. prosince 2005 GIMPS / Curtis Cooper a Steven Boone
44.* 32 582 657 124575026…053967871 9 808 358 4. září 2006 GIMPS / Curtis Cooper a Steven Boone
45.* 37 156 667 202254406…308220927 11 185 272 6. září 2008 GIMPS / Hans-Michael Elvenich
46.* 42 643 801 169873516…562314751 12 837 064 12. duben 2009 GIMPS / Odd M. Strindmo
47.* 43 112 609 316470269…697152511 12 978 189 23. srpna 2008 GIMPS / Edson Smith
48.* 57 885 161 581887266…724285951 17 425 170 25. leden 2013 GIMPS / Curtis Cooper[1]

* Dosud není známo, zda mezi 42. a 48. existují některá dosud neobjevená Mersennova prvočísla, číslování je zde proto pouze dočasné.

Reference

  1. . Dostupné online.  

Související články

Externí odkazy