Soit a et n deux entiers naturels non
nuls et différents de 1. On suppose que est premier.
1. Montrer que a est égal à 2 ;
2. Montrer que n est premier ;
3. A-t-on la réciproque ?
Un exercice classique autour des nombres de Mersenne …
On a classiquement :
étant premier, cette factorisation entraîne
,
soit
.
Menons ici un raisonnement par l’absurde en supposant que n n’est pas premier.
On peut donc, dans ces conditions, écrire : avec
et
.
Il vient alors :
C’est à dire : non premier (
et
entraîne
). Ce qui est absurde.
Le nombre de Mersenne M11 n’est pas premier :
.
Il existe donc des nombres de la forme avec n premier qui ne sont pas premiers.
Si
on considère un nombre premier de la forme alors nécessairement a est égal à 2 et n
est premier.
La
réciproque est fausse : il existe des nombres de la forme avec n premier qui ne sont pas premiers.