Maths Olympiad Prep

Library / /4 of 50

Algebra Difficulty 4.7 AIME Prove it Belarus

Positive real aa, bb, cc satisfy the condition
ab+c+bc+a+ca+b=1+16(ac+ba+cb). \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} = 1 + \frac{1}{6} \left( \frac{a}{c} + \frac{b}{a} + \frac{c}{b} \right).
Prove that
a3bcb+c+b3cac+a+c3aba+b16(ab+bc+ca)2. \frac{a^3bc}{b+c} + \frac{b^3ca}{c+a} + \frac{c^3ab}{a+b} \ge \frac{1}{6}(ab + bc + ca)^2.
(I. Voronovich)

Solution

By the Cauchy-Bunyakovskii inequality, we have
(a2b+b2c+c2a)(a+b+c)(ab+bc+ca)2.() (a^2b + b^2c + c^2a)(a+b+c) \ge (ab + bc + ca)^2. \quad (*)

Now consider the given equality. Multiplying both its sides by (a+b+c)abc(a+b+c)abc, we get
A=(a+b+c)(a2bcb+c+b2cac+a+c2aba+b)=abc(a+b+c)+(a+b+c)(a2b+b2c+c2a)6[see ()]abc(a+b+c)+16(ab+bc+ca)2. A = (a+b+c)\left(\frac{a^2bc}{b+c} + \frac{b^2ca}{c+a} + \frac{c^2ab}{a+b}\right) = abc(a+b+c) + \frac{(a+b+c)(a^2b + b^2c + c^2a)}{6} \geq \text{[see } (*)\text{]} \geq abc(a+b+c) + \frac{1}{6}(ab+bc+ca)^2.
Further,
A=cyc(a3bcb+c+a2bc)=cyca3bcb+c+abc(a+b+c)abc(a+b+c)=16(ab+bc+ca)2, A = \sum_{cyc} \left(\frac{a^3bc}{b+c} + a^2bc\right) = \sum_{cyc} \frac{a^3bc}{b+c} + abc(a+b+c) \geq abc(a+b+c) = \frac{1}{6}(ab+bc+ca)^2,
whence the required inequality follows.

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.