1.On pose S = {(x,y) ** / xy = 2x + 3y }
Analyse: Soit (x,y) S.2 divise xy - 3y = (x - 3)y
1er cas: 2 divise y. On pose Y = y/2 et on a : xY = x + 3Y càd x(Y - 1) = 3Y donc , comme Y et Y - 1 sont premiers entre eux, Y divise x et si X = x/Y on a XY = 3 donc (X , Y) = (3,2) ou (1,4).
On a dans ce ccas (x,y) = (6,4) ou = (4,8).
2ème cas: 2 divise x - 3. On pose X = (x - 3)/2 et amors Xy = 3 + 2X càd X(y - 2) = 3,...donc (x,y) = (9,3) ou = (5,5).
On a donc prouvé que S {(6,4),(4,8),(9,3),(5,5)}
Synthèse : On montre facilement l'inclusion inverse.
Ainsi (sauf erreur que tu voudras bien me signaler) S = {(6,4),(4,8),(9,3),(5,5)}