1. On applique l'algorithme d'Euclide :
91=65×1+26 ;
65=26×2+13 et
26=13×2+0 donc
PGCD(91;65)=13.
2. En divisant par
13 on obtient
65X=91Y⇔5X=7Y.
Or
5X=7Y⇒7∣5X, et
5 et
7 sont premiers entre eux donc, d'après le théorème de Gauss,
7∣5X⇒7∣X.
Ainsi, si
(X;Y) est solution de
(E0), alors il existe
k∈Z tel que
X=7k. Donc, si
5X=7Y, on a
5×7k=7×Y, d'où
Y=5k.
Réciproquement, on vérifie que, pour tout
k∈Z,
(7k;5k) est un couple solution :
65×7k=455k et
91×5k=455k.
Donc, pour tout entier
k,
(7k;5k) est un couple solution.
Finalement, l'ensemble des solutions de
(E0) est
{(7k;5k),k∈Z}.
Pour s'entraîner
Exercices
et
p. 133.