ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Congruences

Exercice 38

Calcul

Résoudre dans ℤ\mathbb{Z} les congruences suivantes, d'inconnue xx.

(i) 5x≡1  [7](iii) 23x≡0  [97](v) 4x≡8  [12](ii) 3x≡4  [19](iv) 8x≡7  [105](vi) 4x≡6  [12]\begin{array}{lll} \text{(i) }5x \equiv 1 \;[7] & \text{(iii) }23x \equiv 0 \;[97] & \text{(v) }4x \equiv 8 \;[12] \\ \text{(ii) }3x \equiv 4 \;[19] & \text{(iv) }8x \equiv 7 \;[105] & \text{(vi) }4x \equiv 6 \;[12] \end{array}
Corrigé

On suit la méthode de la section 12.6.2 : si a∧n=1a \wedge n = 1, on multiplie par un inverse de aa modulo nn.

(i) 5×3=15≡1  [7]5 \times 3 = 15 \equiv 1 \;[7], donc x≡3  [7]x \equiv 3 \;[7].

(ii) 3×13=39≡1  [19]3 \times 13 = 39 \equiv 1 \;[19], donc x≡13×4=52≡14  [19]x \equiv 13 \times 4 = 52 \equiv 14 \;[19].

(iii) Comme 9797 est premier et ne divise pas 2323, le lemme d'Euclide donne 97∣x97 \mid x, soit x≡0  [97]x \equiv 0 \;[97].

(iv) L'égalité 105=13×8+1105 = 13 \times 8 + 1 montre que −13≡92-13 \equiv 92 est un inverse de 88 modulo 105105, d'où x≡92×7=644≡14  [105].x \equiv 92 \times 7 = 644 \equiv 14 \;[105].

(v) Ici 4∧12=44 \wedge 12 = 4 : on ne peut pas inverser 44. On revient à la définition : 12∣4x−812 \mid 4x - 8 si et seulement si 3∣x−23 \mid x - 2.

(vi) Si 12∣4x−612 \mid 4x - 6, alors 4∣64 \mid 6, ce qui est faux. (i) x≡3  [7]; (ii) x≡14  [19]; (iii) x≡0  [97]; (iv) x≡14  [105]; (v) x≡2  [3]; (vi) aucune solution\boxed{\text{(i) } x \equiv 3 \;[7] ; \ \text{(ii) } x \equiv 14 \;[19] ; \ \text{(iii) } x \equiv 0 \;[97] ; \ \text{(iv) } x \equiv 14 \;[105] ; \ \text{(v) } x \equiv 2 \;[3] ; \ \text{(vi) aucune solution}} Piège. En (v), l'erreur la plus répandue est de « diviser par 44 » en gardant le module 1212, ce qui donne x≡2  [12]x \equiv 2 \;[12] et perd les solutions x=5x = 5 et x=8x = 8. Comme l'a montré la remarque de la section 12.6.1, on ne divise pas une congruence : on divise l'égalité 4x−8=12k4x - 8 = 12k, module compris.

Dans l'édifice

Thèmes

congruences

Notions

congruence modulo n

Ouvrir dans l'atlas interactif →