YLL討論網

復活後的第一題!

已知方程式:
有一個實根.
證明:

假設實根為k，則k^4+ak^3+2k^2+bk+1=0
ak^3+bk=-(k^2+1)^2
由柯西不等式，(a^2+b^2)(k^6+k^2)≧(ak^3+bk)^2=(k^2+1)^4
(a^2+b^2)≧(k^2+1)^4/(k^6+k^2)
再加上(k^2+1)^4-8(k^6+k^2)=(k^2-1)^4≧0
故(a^2+b^2)≧8(k^6+k^2)/(k^6+k^2)=8