Nhận xét: với a, b nguyên , n nguyên dương ta có: 
aⁿ và a cùng tính chẳn, lẻ ; 
với x là số lẻ thì a.xⁿ và a cùng tính chẳn lẻ 
và do đó, với x là số lẻ ta có: 
a.xⁿ + b.x^(x-1) cùng tính chẳn lẻ với a+b 
Tổng quát: với x là số nguyên lẻ, n nguyên dương, a, b, c,... nguyên ta có: 
a.xⁿ + b.x^(x-1) +...+ cx cùng tính chẳn lẻ với a+b+..+c 
- - - - - - 
Đặt: f(x) = a.xⁿ + b.x^(x-1) + ...+ c.x + d 
có f(0) = d lẻ (do giả thiết) 
f(1) = a+b+..+ c +d lẻ => a+b+..+c chẳn với x nguyên tuỳ ý ta có hai trường hợp: 
nếu x chẳn thì: a.xⁿ + b.x^(n-1) +..+cx chẳn => f(x) lẻ (do d lẻ) 
nếu x lẻ thì từ nhận xét trên có: a.xⁿ + b.x^(n-1) +..+cx chẳn (do a+b+..+c chẳn) 
=> f(x) lẻ 

Tóm lại có f(x) là số lẻ với mọi x nguyên => f(x) # 0 với mọi x nguyên 
=> f(x) không có nghiệm nguyên 

Nhận xét: với a, b nguyên , n nguyên dương ta có: 
aⁿ và a cùng tính chẳn, lẻ ; 
với x là số lẻ thì a.xⁿ và a cùng tính chẳn lẻ 
và do đó, với x là số lẻ ta có: 
a.xⁿ + b.x^(n-1) cùng tính chẳn lẻ với a+b 
tổng quát: với x là số nguyên lẻ, n nguyên dương, a, b, c,... nguyên ta có: 
a.xⁿ + b.x^(n-1) +...+ cx cùng tính chẳn lẻ với a+b+..+c 
- - - - - - 
đặt: f(x) = a.xⁿ + b.x^(n-1) + ...+ c.x + d 
có f(0) = d lẻ (do giả thiết) 
f(1) = a+b+..+ c +d lẻ => a+b+..+c chẳn 

với x nguyên tuỳ ý ta có hai trường hợp: 
nếu x chẳn thì: a.xⁿ + b.x^(n-1) +..+cx chẳn => f(x) lẻ (do d lẻ) 
nếu x lẻ thì từ nhận xét trên có: a.xⁿ + b.x^(n-1) +..+cx chẳn (do a+b+..+c chẳn) 
=> f(x) lẻ 

Tóm lại có f(x) là số lẻ với mọi x nguyên => f(x) # 0 với mọi x nguyên 
=> f(x) không có nghiệm nguyên 
~~~~~~~~~~~~