Do vai trò bình đẳng của x,y nên ta có thể giả sử x>= y

-TH x=y:

x+1 chia hết cho y

<=> y+1 chia hết cho y

=> y thuộc ước của 1. Mà y thuộc N nên y=1. Do đó ta có x=1 (vì x=y)

Ta có cặp so (x;y)=(1;1)

-TH x>y:

Giả sử x-y=k (k thuộc N* vì x,y là số tự nhiên, x>y). Suy ra y=x-k

Thay vào ta có: y+1 chia hết cho x

                 <=> x-k+1 chia hết cho x

                 Do x>k nên x-k+1 > 0, x là số tự nhiên, x-k+1 chia hết cho x

                 <=> 1-k =0 hoặc >0

+Nếu 1-k=0 thì k=1

Thay vào ta có: x+1 chia hết cho y

                  <=>1+y+1 chia hết cho y <=> y + 2 chia hết cho y. Suy ra y thuộc ước của 2

=> y={1;2}. Vậy x={2;3} tương ứng.

Ta có cặp số x;y=(1;2);(2;3)

+Nếu 1-k>0:

Do k thuộc N* nên 1-k>0 là vô lý

Kết luận: Các cặp số (x;y) phải tìm: (1;1);(1;2);(2;1);(2;3);(3;2)