Maths Olympiad Prep

Library / /11 of 32

Algebra Difficulty 5.5 AIME, harder Prove it Romania

Let aa, bb, c>0c > 0 be real numbers so that a+b+c=1a + b + c = 1. Prove that
bc+a+1a2+1+ca+b+1b2+1+ab+c+1c2+13910. \frac{bc + a + 1}{a^2 + 1} + \frac{ca + b + 1}{b^2 + 1} + \frac{ab + c + 1}{c^2 + 1} \le \frac{39}{10}.

Solution

(Solution by Lenca Cuturela) Since a+b+c=1a + b + c = 1, we have aa2=ab+caa - a^2 = ab + ca, so
bc+a+1a2+1=1+bc+aa2a2+1=1+ab+bc+caa2+1, \frac{bc + a + 1}{a^2 + 1} = 1 + \frac{bc + a - a^2}{a^2 + 1} = 1 + \frac{ab + bc + ca}{a^2 + 1},
and the similar relations. The inequality to be proven is equivalent with
1a2+1+1b2+1+1c2+1910(ab+bc+ca).() \frac{1}{a^2 + 1} + \frac{1}{b^2 + 1} + \frac{1}{c^2 + 1} \le \frac{9}{10(ab + bc + ca)}. \quad (*)
Let m=ab+bc+cam = ab + bc + ca; then a2+b2+c2=12ma^2 + b^2 + c^2 = 1 - 2m and, because ab+bc+caa2+b2+c2ab + bc + ca \le a^2 + b^2 + c^2, we have 0<m130 < m \le \frac{1}{3}.
Since 1a2+1=1a2a2+1\frac{1}{a^2 + 1} = 1 - \frac{a^2}{a^2 + 1}, we can rewrite the inequality to be proven as
a2a2+1+b2b2+1+c2c2+13910m. \frac{a^2}{a^2 + 1} + \frac{b^2}{b^2 + 1} + \frac{c^2}{c^2 + 1} \ge 3 - \frac{9}{10m}.
Using a variant of Cauchy-Schwarz inequality, we have
a2a2+1+b2b2+1+c2c2+1(a+b+c)2a2+b2+c2+3=142m. \frac{a^2}{a^2 + 1} + \frac{b^2}{b^2 + 1} + \frac{c^2}{c^2 + 1} \ge \frac{(a+b+c)^2}{a^2 + b^2 + c^2 + 3} = \frac{1}{4-2m}.
It is enough to prove that 142m3910m\frac{1}{4-2m} \ge 3 - \frac{9}{10m}, that is (3m1)(5m9)0(3m-1)(5m-9) \ge 0, which is true, because m(0,13]m \in (0, \frac{1}{3}]. The equality holds when a=b=ca = b = c and m=13m = \frac{1}{3}, so a=b=c=13a = b = c = \frac{1}{3}.

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.