Maths Olympiad Prep

Library / /1 of 8

Algebra Difficulty 7.5 National olympiad, round 2 Prove it Balkan Mathematical Olympiad

For all aa, bb, cc positive real numbers with a2b+a2c+b2a+b2c+c2a+c2b=1a^2b + a^2c + b^2a + b^2c + c^2a + c^2b = 1, show that
ab+bc+ca1+2abc(a+b+c)24. \frac{ab + bc + ca}{1 + 2abc} \le \frac{(a + b + c)^2}{4}.

Solution

Lemma. For positive aa, bb, cc, xx, yy, zz, it holds that ax+by+cz+2ab+bc+caxy+yz+zx(a+b+c)(x+y+z)ax + by + cz + 2\sqrt{ab + bc + ca}\sqrt{xy + yz + zx} \le (a + b + c)(x + y + z)

*Proof.* Use Cauchy-Schwarz inequality
ax+by+cz+2ab+bc+caxy+yz+zxa2+b2+c2x2+y2+z2+ab+bc+caxy+yz+zx+ab+bc+caxy+yz+zxa2+b2+c2+2ab+2bc+2cax2+y2+z2+2xy+2yz+2zx=(a+b+c)(x+y+z) \begin{aligned} ax + by + cz + 2\sqrt{ab + bc + ca}\sqrt{xy + yz + zx} & \le \sqrt{a^2 + b^2 + c^2}\sqrt{x^2 + y^2 + z^2} + \sqrt{ab + bc + ca}\sqrt{xy + yz + zx} + \sqrt{ab + bc + ca}\sqrt{xy + yz + zx} \\ & \le \sqrt{a^2 + b^2 + c^2 + 2ab + 2bc + 2ca}\sqrt{x^2 + y^2 + z^2 + 2xy + 2yz + 2zx} = (a + b + c)(x + y + z) \end{aligned}
Take (x,y,z)=(ab+c,ba+c,ca+b)(x, y, z) = (\frac{a}{b+c}, \frac{b}{a+c}, \frac{c}{a+b}) in the lemma. First we observe
xy+yz+zx=a2b+a2c+b2a+b2c+c2a+c2b(a+b)(b+c)(c+a)=11+2abc \sqrt{xy + yz + zx} = \sqrt{\frac{a^2b + a^2c + b^2a + b^2c + c^2a + c^2b}{(a+b)(b+c)(c+a)}} = \frac{1}{\sqrt{1+2abc}}
By the lemma, we have
2ab+bc+caxy+yz+zx(a+b+c)(x+y+z)axbycz 2\sqrt{ab + bc + ca}\sqrt{xy + yz + zx} \le (a + b + c)(x + y + z) - ax - by - cz
2ab+bc+ca1+2abcay+az+bx+bz+cx+cy \frac{2\sqrt{ab + bc + ca}}{\sqrt{1 + 2abc}} \le ay + az + bx + bz + cx + cy
2ab+bc+ca1+2abcx(b+c)+y(c+a)+z(a+b)=a+b+c \frac{2\sqrt{ab + bc + ca}}{\sqrt{1 + 2abc}} \le x(b + c) + y(c + a) + z(a + b) = a + b + c
And finally, squaring both sides, we get the desired inequality
ab+bc+ca1+2abc(a+b+c)24 \frac{ab + bc + ca}{1 + 2abc} \le \frac{(a + b + c)^2}{4}

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.