Bonjour, je suis en train de resoudre un exercice et je bloque sur cette question :

On note S l'ensemble des couples (a;b) tels que PGCD(a;b) = a - b
Demontrez que le couple (x;y), x>y, appartient a S si et seulement si il existe un entier p non nul tel que x = (p+1)(x-y) et y = p(x-y)

Ps: j ai reussit a reaoudre la question avant cette question là. Il fallait dire si le couple (n+1;n) appartient a S. J ai dit que comme c est deux entiers consecutifs alors leur PGCD = 1 et on a n + 1 - n = 1 donc que oui. Mais je sais pas trop quoi faire pour cette question la.

Merci pour votre aide !