II. (40 points) Given a real-coefficient cubic polynomial p(x)=x3+ax2+bx+c with three real roots. Prove: 6a3+10(a2−2b)23−12ab⩾27c, and find the necessary and sufficient conditions for equality.
Solution
Let α,β,γ be the roots of p(x)=0. By Vieta's formulas, we have ⎩⎨⎧α+β+γ=−a,αβ+βγ+γα=b,αβγ=−c.
Then a2−2b=α2+β2+γ2. The original inequality ⇔⇔6a(a2−2b)+10(a2−2b)23⩾27c6(α+β+γ)(α2+β2+γ2)−10(α2+β2+γ2)23⩽27αβγ.
When α2+β2+γ2=0, α=β=γ=0, i.e., a=b=c=0.
In this case, inequality (1) clearly holds, and equality holds. Assume α2+β2+γ2>0. Since inequality (1) is a homogeneous cubic expression, to eliminate the 27 on the right side of (1), we can assume α2+β2+γ2=9. At this point, inequality (1) simplifies to 2(α+β+γ)−αβγ⩽10.
Assume ∣α∣⩽∣β∣⩽∣γ∣. Then γ2⩾3.
Thus, 2αβ⩽α2+β2=9−γ2⩽6. Consider the square of the left side of (2) (2(α+β+γ)−αβγ)2=(2(α+β)+(2−αβ)γ)2⩽(4+(2−αβ)2)((α+β)2+γ2)=(8−4αβ+(αβ)2)(9+2αβ)=2(αβ)3+(αβ)2−20αβ+72=(αβ+2)2(2αβ−7)+100⩽100⇒2(α+β+γ)−αβγ⩽10.
Therefore, the original inequality holds. If equality holds in (2), then equality must hold in (4), which implies αβ=−2. Substituting into (2) gives α+β+2γ=5⇒(α+β)2=(5−2γ)2. By (α+β)2=α2+β2+2αβ=(9−γ2)−4=5−γ2⇒5−γ2=(5−2γ)2=25−20γ+4γ2⇔γ2−4γ+4=0⇔γ=2.
Substituting into (5) gives α+β=1. Then α,β are the roots of the quadratic equation x2−x−2=0. Thus, α=−1,β=2. Since (1) is a homogeneous cubic expression, we can assume p(x)=x3+ax2+bx+c
has three real roots −λ,2λ,2λ(λ>0). By Vieta's formulas, we have a=−3λ,b=0,c=4λ3=274(3λ)3=−274a3.
In summary, the necessary and sufficient condition for equality in the original inequality is b=0,c=−274a3(a⩽0).
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.