Lecture zen
**
Exercice 1487
Soit \(n \in \mathbb N\). Montrer que \[2^n - 1 \textrm{ premier } \Rightarrow n \textrm{ premier }\]
Barre utilisateur
[ID: 3217] [Date de publication: 18 novembre 2022 15:34] [Catégorie(s): Nombres premiers ] [ Nombre commentaires: 1] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]Solution(s)
Solution(s)
Exercice 1487
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 18 novembre 2022 15:34
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 18 novembre 2022 15:34
Soit \(p\) et \(q\) deux entiers naturels. On a \(2^{pq} - 1 = \left( 2^p\right)^q - 1^q = \left( 2^p - 1\right) \left( 2^{p(q-1)} + 2^{p(q-2)} + \ldots + 2^p + 1 \right)\). Si on prend \(p\) et \(q\) plus grands que \(1\), alors \(2^p - 1 \geqslant 3\) et la somme \(2^{p(q-1)} + 2^{p(q-2)} + \ldots + 2^p + 1\) comporte \(q\) termes tous plus grands que \(1\). Donc \(2^{pq} - 1\) est composé. En résumé, si \(pq\) est composé, alors \(2^{pq} - 1\) est composé. Par contraposée, si \(2^n - 1\) est premier, alors \(n\) est premier.
Documents à télécharger
L'exercice