Olympiad Maths Prep

Track / Stage 6 / 128 of 400 #1128 of 2000

Problem 1128

National olympiad, first round
Algebra Difficulty 6.2 Prove it

Example 2 Let a,b,ca, b, c be positive numbers, prove that: ab(a+c)(b+c)+bc(b+c)(c+a)\frac{a b}{(a+c)(b+c)}+\frac{b c}{(b+c)(c+a)} +ca(c+b)(a+b)34+\frac{c a}{(c+b)(a+b)} \geqslant \frac{3}{4}. (30th IMO Shortlist Problem)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

4[ab(a+b)+bc(b+c)+ca(c+a)]3(a+b)(b+c)(c+a)4[a(b2+c2)+b(c2+a2)+c(a2+b2)]3[a(b2+c2)+b(c2+a2)+c(a2+b2)+2abc]a(b2+c2)+b(c2+a2)+c(a2+b2)6abc.\begin{array}{l} 4[a b(a+b)+b c(b+c)+c a(c+a)] \geqslant 3(a+b)(b+c)(c+a) \\ \Leftrightarrow 4\left[a\left(b^{2}+c^{2}\right)+b\left(c^{2}+a^{2}\right)+c\left(a^{2}+b^{2}\right)\right] \\ \geqslant 3\left[a\left(b^{2}+c^{2}\right)+b\left(c^{2}+a^{2}\right)+c\left(a^{2}+b^{2}\right)+2 a b c\right] \\ \Leftrightarrow a\left(b^{2}+c^{2}\right)+b\left(c^{2}+a^{2}\right)+c\left(a^{2}+b^{2}\right) \geqslant 6 a b c . \end{array}

By the AM-GM inequality, we have (1) a(2bc)+b(2ca)+c(2ab)=6abc\geqslant a(2 b c)+b(2 c a)+c(2 a b)=6 a b c, hence (1) is proved, and thus the original inequality holds.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.