[thay vào (1) ta có
[tex]\frac{x’+[x]}{k}=kx’+[y][/tex]
Suy ra [tex](k^2-1) x’ =[x]-k[y] [/tex]
Giả sử y’>x’ thì k>1 và [tex](k^2-1)x’=[x]-k[y]>0[/tex] (2)
Với mỗi cặp x, y thuộc {0,1,2…,11,12}sao cho x>y ta luôn tìm được vô số số k sao cho 0<[x]-k[y]<1 và (k^2-1)>>[x]-k[y] để thoả mãn x’<1 và y’<1
Và do đó có vô số nghiệm[/SIZE]