Giả sử 1 \(<\) x \(\le\)y. Đặt x+1=yk ( k là một là một số tự nhiên khác 0)
Ta có : x+1 = yk \(\le\) y+1 \(<\) y+y = 2y
=> yk \(<\) 2y
=> k\(<\) 2
Mà k là một là một số tự nhiên khác 0
Nên k=1
Thay k = x+1 vào y+1 ta được
x+1+1 = x+2 chia hết cho x
Mà x chia hết cho x nên 2 chia hết cho x
=> x\(\in\left\{1;2\right\}\)
Với x=1 thì y=x+1=1+1=2
Với x=2 thì y=2+1=3
Vậy các cặp số (x;y) thỏa mãn : (1;2) ; (2;3)