Activité 1. Nombres de Mersenne (5 exercices)

1/4
Marin MERSENNE 1588 - 1648
Thème : Des nombres particuliers : Mersenne, Fermat, Carmichael
Activité 1. Nombres de Mersenne (5 exercices)
Exercice 1 : Présentation générale des nombres de Mersenne
Pré requis : Nombres premiers. Programme de test de la primalité tel que le programme TESTB étudié dans l’activité
2 du thème « Les nombres premiers ».
Objectif : Donner une vision d’ensemble des nombres de Mersenne avant l’étude de quelques propriétés.
Marin Mersenne, né en 1588 près du Mans, et mort en 1648 à Paris est un moine,
philosophe et mathématicien français.
Définition des nombres de Mersenne
Un nombre de Mersenne est un entier naturel qui peut s'écrire sous la forme
 , avec   . Le nième nombre de Mersenne, est noté .
Exploration
1) Recopier et compléter, à l’aide de la calculatrice, le tableau des 20 premiers nombres de Mersenne.
Nombre de Mersenne 
Valeur
2) Surligner les cellules du tableau qui contiennent des nombres premiers. On pourra utiliser un programme de test
de la primalité.
3) a) Quelle conjecture sur la primalité de  peut-on faire si n est composé ?
b) Que peut-on dire de la primalité de  si n est premier ?
Quelles sont des propriétés des nombres de Mersenne ?
  est premier équivaut à    est un nombre parfait
1
pair. (voir l’exercice 2).
 Les nombres  premiers sont à chercher parmi ceux dont l’indice n est premier. (voir l’exercice 3).
 Si n est premier et si Mn est composé alors Mn est divisible par d = 2kn + 1 avec   . (voir
l'exercice 4).
Quels sont les nombres de Mersenne premiers connus ?
En 2015 on ne connait que 48 nombres de Mersenne premiers (en gras ceux indiqués par Mersenne) :
2, 3, M5, 7, 13, 17, 19, 31, 61, 89, 107, 127, M521, 607, 1 279, 2 203, 2281, 3 217, 4 253,
4 423, 9 689, 9 941, 11 213, 19 937, 21 701, 23 209, 44 497, 86 243, 110 503, 132 049, 216 091, 756 839,
859 433, 1 257 787, 1 398 269, 2 976 221, 3 021 377, 6 972 593, 13 466 917, 20 996 011, 24 036 583, 25 964 951,
30 402 457, 32 582 657, 37 156 667, 42 643 801, 43 112 609, 57 885 161.
1
Un nombre parfait a est un nombre égal à la somme de ses diviseurs positifs sauf lui-même (c’est à dire ses « diviseurs
propres »). Exemple : a =  a pour diviseurs positifs 1, 2, 3, 6 et vérifie 1 + 2 + 3 = 6. Donc 6 est un nombre parfait pair. On
conjecture qu’il n’existe aucun nombre parfait impair.

2/4
Logo du GIMPS
 Mersenne n’a pas découvert de nombres premiers de la forme  . Il en a seulement donné une
liste qu’il pensait être des nombres premiers. Cette liste incluait par erreur 67 et 257.
 Aujourd’hui, la recherche des nombres de Mersenne premiers se poursuit dans le cadre
du GIMPS (Great Internet Mersenne Primes Search). Le GIMPS mutualise la
puissance de calcul de milliers d’ordinateurs personnels en proposant un programme
téléchargeable fonctionnant pendant que le processeur n’est pas sollicité. Le plus grand
nombre de Mersenne premier a été découvert par un contributeur du GIMPS en janvier
2013. Il s’agit de 57 885 161 qui comporte 17 425 170 chiffres.
 Une prime de 150 000 $ est offerte pour la découverte du premier nombre premier de plus de cent
millions de chiffres.
 La conjecture « il y a une infinité de nombres de Mersenne premiers » n’est toujours pas démontrée.
Intérêt des nombres de Mersenne premiers
Historiquement, c’est la connexion avec les nombres parfaits qui a motivé l’étude des nombres de Mersenne premiers.
Aujourd’hui, c’est une formule à fabriquer des nombres premiers très grands. Les nombres de Mersenne premiers sont
utilisés pour générer des nombres pseudo aléatoires (permettant de simuler des tirages aléatoires) de très bonne
qualité, utiles par exemple pour la mise au point de correcteurs d’erreurs dans les transmissions numériques.
Exercice 2 : Si Mn est un nombre de Mersenne premier alors a = 2n-1×Mn est un nombre parfait pair
Pré requis : Somme de termes consécutifs d’une suite géométrique. Diviseurs d’un entier.
Objectif : Démontrer une première propriété des nombres de Mersenne premiers.
Partie A : Exemples
1) Vérifier que 6 et 28 sont parfaits.
2) Vérifier que ces deux nombres peuvent s’écrire sous la forme    où    est
premier et  un entier naturel non nul.
Partie B : Cas général
Le but de cette partie est de montrer que tout nombre de la forme    où   est
premier et  un entier naturel non nul est un nombre parfait.
1) Soit  un nombre premier et le nombre   .
a) Citer les    diviseurs propres de a.
b) Calculer leur somme en fonction de  et .
2) Supposons de plus que le nombre premier  soit de la forme    
a) Exprimer la somme des diviseurs propres de    en fonction de .
b) En déduire que  est parfait.
3) a) Enoncer le résultat démontré.
b) Donner deux autres nombres parfaits.
Point Info :
 Ce résultat était connu d’Euclide (IIIème av JC)
 Deux mille ans plus tard, Leonhard Euler (1707-1883) a démontré la réciproque :
