Maths Olympiad Prep

Library / /44 of 87

Algebra Difficulty 6.3 National Olympiad Prove it Serbia

Problem:

Let kk be a natural number. Prove that for positive real numbers x,y,zx, y, z whose sum is equal to 11, the inequality

xk+2xk+1+yk+zk+yk+2yk+1+zk+xk+zk+2zk+1+xk+yk17 \frac{x^{k+2}}{x^{k+1}+y^{k}+z^{k}}+\frac{y^{k+2}}{y^{k+1}+z^{k}+x^{k}}+\frac{z^{k+2}}{z^{k+1}+x^{k}+y^{k}} \geqslant \frac{1}{7}

holds. When does equality hold?

Solution

Solution:

The given expression is symmetric, so without loss of generality we may assume that xyzx \geqslant y \geqslant z. Then
xk+1+yk+zkyk+1+zk+xkzk+1+xk+yk x^{k+1}+y^{k}+z^{k} \leqslant y^{k+1}+z^{k}+x^{k} \leqslant z^{k+1}+x^{k}+y^{k}
Indeed, it suffices to prove the first inequality, i.e. that xk+1+ykyk+1+xkx^{k+1}+y^{k} \leqslant y^{k+1}+x^{k}. This inequality is equivalent to (yx)k1x1y\left(\frac{y}{x}\right)^{k} \leqslant \frac{1-x}{1-y}. Since yxy \leqslant x, it suffices to prove that yx1x1y\frac{y}{x} \leqslant \frac{1-x}{1-y}, which is equivalent to the true inequality 0xx2y+y2=(xy)(1xy)=(xy)z0 \leqslant x-x^{2}-y+y^{2}=(x-y)(1-x-y)=(x-y) z.

By applying Chebyshev's inequality to the triples (xk+2,yk+2,zk+2)\left(x^{k+2}, y^{k+2}, z^{k+2}\right) and (1xk+1+yk+zk,1yk+1+zk+xk,1zk+1+xk+yk)\left(\frac{1}{x^{k+1}+y^{k}+z^{k}}, \frac{1}{y^{k+1}+z^{k}+x^{k}}, \frac{1}{z^{k+1}+x^{k}+y^{k}}\right) we obtain
cycxk+2xk+1+yk+zk13cycxk+2cyc1xk+1+yk+zk=L \sum_{\text{cyc}} \frac{x^{k+2}}{x^{k+1}+y^{k}+z^{k}} \geqslant \frac{1}{3} \sum_{\text{cyc}} x^{k+2} \sum_{\text{cyc}} \frac{1}{x^{k+1}+y^{k}+z^{k}} = L
If in LL we apply Chebyshev's inequality once more to the triples (x,y,z)(x, y, z) and (xk+1,yk+1,zk+1)\left(x^{k+1}, y^{k+1}, z^{k+1}\right) we obtain
L1313cycxcycxk+1cyc1xk+1+yk+zk=L L \geqslant \frac{1}{3} \cdot \frac{1}{3} \sum_{\text{cyc}} x \sum_{\text{cyc}} x^{k+1} \sum_{\text{cyc}} \frac{1}{x^{k+1}+y^{k}+z^{k}} = L'
From the Cauchy-Schwarz-Bunyakovsky inequality it follows that
cyc1xk+1+yk+zkcyc(xk+1+yk+zk)9 \sum_{\text{cyc}} \frac{1}{x^{k+1}+y^{k}+z^{k}} \sum_{\text{cyc}}\left(x^{k+1}+y^{k}+z^{k}\right) \geqslant 9
so
Lxk+1+yk+1+zk+1xk+1+yk+1+zk+1+2(xk+yk+zk) L' \geqslant \frac{x^{k+1}+y^{k+1}+z^{k+1}}{x^{k+1}+y^{k+1}+z^{k+1}+2\left(x^{k}+y^{k}+z^{k}\right)}
and hence it suffices to prove that
3(xk+1+yk+1+zk+1)xk+yk+zk 3\left(x^{k+1}+y^{k+1}+z^{k+1}\right) \geqslant x^{k}+y^{k}+z^{k}
The last inequality is obtained by applying Chebyshev's inequality once more to the triples (x,y,z)(x, y, z) and (xk,yk,zk)\left(x^{k}, y^{k}, z^{k}\right).

Equality in all the inequalities applied holds if and only if x=y=zx=y=z, i.e. if and only if x=y=z=13x=y=z=\frac{1}{3}.

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 translated into English from sr; metadata (topic, difficulty) added by this project.