DS du 13/05 : corrigé Les nombres de la forme 2 − 1 où est un entier

DS du 13/05 : corrigé
Les nombres de la forme 2௡ − 1 où ݊ est un entier naturel non nul sont appelés nombres de MERSENNE.
1. ܾ divise ܽ se traduit par ܽ = ܾ݇ où ݇ ∈ ℤ
ܿ divise ܽ se traduit par ܽ = ܿ݇′ où ݇′ ∈ ℤ
Ainsi, ܾ݇ = ܿ݇′ : ܾ est donc un diviseur de ܿ݇′
Par hypothèse, ܾ et ܿ sont premiers entre eux donc, d’après le théorème de GAUSS, ܾ divise ݇′ :
݇ ᇱ = ܾ݇′′ où ݇′′ ∈ ℤ
Or ܽ = ܿ݇′ donc ܽ = ܾܿ݇′′ : le produit ܾܿ divise ܽ.
2. (a) D’après Paul (ou plutôt sa calculatrice), 3 divise 2ଷଷ − 1 et 4 divise 2ଷଷ − 1.
3 et 4 étant premiers entre eux, sous ces conditions, d’après la question 1., 12 = 3 × 4 est aussi un
diviseur de 2ଷଷ − 1. Il y a donc une contradiction.
(b) 2ଷଷ est pair donc 2ଷଷ − 1 est impair : 4 n’est donc pas un diviseur de 2ଷଷ − 1.
(c) 2 ≡ −1ሾ3ሿ donc 2ଷଷ ≡ ሺ−1ሻଷଷ ሾ3ሿ ≡ −1ሾ3ሿ puis 2ଷଷ − 1 ≡ −2ሾ3ሿ ≡ 1ሾ3ሿ
ainsi 3 ne divise pas 2ଷଷ − 1.
(d) Paul est un cas désespéré …
ሺeሻ ܵ = 1 + 2ଷ + ሺ2ଷ ሻଶ + ሺ2ଷ ሻଷ +··· +ሺ2ଷ ሻଵ଴ =
1 − ሺ2ଷ ሻଵଵ ሺ2ଷ ሻଵଵ − 1 2ଷଷ − 1 2ଷଷ − 1
=
=
=
1 − 2ଷ
2ଷ − 1
8−1
7
(f) On déduit du calcul précédent que 2ଷଷ − 1 = 7ܵ où S st un entier (somme d’entiers) :
Conclusion : 7 divise 2ଷଷ − 1.
3. 2଻ − 1 = 127.
127 n’est divisible ni par 2, ni par 3, ni par 5, ni par 7, ni par 11, ni par 13. Comme 13ଶ = 169 > 127,
il est inutile de chercher d’autres diviseurs éventuels : 127 est donc premier.
4. (a) Si on saisit ݊ = 33, l’algorithme affiche 7 et « CAS 2 » :
Il va d’abord tester les entiers 2, 3, 4 qui ne divisent pas 2ଷଷ − 1 d’après les questions précédentes.
On en déduit que 6 n’est pas un diviseur de 2ଷଷ − 1.
2ସ = 16 ≡ 1ሾ5ሿ et 2ଷଷ = 2ଷଶ × 2 = ሺ2ସ ሻ଼ × 2 donc 2ଷଷ ≡ 2ሾ5ሿ ⇒ 2ଷଷ − 1 ≡ 1ሾ5ሿ :
5 ne divise pas 2ଷଷ − 1.
On a montré que 7 divise 2ଷଷ − 1 : MODሺ2ଷଷ − 1,7ሻ = 0 donc la boucle est arrêtée.
Si on saisit ݊ = 7, l’algorithme affiche 12 et « CAS 1 »
(b) Le CAS 2 concerne les nombres de MERSENNE non premiers (donc composés) et le nombre ݇ affiché
représente le plus petit diviseur différent de 1 du nombre de MERSENNE étudié.
(c) Le CAS 2 concerne les nombres de MERSENNE premiers (2଻ − 1 par exemple).