Maths Olympiad Prep

Library / /124 of 136

Algebra Difficulty 8.5 Shortlist Prove it Hong Kong

Find the greatest positive integer kk for which the following holds: For all positive real numbers aa, bb and cc with abc=1abc = 1, we have the inequality
1a+1b+1c+ka+b+c+1k4+3. \frac{1}{a} + \frac{1}{b} + \frac{1}{c} + \frac{k}{a+b+c+1} \ge \frac{k}{4} + 3.

Solution

The greatest kk is 1313.

Firstly, consider a=b=23a = b = \frac{2}{3} and c=94c = \frac{9}{4}. They satisfy abc=1abc = 1. The inequality becomes
32+32+49+12k55k4+3, \frac{3}{2} + \frac{3}{2} + \frac{4}{9} + \frac{12k}{55} \ge \frac{k}{4} + 3,
i.e. 497k220\frac{4}{9} \ge \frac{7k}{220}. As kk is a positive integer, this implies k13k \le 13.

We now prove the inequality
1a+1b+1c+13a+b+c+1134+3=254. \frac{1}{a} + \frac{1}{b} + \frac{1}{c} + \frac{13}{a+b+c+1} \ge \frac{13}{4} + 3 = \frac{25}{4}.
Let the left-hand side be f(a,b,c)f(a, b, c). WLOG assume cbac \ge b \ge a. We first prove that
f(a,b,c)f(ab,ab,c). f(a, b, c) \ge f(\sqrt{ab}, \sqrt{ab}, c).
Note that the new triple still satisfies (ab)(ab)(c)=1(\sqrt{ab})(\sqrt{ab})(c) = 1. Now,
f(a,b,c)f(ab,ab,c)1a+1b2ab132ab+c+113a+b+c+1(ab)2ab13(ab)2(2ab+c+1)(a+b+c+1). \begin{align*} f(a, b, c) &\ge f(\sqrt{ab}, \sqrt{ab}, c) \\ \Leftrightarrow \quad & \frac{1}{a} + \frac{1}{b} - \frac{2}{\sqrt{ab}} \ge \frac{13}{2\sqrt{ab} + c + 1} - \frac{13}{a + b + c + 1} \\ \Leftrightarrow \quad & \frac{(\sqrt{a} - \sqrt{b})^2}{ab} \ge \frac{13(\sqrt{a} - \sqrt{b})^2}{(2\sqrt{ab} + c + 1)(a + b + c + 1)}. \end{align*}
It suffices to show (2ab+c+1)(a+b+c+1)13ab(2\sqrt{ab}+c+1)(a+b+c+1) \ge 13ab. Indeed, since a+b2aba+b \ge 2\sqrt{ab}, we only need to prove
2ab+c+113ab. 2\sqrt{ab} + c + 1 \ge \sqrt{13ab}.
As cbac \ge b \ge a and abc=1abc = 1, we have c1c \ge 1. Therefore, we have c(c+1)2\sqrt{c}(c+1) \ge 2. This implies
c+12c=2ab>(132)ab. c + 1 \ge \frac{2}{\sqrt{c}} = 2\sqrt{ab} > (\sqrt{13} - 2)\sqrt{ab}.
This proves f(a,b,c)f(ab,ab,c)f(a, b, c) \ge f(\sqrt{ab}, \sqrt{ab}, c).

After this mixing step, it remains to consider the case f(t,t,1t2)f\left(t, t, \frac{1}{t^2}\right) where t>0t > 0. Now,
f(t,t,1t2)2542t+t2+13t22t3+t2+12548t6+4t550t4+47t3+8t225t+80(t1)2(8t4+20t318t29t+8)0. \begin{align*} f\left(t, t, \frac{1}{t^2}\right) &\ge \frac{25}{4} \\ \Leftrightarrow \quad & \frac{2}{t} + t^2 + \frac{13t^2}{2t^3 + t^2 + 1} \ge \frac{25}{4} \\ \Leftrightarrow \quad & 8t^6 + 4t^5 - 50t^4 + 47t^3 + 8t^2 - 25t + 8 \ge 0 \\ \Leftrightarrow \quad & (t-1)^2(8t^4 + 20t^3 - 18t^2 - 9t + 8) \ge 0. \end{align*}

It remains to prove 8t4+20t318t29t+808t^4 + 20t^3 - 18t^2 - 9t + 8 \ge 0 for t>0t > 0. Indeed, the left-hand side is equal to
(8t2+30t)(t58)2+132(524t2663t+256). (8t^2 + 30t) \left(t - \frac{5}{8}\right)^2 + \frac{1}{32}(524t^2 - 663t + 256).
The first term is nonnegative since t>0t > 0. Since 66324(524)(256)<0663^2 - 4(524)(256) < 0, the last term is nonnegative. This proves the inequality and we are done.

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.