V roce 1956 Hans Ivar Riesel (nar. 1929 ve Stockholmu) zveřejnil následující větu.
Věta : "Existuje nekonečně mnoho lichých celých čísel k takových, že k * 2^n - 1 je složené číslo (není prvočíslo) pro všechny n > 1".
Riesel deklaroval, že číslo k0 = 509203 má tuto vlastnost, a zároveň přednesl domněnku že kr = k0 + 11184810r pro r = 1, 2, 3, ... Taková čísla se nazývají Riesel čísla (podobně jako Sierpinski čísla). Problém ale spočívá ve stanovení nejmenšího Riesel čísla.
Domněnka : "Číslo k0 = 509203 je nejmenší Riesel číslo".
Chceme-li potvrdit domněnku, stačí předložit prvočíslo k * 2^n - 1 pro každé k < 509203. Jestli taková prvočísla budou nalezena, pak k0 = 509203 je nejmenší Riesel číslo.
Od roku 1998 byla postupně potvrzena většina čísel až k dnešku zbývá potvrdit posledních 64 čísel.
Kód: Vybrat vše
2293, 9221, 23669, 31859, 38473, 40597, 46663, 65531, 67117, 74699, 81041, 93839, 97139, 107347, 121889, 123547, 129007, 141941, 143047, 146561, 161669, 162941, 191249, 192971, 206039, 206231, 215443, 226153, 234343, 245561, 250027, 252191, 273809, 304207, 315929, 319511, 324011, 325123, 327671, 336839, 342847, 344759, 353159, 362609, 363343, 364903, 365159, 368411, 371893, 384539, 386801, 397027, 398023, 402539, 409753, 415267, 428639, 444637, 470173, 474491, 477583, 485557, 494743, 502573
Další informace :
Riesel Number (Wolfram MathWorld)
Riesel Number (Wiki)
Riesel Number (The Prime Glossary)