(0,0,0,0) est une solution triviale
pour tout (a,b,x,y)£(IN*)^4
(a+b=xy et x+y=ab)=> a+b+x+y=ab+xy
=>a+b-ab+x+y-xy=0
=>a(1-b)+b-1+x(1-y)+y-1=-2
=>(a-1)(1-b)+(x-1)(1-y)=-2
=>(a-1)(b-1)+(x-1)(y-1)=2 (avec (a-1)(b-1)>=0 et (x-1)(y-1)>=0)
reste plus qu à faire une disjonction de cas