Dùng phương trình nghiệm nguyên:
Ta có: 3xy+x-y-6=0
(3xy+x)-y=6
x(3y+1)-1/3(3y+1)=6-1/3
(x-1/3)(3y+1)=17/3
3(x-1/3)(3y+1)=17
(3x-1)(3y+1)=17
Vì x, y thuộc Z nên 17 chia hết cho 3x-1, 3y+1
Nên 3x-1, 3y+1 thuộc Ư(17)={1, -1, 17, -17} nên thay vào ta được tương ứng:( Lưu ý (3x-1)(3y+1)=17 )
x= 0; 2/3.
y= -6; 16/3
( Ta thấy chỉ có x=0; y=-6 thỏa mãn x, y thuộc Z )