Maths Olympiad Prep

Library / /8 of 120

, 2012

Algebra Difficulty 4.5 AIME Prove it Saudi Arabia

Prove that for every positive real numbers x,y,zx, y, z the following inequality holds
9x+y+z1xyz2. \frac{9}{x+y+z} - \frac{1}{xyz} \le 2.

Solution

From the AM-GM inequality we have
9x+y+z1xyz3xyz31xyz.(1) \frac{9}{x+y+z} - \frac{1}{xyz} \le \frac{3}{\sqrt[3]{xyz}} - \frac{1}{xyz}. \quad (1)
Let t=1xyz3t = \frac{1}{\sqrt[3]{xyz}}. According to inequality (1) it is sufficient to prove that 3tt323t - t^3 \le 2 for t>0t > 0. The last inequality is equivalent to t33t+20t^3 - 3t + 2 \ge 0, which is the same as (t1)2(t+2)0(t - 1)^2(t + 2) \ge 0.

We have equality if and only if t=1t = 1 and we have equality in the AM-GM inequality. That is, xyz=1xyz = 1 and x=y=zx = y = z, so x=y=z=1x = y = z = 1.

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.