Aller au contenu principal
Terminale

PGCD, théorèmes de Bézout et de Gauss — Exercices d'application

1. PGCD et algorithme d’Euclide

↩ Revoir le cours

Exercice 1 — ⭐

  1. Calcule, par l’algorithme d’Euclide, PGCD(1 071 ; 462)\text{PGCD}(1\,071\,;\,462) et PGCD(2 027 ; 1 000)\text{PGCD}(2\,027\,;\,1\,000).
  2. Rends irréductible la fraction 1 071462\dfrac{1\,071}{462}.
  3. Montre que, pour tout entier nn, PGCD(3n+1 ; n)=1\text{PGCD}(3n + 1\,;\,n) = 1.
Voir le corrigé
  1. 1 071=462×2+1471\,071 = 462 \times 2 + 147 ; 462=147×3+21462 = 147 \times 3 + 21 ; 147=21×7+0147 = 21 \times 7 + 0 : PGCD =21= 21. 2 027=1 000×2+272\,027 = 1\,000 \times 2 + 27 ; 1 000=27×37+11\,000 = 27 \times 37 + 1 ; 27=1×27+027 = 1 \times 27 + 0 : PGCD =1= 1.
  2. 1 071462=21×5121×22=5122\dfrac{1\,071}{462} = \dfrac{21 \times 51}{21 \times 22} = \dfrac{51}{22}.
  3. 3n+1=3×n+13n + 1 = 3 \times n + 1 : PGCD(3n+1 ; n)=PGCD(n ; 1)=1\text{PGCD}(3n + 1\,;\,n) = \text{PGCD}(n\,;\,1) = 1.

2. Entiers premiers entre eux

↩ Revoir le cours

Exercice 2 — ⭐⭐

  1. Les entiers 221221 et 187187 sont-ils premiers entre eux ?
  2. Soit nn un entier naturel. On pose a=2n+3a = 2n + 3 et b=n+1b = n + 1. Montre que tout diviseur commun de aa et bb divise 11. Que peut-on en conclure ?
  3. Soit n⩾1n \geqslant 1. Montre que PGCD(n2+n ; 2n+1)=1\text{PGCD}(n^2 + n\,;\,2n + 1) = 1.
Voir le corrigé
  1. 221=187×1+34221 = 187 \times 1 + 34 ; 187=34×5+17187 = 34 \times 5 + 17 ; 34=17×234 = 17 \times 2 : PGCD =17= 17. Non (221=13×17221 = 13 \times 17, 187=11×17187 = 11 \times 17).
  2. Un diviseur commun dd divise a−2b=2n+3−2n−2=1a - 2b = 2n + 3 - 2n - 2 = 1 : aa et bb sont premiers entre eux, pour tout nn.
  3. On remarque que (2n+1)2−4(n2+n)=4n2+4n+1−4n2−4n=1(2n + 1)^2 - 4(n^2 + n) = 4n^2 + 4n + 1 - 4n^2 - 4n = 1. C’est une relation de Bézout : (n2+n)×(−4)+(2n+1)×(2n+1)=1(n^2 + n) \times (-4) + (2n + 1) \times (2n + 1) = 1, avec −4-4 et 2n+12n + 1 entiers. Donc n2+nn^2 + n et 2n+12n + 1 sont premiers entre eux.

3. Théorème de Bézout

↩ Revoir le cours

Exercice 3 — ⭐⭐

  1. Détermine un couple d’entiers (u ; v)(u\,;\,v) tel que 23u+17v=123u + 17v = 1.
  2. En déduire un inverse de 2323 modulo 1717, puis résous 23x≡4 [17]23x \equiv 4\ [17].
  3. Vérifie ton résultat de la question 1 avec la fonction euclide_etendu du cours.
Voir le corrigé
  1. 23=17+623 = 17 + 6 ; 17=6×2+517 = 6 \times 2 + 5 ; 6=5+16 = 5 + 1. En remontant : 1=6−5=6−(17−2×6)=3×6−17=3(23−17)−17=3×23−4×171 = 6 - 5 = 6 - (17 - 2 \times 6) = 3 \times 6 - 17 = 3(23 - 17) - 17 = 3 \times 23 - 4 \times 17. Couple : (3 ; −4)(3\,;\,-4).
  2. 23×3≡1 [17]23 \times 3 \equiv 1\ [17] : 33 est un inverse de 2323 modulo 1717. 23x≡4  ⟺  x≡3×4=12 [17]23x \equiv 4 \iff x \equiv 3 \times 4 = 12\ [17] (on multiplie par 33 ; c’est une équivalence car on peut remultiplier par 2323).
  3. euclide_etendu(23, 17) renvoie (1, 3, -4).

