Maths Olympiad Prep

Library / Czech-Slovak-Polish Match /12 of 22

Czech-Slovak-Polish Match

Algebra Difficulty 5.9 AIME, harder Prove it Czech-Polish-Slovak Mathematical Match

Let xx, yy, zz be positive real numbers such that x+y+z≥6x + y + z \ge 6. Find the smallest value of the expression
x2+y2+z2+xy2+z+1+yz2+x+1+zx2+y+1. x^2 + y^2 + z^2 + \frac{x}{y^2 + z + 1} + \frac{y}{z^2 + x + 1} + \frac{z}{x^2 + y + 1}.

Solution

Using the AM-GM inequality for positive real numbers x2/14x^2/14, x/(y2+z+1)x/(y^2+z+1) and 2(y2+z+1)/492(y^2+z+1)/49 we have
x214+xy2+z+1+249(y2+z+1)≥3x3733=37x. \frac{x^2}{14} + \frac{x}{y^2 + z + 1} + \frac{2}{49}(y^2 + z + 1) \ge 3\sqrt[3]{\frac{x^3}{7^3}} = \frac{3}{7}x.

We can derive cyclically another two similar inequalities. Adding up of all three derived inequalities we further obtain (all sums are to be considered as sums of three cyclically obtained summands)
114∑x2−∑xy2+z+1+249∑x2+249∑x+649≥37∑x. \frac{1}{14} \sum x^2 - \sum \frac{x}{y^2 + z + 1} + \frac{2}{49} \sum x^2 + \frac{2}{49} \sum x + \frac{6}{49} \ge \frac{3}{7} \sum x.
Thus
L=1198∑x2+∑xy2+z+1+649≥(37−249)∑x=1949∑x. L = \frac{11}{98} \sum x^2 + \sum \frac{x}{y^2 + z + 1} + \frac{6}{49} \ge \left(\frac{3}{7} - \frac{2}{49}\right) \sum x = \frac{19}{49} \sum x.

From the Cauchy-Schwarz inequality (or from the AM-QM inequality) it follows ∑x2≥13(∑x)2≥12\sum x^2 \ge \frac{1}{3} (\sum x)^2 \ge 12. Finally we arrive at
∑x2+∑xy2+z+1=8798∑x2+L−649≥8798∑x2+1949∑x−649≥87⋅6+19⋅6−649=907. \begin{aligned} \sum x^2 + \sum \frac{x}{y^2 + z + 1} &= \frac{87}{98} \sum x^2 + L - \frac{6}{49} \ge \frac{87}{98} \sum x^2 + \frac{19}{49} \sum x - \frac{6}{49} \\ &\ge \frac{87 \cdot 6 + 19 \cdot 6 - 6}{49} = \frac{90}{7}. \end{aligned}
Conclusion. The smallest value of given expression is therefore 90/790/7. (The mentioned value is achieved for x=y=z=2x = y = z = 2.)

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.