ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Exercices d'approfondissement
Exercice 25 Nombres de Mersenne
Soit , on appelle nombre de Mersenne tout nombre .
1. Soient . On suppose que et sont supérieurs ou égaux à . Montrer que si est premier, alors et est premier.
2. Vérifier que n'est pas premier.
Corrigé
Soit , on appelle nombre de Mersenne tout nombre .
1. Pour répondre à cette question, on aura besoin de prouver le résultat suivant : On procède par récurrence :
• Initialisation : On constate que : Ainsi est vraie.
• Hérédité : Soit , on suppose que la propriété est vraie. On a alors : Ce qui prouve donc que est vraie.
• Conclusion : D'après le principe de récurrence, la propriété est donc vraie pour tout .
On déduit ainsi du résultat précédent que si est premier, son facteur vaut nécessairement et donc . Supposons maintenant que n'est pas premier afin de raisonner par l'absurde. Si n'est pas premier, alors il existe et deux entiers supérieurs ou égaux à tels que . Ainsi si on applique le résultat prouvé précédemment, on a : Ainsi ne serait pas premier, ce qui est absurde, ce qui justifie que . Ainsi, un nombre de Mersenne ne peut être premier que si est premier.
2. Dans cette question, on vérifie que la réciproque est fausse, tout nombre de Mersenne n'est pas premier. En effet : Ainsi .