Exemples de résolution d'équations diophantiennes
Exemple 2 : Résoudre l'équation 14x + 20y = 7 où (x ; y) ∈ ℤ2.
On vérifie d'abord si l'équation peut admettre des solutions !
On a : 14 = 2×7 et 20 = 4×5 = 2×2×7 donc PGCD(14 ; 20) = 2.
Or 7 n'est pas un multiple de 2, donc l'équation n'admet pas de solutions dans ℤ×ℤ.
Exemple 3 : Résoudre l'équation 59x + 1001y = 1 où (x ; y) ∈ ℤ2.
On vérifie d'abord si l'équation peut admettre des solutions !
On a : 59 est un nombre premier et 59×17 = 1003. Par conséquent 1001 ne peut pas être divisible par 59 et PGCD(1001 ; 59) = 1.
L'équation admet donc des solutions dans ℤ×ℤ.
- Methode 2 : Avec la calculatrice on dresse un tableau de valeurs de la fonction g(x) =(-1001x + 1)/59...
Attention : Ici x joue le role de y !!!!.
Pour x ∈ [0 ; 100] les couples consécutifs d'entiers relatifs sont (29 ; -492) et (88 ; -1493).
Par conséquent les couples solutions sont (-492 ; 29) et (-1493 ; 88) !!!
- On a -1493 - (-492) = -1001 et 88 - 29 = 59. Les solutions semblent être de la forme (-1001k + 492 ; 59k + 29)
- On vérifie avec l'équation initiale :
59(-1001k - 492) + 1001(59k +29) = -59×1001k + 59×(-492) + 1001×59k + 1001×29 = -29028 + 29029 = 1 Ok !
- Les solutions de l'équation sont les couples (-1001k + 492 ; 59k + 29) avec k ∈ ℤ.
- Methode 3 : On a 1001 = 59×17 - 2 donc 30×1001 = 30×59×17 - 30×2. Ainsi, en multipliant par 30, l'équation initiale conduit à :
30×59x + 30×1001y = 30×1 soit 30×59x + (30×59×17 - 30×2)y = 30×1.
En écrivant cette dernière équation modulo 59, on arrive à : -1×y ≡ 30 [59] soit encore y ≡ - 30 [59].
Il existe donc k ∈ ℤ tel que y = 59k - 30.
- En reportant dans l'équation initiale, on obtient : 59x + 1001(56k - 30) = 1 .
D'où 59x = -1001×59k + 1001×30 + 1 soit encore 59x = -1001×59k + (59×17 - 2)×30 + 1 c'est-à-dire 59x = -1001×59k + 59×17×30 - 60 + 1.
En divisant par 59 on arrive à : x = -1001k + 510 - 1 soit x = -1001k + 509.
- On vérifie avec l'équation initiale :
59(-1001k + 509) + 1001(59k - 30) = -59×1001k + 59×(509) + 1001×59k - 1001×30 = 30031 - 30030 = 1 Ok !
- Les solutions de l'équation sont les couples (-1001k + 509 ; 59k - 30) avec k ∈ ℤ.