Un nombre polymonadique est un nombre qui ne s'écrit qu'avec des 1, comme 1, 11, 111, 1111, 11111, etc.

Une définition équivalente est de dire qu'un nombre polymonadique est un nombre de la forme ${\displaystyle {\frac {10^{n}-1}{9}}}$, avec n entier naturel, n ⩾ 1, le nombre n indiquant le nombre de chiffres 1 pour écrire ce nombre dans le système décimal.

On pose :

${\displaystyle e_{n}={\frac {10^{n}-1}{9}}}$.

On s'intéresse au problème suivant : existe-t-il des nombres polymonadiques premiers ?

1°  Démontrer que lorsque n est pair, e_n est divisible par 11.

2°  Démontrer que lorsque m divise n, e_m divise e_n.

Aide : vous pouvez utiliser l'expression d'une somme de termes consécutifs d'une suite géométrique de raison b ≠ 1 :

${\displaystyle \sum _{i=0}^{r-1}b^{i}={\frac {b^{r}-1}{b-1}}}$.

3°  Déduisez-en que si e_n est premier, alors n est premier. Montrer que la réciproque est fausse en examinant le cas de e₃.

4°  a)  À l'aide de l'identité pour m ⩾ n :

${\displaystyle b^{m}-1=b^{m-n}\left(b^{n}-1\right)+b^{m-n}-1}$,

démontrer que les diviseurs communs à e_m et e_n sont les diviseurs communs à e_{m – n} et e_n.

b)  En déduire que ${\displaystyle \operatorname {pgcd} (e_{m},e_{n})=e_{\operatorname {pgcd} (m,n)}}$ (en particulier, si m et n sont premiers entre eux, alors e_m et e_n sont premiers entre eux).