ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Exercices de synthèse

Exercice 56

Démonstration

Nombres de Mersenne. Soit a,b,n⩾2a, b, n \geqslant 2 trois entiers.

1. Montrer que an−1a^{n} - 1 est divisible par a−1a - 1.

2. En déduire que si an−1a^{n} - 1 est un nombre premier, alors a=2a = 2 et nn est un nombre premier.

3. On note rr le reste de la division euclidienne de aa par bb. Montrer que 2r−12^{r} - 1 est le reste de la division euclidienne de 2a−12^{a} - 1 par 2b−12^{b} - 1.

4. Montrer que (2a−1)∧(2b−1)=2a∧b−1(2^{a} - 1) \wedge (2^{b} - 1) = 2^{a \wedge b} - 1.

Corrigé

1. D'après le chapitre 3 (proposition 5), an−1=(a−1)(an−1+an−2+⋯+1)a^{n} - 1 = (a - 1)(a^{n - 1} + a^{n - 2} + \cdots + 1).

2. Si an−1a^{n} - 1 est premier, son diviseur a−1a - 1 vaut 11 ou an−1a^{n} - 1 ; le second cas est exclu car n⩾2n \geqslant 2 et a⩾2a \geqslant 2 donnent an>aa^{n} > a. Donc a=2a = 2. Si n=kln = kl avec 1<k<n1 < k < n, la question 1 appliquée à (2k)l−1(2^{k})^{l} - 1 montre que 2k−12^{k} - 1 divise 2n−12^{n} - 1, avec 1<2k−1<2n−11 < 2^{k} - 1 < 2^{n} - 1 : c'est exclu, donc nn est premier. a=2 et n premier\boxed{a = 2 \text{ et } n \text{ premier}}

3. On écrit a=bq+ra = bq + r avec 0⩽r<b0 \leqslant r < b. Alors 2a−1=2r(2bq−1)+2r−1.2^{a} - 1 = 2^{r}\big(2^{bq} - 1\big) + 2^{r} - 1. D'après la question 1, appliquée à (2b)q−1(2^{b})^{q} - 1, l'entier 2b−12^{b} - 1 divise 2bq−12^{bq} - 1, et 0⩽2r−1<2b−10 \leqslant 2^{r} - 1 < 2^{b} - 1. Par unicité de la division euclidienne, 2r−12^{r} - 1 en est le reste.

4. La question 3 et la proposition 4 donnent (2a−1)∧(2b−1)=(2b−1)∧(2r−1)(2^{a} - 1) \wedge (2^{b} - 1) = (2^{b} - 1) \wedge (2^{r} - 1) : le couple (2a−1,2b−1)(2^{a} - 1, 2^{b} - 1) suit pas à pas l'algorithme d'Euclide appliqué à (a,b)(a, b), comme les nombres de Fibonacci de l'exercice 23. Par récurrence forte sur bb, en admettant b⩾1b \geqslant 1 et r⩾0r \geqslant 0, l'algorithme s'arrête sur le couple (2d−1,20−1)=(2d−1,0)(2^{d} - 1, 2^{0} - 1) = (2^{d} - 1, 0), avec d=a∧bd = a \wedge b. (2a−1)∧(2b−1)=2a∧b−1\boxed{(2^{a} - 1) \wedge (2^{b} - 1) = 2^{a \wedge b} - 1} Par exemple, (212−1)∧(218−1)=4095∧262 143=63=26−1(2^{12} - 1) \wedge (2^{18} - 1) = 4095 \wedge 262\,143 = 63 = 2^{6} - 1. ✓

Dans l'édifice

Thèmes

division euclidienne, divisibilité, pgcd et algorithme d'euclide, nombres premiers

Notions

division euclidienne, PGCD, nombre premier

Ouvrir dans l'atlas interactif →