Maths Olympiad Prep

Library / /8 of 14

Algebra Difficulty 5.6 AIME, harder Prove it Bulgaria

Prove that if x,y,z>0x, y, z > 0, then
(x+1)(y+1)23z2x23+1+(y+1)(z+1)23x2y23+1+(z+1)(x+1)23y2z23+1x+y+z+3. \frac{(x+1)(y+1)^2}{3\sqrt[3]{z^2x^2}+1} + \frac{(y+1)(z+1)^2}{3\sqrt[3]{x^2y^2}+1} + \frac{(z+1)(x+1)^2}{3\sqrt[3]{y^2z^2}+1} \geq x+y+z+3.

Solution

Denote by SS the left-hand side of the given inequality. The arithmetic mean–geometric mean inequality implies that xy+x+y3x2y23xy + x + y \geq 3\sqrt[3]{x^2y^2} and hence
S(x+1)(y+1)2(z+1)(x+1)+(y+1)(z+1)2(x+1)(y+1)+(z+1)(x+1)2(y+1)(z+1). S \geq \frac{(x+1)(y+1)^2}{(z+1)(x+1)} + \frac{(y+1)(z+1)^2}{(x+1)(y+1)} + \frac{(z+1)(x+1)^2}{(y+1)(z+1)}.
Setting a=x+1a = x + 1, b=y+1b = y + 1, c=z+1c = z + 1 gives
Sb2c+c2a+a2b. S \geq \frac{b^2}{c} + \frac{c^2}{a} + \frac{a^2}{b}.
Then
S(a+b+c)2a+b+c=a+b+c=x+y+z+3. S \geq \frac{(a+b+c)^2}{a+b+c} = a+b+c = x+y+z+3.
by the Cauchy–Schwartz inequality.

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.