Il se peut toutefois qu’on ne remarque pas de solution particulière. On peut alors en trouver une en déterminant une solution particulière d’une équation diophantienne associée au système. ½ x ≡ 7 (mod 129) Exercice I.5.10. Résoudre dans Z le système : . x ≡ 11 (mod 1223) Solution Soit x une solution (s’il en existe). Il existe alors deux entiers a et b tels que : x = 129a + 7 et x = 1223b + 11 ; le couple vérifie donc :
129a − 1223b = 4.
On appliquant l’algorithme d’ E UCLIDE et en remontant de proche en proche (voir exercice I.4.16.),
il vient : 493 × 129 − 52 × 1223 = 1 ; d’où, par produit par 4 : 1972 × 129 − 208 × 1223 = 4. (a ; b) = (1972 ; 208) est une solution particulière de l’équation. On a : 1972 × 129 + 7 = 208 × 1223 + 11 ; donc : 129a + 7 = 1972 × 129 + 7 = 254395 ; est une solution du système. On a donc : ½ ½ x ≡ 7 (mod 129) x ≡ 254395 (mod 129) ⇐⇒ x ≡ 11 (mod 1223) x ≡ 254395 (mod 1223) ½ x − 254395 ≡ 0 (mod 129) ⇐⇒ . x − 254395 ≡ 0 (mod 1223)