Si  est un nombre parfait pair alors  s’écrit sous la forme   
où  est un nombre premier de la forme   , c’est-à-dire  est un nombre de Mersenne premier.
 Aujourd’hui, on connait 48 nombres parfaits pairs correspondant aux 48 nombres de Mersenne premiers
connus. Par ailleurs, on conjecture qu’il n’existe aucun nombre parfait impair.

3/4
Exercice 3 : Si n est composé alors Mn est composé
Pré requis : Somme de termes consécutifs d’une suite géométrique.
Objectif : Montrer que les nombres de Mersenne premiers ne sont pas à chercher parmi les nombres Mn dont l’indice n
est composé.
1) a) Montrer que pour tous entiers naturels  et  on a :
b) En déduire que si  est composé alors  est composé.
2) Parmi quel type d’indices n doit-on chercher pour trouver un nombre de Mersenne premier ?
Exercice 4 : Si n est premier et si Mn est composé alors Mn est divisible par d = 2kn + 1 avec   
Pré requis : Congruences. Théorème des diviseurs premiers. Définition des nombres de Mersenne.
Objectif : Démontrer une propriété utile pour tester la primalité des nombres de Mersenne dont l’indice n est premier.
Partie A : Forme d’un diviseur d d’un nombre de Mersenne Mp avec p premier
On notera Mp un nombre de Mersenne dont l’indice p est un nombre premier.
1) Préliminaire : On suppose que  admet un diviseur premier d. Justifier que  .
2) On considère un nombre premier p tel que  admette un diviseur premier d.
Soit  l'ensemble des entiers naturels n non nuls tels que  .
a) Justifier que  est non vide et qu'il admet un plus petit élément  .
b) Soit n un élément de . En écrivant la division euclidienne de n par , montrer que n est multiple de . En
déduire que   .
c) On admet que    (c'est le résultat du petit théorème de Fermat). En déduire que  divise   
et que le quotient  est supérieur ou égal à .
d) Montrer que le quotient  est pair. En déduire qu’il existe    tel que     
Conclusion : Si le nombre de Mersenne  ( premier) admet un diviseur premier , ce diviseur est de la forme
Partie B : Application à deux nombres de Mersenne Mp avec p premier
1) Le nombre de Mersenne M19 = 219 – 1 = 524 287
a) Montrer que les diviseurs premiers de M19 (s'ils existent) sont de la forme    avec   .
b) Combien y-a-t-il de diviseurs de cette forme inférieurs à  ?
c) Démontrer que si k est de la forme 3 m +1 ou 5 m +3 ou 7 m + 2, avec   , alors d n'est pas premier.
d) Combien y-a-t-il finalement de cas à examiner ?  est-il premier ?
2) Le nombre de Mersenne M23 = 223 – 1 = 8 388 607
a) Quel est le premier diviseur possible de M23 ? (d’après la question 2)d) de la partie A).
b) Le nombre de Mersenne M23 est-il premier ?

