Mersennovo prvočíslo
Z Multimediaexpo.cz
m (1 revizi) |
(+ Výrazné vylepšení) |
||
Řádka 1: | Řádka 1: | ||
- | + | '''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 = 2<sup>3</sup> − 1. Naproti tomu například Mersennovo číslo 2<sup>4</sup> − 1 = 15 není prvočíslem (je to [[složené číslo]], 15 = 3 · 5). | ||
+ | |||
+ | == Vlastnosti == | ||
+ | Lze snadno ukázat, že pokud má být číslo 2<sup>''n''</sup> − 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> − 1 může být složené i pro prvočíselný exponent ''p'' (např. 2<sup>11</sup> − 1 = 23 · 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 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 279 | ||
+ | | align="right" | 104079321…168729087 | ||
+ | | align="right" | 386 | ||
+ | | [[25. červen|25. června]] [[1952]] | ||
+ | | [[Raphael M. Robinson|Robinson]] | ||
+ | |- | ||
+ | | align="right" | 16. | ||
+ | | align="right" | 2 203 | ||
+ | | align="right" | 147597991…697771007 | ||
+ | | align="right" | 664 | ||
+ | | [[7. říjen|7. října]] [[1952]] | ||
+ | | [[Raphael M. Robinson|Robinson]] | ||
+ | |- | ||
+ | | align="right" | 17. | ||
+ | | align="right" | 2 281 | ||
+ | | align="right" | 446087557…132836351 | ||
+ | | align="right" | 687 | ||
+ | | [[9. říjen|9. října]] [[1952]] | ||
+ | | [[Raphael M. Robinson|Robinson]] | ||
+ | |- | ||
+ | | align="right" | 18. | ||
+ | | align="right" | 3 217 | ||
+ | | align="right" | 259117086…909315071 | ||
+ | | align="right" | 969 | ||
+ | | [[8. září]] [[1957]] | ||
+ | | [[Hans Riesel|Riesel]] | ||
+ | |- | ||
+ | | align="right" | 19. | ||
+ | | align="right" | 4 253 | ||
+ | | align="right" | 190797007…350484991 | ||
+ | | align="right" | 1 281 | ||
+ | | [[3. listopad]]u [[1961]] | ||
+ | | [[Alexander Hurwitz|Hurwitz]] | ||
+ | |- | ||
+ | | align="right" | 20. | ||
+ | | align="right" | 4 423 | ||
+ | | align="right" | 285542542…608580607 | ||
+ | | align="right" | 1 332 | ||
+ | | [[3. listopad]]u [[1961]] | ||
+ | | [[Alexander Hurwitz|Hurwitz]] | ||
+ | |- | ||
+ | | align="right" | 21. | ||
+ | | align="right" | 9 689 | ||
+ | | align="right" | 478220278…225754111 | ||
+ | | align="right" | 2 917 | ||
+ | | [[11. květen|11. května]] [[1963]] | ||
+ | | [[Donald B. Gillies|Gillies]] | ||
+ | |- | ||
+ | | align="right" | 22. | ||
+ | | align="right" | 9 941 | ||
+ | | align="right" | 346088282…789463551 | ||
+ | | align="right" | 2 993 | ||
+ | | [[16. květen|16. května]] [[1963]] | ||
+ | | [[Donald B. Gillies|Gillies]] | ||
+ | |- | ||
+ | | align="right" | 23. | ||
+ | | align="right" | 11 213 | ||
+ | | align="right" | 281411201…696392191 | ||
+ | | align="right" | 3 376 | ||
+ | | [[2. červen|2. června]] [[1963]] | ||
+ | | [[Donald B. Gillies|Gillies]] | ||
+ | |- | ||
+ | | align="right" | 24. | ||
+ | | align="right" | 19 937 | ||
+ | | align="right" | 431542479…968041471 | ||
+ | | align="right" | 6 002 | ||
+ | | [[4. březen|4. března]] [[1971]] | ||
+ | | [[Bryant Tuckerman|Tuckerman]] | ||
+ | |- | ||
+ | | align="right" | 25. | ||
+ | | align="right" | 21 701 | ||
+ | | align="right" | 448679166…511882751 | ||
+ | | align="right" | 6 533 | ||
+ | | [[30. říjen|30. října]] [[1978]] | ||
+ | | [[Landon Curt Noll|Noll]] a [[Laura Nickel|Nickel]] | ||
+ | |- | ||
+ | | align="right" | 26. | ||
+ | | align="right" | 23 209 | ||
+ | | align="right" | 402874115…779264511 | ||
+ | | align="right" | 6 987 | ||
+ | | [[9. únor]]a [[1979]] | ||
+ | | [[Landon Curt Noll|Noll]] | ||
+ | |- | ||
+ | | align="right" | 27. | ||
+ | | align="right" | 44 497 | ||
+ | | align="right" | 854509824…011228671 | ||
+ | | align="right" | 13 395 | ||
+ | | [[8. duben|8. dubna]] [[1979]] | ||
+ | | [[Harry Nelson|Nelson]] a [[David Slowinski|Slowinski]] | ||
+ | |- | ||
+ | | align="right" | 28. | ||
+ | | align="right" | 86 243 | ||
+ | | align="right" | 536927995…433438207 | ||
+ | | align="right" | 25 962 | ||
+ | | [[25. září]] [[1982]] | ||
+ | | [[David Slowinski|Slowinski]] | ||
+ | |- | ||
+ | | align="right" | 29. | ||
+ | | align="right" | 110 503 | ||
+ | | align="right" | 521928313…465515007 | ||
+ | | align="right" | 33 265 | ||
+ | | [[28. leden|28. ledna]] [[1988]] | ||
+ | | [[Walt Colquitt|Colquitt]] a [[Luke Welsh|Welsh]] | ||
+ | |- | ||
+ | | align="right" | 30. | ||
+ | | align="right" | 132 049 | ||
+ | | align="right" | 512740276…730061311 | ||
+ | | align="right" | 39 751 | ||
+ | | [[20. září]] [[1983]] | ||
+ | | [[David Slowinski|Slowinski]] | ||
+ | |- | ||
+ | | align="right" | 31. | ||
+ | | align="right" | 216 091 | ||
+ | | align="right" | 746093103…815528447 | ||
+ | | align="right" | 65 050 | ||
+ | | [[6. září]] [[1985]] | ||
+ | | [[David Slowinski|Slowinski]] | ||
+ | |- | ||
+ | | align="right" | 32. | ||
+ | | align="right" | 756 839 | ||
+ | | align="right" | 174135906…544677887 | ||
+ | | align="right" | 227 832 | ||
+ | | [[19. únor]]a [[1992]] | ||
+ | | [[David Slowinski|Slowinski]] a [[Paul Gage|Gage]] | ||
+ | |- | ||
+ | | align="right" | 33. | ||
+ | | align="right" | 859 433 | ||
+ | | align="right" | 129498125…500142591 | ||
+ | | align="right" | 258 716 | ||
+ | | [[10. leden|10. ledna]] [[1994]] | ||
+ | | [[David Slowinski|Slowinski]] a [[Paul Gage|Gage]] | ||
+ | |- | ||
+ | | align="right" | 34. | ||
+ | | align="right" | 1 257 787 | ||
+ | | align="right" | 412245773…089366527 | ||
+ | | align="right" | 378 632 | ||
+ | | [[3. září]] [[1996]] | ||
+ | | [[David Slowinski|Slowinski]] a [[Paul Gage|Gage]] | ||
+ | |- | ||
+ | | align="right" | 35. | ||
+ | | align="right" | 1 398 269 | ||
+ | | align="right" | 814717564…451315711 | ||
+ | | align="right" | 420 921 | ||
+ | | [[13. listopad]]u [[1996]] | ||
+ | | [[GIMPS]] / Joel Armengaud | ||
+ | |- | ||
+ | | align="right" | 36. | ||
+ | | align="right" | 2 976 221 | ||
+ | | align="right" | 623340076…729201151 | ||
+ | | align="right" | 895 932 | ||
+ | | [[24. srpen|24. srpna]] [[1997]] | ||
+ | | [[GIMPS]] / Gordon Spence | ||
+ | |- | ||
+ | | align="right" | 37. | ||
+ | | align="right" | 3 021 377 | ||
+ | | align="right" | 127411683…024694271 | ||
+ | | align="right" | 909 526 | ||
+ | | [[27. leden|27. ledna]] [[1998]] | ||
+ | | [[GIMPS]] / Roland Clarkson | ||
+ | |- | ||
+ | | align="right" | 38. | ||
+ | | align="right" | 6 972 593 | ||
+ | | align="right" | 437075744…924193791 | ||
+ | | align="right" | 2 098 960 | ||
+ | | [[1. červen|1. června]] [[1999]] | ||
+ | | [[GIMPS]] / Nayan Hajratwala | ||
+ | |- | ||
+ | | align="right" | 39. | ||
+ | | align="right" | 13 466 917 | ||
+ | | align="right" | 924947738…256259071 | ||
+ | | align="right" | 4 053 946 | ||
+ | | [[14. listopad]]u [[2001]] | ||
+ | | [[GIMPS]] / Michael Cameron | ||
+ | |- | ||
+ | | align="right" | 40. | ||
+ | | align="right" | 20 996 011 | ||
+ | | align="right" | 125976895…855682047 | ||
+ | | align="right" | 6 320 430 | ||
+ | | [[17. listopad]]u [[2003]] | ||
+ | | [[GIMPS]] / Michael Shafer | ||
+ | |- | ||
+ | | align="right" | 41. | ||
+ | | align="right" | 24 036 583 | ||
+ | | align="right" | 299410429…733969407 | ||
+ | | align="right" | 7 235 733 | ||
+ | | [[15. květen|15. května]] [[2004]] | ||
+ | | [[GIMPS]] / Josh Findley | ||
+ | |- | ||
+ | | align="right" | 42. | ||
+ | | align="right" | 25 964 951 | ||
+ | | align="right" | 122164630…577077247 | ||
+ | | align="right" | 7 816 230 | ||
+ | | [[18. únor]]a [[2005]] | ||
+ | | [[GIMPS]] / Martin Nowak | ||
+ | |- | ||
+ | | align="right" | 43.<sup>*</sup> | ||
+ | | align="right" | 30 402 457 | ||
+ | | align="right" | 315416475…652943871 | ||
+ | | align="right" | 9 152 052 | ||
+ | | [[16. prosinec|16. prosince]] [[2005]] | ||
+ | | [[GIMPS]] / Curtis Cooper a Steven Boone | ||
+ | |- | ||
+ | | align="right" | 44.<sup>*</sup> | ||
+ | | align="right" | 32 582 657 | ||
+ | | align="right" | 124575026…053967871 | ||
+ | | align="right" | 9 808 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
Související články
Externí odkazy
- www.mersenne.org – Great Internet Mersenne Prime Search (GIMPS)
- Mersennovo prvočíslo v encyklopedii MathWorld
- Mersennovo číslo v encyklopedii MathWorld
- Historie, věty, seznam Mersennových prvočísel
- mersennewiki.org – wiki o Mersennových prvočíslech
Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010 |
---|
Informace o článku.
Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. |