Repunit: differenze tra le versioni

Versione delle 22:24, 19 ott 2013

Versione delle 04:53, 6 nov 2013

Riga 43:

* Se ''a'' è multiplo di ''b'' allora anche R_a è multipli di R_b

In verità, i repunit in base 2 sono i rispettabili [[numero di Mersenne|numeri di Mersenne]] ''M''_''n'' = 2^''n'' −− 1. Il [[progetto Cunningham]] cerca di raccogliere le fattorializzazioni (fra l'altro) dei repunit in base 2, 3, 5, 6, 7, 10, 11 e 12.

I primi repunit sono un sottoinsieme dei [[primo permutabile|primi permutabili]], cioè primi che rimangono tali dopo qualunque [[permutazione]] delle loro cifre.

Riga 61:

Storicamente, la definizione dei repunit è stata motivata dalla ricerca, all'interno della matematica ricreativa, dei [[fattore primo|fattori primi]] di tali numeri.

Si può facilmente dimostrare che se ''n'' è divisibile per ''a'', allora ''R_n'' è divisibile per ''R_a''. Ad esempio 9 è divisibile per 3, e ''R₉'' è divisibile per ''R₃'': 111111111&nbsp;=&nbsp;111&middot;·1001001. Ne consegue che condizione necessaria perché ''R_n'' sia primo è che ''n'' sia a sua volta un numero primo<ref>Non si tratta ovviamente di condizione sufficiente, come peraltro facilmente verificabile con un immediato controesempio: ''R₃''&nbsp;=&nbsp;111&nbsp;=&nbsp;3&middot;·37.</ref>.

La sequenza dei primi repunit attualmente noti è [[OEIS:A004022|A004022]] dell'OEIS, mentre la più compatta sequenza delle loro lunghezze è la [[OEIS:A004023|A004023]] dell'OEIS. ''R₄₉₀₈₁'' (scoperto nel [[1999]] da Harvey Dubner), ''R₈₆₄₅₃'' (scoperto nell'ottobre [[2000]] da Lew Baxter), ''R₁₀₉₂₉₇'' (scoperto da Harvey Dubner e Paul Bourdelais nel marzo del [[2007]]) e ''R₂₇₀₃₄₃'' (scoperto nel luglio [[ 2007]] da Maksym Voznyy e Anton Budnyy) sono attualmente considerati [[primo probabile|primi probabili]], ovvero hanno sino ad ora superato molteplici [[Numero primo#Test di primalità|test di primalità]] pur mancando ancora una reale dimostrazione del fatto che siano effettivamente primi.<ref>[http://primes.utm.edu/top20/page.php?id=57 The Top Twenty: Repunit<!-- Titolo generato automaticamente -->]</ref>