Bonjour,
Soient : deux entiers tels que
Soit tel que
Je cherche à prouver l'existence d'un couple appartenant à [0,m-1]x[0,n-1] tel que :
, et ;
Voici ce que j'ai fais :
m et n sont premiers entre eux, donc Bézout : nu + mv = 1
D'où :
nux + mvx = x
Par division euclidiennes : ux = km + a ; mv = ln + b
J'ai donc un couple a,b dans les bons intervalles, qui vérifie la relation de congruence, mais maintenant je ne sais pas comment faire pour montrer qu'ils vérifient les autres condition sur les PGCD (ou qu'il existe un autre couple les vérifiant )
Je vous remercie par avance !