Maths Olympiad Prep

Library / /356 of 520

Algebra Difficulty 7.1 National olympiad, round 2 Prove it

Example 28 Prove: For any two non-zero non-negative real numbers a,b,ca, b, c, we have
ab+c+bc+a+ca+b+a2b+b2c+c2aab2+bc2+ca252.\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}+\frac{a^{2} b+b^{2} c+c^{2} a}{a b^{2}+b c^{2}+c a^{2}} \geqslant \frac{5}{2} .

Solution

Prove ab+c+bc+a+ca+b+a2b+b2c+c2aab2+bc2+ca252\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}+\frac{a^{2} b+b^{2} c+c^{2} a}{a b^{2}+b c^{2}+c a^{2}} \geqslant \frac{5}{2}
cyc (ab+c12)cyc (a2ca2b)cyc a2ccyc ab(ca)2(b+c)(ab)(bc)(ca)a2c+b2a+c2bcyc ab2(1b+c1a+c)(ab)(bc)(ca)a2c+b2a+c2bcyc (ab)2(a+c)(b+c)2(ab)(bc)(ca)a2c+b2a+c2b\begin{array}{l} \Leftrightarrow \sum_{\text {cyc }}\left(\frac{a}{b+c}-\frac{1}{2}\right) \geqslant \frac{\sum_{\text {cyc }}\left(a^{2} c-a^{2} b\right)}{\sum_{\text {cyc }} a^{2} c} \\ \Leftrightarrow \sum_{\text {cyc }} \frac{a-b-(c-a)}{2(b+c)} \geqslant \frac{(a-b)(b-c)(c-a)}{a^{2} c+b^{2} a+c^{2} b} \\ \Leftrightarrow \sum_{\text {cyc }} \frac{a-b}{2}\left(\frac{1}{b+c}-\frac{1}{a+c}\right) \geqslant \frac{(a-b)(b-c)(c-a)}{a^{2} c+b^{2} a+c^{2} b} \\ \quad \Leftrightarrow \sum_{\text {cyc }} \frac{(a-b)^{2}}{(a+c)(b+c)} \geqslant \frac{2(a-b)(b-c)(c-a)}{a^{2} c+b^{2} a+c^{2} b} \end{array}

If (ab)(bc)(ca)0(a-b)(b-c)(c-a) \leqslant 0, then the original inequality is obviously true. Now assume (ab)(bc)(ca)>0(a-b)(b-c)(c-a)>0, and
a2c+b2a+c2ba2b+b2c+c2a=t\frac{a^{2} c+b^{2} a+c^{2} b}{a^{2} b+b^{2} c+c^{2} a}=t

Then t>1t>1. By the Arithmetic Mean-Geometric Mean Inequality, we have
c yc (ab)2(a+c)(b+c)3(ab)2(bc)2(ca)2(a+b)2(a+c)2(b+c)23\sum_{c \text { yc }} \frac{(a-b)^{2}}{(a+c)(b+c)} \geqslant 3 \sqrt[3]{\frac{(a-b)^{2}(b-c)^{2}(c-a)^{2}}{(a+b)^{2}(a+c)^{2}(b+c)^{2}}}

Therefore, it suffices to prove
27(a2c+b2a+c2b)38(a+b)2(a+c)2(b+c)2(ab)(bc)(ca)27\left(a^{2} c+b^{2} a+c^{2} b\right)^{3} \geqslant 8(a+b)^{2}(a+c)^{2}(b+c)^{2}(a-b)(b-c)(c-a)

Since
(a+b)(a+c)(b+c)=cyc (a2b+a2c)+2abc43cyc (a2b+a2c)(a+b)(a+c)(b+c)=\sum_{\text {cyc }}\left(a^{2} b+a^{2} c\right)+2 a b c \leqslant \frac{4}{3} \sum_{\text {cyc }}\left(a^{2} b+a^{2} c\right)

It suffices to prove the following inequality:
27t38169(t+1)2(t1)27 t^{3} \geqslant 8 \cdot \frac{16}{9}(t+1)^{2}(t-1)

The above inequality is obviously true, hence 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.