=> x-1 là ước của 5
=> x-1 = 1;-1;5;-5
*Nếu x-1=1
=> x=1+1=2 (1)
xy+2=5 => xy=3 (2)
Từ (1)và (2) => y=3:2 ( loại vì y nguyên )
Tự xét tiếp các trường hợp khác, đi
Ta có: 5 = -1 . -5
5 = -5 . -1
5 = 1 . 5
5 = 5 . 1
Vậy ta có bảng sau:
x - 1 | -1 | -5 | 1 | 5 |
xy + 2 | -5 | -1 | 5 | 1 |
x | 0 | -4 | 2 | 6 |
y | ( vô nghiệm ) | ( thuộc Q ) | ( thuộc Q ) | ( thuộc Q ) |
Vậy là không có số nào thuộc Z hay phương trình vô nghiệm.