Exercice 4 — ⭐⭐⭐

Chiffrement affine. On code chaque lettre par son rang xx (A=0A = 0, …, Z=25Z = 25), puis on la remplace par la lettre de rang yy, reste de 7x+37x + 3 modulo 2626.

  1. Code le mot « OUI ».
  2. Justifie que 77 et 2626 sont premiers entre eux et trouve un inverse de 77 modulo 2626.
  3. Exprime xx en fonction de yy modulo 2626 et décode la lettre « K ».
  4. Pourquoi la clé y≡2x+3 [26]y \equiv 2x + 3\ [26] serait-elle une mauvaise idée ?
Voir le corrigé
  1. O (1414) : 7×14+3=101≡237 \times 14 + 3 = 101 \equiv 23 → X. U (2020) : 143≡13143 \equiv 13 → N. I (88) : 59≡759 \equiv 7 → H. « OUI » devient « XNH ».
  2. 26=7×3+526 = 7 \times 3 + 5, 7=5+27 = 5 + 2, 5=2×2+15 = 2 \times 2 + 1 : PGCD =1= 1. En remontant : 1=5−2×2=5−2(7−5)=3×5−2×7=3(26−3×7)−2×7=3×26−11×71 = 5 - 2 \times 2 = 5 - 2(7 - 5) = 3 \times 5 - 2 \times 7 = 3(26 - 3 \times 7) - 2 \times 7 = 3 \times 26 - 11 \times 7. Donc 7×(−11)≡1 [26]7 \times (-11) \equiv 1\ [26] : un inverse est −11≡15-11 \equiv 15 (vérification : 7×15=105=4×26+17 \times 15 = 105 = 4 \times 26 + 1).
  3. y≡7x+3  ⟺  7x≡y−3  ⟺  x≡15(y−3) [26]y \equiv 7x + 3 \iff 7x \equiv y - 3 \iff x \equiv 15(y - 3)\ [26]. K (1010) : x≡15×7=105≡1x \equiv 15 \times 7 = 105 \equiv 1 → B.
  4. 22 et 2626 ne sont pas premiers entre eux : 2x+32x + 3 ne prend que des valeurs impaires modulo 2626, deux lettres différentes (par exemple x=0x = 0 et x=13x = 13) ont le même code, et on ne peut pas décoder.

4. Théorème de Gauss

↩ Revoir le cours

Exercice 5 — ⭐⭐

  1. On sait que 1515 divise 4n4n. Montre que 1515 divise nn.
  2. Détermine les entiers xx tels que 9x≡0 [12]9x \equiv 0\ [12].
  3. Montre que, pour tout entier nn, n5−nn^5 - n est divisible par 3030 (on admettra que n5−nn^5 - n est divisible par 22, par 33 et par 55 — on le démontrera avec le petit théorème de Fermat).
Voir le corrigé
  1. 15∣4n15 \mid 4n et PGCD(15 ; 4)=1\text{PGCD}(15\,;\,4) = 1 : par Gauss, 15∣n15 \mid n.
  2. 12∣9x  ⟺  4∣3x12 \mid 9x \iff 4 \mid 3x (on divise par 33 : 12k=9x  ⟺  4k=3x12k = 9x \iff 4k = 3x). 44 est premier avec 33, donc 4∣x4 \mid x : les solutions sont les multiples de 44.
  3. 22 et 33 sont premiers entre eux et divisent n5−nn^5 - n : 6∣n5−n6 \mid n^5 - n. Puis 66 et 55 sont premiers entre eux et divisent n5−nn^5 - n : 30∣n5−n30 \mid n^5 - n.

5. Équations diophantiennes ax + by = c

↩ Revoir le cours

Exercice 6 — ⭐⭐

  1. L’équation 6x+15y=46x + 15y = 4 a-t-elle des solutions entières ?
  2. Résous dans Z2\mathbb{Z}^2 l’équation 5x−8y=15x - 8y = 1 (on remarquera que 5×5−8×3=15 \times 5 - 8 \times 3 = 1).
  3. Résous dans Z2\mathbb{Z}^2 l’équation 5x−8y=35x - 8y = 3.
