Nếu \(x_o\)là nghiệm của phương trình đã cho thì \(x_o\ne0\)và
\(x_o^4+ax_o^3+bx_o^2+ax_o+1=0\)
Chia 2 vế cho \(x_o^2\), ta được :
\(\left(x_o^2+\frac{1}{x_o^2}\right)+a\left(x_o+\frac{1}{x_o}\right)+b=0\)(I)
Đặt \(t=x_o+\frac{1}{x_o}\); \(\left|t\right|=\left|x_o+\frac{1}{x_o}\right|=\left|x_o\right|+\left|\frac{1}{x_o}\right|\ge2\)
Từ (I) , => \(t^2+at+b-2=0\Rightarrow t^2=-at-b+2\)
Áp dụng BĐT B.C.S ta được :
\(t^4=\left[at+\left(b-2\right)\right]^2\le\left[a^2+\left(b-2\right)^2\right]\left(t^2+1\right)\)
\(\Rightarrow a^2+\left(b-2\right)^2\ge\frac{t^4}{t^2+1}\)
Mà \(\frac{t^4}{t^2+1}\ge\frac{t^4}{t^2+\frac{t^2}{4}}=\frac{4t^4}{5t^2}=\frac{4}{5}t^2\ge\frac{16}{5}\left(\text{vì}:t^2\ge4\right)\)
Vậy ......