Maths Olympiad Prep

Library / /8 of 16

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+z6x + 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)
114x2xy2+z+1+249x2+249x+64937x. \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=1198x2+xy2+z+1+649(37249)x=1949x. 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 x213(x)212\sum x^2 \ge \frac{1}{3} (\sum x)^2 \ge 12. Finally we arrive at
x2+xy2+z+1=8798x2+L6498798x2+1949x649876+196649=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.