4/4
Exercice 5 : Un test de primalité des nombres de Mersenne Mp où p est premier : le test de Lucas – Lehmer (LLT)
Pré requis : Congruences. Connaissances sur les tableurs. Programme de test de la primalité tel que le programme
ESTPREM étudié dans l’activité 2 du thème « Activités autour des nombres premiers ».
Objectif : Connaître un test moderne de primalité pour les nombres de Mersenne   où  est premier.
On considère la suite S définie par   et pour tout entier      .
La suite  permet de tester si des nombres de Mersenne sont premiers ou non.
1) Calculer les termes  pour     . En observant ces premiers termes, peut-on qualifier la vitesse de croissance
de la suite S de très lente, lente, rapide ou très rapide ?
2) Soit p un nombre premier. Etudions les restes  de la division euclidienne des termes  par .
a) Démontrer que pour tout entier   , 
   .
b) On rappelle que la fonction du tableur =MOD(A ; B) renvoie le reste de la division euclidienne de A par B.
Montrer que les deux formules   et    fournissent toutes les deux le
reste .
c) A l'aide d'un tableur, on veut calculer les restes  de la division euclidienne
des termes  par  pour i compris entre 0 et 30 et p premier compris entre 3
et 19.
Expliquer pourquoi seule la deuxième des deux formules précédentes convient.
d) Construire cette feuille de calcul dont le début est montré ci-contre.
Pour un des nombres p considérés, aucun reste n'est nul. Quel est ce nombre p ?
Le nombre de Mersenne  correspondant est-il premier ?
3) Pour tous les autres nombres premiers  de la feuille de calcul, on vérifie que 
est premier. On observe qu’il y a toujours un et un seul reste  nul. On note    le rang du reste nul.
a) Quel lien peut-on conjecturer entre p et le rang r ?
b) Quelle conjecture peut-on faire sur la valeur des restes  à partir du rang      ?
c) Démontrer que si le reste  de la division euclidienne de  par  est nul pour le rang   , alors les restes
 sont égaux à 2 pour tout entier      . (On raisonnera par récurrence).
4) Propriété de Lucas-Lehmer.
On admet la propriété : Pour tout nombre p premier supérieur ou égal à 3, si    alors  est premier.
a) Recopier et compléter l'algorithme ci-contre qui
correspond au test de Lucas Lehmer.
b) Entrer le programme correspondant dans votre
calculatrice (nommer ce programme LLT).
Le tester sur les nombres étudiés dans la partie
B de l’exercice 4 c’est-à-dire  et .
(Rappel :  est premier,  n’est pas
premier)
c) Tester la primalité de  avec ce programme.
Saisir p (p doit être premier, supérieur ou égal à 3)
 prend la valeur 
 prend la valeur  
Pour k allant de 1 à p – 2
 prend la valeur reste de la division de   par 
Fin pour
Si    alors
Afficher ....................................................................
Sinon
Afficher .........................................................
Fin si
Point Info :
 Le mathématicien français Edouard LUCAS
inventa ce test en 1878.
 Le mathématicien américain Derrick Henry
LEHMER l’améliora notablement dans les
années 1930.
Edouard LUCAS 1842 -1891
Derrick H. LEHMER 1905 -1991