Maths Olympiad Prep

Library / /86 of 136

, 1997

Algebra Difficulty 8.1 Shortlist Prove it Hong Kong

Determine the maximum possible value of real number kk, for which the inequality
a1+9bc+k(bc)2+b1+9ca+k(ca)2+c1+9ab+k(ab)212 \frac{a}{1 + 9bc + k(b - c)^2} + \frac{b}{1 + 9ca + k(c - a)^2} + \frac{c}{1 + 9ab + k(a - b)^2} \ge \frac{1}{2}
is satisfied for every choice of nonnegative real numbers a,b,ca, b, c satisfying a+b+c=1a + b + c = 1.

Solution

The maximum possible value of kk is 44.

Firstly, consider a=0a = 0 and b=c=12b = c = \frac{1}{2}. The inequality becomes
0+24+k+24+k12. 0 + \frac{2}{4+k} + \frac{2}{4+k} \ge \frac{1}{2}.
Hence, we need k4k \le 4.

It remains to prove
a1+9bc+4(bc)2+b1+9ca+4(ca)2+c1+9ab+4(ab)212 \frac{a}{1 + 9bc + 4(b - c)^2} + \frac{b}{1 + 9ca + 4(c - a)^2} + \frac{c}{1 + 9ab + 4(a - b)^2} \ge \frac{1}{2}
for all nonnegative a,b,ca, b, c with a+b+c=1a + b + c = 1.

By the Cauchy-Schwarz inequality, we have
(cyca(1+9bc+4(bc)2))(cyca1+9bc+4(bc)2)(a+b+c)2=1. \left( \sum_{\text{cyc}} a(1 + 9bc + 4(b-c)^2) \right) \left( \sum_{\text{cyc}} \frac{a}{1 + 9bc + 4(b-c)^2} \right) \ge (a+b+c)^2 = 1.
So,
cyca1+9bc+4(bc)21cyca(1+9bc+4(bc)2). \sum_{\text{cyc}} \frac{a}{1 + 9bc + 4(b-c)^2} \ge \frac{1}{\sum_{\text{cyc}} a(1 + 9bc + 4(b-c)^2)}.
Therefore, it suffices to prove
cyca(1+9bc+4(bc)2)2. \sum_{\text{cyc}} a(1 + 9bc + 4(b-c)^2) \le 2.
Expanding,
cyca(1+9bc+4(bc)2)=cyca+9cycabc+4cyca(bc)2. \sum_{\text{cyc}} a(1 + 9bc + 4(b-c)^2) = \sum_{\text{cyc}} a + 9\sum_{\text{cyc}} abc + 4\sum_{\text{cyc}} a(b-c)^2.
Since a+b+c=1a + b + c = 1, cyca=1\sum_{\text{cyc}} a = 1.

Now,
cyca(bc)2=cyca(b22bc+c2)=cycab2+ac22abc. \sum_{\text{cyc}} a(b-c)^2 = \sum_{\text{cyc}} a(b^2 - 2bc + c^2) = \sum_{\text{cyc}} ab^2 + ac^2 - 2abc.
But cycab2+ac2=syma2b\sum_{\text{cyc}} ab^2 + ac^2 = \sum_{\text{sym}} a^2b.

So,
cyca(1+9bc+4(bc)2)=1+9abc+4syma2b8abc. \sum_{\text{cyc}} a(1 + 9bc + 4(b-c)^2) = 1 + 9abc + 4\sum_{\text{sym}} a^2b - 8abc.
Thus,
1+9abc+4syma2b8abc=1+abc+4syma2b. 1 + 9abc + 4\sum_{\text{sym}} a^2b - 8abc = 1 + abc + 4\sum_{\text{sym}} a^2b.
Therefore, we need
1+abc+4syma2b2. 1 + abc + 4\sum_{\text{sym}} a^2b \le 2.
Or,
abc+4syma2b1. abc + 4\sum_{\text{sym}} a^2b \le 1.
But syma2b=a2b+a2c+b2a+b2c+c2a+c2b\sum_{\text{sym}} a^2b = a^2b + a^2c + b^2a + b^2c + c^2a + c^2b.

Now, since a+b+c=1a + b + c = 1, we can homogenize the expression:
(a+b+c)33abc+4(a2b+a2c+b2a+b2c+c2a+c2b). (a + b + c)^3 \ge 3abc + 4(a^2b + a^2c + b^2a + b^2c + c^2a + c^2b).
Expanding (a+b+c)3(a + b + c)^3:
(a+b+c)3=a3+b3+c3+3(a2b+a2c+b2a+b2c+c2a+c2b)+6abc. (a + b + c)^3 = a^3 + b^3 + c^3 + 3(a^2b + a^2c + b^2a + b^2c + c^2a + c^2b) + 6abc.
So,
a3+b3+c3+3abca2b+a2c+b2a+b2c+c2a+c2b. a^3 + b^3 + c^3 + 3abc \ge a^2b + a^2c + b^2a + b^2c + c^2a + c^2b.
This is exactly Schur's inequality. So the inequality 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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.