Maths Olympiad Prep

Library / /26 of 520

Algebra Difficulty 5.6 AIME, harder Prove it

58. Let a,b,cCa, b, c \in \mathbf{C}, then
ab+c+a0\sum|a|-\sum|b+c|+\left|\sum a\right| \geqslant 0

Solution

58. Simplified Proof

Original expression (a+a)2(b+c)2\Leftrightarrow\left(\sum|a|+\left|\sum a\right|\right)^{2} \geqslant\left(\sum|b+c|\right)^{2} \Leftrightarrow

However,
(bc)+(aa)(a+ba+c)\sum(|b| \cdot|c|)+\sum\left(|a| \cdot\left|\sum a\right|\right) \geqslant \sum(|a+b| \cdot|a+c|)
(bc)+(aa)=(bc+aa+b+c)bc+a2+ab+ac=(a+b)(a+c)\begin{array}{l} \sum(|b| \cdot|c|)+\sum\left(|a| \cdot\left|\sum a\right|\right)= \\ \sum(|b| \cdot|c|+|a| \cdot|a+b+c|) \geqslant \\ \sum\left|b c+a^{2}+a b+a c\right|=\sum|(a+b)(a+c)| \end{array}

Therefore, the original expression 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.