Repunit

Da Wikipedia, l'enciclopedia libera.

Nella matematica ricreativa, un repunit (dall'inglese "repeated unit",^[1] unità ripetuta ) è un numero intero, come 11, 111 o 1111, che contiene solo la cifra 1.

I repunit sono definiti matematicamente come:

$R_n={ 10^n-1 \over 9}$

dove R_n è il numero formato da n ripetizioni della cifra 1, ovviamente questo per la base 10; e la sequenza dei repunit con 1, 11, 111, 1111, ... (sequenza A002275 dell'OEIS).

[modifica] Generalizzazione

Matematicamente il repunit è un concetto arbitrario, esso dipenda dalla base in cui il numero viene espresso; si pensi che ogni numero intero N può essere riscritto come 11 (uno-uno) se espresso in base N-1, ciò per un semplice motivo: un numero in un sistema posizionale può essere rappresentato come una serie geometrica di ragione b, che ne rappresenta la base di numerazione:

$N = a_1^ib^0 + a_2^ib^1 + a_3^ib^2 + \dots + a_n^ib^{n-1}$

i vari aⁱ, con 0 ≤ i ≤ B-1, rapprendano le B cifre presenti in quella determinata base dove impostiamo che:

a⁰ = 0 - numero zero
a¹ = 1 - numero uno
a^b = 10 = b (uno e zero non rappresentano il dieci, ma genericamente il primo numero che deve essere rappresentato con due cifre, cioè la base)

Se vogliamo che quindi un numero N sia rappresentato con 11, basta risolvere l'equazione: N = 1 × b⁰ + 1 × b¹ da cui b = N - 1, cioè:

N = 1 + (N - 1)¹ = 1 + N - 1

Se fossimo addirittura in base unaria, ogni numero sarebbe addirittura rappresentato da tanti uno quando è in valore di N:

2 = 11
3 = 111
6 = 111111

Risulta quindi evidente come non bisogna confondere la rappresentazione del numero col numero stesso, che invece è un'entità indipendente la quale può trovare, a seconda delle convenzioni, diverse rappresentazioni; ciò nonostante, quando anche la rappresentazione ha una sua spiegazione matematica, come in questo caso, può essa stessa essere fonte di proprietà matematiche fondate, proprietà come quelle dei repunit per i quali però conviene ragionare in termini generali, senza prendere a riferimento una precisa base, come siamo soliti fare.

Partendo dal concetto che la notazione posizionale di fatto deriva da una serie geometrica, come nel caso dei repunit, ha tutte le cifre uguale 1, aⁱ = 1, è possibile arrivare a questa formula:

$R_n^{(b)}={b^n-1\over b-1}.$

Dove R sta per la rappresentazione in forma di repunit di un generico numero N in base B e con n cifre 1.^[2] ad esempio:

$R_3^{(5)}={5^3-1\over 5-1} = 31$

significa che 31 espresso in base 5 è uguale a 111 cioè un repunit R₃

[modifica] Proprietà

Prendendo in generale i repunit per ogni base è possibile stilarne le caratteristiche più salienti:

Ogni numero può essere scritto almeno sotto forma di due repunit $\scriptstyle{R_2^{(N-1)}}$ (11) e $\scriptstyle{R_N^{(1)}}$
In una base pari i repunit sono soltanto numeri dispari; in base dispari i repunit sono numeri pari con n anch'esso pari, e numeri dispari ma con n a sua volta dispari. Questo significa che un numero pari può essere un repunit soltanto con base dispari e n pari.
Siccome in ogni repunit la somma della cifre è uguale a n, si ha la congruenza $\scriptstyle{R_n^{(b)} \equiv n \pmod{b-1}}$ .
quindi significa che può essere riscritto come $\scriptstyle{R_n^{(b)} = (b-1)k + n}$ e ciò può essere usato per scoprire, se è possibile, in quale base un numero può essere un repunit i tipo R_n.
Se a è multiplo di b allora anche R_a è multipli di R_b

In verità, i repunit in base 2 sono i rispettabili numeri di Mersenne M_n = 2ⁿ − 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 primi permutabili, cioè primi che rimangono tali dopo qualunque permutazione delle loro cifre.

[modifica] Determinare N in forma repunit

È già stato dimostrato che ogni numero può essere espresso come repunit in base N-1, ma è anche vero che ci sono teoricamente molteplici possibilità di esprimere lo stesso numero in forma di repunit, ovviamente in basi diverse e con n diversi. Determinare però in quale base un numero è, se lo è, un repunit $R n$ , non è sempre agevole, benché con la formula generalizzata si possibile, e questo perché richiede di risolvere una equazione di grado uguale a n; è possibile, però, sfruttare alcune delle proprietà per verificare almeno preventivamente se qual numero può essere un $R n$ .

Sappiamo infatti, per esempio, che se N è pari sarà repunit solo se anche n e pari, $R 2 i$ ; che se N-n è primo allora non potrà essere un $R n$ .
Per trovare un la base in cui quel numero potrebbe essere un repunit senza andare alla c'è ci sono due modi, o cercarlo tra i possibili divisori di N-n, ricordando di aggiungere uno, oppure approssimando attraverso la formula generale, immaginando che per N grande giustamente anche b sarà grande nonostante n, e quindi stimando l'eventuale in base:

$b=\sqrt[n-1]{N}$

Si prende la parte intere della radice; anzi questa approssimazione risponde sorprendentemente bene anche per n grande con b piccolo, e non peggiora al crescere di n o del eventuale base.

La stima ovviamente non dà la base in cui il numero N è certamente il repunit cercato, ma dà l'unica base in cui sarebbe possibile esprimerlo come $R n$ ; occorre dunque verificare tale base attraverso la formula generalizzata, e se il riscontro è negativo significa che comunque il numero non può essere espresso in forma di repunit con quel determinato n, senza escludere con ciò la possibilità che ciò sia possibile in altre basi e ovviamente altri n

[modifica] Primi repunit

Per approfondire, vedi la voce Repunit (fattori).

Storicamente, la definizione dei repunit è stata motivata dalla ricerca, all'interno della matematica ricreativa, dei 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 = 111·1001001. Ne consegue che condizione necessaria perché R_n sia primo è che n sia a sua volta un numero primo^[3].

La sequenza dei primi repunit attualmente noti è A004022 dell'OEIS, mentre la più compatta sequenza delle loro lunghezze è la A004023 dell'OEIS. R₄₉₀₈₁ (scoperto nel 1999 da Harvey Dubner^[4]), R₈₆₄₅₃ (scoperto nell'ottobre 2000 da Lew Baxter) e R₁₀₉₂₉₇ (scoperto anch'esso da Harvey Dubner nel marzo del 2007) sono attualmente considerati primi probabili, ovvero hanno sino ad ora superato molteplici test di primalità pur mancando ancora una reale dimostrazione del fatto che siano effettivamente primi.

È stato congetturato che, benché estremamente rari, esistano infiniti numeri primi repunit^[5].

[modifica] Voci correlate

Numero a cifra ripetuta (repdigit)
Tabella dei fattori
11111 Repunit - asteroide scoperto nel 1995

[modifica] Note

^ Il termine venne coniato da Albert Beiler nel 1964 nel suo libro Recreations in the Theory of Numbers(fonte)
^ Intuitivamente la formula può anche essere spiegata così: ogni repunit è immancabilmente anche un divisore di altri numeri a cifra ripetuta, ivi compreso quello corrispondente alla cifra a^b-1, e siccome tale numero è anche l'[[antecedente (matematica)|]] di un multiplo di bⁿ, tale multiplo meno [[1 (numero)|]] e diviso a^b-1, cioè b -1, non può che essere un repunit di n cifre
^ Non si tratta ovviamente di condizione sufficiente, come peraltro facilmente verificabile con un immediato controesempio: R₃ = 111 = 3·37.
^ H. Dubner, "Repunit R49081 is a probable prime," Math. Comp., 71:238 (2002) 833--835
^ http://primes.utm.edu/glossary/page.php?sort=Repunit