Giả sử đa thức đã cho có nghiệm nguyên x lẻ
\(\Rightarrow x^4-3x^3+\left(a+2\right)x^2-x+a=0\)
\(\Rightarrow x^4-3x^3+a.\left(x^2+1\right)+2x^2-x=0\)
\(\Rightarrow x^4-x+2x^2+a.\left(x^2+1\right)=3x^3\)
\(\Rightarrow x\left(x^3-1\right)+2x^2+a\left(x^2+1\right)=3x^3\)
\(\Rightarrow x\left(x-1\right)\left(x^2+x+1\right)+2x^2+a.\left(x^2+1\right)=3x^3\)
Do \(x.\left(x-1\right)\) là tích 2 số nguyên liên tiếp nên luôn chẵn
Đồng thời 2 là số chẵn nên \(2x^2\) luôn chẵn
Do x lẻ nên \(x^2\) lẻ \(\Rightarrow x^2+1\) chẵn \(\Rightarrow a.\left(x^2+1\right)\) luôn chẵn
Suy ra vế trái là tổng của 3 số chẵn
Do đó vế trái là 1 số chẵn
Suy ra vế phải cũng là số chẵn
Hay \(3x^3\) chẵn
Mà 3 lẻ nên \(x^3\) chẵn
Suy ra x chẵn (trái với giả thiết x là số nguyên lẻ)
Vậy điều giả sử là sai, hay đa thức đã cho ko có nghiệm nguyên lẻ với mọi a nguyên