Giải phương trình với a, b là hai số nguyên phân biệt cho trước.
Ta có:
(Do a, b là hai số nguyên phân biệt)
=> Phương trình có hai nghiệm phân biệt.
Giả sử ta được:
khi đó
Tương tự với a < b ta cũng được kết quả hai nghiệm phương trình là nghiệm nguyên.
=> Phương trình đã cho có hai nghiệm nguyên.