(x+1)⋮y⇒x+1≥y⇒y−x≤1(y+1)⋮x⇒y+1≥x⇒x−y≤1
~~~
⇒|x−y|≤1
Mà |x−y| là 1 số nguyên ko âm ⇒[|x−y|=1|x−y|=0
Với |x−y|=0⇔x=y, ta có (x+1)⋮y⇒(x+1)⋮x⇒1⋮x⇒x=1
Với |x−y|=1, ko mất tính tổng quát giả sử x>y
⇒x=y+1, ta có (x+1)⋮y⇒(y+2)⋮y⇒2⋮y⇒y=1 hoặc y=2
Vậy ta có các nghiệm : (x;y)={(1;1);(1;2);(2;3);(2;1);(3;2)}