Giả sử x=t là nghiệm của phương trình, suy ra:
t4+at3+bt2+ct+1=0
⇒−t4−1=at3+bt2+ct
⇒(t4+1)2=(at3+bt2+ct)≤(a2+b2+c2)(t6+t4+t2)
⇒a2+b2+c2≥(t4+1)2t6+t4+t2
Ta sẽ chứng minh: (t4+1)2t6+t4+t2≥43
Thật vậy, ta có:
(t4+1)2t6+t4+t2−43
=3(t8+2t4+1)−4(t6+t4+t2)3(t6+t4+t2)
=(t2−1)2(3t4+2t2+3)3(t6+t4+t2)≥0
⇒P≥43
min