Maths Olympiad Prep

Library / /339 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

57. Let a,b,ca, b, c be non-negative numbers, no two of which are zero. Prove that
a(b+c)a2+bc+b(c+a)b2+ca+c(a+b)c2+ab2\frac{a(b+c)}{a^{2}+b c}+\frac{b(c+a)}{b^{2}+c a}+\frac{c(a+b)}{c^{2}+a b} \geqslant 2

Solution

57. (2007.01.29) Proof: We will prove a stronger form of the inequality:
a(b+c)a2+bc2+8a2b2c2(a2+bc)\sum \frac{a(b+c)}{a^{2}+b c} \geqslant 2+\frac{8 a^{2} b^{2} c^{2}}{\prod\left(a^{2}+b c\right)}

When one of a,b,ca, b, c is zero, assume without loss of generality that c=0c=0, then inequality (1) becomes
ba+ab2\frac{b}{a}+\frac{a}{b} \geqslant 2

which is clearly true.
When a,b,ca, b, c are all non-zero, let ba=x,cb=y,ac=z,x,y,zR,xyz=1\frac{b}{a}=x, \frac{c}{b}=y, \frac{a}{c}=z, x, y, z \in \overline{\mathbf{R}^{-}}, x y z=1, then inequality (1) becomes
1+yzy+z2+8(y+z)(1+yz)(x+y)(x+z)2(y+z)+8x2+3yz+x+(yz)22xyz+6(x)2+(yz)2+(yz+x)2xyz+6\begin{array}{l} \sum \frac{1+y z}{y+z} \geqslant 2+\frac{8}{\prod(y+z)} \Leftrightarrow \\ \sum(1+y z)(x+y)(x+z) \geqslant 2 \prod(y+z)+8 \Leftrightarrow \\ \sum x^{2}+3 \sum y z+\sum x+\left(\sum y z\right)^{2} \geqslant 2 \sum x \cdot \sum y z+6 \Leftrightarrow \\ \left(\sum x\right)^{2}+\left(\sum y z\right)^{2}+\sum(y z+x) \geqslant 2 \sum x \cdot \sum y z+6 \end{array}

Since
so
and
xyz=1(yz+x)6(x)2+(yz)22xyz\begin{array}{c} x y z=1 \\ \sum(y z+x) \geqslant 6 \\ \left(\sum x\right)^{2}+\left(\sum y z\right)^{2} \geqslant 2 \sum x \cdot \sum y z \end{array}

Therefore, inequality (3) holds, which means inequality (2) holds, and thus inequality (1) is proved.

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.