Dễ thấy rằng y # 0 (để cho x : y là số xác định)
Hơn nữa x # 0, vì nếu x = 0 thì xy = x : y = 0 nhưng x - y # 0 (vì y # 0)
Vì xy = x : y suy ra y^2 = 1 ---> y = 1 hoặc y = -1
+ Nếu y = 1 ---> x - 1 = x.1 (vô nghiệm nên tr/hợp này loại)
+ Nếu y = -1 ---> x + 1 = - x ---> 2x = -1 ---> x = -1/2 (nhận)
Vậy x = -1/2 ; y = -1.
Nếu x,y không nguyên thì có vô số nghiệm cứ mỗi x thay vào sẽ có 1 y
Nếu x,y nguyên thì giải như sau
Từ (x-1)(1-y)= -1
Suy ra x-1, 1-y là các ước nguyên của -1
Suy ra có các trường hợp sau
x-1=1 <=> x=2
1-y=-1<=> y=2
và
x-1= -1 <=> x=0
1-y=1 <=> y=0
Vậy có 2 nghiệm là (x,y) = (2,2) và (0,0)
