Saturday, March 4, 2006

Slickity. Topic: Inequalities. Level: Olympiad.

Problem: (2005 APMO - #2) Let $ a,b,c $ be positive reals with $ abc = 8 $. Prove that

$ \frac{a^2}{\sqrt{\left(a^3+1\right)\left(b^3+1\right)}} + \frac{b^2}{\sqrt{\left(b^3+1\right)\left(c^3+1\right)}} + \frac{c^2}{\sqrt{\left(c^3+1\right)\left(a^3+1\right)}} \ge \frac{4}{3} $.

Solution: This inequality is somewhat strange and ugly-looking with the cubes on the bottom and the square roots and the product condition. We consider the following interesting application of AM-GM:

$ a^3+1 = (a+1)(a^2-a+1) \le \left(\frac{a^2+2}{2}\right)^2 $,

since $ a+1 > 0 $ and $ a^2-a+1 > 0 $. Applying similar inequalities for $ b,c $, our inequality becomes

$ \displaystyle \sum_{cyc} \frac{4a^2}{(a^2+2)(b^2+2)} \ge \frac{4}{3} $.

Multiplying through by $ (a^2+2)(b^2+2)(c^2+2) $ and simplifying, we get

$ a^2c^2+b^2a^2+c^2b^2+2a^2+2b^2+2c^2 \ge 72 $.

Applying AM-GM again, we have

$ a^2c^2+b^2a^2+c^2b^2 \ge 3(abc)^{\frac{4}{3}} = 48 $

and

$ 2a^2+2b^2+2c^2 \ge 6(abc)^{\frac{2}{3}} = 24 $,

which sum up to the desired inequality. QED.

--------------------

Comment: The initial application of AM-GM required quite a bit of motivation to come up with. The idea was to sort of make the denominators look nicer. Noticing that $ a+1 = a^2-a+1 $ at the equality case $ a = 2 $ led to it as well.

--------------------

Practice Problem: (WOOT Message Board) Let $a, b, c$ be positive reals such that $a+b+c= 1$. Prove that

$\sqrt{ab+c} + \sqrt{bc+a} + \sqrt{ca+b} \ge 1 + \sqrt{ab} + \sqrt{bc} + \sqrt{ca} $.

No comments:

Post a Comment