ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Exercices d'approfondissement

Exercice 25 Nombres de Mersenne

Démonstration

Soit n∈ℕ∗n\in\mathbb{N}^{*}, on appelle nombre de Mersenne tout nombre Mn=2n−1M_{n}=2^{n}-1.

1. Soient a∈ℕ∗a\in\mathbb{N}^{*}. On suppose que aa et nn sont supérieurs ou égaux à 22. Montrer que si an−1a^{n}-1 est premier, alors a=2a=2 et nn est premier.

2. Vérifier que M11M_{11} n'est pas premier.

Corrigé

Soit n∈ℕ∗n\in\mathbb{N}^{*}, on appelle nombre de Mersenne tout nombre Mn=2n−1M_{n}=2^{n}-1.

1. Pour répondre à cette question, on aura besoin de prouver le résultat suivant : 𝒫n  :  «∀n∈ℕ∗,an−1=(a−1)(1+a+a2+⋯+an−1)»\mathcal{P}_{n} \; : \; \text{«} \forall n \in \mathbb{N}^*, \qquad a^n-1=(a-1)(1+a+a^2+\dots+a^{n-1}) \text{»} On procède par récurrence :

• Initialisation : On constate que : a1−1=(a−1)×1a^1-1=(a-1)\times 1 Ainsi 𝒫1\mathcal{P}_1 est vraie.

• Hérédité : Soit k∈ℕ∗k\in\mathbb{N}^{*}, on suppose que la propriété 𝒫k\mathcal{P}_{k} est vraie. On a alors : (a−1)(1+a+a2+⋯+ak)=(a−1)(1+a+a2+⋯+ak−1+ak)=(a−1)(1+a+a2+⋯+ak−1)+(a−1)×ak=ak−1+ak+1−ak=ak+1−1\begin{aligned} (a-1)(1+a+a^2+\dots+a^k) &= (a-1)(1+a+a^2+\dots+a^{k-1}+a^k) \\ &= (a-1)(1+a+a^2+\dots+a^{k-1})+(a-1)\times a^k \\ &= a^k-1+a^{k+1}-a^k \\ &= a^{k+1}-1 \end{aligned} Ce qui prouve donc que 𝒫k+1\mathcal{P}_{k+1} est vraie.

• Conclusion : D'après le principe de récurrence, la propriété 𝒫n\mathcal{P}_{n} est donc vraie pour tout n∈ℕn\in\mathbb{N}.

On déduit ainsi du résultat précédent que si an−1a^n-1 est premier, son facteur (a−1)(a-1) vaut nécessairement 11 et donc a=2\boxed{a=2}. Supposons maintenant que nn n'est pas premier afin de raisonner par l'absurde. Si nn n'est pas premier, alors il existe pp et qq deux entiers supérieurs ou égaux à 22 tels que n=p×qn=p\times q. Ainsi si on applique le résultat prouvé précédemment, on a : an−1=ap×q−1=(ap)q−1=(ap−1)(1+ap+a2p+⋯+ap×(q−1))=(a−1)(1+a+a2+⋯+ap−1)⏟≠1(1+ap+a2p+⋯+ap×(q−1))⏟≠1\begin{aligned} a^n-1 &= a^{p\times q}-1 \\ &= (a^p)^q-1 \\ &= (a^p-1)(1+a^p+a^{2p}+\dots + a^{p \times (q-1)} ) \\ &= (a-1)\underbrace{(1+a+a^2+\dots+a^{p-1})}_{\neq 1}\underbrace{(1+a^p+a^{2p}+\dots + a^{p \times (q-1)} )}_{\neq 1} \end{aligned} Ainsi an−1a^n-1 ne serait pas premier, ce qui est absurde, ce qui justifie que n est premier\boxed{{n}\text{ est premier}}. Ainsi, un nombre de Mersenne ne peut être premier que si nn 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 : 211−1=2047=23×892^{11}-1=2047 = 23\times 89 Ainsi M11 n’est pas premier\boxed{{M_{11}}\text{ n'est pas premier}}.

Dans l'édifice

Thèmes

nombres premiers, nombres remarquables

Notions

nombre premier

Ouvrir dans l'atlas interactif →