[thay vào (1) ta có
kx’+[x]=kx’+[y]
Suy ra
(k2−1)x’=[x]−k[y]
Giả sử y’>x’ thì k>1 và
(k2−1)x’=[x]−k[y]>0 (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]