Maths Olympiad Prep

Library / /29 of 520

Algebra Difficulty 5.7 AIME, harder Prove it

Example 17 Proof: For non-negative real numbers a,b,ca, b, c, we have
ccc2a(b+c)(2b+c)(b+2c)2\sum_{\mathrm{ccc}} \sqrt{\frac{2 a(b+c)}{(2 b+c)(b+2 c)}} \geqslant 2

Solution

Prove that by Hölder's inequality,
(cyc a(b+c)(2b+c)(b+2c))2cyc a2(2b+c)(b+2c)b+c(a+b+c)3,\left(\sum_{\text {cyc }} \sqrt{\frac{a(b+c)}{(2 b+c)(b+2 c)}}\right)^{2} \sum_{\text {cyc }} \frac{a^{2}(2 b+c)(b+2 c)}{b+c} \geqslant(a+b+c)^{3},

Therefore, it suffices to prove that
(a+b+c)32cyca2(2b+c)(b+2c)b+c. In fact, (a+b+c)32cyca2(2b+c)(b+2c)2b+c=cyc(bc)2(b+ca)22(b+c)0.\begin{array}{l} (a+b+c)^{3} \geqslant 2 \sum_{\mathrm{cyc}} \frac{a^{2}(2 b+c)(b+2 c)}{b+c} . \\ \text { In fact, }(a+b+c)^{3}-2 \sum_{\mathrm{cyc}} \frac{a^{2}(2 b+c)(b+2 c)}{2 b+c}=\sum_{\mathrm{cyc}} \\ \frac{(b-c)^{2}(b+c-a)^{2}}{2(b+c)} \geqslant 0 . \end{array}

In conclusion, the original inequality holds.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.