Gọi phương trình đã cho là f(x)
Giả sử x = t là nghiệm hữu tỷ của f(x) thì: f(x) = (x - t)Q(x)
f(0) = a0 = - t.Q(x) (1)
Và f(1) = a2k + a2k-1 + ... + a1 + a0 = (1 - t).Q(x) (2)
Từ (1) ta có a0 là số lẻ nên t phải là số lẻ
Từ (2) ta thấy rằng a2k + a2k-1 + ... + a1 + a0 là tổng của 2k + 1 số lẻ nên là số lẻ. Từ đó ta thấy rằng (1 - t) là số lẻ
Mà (1 - t) là hiệu hai số lẻ nên không thể là số lẻ (mâu thuẫn)
Vậy f(x) không có nghiệm nguyên