Numero di Riesel

In matematica, un numero di Riesel è un numero naturale dispari $k$ tale che ogni intero della forma $k\cdot 2^{n}-1$ sia un numero composto, ovvero non sia un numero primo.

In altre parole, quando $k$ è un numero di Riesel, tutti i numeri del seguente insieme sono composti:

$\left\{\,k\cdot 2^{n}-1:n\in \mathbb {N} \,\right\}.$

Nel 1956, Hans Riesel dimostrò che esistono infiniti interi $k$ tali che $k\cdot 2^{n}-1$ non è primo per ogni intero $n$. Egli mostrò che il numero 509203 ha questa proprietà, e lo stesso vale per i numeri nella forma :$509203+11184810\cdot k;k\in \mathbb {N}$.

Per dimostrare che un certo numero è un numero di Riesel, bisogna trovare un "insieme ricoprente". Un insieme ricoprente è un insieme di numeri primi piccoli tali che ogni membro di una certa successione sia divisibile per uno di essi, ed è chiamato così perché si dice che "ricopre" quella successione. Gli unici numeri di Riesel comprovati più piccoli di un milione hanno i seguenti insiemi ricoprenti:

• $509\,203\cdot 2^{n}-1$ ha l'insieme ricoprente {3, 5, 7, 13, 17, 241}
• $762\,701\cdot 2^{n}-1$ ha l'insieme ricoprente {3, 5, 7, 13, 17, 241}
• $777\,149\cdot 2^{n}-1$ ha l'insieme ricoprente {3, 5, 7, 13, 19, 37, 73}
• $790\,841\cdot 2^{n}-1$ ha l'insieme ricoprente {3, 5, 7, 13, 19, 37, 73}
• $992\,077\cdot 2^{n}-1$ ha l'insieme ricoprente {3, 5, 7, 13, 17, 241}

Un problema tuttora irrisolto è il cosiddetto problema di Riesel, ovvero la determinazione del più piccolo numero di Riesel.

Non essendo stato individuato alcun insieme ricoprente per valori di $k$ inferiori a 509203, si congettura che questo sia il numero di Riesel più piccolo. Ad ogni modo, 75 valori di $k$ inferiori a 509 203 hanno restituito solo numeri composti per tutti i valori di $n$ provati finora. I più piccoli fra di essi sono 2 293, 9 221, 23 669, 26 773, 31 859, 38 473, 40 597, 46 663, 65 531, 67 117 e 74 699. Sono stati individuati i fattori primi di 21 numeri grazie al progetto Riesel Sieve (analogo a Seventeen or Bust per i numeri di Sierpinski).

Voci correlate

• Numero di Sierpiński
• Riesel Sieve Project

Collegamenti esterni

• (EN) Riesel Sieve Project, su rieselsieve.com. URL consultato il 26 novembre 2005 (archiviato dall'url originale il 21 ottobre 2006).
• (EN) Riesel search, su prothsearch.net. URL consultato il 26 novembre 2005 (archiviato dall'url originale il 4 giugno 2009).