Maths Olympiad Prep

Library / /43 of 94

Algebra Difficulty 5.9 AIME, harder Prove it Hong Kong

For any positive real numbers aa, bb, cc, prove that
(ab+bc+ca)(1(a+b)2+1(b+c)2+1(c+a)2)94. (ab + bc + ca) \left( \frac{1}{(a+b)^2} + \frac{1}{(b+c)^2} + \frac{1}{(c+a)^2} \right) \ge \frac{9}{4}.

Solution

(Iran TST 1996) Since the expressions are homogeneous, WLOG we may assume ab+bc+ca=1ab + bc + ca = 1. We need to minimize
f(a,b,c)=1(a+b)2+1(b+c)2+1(c+a)2. f(a, b, c) = \frac{1}{(a+b)^2} + \frac{1}{(b+c)^2} + \frac{1}{(c+a)^2}.
WLOG assume abca \ge b \ge c. Let tt be the positive root to t2+2ct=1t^2 + 2ct = 1, so that (t)(t)+(t)(c)+(c)(t)=1(t)(t) + (t)(c) + (c)(t) = 1, which means the triple (t,t,c)(t, t, c) also satisfies the constraint.
Claim. We have f(a,b,c)f(t,t,c)f(a, b, c) \ge f(t, t, c).
Proof. Firstly, we have
f(t,t,c)=14t2+2(t+c)2=14t2+2t2+2ct+c2. f(t, t, c) = \frac{1}{4t^2} + \frac{2}{(t+c)^2} = \frac{1}{4t^2} + \frac{2}{t^2 + 2ct + c^2}.
For the latter term, observe that t2+2ct=1=ab+bc+cat^2 + 2ct = 1 = ab + bc + ca. Therefore, we obtain
2t2+2ct+c2=2ab+bc+ca+c2=2(c+a)(c+b). \frac{2}{t^2 + 2ct + c^2} = \frac{2}{ab + bc + ca + c^2} = \frac{2}{(c+a)(c+b)}.
For the former term, we claim that t2abt^2 \ge ab. Suppose on the contrary that t2<abt^2 < ab. Then we also have a+b2ab>2ta+b \ge 2\sqrt{ab} > 2t. But this implies
ab+bc+ca=ab+c(a+b)>t2+2ct, ab + bc + ca = ab + c(a + b) > t^2 + 2ct,
which is a contradiction. Therefore, t2abt^2 \ge ab, and hence
14t214ab. \frac{1}{4t^2} \le \frac{1}{4ab}.
Now, it suffices to show f(a,b,c)14ab+2(c+a)(c+b)f(a, b, c) \ge \frac{1}{4ab} + \frac{2}{(c+a)(c+b)}. Indeed,
f(a,b,c)14ab+2(c+a)(c+b)1(b+c)2+1(c+a)22(c+a)(c+b)14ab1(a+b)2((c+a)(c+b))2(c+a)2(c+b)2(a+b)24ab4ab(a+b)2(ab)2(c+a)2(c+b)2(ab)24ab(a+b)2. \begin{align*} f(a, b, c) &\ge \frac{1}{4ab} + \frac{2}{(c+a)(c+b)} \\ \Leftrightarrow \quad &\frac{1}{(b+c)^2} + \frac{1}{(c+a)^2} - \frac{2}{(c+a)(c+b)} \ge \frac{1}{4ab} - \frac{1}{(a+b)^2} \\ \Leftrightarrow \quad &\frac{((c+a) - (c+b))^2}{(c+a)^2(c+b)^2} \ge \frac{(a+b)^2 - 4ab}{4ab(a+b)^2} \\ \Leftrightarrow \quad &\frac{(a-b)^2}{(c+a)^2(c+b)^2} \ge \frac{(a-b)^2}{4ab(a+b)^2}. \end{align*}
This is true since
(c+a)2(c+b)2(b+a)2(b+b)2=4b2(a+b)24ab(a+b)2 (c+a)^2(c+b)^2 \le (b+a)^2(b+b)^2 = 4b^2(a+b)^2 \le 4ab(a+b)^2
using the assumption abca \ge b \ge c. This proves the claim. \square

By the claim, it remains to prove f(t,t,c)94f(t, t, c) \ge \frac{9}{4} for any positive real numbers tt and cc satisfying t2+2ct=1t^2 + 2ct = 1. Now, using c=1t22tc = \frac{1-t^2}{2t},
f(t,t,c)9414t2+2(t+c)29414t2+8t2(1+t2)2949t6+15t47t2+14t2(1+t2)20(1t2)(13t2)24t2(1+t2)20. \begin{align*} f(t, t, c) &\ge \frac{9}{4} \\ \Leftrightarrow \quad \frac{1}{4t^2} + \frac{2}{(t+c)^2} &\ge \frac{9}{4} \\ \Leftrightarrow \quad \frac{1}{4t^2} + \frac{8t^2}{(1+t^2)^2} &\ge \frac{9}{4} \\ \Leftrightarrow \quad \frac{-9t^6 + 15t^4 - 7t^2 + 1}{4t^2(1+t^2)^2} &\ge 0 \\ \Leftrightarrow \quad \frac{(1-t^2)(1-3t^2)^2}{4t^2(1+t^2)^2} &\ge 0. \end{align*}
As 1=t2+2ct>t21 = t^2 + 2ct > t^2, this inequality is true. Equality holds when t=13t = \frac{1}{3}, i.e. a=b=ca = b = c. (Note that if we allow at most one aa, bb, cc to be 00, equality also holds when t=1t = 1, i.e. a=ba = b and c=0c = 0 up to permutation.)

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.