x + y + 1 = xy
=> x - xy + y + 1 = 0
=> x(1 - y) + (y - 1) + 2 = 0
=> x(1 - y) - (1 - y) = -2
=> (x - 1)(1 - y) = -2
=> (x - 1)(y - 1) = 2
x, y thuộc Z nên (x-1) phải là ước của 2.
TH1: (x - 1) = 2 => x = 3
=> (y - 1) = 2/2 = 1 => y = 2
TH2: (x - 1) = 1 => x = 2
=> (y - 1) = 2/1 = 2 => y = 3
TH3: (x - 1) = -1 => x = 0
=> (y - 1) = 2/-1 = -2 => y = -1
TH4: (x - 1) = -2 => x = -1
=> (y - 1) = 2/-2 = -1 => y = 0.
