Nel campo della matematica ricreativa , una respunit è un numero naturale la cui scrittura, in una certa base intera, contiene solo cifre 1. Questo termine è la francizzazione della repunit inglese , una contrazione dell'espressione rep mangiata unità (unità ripetuta), proposta nel 1966 da Albert H. Beiler .
In francese, sono stati proposti i nomi " numero polimonadico ", " multi-as " o " respun " , ma è l'anglicismo che rimane il più utilizzato.
Le risposte in base dieci sono definite da:
Più in generale, sono dati in base b , da:
Pertanto, il numero R( b )
nè scritto come la giustapposizione di n cifre 1 .
Anche se non ancora conosciuto con quel nome, i répunits base 10 sono stati studiati da molti matematici nel corso del XIX ° secolo, in uno sforzo per sviluppare e prevedere le tendenze cicliche che si ripetono decimali .
Si è scoperto molto presto che, per ogni numero primo p maggiore di 5, il periodo di espansione decimale di 1 / p è uguale alla lunghezza della risposta più piccola divisibile per p . Le tabelle del periodo di reciprocità dei numeri primi fino a 60.000 furono pubblicate nel 1860 e consentirono di fattorizzare , da matematici come Reuschle, tutte le risposte fino a R 16 e oltre. Nel 1880, anche R 17 a R 36 sono stati ceduti ed è curioso che, sebbene Édouard Lucas ha mostrato che nessun numero primo di seguito tre milioni ha avuto un periodo pari a diciannove anni, ha fatto non c'era alcun tentativo di testare questo fino agli inizi del XX ° secolo . Il matematico americano Oscar Hoppe dimostrò nel 1916 che R 19 è primo e Lehmer e Kraïtchik dimostrarono indipendentemente la primalità di R 23 nel 1929. I progressi nello studio delle respirazioni non ebbero luogo fino agli anni '60, quando i computer hanno consentito molti nuovi fattori di tregua essere trovato. Il progetto Cunningham ha documentato, tra le altre cose, le fattorizzazioni delle risposte di base 2, 3, 5, 6, 7, 10, 11 e 12.
I primi termini della serie di respirazioni sono:
1 , 11 , 111 , 1 111, 11 111, 111 111, 1 111 111 (seguito A002275 del OEIS ).Le risposte in base 2 (risposte binarie) sono i numeri di Mersenne M n = 2 n - 1.
I fattori primi colorati in rosso sono "fattori nuovi", che dividono ma non dividono per tutto ; A seguito di A102380 di OEIS .
|
|
|
Storicamente, è nell'ambito della matematica ricreativa che è stato intrapreso lo studio delle respirazioni, in particolare tentando di escluderle . Il progetto Cunningham propone di elencare le fattorizzazioni delle respirazioni in base 2, 3, 5, 6, 7, 10, 11 e 12.
Dall'ultima proprietà sopra, R( b )
nè primo solo se n è primo. Ma questa non è una condizione sufficiente, come illustra questo controesempio in base dieci:
Tuttavia, R(2)
3= 7 è primo. R( b )
3è anche primo per b uguale ad esempio (in base dieci) a 3, 5, 6, 8, 12, 14, 15, 17, 20, 21, 24, 27, 33, 38, 41, 50, 54, 57, 59, 62, 66, 69, 71, 75, 77, 78, 80, 89, 90, 99, 101, 105, 110, 111, ... (la scrittura in base dieci di R(111)
3 è 12.433).
Le risposte prime sono piuttosto rare (la probabilità che un numero sia primo è a priori uguale all'inverso del suo logaritmo, quindi proporzionale all'inverso del suo numero di cifre; vedi teorema dei numeri primi ). Tuttavia, si è ipotizzato che c'è un'infinità di loro.
Cosa si dovrebbe notare, rispetto al piccolo teorema di Fermat , quando p è primo:
p divide R( b )
p- 1
quindi b R( b )
p- 1 - 1 è divisibile per R( b )
p.
quando p è primo.
In dieci base, R n è primo per n = 2, 19, 23, 317, 1031, ... (seguito A004023 del OEIS ). Le risposte R 49 081 , R 86 453 , R 109 297 , R 270 343 e R 5 794 777 sono numeri primi probabili .
Ogni respunità primaria è permutabile per prime , cioè rimane prima dopo ogni permutazione delle sue cifre.
Se n e b sono coprimi , almeno una delle risposte R( b )
1,…, R( b )
nè un multiplo di n .
Ragioniamo con l'assurdo supponendo che nessuno di questi n numeri sia divisibile per n . Quindi (secondo il principio dei cassetti e poiché ci sono solo n - 1 classi di mod n congruenza diverso da zero) due di loro sono nella stessa classe, cioè esistono interi i e j , con 1 ≤ i < j ≤ n , tale che n divide R( b )
j- R( b )
i= R( b )
j - i× b i quindi (secondo il lemma di Gauss ) n divide R( b )
j - i, che contraddice l'ipotesi iniziale.
(it) Eric W. Weisstein , " Repunit " , su MathWorld