Voir le corrigé
  1. PGCD(6 ; 15)=3\text{PGCD}(6\,;\,15) = 3 ne divise pas 44 : aucune solution.
  2. Solution particulière (5 ; 3)(5\,;\,3). Si 5x−8y=15x - 8y = 1, alors 5(x−5)=8(y−3)5(x - 5) = 8(y - 3). 88 divise 5(x−5)5(x - 5) et est premier avec 55 : x−5=8kx - 5 = 8k, puis y−3=5ky - 3 = 5k. Réciproquement, 5(5+8k)−8(3+5k)=15(5 + 8k) - 8(3 + 5k) = 1. Solutions : (5+8k ; 3+5k)(5 + 8k\,;\,3 + 5k), k∈Zk \in \mathbb{Z}.
  3. (15 ; 9)(15\,;\,9) est une solution particulière (33 fois la précédente). Même raisonnement : (15+8k ; 9+5k)(15 + 8k\,;\,9 + 5k), k∈Zk \in \mathbb{Z}, que l’on peut aussi écrire (−1+8k′ ; −1+5k′)(-1 + 8k'\,;\,-1 + 5k') avec k′=k+2k' = k + 2.

Exercice 7 — ⭐⭐⭐

Problème de monnaie. Un distributeur ne rend que des pièces de 22 € et des billets de 55 €.

  1. Écris l’équation qui traduit « rendre nn euros avec xx pièces et yy billets ». Pourquoi a-t-elle des solutions dans Z2\mathbb{Z}^2 pour tout nn ?
  2. Trouve toutes les façons de rendre 3737 € (avec x⩾0x \geqslant 0 et y⩾0y \geqslant 0).
  3. Écris une fonction Python qui affiche toutes les façons de rendre n euros.
Voir le corrigé
  1. 2x+5y=n2x + 5y = n. PGCD(2 ; 5)=1\text{PGCD}(2\,;\,5) = 1 divise tout entier nn.
  2. Solution particulière : 2×16+5×1=372 \times 16 + 5 \times 1 = 37. 2(x−16)=5(1−y)2(x - 16) = 5(1 - y), d’où x=16+5kx = 16 + 5k, y=1−2ky = 1 - 2k. Avec x⩾0x \geqslant 0 et y⩾0y \geqslant 0 : k⩾−3,2k \geqslant -3{,}2 et k⩽0,5k \leqslant 0{,}5, soit k∈{−3 ; −2 ; −1 ; 0}k \in \{-3\,;\,-2\,;\,-1\,;\,0\} : (1 ; 7)(1\,;\,7), (6 ; 5)(6\,;\,5), (11 ; 3)(11\,;\,3), (16 ; 1)(16\,;\,1).
  3. def rendus(n):
        for y in range(n // 5 + 1):
            if (n - 5 * y) % 2 == 0:
                print((n - 5 * y) // 2, "pièces et", y, "billets")
    
    rendus(37)

Exercice 8 — ⭐⭐⭐

On cherche les entiers NN tels que N≡2 [5]N \equiv 2\ [5] et N≡3 [7]N \equiv 3\ [7] (« lemme chinois »).

  1. Montre que NN vérifie les deux conditions si et seulement si il existe des entiers xx et yy tels que N=5x+2=7y+3N = 5x + 2 = 7y + 3, c’est-à-dire 5x−7y=15x - 7y = 1.
  2. Résous 5x−7y=15x - 7y = 1 (on remarquera que 5×3−7×2=15 \times 3 - 7 \times 2 = 1).
  3. En déduire que les solutions sont les entiers N≡17 [35]N \equiv 17\ [35].
Voir le corrigé
  1. N≡2 [5]  ⟺  N=5x+2N \equiv 2\ [5] \iff N = 5x + 2 ; N≡3 [7]  ⟺  N=7y+3N \equiv 3\ [7] \iff N = 7y + 3. Les deux ensemble : 5x+2=7y+3  ⟺  5x−7y=15x + 2 = 7y + 3 \iff 5x - 7y = 1.
  2. 5(x−3)=7(y−2)5(x - 3) = 7(y - 2) ; 77 premier avec 55 divise x−3x - 3 : x=3+7kx = 3 + 7k, y=2+5ky = 2 + 5k. Réciproquement ces couples conviennent.
  3. N=5x+2=5(3+7k)+2=17+35kN = 5x + 2 = 5(3 + 7k) + 2 = 17 + 35k : N≡17 [35]N \equiv 17\ [35]. (Vérification : 17=3×5+2=2×7+317 = 3 \times 5 + 2 = 2 \times 7 + 3.)