Maths Olympiad Prep

Library / /477 of 520

Algebra Difficulty 7.5 National olympiad, round 2 Prove it

Example 1.38 For non-negative real numbers a,b,ca, b, c where not two of them are zero at the same time, prove
ab+c(a2b2c2+bc)+bc+a(b2c2a2+ca)+ca+b(c2a2b2+ab)0\begin{array}{l} \frac{a}{b+c}\left(a^{2}-b^{2}-c^{2}+b c\right)+\frac{b}{c+a}\left(b^{2}-c^{2}-a^{2}+c a\right)+ \\ \frac{c}{a+b}\left(c^{2}-a^{2}-b^{2}+a b\right) \geqslant 0 \end{array}

Solution

Prove that the original inequality is equivalent to
ab+c[a2+3bc(b+c)2]0a(a2+3bc)b+c+b(b2+3ca)c+a+c(c2+3ab)a+b2(ab+bc+ca)\begin{array}{l} \sum \frac{a}{b+c}\left[a^{2}+3 b c-(b+c)^{2}\right] \geqslant 0 \Leftrightarrow \\ \frac{a\left(a^{2}+3 b c\right)}{b+c}+\frac{b\left(b^{2}+3 c a\right)}{c+a}+\frac{c\left(c^{2}+3 a b\right)}{a+b} \geqslant 2(a b+b c+c a) \end{array}

Using the Cauchy-Schwarz inequality,
 Left side =a2(a2+3bc)a(b+c)+b2(b2+3ca)b(c+a)+c2(c2+3ab)c(a+b)(aa2+3bc+bb2+3ca+cc2+3ab)22(ab+bc+ca)\begin{aligned} \text { Left side }= & \frac{a^{2}\left(a^{2}+3 b c\right)}{a(b+c)}+\frac{b^{2}\left(b^{2}+3 c a\right)}{b(c+a)}+\frac{c^{2}\left(c^{2}+3 a b\right)}{c(a+b)} \geqslant \\ & \frac{\left(a \sqrt{a^{2}+3 b c}+b \sqrt{b^{2}+3 c a}+c \sqrt{c^{2}+3 a b}\right)^{2}}{2(a b+b c+c a)} \end{aligned}

Thus, it suffices to prove
aa2+3bc+bb2+3ca+cc2+3ab2(ab+bc+ca)a \sqrt{a^{2}+3 b c}+b \sqrt{b^{2}+3 c a}+c \sqrt{c^{2}+3 a b} \geqslant 2(a b+b c+c a)

Using the AM-GM inequality, we have
aa2+3bc=a(b+c)(a2+3bc)(b+c)a2+3bc2a(b+c)(a2+3bc)a2+3bc+(b+c)2\sum a \sqrt{a^{2}+3 b c}=\sum \frac{a(b+c)\left(a^{2}+3 b c\right)}{(b+c) \sqrt{a^{2}+3 b c}} \geqslant 2 \sum \frac{a(b+c)\left(a^{2}+3 b c\right)}{a^{2}+3 b c+(b+c)^{2}}

It remains to prove
2a(b+c)(a2+3bc)a2+3bc+(b+c)22ab2a(b+c)(a2+3bc)a2+3bc+(b+c)2a(b+c)\begin{array}{l} 2 \sum \frac{a(b+c)\left(a^{2}+3 b c\right)}{a^{2}+3 b c+(b+c)^{2}} \geqslant 2 \sum a b \Leftrightarrow \\ 2 \sum \frac{a(b+c)\left(a^{2}+3 b c\right)}{a^{2}+3 b c+(b+c)^{2}} \geqslant \sum a(b+c) \end{array}

Let p=a2+b2+c2 p = a^{2} + b^{2} + c^{2} , then \Leftrightarrow
2a(b+c)(a2b2c2+bc)p+5bc0a3(b+c)a(b3+c3)p+5bc0ab(a2b2)p+5bcca(c2a2)p+5bc0ab(a2b2)p+5bcab(a2b2)p+5ca05abc(ab)2(a+b)(p+5bc)(p+5ca)0\begin{array}{l} 2 \sum \frac{a(b+c)\left(a^{2}-b^{2}-c^{2}+b c\right)}{p+5 b c} \geqslant 0 \Leftrightarrow \\ \sum \frac{a^{3}(b+c)-a\left(b^{3}+c^{3}\right)}{p+5 b c} \geqslant 0 \Leftrightarrow \\ \sum \frac{a b\left(a^{2}-b^{2}\right)}{p+5 b c}-\sum \frac{c a\left(c^{2}-a^{2}\right)}{p+5 b c} \geqslant 0 \Leftrightarrow \\ \sum \frac{a b\left(a^{2}-b^{2}\right)}{p+5 b c}-\sum \frac{a b\left(a^{2}-b^{2}\right)}{p+5 c a} \geqslant 0 \Leftrightarrow \\ 5 a b c \sum \frac{(a-b)^{2}(a+b)}{(p+5 b c)(p+5 c a)} \geqslant 0 \end{array}

This is clearly true, with equality holding if and only if a=b=c a = b = c or a=b,c=0 a = b, c = 0 cyclically.

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.