Aller au contenu principal
Terminale⏱ 1 heure

Nombres premiers et petit théorème de Fermat — Entraînement type évaluation

Pour un entraînement qui sert vraiment à quelque chose : pas de cours sous les yeux, une feuille et un crayon. Note-toi ensuite avec le corrigé.

Barème indicatif : 20 points. Exercice 1 sans calculatrice ; calculatrice autorisée ensuite.

Exercice 1 (4 points) — Automatismes

Réponds directement (0,5 point par question).

  1. 9191 est-il premier ?
  2. Décompose 8484 en produit de facteurs premiers.
  3. Combien 23×522^3 \times 5^2 a-t-il de diviseurs positifs ?
  4. PGCD(23×3×7 ; 2×32×5)\text{PGCD}(2^3 \times 3 \times 7\,;\,2 \times 3^2 \times 5) ?
  5. Jusqu'à quel nombre faut-il tester les diviseurs premiers pour savoir si 150150 est premier ?
  6. 516≡ ? [17]5^{16} \equiv \,?\ [17] ?
  7. 211≡ ? [11]2^{11} \equiv \,?\ [11] ?
  8. Un nombre premier p>2p > 2 est-il pair ou impair ?
Voir le corrigé
  1. Non : 91=7×1391 = 7 \times 13.
  2. 84=22×3×784 = 2^2 \times 3 \times 7.
  3. (3+1)(2+1)=12(3 + 1)(2 + 1) = 12.
  4. Facteurs communs avec le plus petit exposant : 2×3=62 \times 3 = 6.
  5. Jusqu'à 150≈12,2\sqrt{150} \approx 12{,}2, donc les premiers 22, 33, 55, 77, 1111 (en fait 22 suffit : 150150 est pair).
  6. 1717 est premier et ne divise pas 55 : 516≡1 [17]5^{16} \equiv 1\ [17].
  7. 211≡2 [11]2^{11} \equiv 2\ [11] (Fermat : ap≡aa^p \equiv a).
  8. Impair (sinon il serait divisible par 22 et différent de 22).

Exercice 2 (3 points) — Démonstration de cours

Démontre que l'ensemble des nombres premiers est infini.

Voir le corrigé

Par l'absurde, supposons qu'il n'existe qu'un nombre fini de nombres premiers p1p_1, …, pkp_k. Soit N=p1p2…pk+1⩾2N = p_1 p_2 \dots p_k + 1 \geqslant 2. NN admet un diviseur premier, donc l'un des pip_i. Ce pip_i divise NN et le produit p1…pkp_1 \dots p_k, donc leur différence 11 : impossible. Il y a donc une infinité de nombres premiers.

Exercice 3 (5 points) — Diviseurs

  1. Décompose 2 0252\,025 et 1 3501\,350 en produits de facteurs premiers. (2 points)
  2. Détermine le nombre de diviseurs positifs de 2 0252\,025. (1 point)
  3. Détermine PGCD(2 025 ; 1 350)\text{PGCD}(2\,025\,;\,1\,350) et simplifie 1 3502 025\dfrac{1\,350}{2\,025}. (2 points)
Voir le corrigé
  1. 2 025=34×522\,025 = 3^4 \times 5^2 ; 1 350=2×33×521\,350 = 2 \times 3^3 \times 5^2.
  2. (4+1)(2+1)=15(4 + 1)(2 + 1) = 15 diviseurs positifs.
  3. PGCD=33×52=675\text{PGCD} = 3^3 \times 5^2 = 675. 1 3502 025=675×2675×3=23\dfrac{1\,350}{2\,025} = \dfrac{675 \times 2}{675 \times 3} = \dfrac23.

Exercice 4 (5 points) — Fermat

  1. Justifie que 212≡1 [13]2^{12} \equiv 1\ [13]. (1 point)
  2. Détermine le reste de 25002^{500} dans la division par 1313. (2 points)
  3. Montre que pour tout entier naturel kk, 212k+6+12^{12k + 6} + 1 est divisible par 1313. (2 points)
Voir le corrigé
  1. 1313 est premier et ne divise pas 22 : par le petit théorème de Fermat, 213−1=212≡1 [13]2^{13 - 1} = 2^{12} \equiv 1\ [13].
  2. 500=12×41+8500 = 12 \times 41 + 8 : 2500=(212)41×28≡28=256 [13]2^{500} = (2^{12})^{41} \times 2^8 \equiv 2^8 = 256\ [13]. Or 256=13×19+9256 = 13 \times 19 + 9 : le reste est 99.
  3. 212k+6=(212)k×26≡64 [13]2^{12k + 6} = (2^{12})^k \times 2^6 \equiv 64\ [13] et 64=13×4+12≡−1 [13]64 = 13 \times 4 + 12 \equiv -1\ [13]. Donc 212k+6+1≡0 [13]2^{12k+6} + 1 \equiv 0\ [13].

Exercice 5 (3 points) — Un peu de raisonnement

Soit p⩾5p \geqslant 5 un nombre premier.

  1. Explique pourquoi pp est de la forme 6k+16k + 1 ou 6k+56k + 5. (1,5 point)
  2. En déduire que p2−1p^2 - 1 est divisible par 2424 (on pourra calculer p2−1p^2 - 1 dans chaque cas). (1,5 point)
Voir le corrigé
  1. Tout entier s'écrit 6k6k, 6k+16k + 1, …, 6k+56k + 5. Les formes 6k6k, 6k+26k + 2, 6k+46k + 4 sont paires, 6k+36k + 3 est multiple de 33 : comme p⩾5p \geqslant 5 est premier, il n'est divisible ni par 22 ni par 33. Il reste 6k+16k + 1 et 6k+56k + 5.
  2. Si p=6k+1p = 6k + 1 : p2−1=36k2+12k=12k(3k+1)p^2 - 1 = 36k^2 + 12k = 12k(3k + 1). Si kk est pair, 24∣12k24 \mid 12k ; si kk est impair, 3k+13k + 1 est pair : dans les deux cas 24∣p2−124 \mid p^2 - 1. Si p=6k+5p = 6k + 5 : p2−1=(p−1)(p+1)=(6k+4)(6k+6)=12(3k+2)(k+1)p^2 - 1 = (p - 1)(p + 1) = (6k + 4)(6k + 6) = 12(3k + 2)(k + 1) ; l'un de 3k+23k + 2 et k+1k + 1 est pair (si kk est pair, 3k+23k + 2 l'est ; sinon k+1k + 1 l'est) : 24∣p2−124 \mid p^2 - 1.