Maths Olympiad Prep

Library / /11 of 53

Algebra Difficulty 5.9 AIME, harder Prove it Vietnam

Let xx, yy and zz be positive real numbers. Find the maximum value of the following expression
x3y4z3(x4+y4)(xy+z2)3+y3z4x3(y4+z4)(yz+x2)3+z3x4y3(z4+x4)(zx+y2)3 \frac{x^3 y^4 z^3}{(x^4 + y^4)(xy + z^2)^3} + \frac{y^3 z^4 x^3}{(y^4 + z^4)(yz + x^2)^3} + \frac{z^3 x^4 y^3}{(z^4 + x^4)(zx + y^2)^3}

Solution

We will prove that the maximal value of the given expression PP is 316\frac{3}{16}. Indeed, applying these inequalities
x4+y4xy(x2+y2) and (xy+z2)24xyz2, x^4 + y^4 \geq xy(x^2 + y^2) \text{ and } (xy + z^2)^2 \geq 4xyz^2,
we have
(x4+y4)(xy+z2)34x2y2z2(x2+y2)(xy+z2)4x2y2z2(z2x2+z2y2+2x2y2). (x^4 + y^4)(xy + z^2)^3 \geq 4x^2y^2z^2(x^2 + y^2)(xy + z^2) \\ \geq 4x^2y^2z^2(z^2x^2 + z^2y^2 + 2x^2y^2).
Thus, we have
x3y4z3(x4+y4)(xy+z2)3x3y4z34x2y2z2(z2x2+z2y2+2x2y2)=xy2z4(z2x2+z2y2+2x2y2) \frac{x^3 y^4 z^3}{(x^4 + y^4)(xy + z^2)^3} \le \frac{x^3 y^4 z^3}{4x^2 y^2 z^2 (z^2 x^2 + z^2 y^2 + 2x^2 y^2)} \\ = \frac{xy^2 z}{4(z^2 x^2 + z^2 y^2 + 2x^2 y^2)}
We will prove that xy2zz2x2+z2y2+2x2y234\sum \frac{xy^2z}{z^2x^2 + z^2y^2 + 2x^2y^2} \le \frac{3}{4}. Put a=xya = xy, b=yzb = yz and c=zxc = zx, the left hand side becomes
ab2a2+b2+c234. \sum \frac{ab}{2a^2 + b^2 + c^2} \le \frac{3}{4}.
If abca \ge b \ge c then abacbcab \ge ac \ge bc and
12c2+a2+b212b2+c2+a212a2+b2+c2. \frac{1}{2c^2 + a^2 + b^2} \ge \frac{1}{2b^2 + c^2 + a^2} \ge \frac{1}{2a^2 + b^2 + c^2}.
Applying the rearrangement inequality, we have
ab2a2+b2+c2ab2c2+a2+b2. \sum \frac{ab}{2a^2 + b^2 + c^2} \le \sum \frac{ab}{2c^2 + a^2 + b^2}.
By AM-GM and Cauchy-Schwarz inequalities, we obtain that
4ab2c2+a2+b2(a+b)22c2+a2+b2(a2c2+a2+b2c2+b2)=3. \begin{aligned} 4 \sum \frac{ab}{2c^2 + a^2 + b^2} & \le \sum \frac{(a+b)^2}{2c^2 + a^2 + b^2} \\ & \le \sum \left( \frac{a^2}{c^2 + a^2} + \frac{b^2}{c^2 + b^2} \right) = 3. \end{aligned}
Hence, P=x3y4z3(x4+y4)(xy+z2)3316. \text{Hence, } P = \sum \frac{x^3 y^4 z^3}{(x^4 + y^4)(xy + z^2)^3} \le \frac{3}{16}.
The equality holds if and only if a=b=ca = b = c or x=y=zx = y = z. Therefore, the maximal value of the given expression is 316\frac{3}{16}. \square

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.