Maths Olympiad Prep

Library / /20 of 42

Algebra Difficulty 5.9 AIME, harder Prove it Ireland

Suppose that aa, bb, c>0c > 0 and a2+b2+c2=3a^2 + b^2 + c^2 = 3. Prove that
a(2a+3)2+b(2b+3)2+c(2c+3)2325. \frac{a}{(2a + 3)^2} + \frac{b}{(2b + 3)^2} + \frac{c}{(2c + 3)^2} \le \frac{3}{25}.

Solution

Solution 1. Observe that
a(2a+3)2=a4a2+12a+9=a4(a1)2+20a+5a20a+5=1204a4a+1=12012014a+1. \begin{aligned} \frac{a}{(2a + 3)^2} &= \frac{a}{4a^2 + 12a + 9} = \frac{a}{4(a - 1)^2 + 20a + 5} \\ &\leq \frac{a}{20a + 5} = \frac{1}{20} \cdot \frac{4a}{4a + 1} = \frac{1}{20} - \frac{1}{20} \cdot \frac{1}{4a + 1}. \end{aligned}

So, the LHS of the original inequality does not exceed
320120(14a+1+14b+1+14c+1). \frac{3}{20} - \frac{1}{20} \left( \frac{1}{4a+1} + \frac{1}{4b+1} + \frac{1}{4c+1} \right).
It now is sufficient to prove
14a+1+14b+1+14c+135, \frac{1}{4a+1} + \frac{1}{4b+1} + \frac{1}{4c+1} \ge \frac{3}{5},
because then
a(2a+3)2+b(2b+3)2+c(2c+3)232012035=325. \frac{a}{(2a+3)^2} + \frac{b}{(2b+3)^2} + \frac{c}{(2c+3)^2} \le \frac{3}{20} - \frac{1}{20} \cdot \frac{3}{5} = \frac{3}{25}.
By the AM-HM or the Cauchy-Schwarz inequality,
14a+1+14b+1+14c+194a+4b+4c+3. \frac{1}{4a+1} + \frac{1}{4b+1} + \frac{1}{4c+1} \ge \frac{9}{4a + 4b + 4c + 3}.
Using a2+b2+c2=3a^2 + b^2 + c^2 = 3, the QM-AM inequality implies
a+b+c3a2+b2+c23=1, \frac{a+b+c}{3} \le \sqrt{\frac{a^2+b^2+c^2}{3}} = 1,
hence 4a+4b+4c+3154a + 4b + 4c + 3 \le 15 and we obtain
14a+1+14b+1+14c+1915=35, \frac{1}{4a+1} + \frac{1}{4b+1} + \frac{1}{4c+1} \ge \frac{9}{15} = \frac{3}{5},
as required.

Solution 2. Note that the function f(x)=x/(2x+3)2f(x) = -x/(2x+3)^2 is convex on the interval [0,3][0, 3], since f(x)=8(3x)(2x+3)40f''(x) = \frac{8(3-x)}{(2x+3)^4} \ge 0 for such xx. Hence, we can use Jensen's inequality, (f(a)+f(b)+f(c))/3f((a+b+c)/3)(f(a) + f(b) + f(c))/3 \ge f((a+b+c)/3), and obtain
13(a(2a+3)2+b(2b+3)2+c(2c+3)2)t(2t+3)2, \frac{1}{3} \left( \frac{a}{(2a+3)^2} + \frac{b}{(2b+3)^2} + \frac{c}{(2c+3)^2} \right) \le \frac{t}{(2t+3)^2},
where t=a+b+c3t = \frac{a+b+c}{3}. The QM-AM inequality implies ta2+b2+c23=1t \le \sqrt{\frac{a^2+b^2+c^2}{3}} = 1. Using this and (2t+3)2(2t+3)2(2t2)2=20t+5=5(4t+1)(2t+3)^2 \ge (2t+3)^2 - (2t-2)^2 = 20t + 5 = 5(4t+1), we get
t(2t+3)2t5(4t+1)=120(114t+1)120(115)=125 \frac{t}{(2t+3)^2} \le \frac{t}{5(4t+1)} = \frac{1}{20} \left( 1 - \frac{1}{4t+1} \right) \le \frac{1}{20} \left( 1 - \frac{1}{5} \right) = \frac{1}{25}
which gives the desired inequality.

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.