Maths Olympiad Prep

Library / /15 of 16

Algebra Difficulty 7.1 National Olympiad, round 2 Prove it JBMO

Problem:
If x,y,zx, y, z are non-negative real numbers such that x2+y2+z2=x+y+zx^{2}+y^{2}+z^{2}=x+y+z, then show that:
x+1x5+x+1+y+1y5+y+1+z+1z5+z+13 \frac{x+1}{\sqrt{x^{5}+x+1}}+\frac{y+1}{\sqrt{y^{5}+y+1}}+\frac{z+1}{\sqrt{z^{5}+z+1}} \geq 3
When does the equality hold?

Solution

Solution:
First we factor x5+x+1x^{5}+x+1 as follows:
x5+x+1=x5x2+x2+x+1=x2(x31)+x2+x+1=x2(x1)(x2+x+1)+x2+x+1=(x2+x+1)(x2(x1)+1)=(x2+x+1)(x3x2+1) \begin{aligned} x^{5}+x+1 & =x^{5}-x^{2}+x^{2}+x+1=x^{2}\left(x^{3}-1\right)+x^{2}+x+1=x^{2}(x-1)\left(x^{2}+x+1\right)+x^{2}+x+1 \\ & =\left(x^{2}+x+1\right)\left(x^{2}(x-1)+1\right)=\left(x^{2}+x+1\right)\left(x^{3}-x^{2}+1\right) \end{aligned}
Using the AM-GM inequality, we have
x5+x+1=(x2+x+1)(x3x2+1)x2+x+1+x3x2+12=x3+x+22 \sqrt{x^{5}+x+1}=\sqrt{\left(x^{2}+x+1\right)\left(x^{3}-x^{2}+1\right)} \leq \frac{x^{2}+x+1+x^{3}-x^{2}+1}{2}=\frac{x^{3}+x+2}{2}
and since
x3+x+2=x3+1+x+1=(x+1)(x2x+1)+x+1=(x+1)(x2x+1+1)=(x+1)(x2x+2)x^{3}+x+2=x^{3}+1+x+1=(x+1)\left(x^{2}-x+1\right)+x+1=(x+1)\left(x^{2}-x+1+1\right)=(x+1)\left(x^{2}-x+2\right),
then
x5+x+1(x+1)(x2x+2)2 \sqrt{x^{5}+x+1} \leq \frac{(x+1)\left(x^{2}-x+2\right)}{2}
Using x2x+2=(x12)2+74>0x^{2}-x+2=\left(x-\frac{1}{2}\right)^{2}+\frac{7}{4}>0, we obtain x+1x5+x+12x2x+2\frac{x+1}{\sqrt{x^{5}+x+1}} \geq \frac{2}{x^{2}-x+2} Applying the Cauchy-Schwarz inequality and the given condition, we get
cycx+1x5+x+1cyc2x2x+218cyc(x2x+2)=186=3 \sum_{cyc} \frac{x+1}{\sqrt{x^{5}+x+1}} \geq \sum_{cyc} \frac{2}{x^{2}-x+2} \geq \frac{18}{\sum_{cyc}\left(x^{2}-x+2\right)}=\frac{18}{6}=3
which is the desired result.
For the equality both conditions: x2x+2=y2y+2=z2z+2x^{2}-x+2=y^{2}-y+2=z^{2}-z+2 (equality in CBS) and x3x2+1=x2+x+1x^{3}-x^{2}+1=x^{2}+x+1 (equality in AM-GM) have to be satisfied.
By using the given condition it follows that x2x+2+y2y+2+z2z+2=6x^{2}-x+2+y^{2}-y+2+z^{2}-z+2=6, hence 3(x2x+2)=63\left(x^{2}-x+2\right)=6, implying x=0x=0 or x=1x=1. Of these, only x=0x=0 satisfies the second condition. We conclude that equality can only hold for x=y=z=0x=y=z=0.
It is an immediate check that indeed for these values equality holds.

Let us present an heuristic argument to reach the key inequality x+1x5+x+12x2x+2\frac{x+1}{\sqrt{x^{5}+x+1}} \geq \frac{2}{x^{2}-x+2}.
In order to exploit the condition x2+y2+z2=x+y+zx^{2}+y^{2}+z^{2}=x+y+z when applying CBS in Engel form, we are looking for α,β,γ>0\alpha, \beta, \gamma>0 such that
x+1x5+x+1γα(x2x)+β \frac{x+1}{\sqrt{x^{5}+x+1}} \geq \frac{\gamma}{\alpha\left(x^{2}-x\right)+\beta}
After squaring and cancelling the denominators, we get
(x+1)2(α(x2x)+β)2γ2(x5+x+1) (x+1)^{2}\left(\alpha\left(x^{2}-x\right)+\beta\right)^{2} \geq \gamma^{2}\left(x^{5}+x+1\right)
for all x0x \geq 0, and, after some manipulations, we reach to f(x)0f(x) \geq 0 for all x0x \geq 0, where f(x)=α2x6γ2x5+(2αβ2α2)x4+2αβx3+(αβ)2x2+(2β22αβγ2)x+β2γ2f(x)=\alpha^{2} x^{6}-\gamma^{2} x^{5}+\left(2 \alpha \beta-2 \alpha^{2}\right) x^{4}+2 \alpha \beta x^{3}+(\alpha-\beta)^{2} x^{2}+\left(2 \beta^{2}-2 \alpha \beta-\gamma^{2}\right) x+\beta^{2}-\gamma^{2}.
As we are expecting the equality to hold for x=0x=0, we naturally impose the condition that ff has 0 as a double root. This implies β2γ2=0\beta^{2}-\gamma^{2}=0 and 2β22αβγ2=02 \beta^{2}-2 \alpha \beta-\gamma^{2}=0, that is, β=γ\beta=\gamma and γ=2α\gamma=2 \alpha.
Thus the inequality f(x)0f(x) \geq 0 becomes
α2x64α2x5+2α2x4+4α2x3+α2x20,x0 \alpha^{2} x^{6}-4 \alpha^{2} x^{5}+2 \alpha^{2} x^{4}+4 \alpha^{2} x^{3}+\alpha^{2} x^{2} \geq 0, \forall x \geq 0
that is,
α2x2(x22x1)20x0 \alpha^{2} x^{2}\left(x^{2}-2 x-1\right)^{2} \geq 0 \forall x \geq 0
which is obviously true.
Therefore, the inequality x+1x5+x+12x2x+2\frac{x+1}{\sqrt{x^{5}+x+1}} \geq \frac{2}{x^{2}-x+2} holds for all x0x \geq 0 and now we can continue as in the first solution.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.