Maths Olympiad Prep

Library / /283 of 520

Algebra Difficulty 6.7 National olympiad Prove it

Example 8 Non-negative real numbers a,b,ca, b, c satisfy bc+ca+ab=3b c+c a+a b=3. Prove:
11+a2(b+c)+11+b2(a+c)+11+c2(a+b)31+2abc.\frac{1}{1+a^{2}(b+c)}+\frac{1}{1+b^{2}(a+c)}+\frac{1}{1+c^{2}(a+b)} \leqslant \frac{3}{1+2 a b c} .

Solution

cyc 11+a2(b+c)31+2abccyc (11+2abc11+a2(b+c))0cyc a2(b+c)2abc1+a2(b+c)0cyc ac(ab)ab(ca)1+a2(b+c)0cyc (ab)(ac1+a2(b+c)bc1+b2(a+c))0cyc c(1abc)(ab)2(1+a2(b+c))(1+b2(a+c))0.\begin{aligned} & \sum_{\text {cyc }} \frac{1}{1+a^{2}(b+c)} \leqslant \frac{3}{1+2 a b c} \Leftrightarrow \sum_{\text {cyc }}\left(\frac{1}{1+2 a b c}-\frac{1}{1+a^{2}(b+c)}\right) \geqslant 0 \\ \Leftrightarrow & \sum_{\text {cyc }} \frac{a^{2}(b+c)-2 a b c}{1+a^{2}(b+c)} \geqslant 0 \Leftrightarrow \sum_{\text {cyc }} \frac{a c(a-b)-a b(c-a)}{1+a^{2}(b+c)} \geqslant 0 \\ \Leftrightarrow & \sum_{\text {cyc }}(a-b)\left(\frac{a c}{1+a^{2}(b+c)}-\frac{b c}{1+b^{2}(a+c)}\right) \geqslant 0 \\ \Leftrightarrow & \sum_{\text {cyc }} \frac{c(1-a b c)(a-b)^{2}}{\left(1+a^{2}(b+c)\right)\left(1+b^{2}(a+c)\right)} \geqslant 0 . \end{aligned}

In fact, by bc+ca+ab3a2b2c23\frac{b c+c a+a b}{3} \geqslant \sqrt[3]{a^{2} b^{2} c^{2}}, we know that 1abc01-a b c \geqslant 0.
Therefore, equation (8) 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.