Répunit

Les répunits en base dix sont définis par :

${\displaystyle R_{n}={\frac {10^{n}-1}{9}}\qquad {\mbox{pour }}n\geq 1.}$

Plus généralement, ils sont donnés en base b, par :

${\displaystyle R_{n}^{(b)}={\frac {b^{n}-1}{b-1}}=\sum _{k=0}^{n-1}b^{k}\qquad {\mbox{pour }}n\geq 1.}$

Ainsi, le nombre R^(b)
_n s'écrit comme la juxtaposition de n chiffres 1.

Bien que n'étant pas encore connus sous ce nom, les répunits en base 10 ont été étudiés par de nombreux mathématiciens au cours du XIX^e siècle, dans un effort pour élaborer et prédire les tendances cycliques du développement décimal périodique[5].

Il a été trouvé très tôt que, pour tout nombre premier p supérieur à 5, la période du développement décimal de 1/p est égale à la longueur du plus petit répunit divisible par p. Les tableaux de la période de réciprocité des nombres premiers jusqu'à 60 000 ont été publiés en 1860, et ont permis la factorisation, par des mathématiciens comme Reuschle, de tous les répunits jusqu'à R₁₆ et plus. En 1880, même R₁₇ à R₃₆ ont été factorisés[5] et il est curieux de constater que, bien que Édouard Lucas ait montré qu'aucun nombre premier en dessous de trois millions n'avait une période égale à dix-neuf, il n'y a eu aucune tentative en vue de tester ceci jusqu'au début du XX^e siècle. Le mathématicien américain Oscar Hoppe a prouvé en 1916 que R₁₉ est premier[6] et Lehmer et Kraïtchik ont indépendamment prouvé la primalité de R₂₃ en 1929. Des avancées dans l'étude des répunits n'ont pas eu lieu jusque dans les années 1960, quand les ordinateurs ont permis à de nombreux nouveaux facteurs de répunits d'être trouvés. Le projet Cunningham a documenté entre autres les factorisations des répunits de base 2, 3, 5, 6, 7, 10, 11, et 12.

Les premiers termes de la suite des répunits sont :

1, 11, 111, 1 111, 11 111, 111 111, 1 111 111 (suite A002275 de l'OEIS).

Les répunits en base 2 (répunits binaires) sont les nombres de Mersenne M_n = 2ⁿ – 1.

• Les répunits en base dix sont des nombres uniformes.
• Le PGCD des répunits en base b suit la règle[7] : ${\displaystyle {\rm {pgcd}}(R_{m}^{(b)},R_{n}^{(b)})=R_{{\rm {pgcd}}(m,n)}^{(b)}}$.En particulier, R^(b)
  _n est divisible par R^(b)
  _m si et seulement si n est divisible par m.

Les facteurs premiers colorés en rouge sont des "nouveaux facteurs", divisant ${\displaystyle R_{n}}$ mais ne divisant pas ${\displaystyle R_{k}}$ pour tout ${\displaystyle k<n}$ ; suite A102380 de l'OEIS [8].

Historiquement, c'est dans le cadre des mathématiques récréatives qu'a été entreprise l'étude des répunits, en tentant notamment de les factoriser. Le projet Cunningham se propose de répertorier les factorisations des répunits en base 2[9], 3, 5, 6, 7, 10[10]^,[11], 11 et 12.

D'après la dernière propriété ci-dessus, R^(b)
_n n'est premier que si n est premier. Mais ce n'est pas une condition suffisante, comme l'illustre ce contre-exemple en base dix :

3 est premier mais R₃ = 111 = 3 × 37 est composé[12].

Cependant, R⁽²⁾
₃ = 7 est premier. R^(b)
₃ est également premier pour b égal par exemple (en base dix) à 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,… (l'écriture en base dix de R⁽¹¹¹⁾
₃ est 12 433).

Les répunits premiers sont assez rares (la probabilité qu'un nombre soit premier est a priori égale à l'inverse de son logarithme, donc proportionnelle à l'inverse de son nombre de chiffres ; voir théorème des nombres premiers). On conjecture cependant qu'il en existe une infinité[13].

Ce qu'il faut noter, par rapport au petit théorème de Fermat, lorsque p est premier : p divise R^(b)
_p – 1 donc b^{R(b)
_p – 1} – 1 est divisible par R^(b)
_p. ${\displaystyle b^{R_{p}^{(b)}}\equiv b{\pmod {R_{p}^{(b)}}}}$ lorsque p est premier.

En base dix, on sait que R_n est premier pour onze valeurs de n = 2, 19, 23, 317, 1031,... (suite A004023 de l'OEIS). Les six plus grands répunits premiers connus sont en 2021 R_{49 081}, R_{86 453}, R_{109 297}, R_{270 343}, R_{5 794 777} et R_{8 177 207} ; ce sont des nombres premiers probables[13]^,[14].

Tout répunit premier est premier permutable, c'est-à-dire qu'il reste premier après toute permutation de ses chiffres[13].

Si n et b sont premiers entre eux, au moins l'un des répunits R^(b)
₁, … , R^(b)
_n est un multiple de n.