Maths Olympiad Prep

Library / /509 of 520

Algebra Difficulty 6.8 National olympiad Prove it

II. (40 points) Given a real-coefficient cubic polynomial p(x)=x3+ax2+bx+cp(x)=x^{3}+a x^{2}+b x+c with three real roots. Prove: 6a3+10(a22b)3212ab27c6 a^{3}+10\left(a^{2}-2 b\right)^{\frac{3}{2}}-12 a b \geqslant 27 c, and find the necessary and sufficient conditions for equality.

Solution

Let α,β,γ\alpha, \beta, \gamma be the roots of p(x)=0p(x)=0.
By Vieta's formulas, we have
{α+β+γ=a,αβ+βγ+γα=b,αβγ=c. \left\{\begin{array}{l} \alpha+\beta+\gamma=-a, \\ \alpha \beta+\beta \gamma+\gamma \alpha=b, \\ \alpha \beta \gamma=-c . \end{array}\right.

Then a22b=α2+β2+γ2a^{2}-2 b=\alpha^{2}+\beta^{2}+\gamma^{2}.
The original inequality
6a(a22b)+10(a22b)3227c6(α+β+γ)(α2+β2+γ2)10(α2+β2+γ2)3227αβγ. \begin{aligned} \Leftrightarrow & 6 a\left(a^{2}-2 b\right)+10\left(a^{2}-2 b\right)^{\frac{3}{2}} \geqslant 27 c \\ \Leftrightarrow & 6(\alpha+\beta+\gamma)\left(\alpha^{2}+\beta^{2}+\gamma^{2}\right)- \\ & 10\left(\alpha^{2}+\beta^{2}+\gamma^{2}\right)^{\frac{3}{2}} \leqslant 27 \alpha \beta \gamma . \end{aligned}

When α2+β2+γ2=0\alpha^{2}+\beta^{2}+\gamma^{2}=0, α=β=γ=0\alpha=\beta=\gamma=0, i.e., a=b=c=0a=b=c=0.

In this case, inequality (1) clearly holds, and equality holds.
Assume α2+β2+γ2>0\alpha^{2}+\beta^{2}+\gamma^{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\alpha^{2}+\beta^{2}+\gamma^{2}=9. At this point, inequality (1) simplifies to
2(α+β+γ)αβγ10. 2(\alpha+\beta+\gamma)-\alpha \beta \gamma \leqslant 10 .

Assume αβγ|\alpha| \leqslant|\beta| \leqslant|\gamma|. Then
γ23 \gamma^{2} \geqslant 3 \text {. }

Thus, 2αβα2+β2=9γ262 \alpha \beta \leqslant \alpha^{2}+\beta^{2}=9-\gamma^{2} \leqslant 6.
Consider the square of the left side of (2)
(2(α+β+γ)αβγ)2=(2(α+β)+(2αβ)γ)2(4+(2αβ)2)((α+β)2+γ2)=(84αβ+(αβ)2)(9+2αβ)=2(αβ)3+(αβ)220αβ+72=(αβ+2)2(2αβ7)+1001002(α+β+γ)αβγ10. \begin{array}{l} (2(\alpha+\beta+\gamma)-\alpha \beta \gamma)^{2} \\ =(2(\alpha+\beta)+(2-\alpha \beta) \gamma)^{2} \\ \leqslant\left(4+(2-\alpha \beta)^{2}\right)\left((\alpha+\beta)^{2}+\gamma^{2}\right) \\ =\left(8-4 \alpha \beta+(\alpha \beta)^{2}\right)(9+2 \alpha \beta) \\ =2(\alpha \beta)^{3}+(\alpha \beta)^{2}-20 \alpha \beta+72 \\ =(\alpha \beta+2)^{2}(2 \alpha \beta-7)+100 \\ \leqslant 100 \\ \Rightarrow 2(\alpha+\beta+\gamma)-\alpha \beta \gamma \leqslant 10 . \end{array}

Therefore, the original inequality holds.
If equality holds in (2), then equality must hold in (4), which implies αβ=2\alpha \beta=-2.
Substituting into (2) gives
α+β+2γ=5(α+β)2=(52γ)2. By (α+β)2=α2+β2+2αβ=(9γ2)4=5γ25γ2=(52γ)2=2520γ+4γ2γ24γ+4=0γ=2. \begin{array}{l} \alpha+\beta+2 \gamma=5 \\ \Rightarrow(\alpha+\beta)^{2}=(5-2 \gamma)^{2} . \\ \text { By }(\alpha+\beta)^{2}=\alpha^{2}+\beta^{2}+2 \alpha \beta \\ =\left(9-\gamma^{2}\right)-4=5-\gamma^{2} \\ \Rightarrow 5-\gamma^{2}=(5-2 \gamma)^{2}=25-20 \gamma+4 \gamma^{2} \\ \Leftrightarrow \gamma^{2}-4 \gamma+4=0 \\ \Leftrightarrow \gamma=2 . \end{array}

Substituting into (5) gives α+β=1\alpha+\beta=1.
Then α,β\alpha, \beta are the roots of the quadratic equation x2x2=0x^{2}-x-2=0.
Thus, α=1,β=2\alpha=-1, \beta=2.
Since (1) is a homogeneous cubic expression, we can assume
p(x)=x3+ax2+bx+c p(x)=x^{3}+a x^{2}+b x+c

has three real roots λ,2λ,2λ(λ>0)-\lambda, 2 \lambda, 2 \lambda(\lambda>0).
By Vieta's formulas, we have
a=3λ,b=0,c=4λ3=427(3λ)3=427a3. \begin{array}{l} a=-3 \lambda, b=0, \\ c=4 \lambda^{3}=\frac{4}{27}(3 \lambda)^{3}=-\frac{4}{27} a^{3} . \end{array}

In summary, the necessary and sufficient condition for equality in the original inequality is b=0,c=427a3(a0)b=0, c=-\frac{4}{27} a^{3}(a \leqslant 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.