Maths Olympiad Prep

Library / IRL ABooklet /91 of 191

IRL ABooklet

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)2≤325. \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(a−1)2+20a+5≤a20a+5=120⋅4a4a+1=120−120⋅14a+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
320−120(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+1≥35, \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)2≤320−120⋅35=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+1≥94a+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+c3≤a2+b2+c23=1, \frac{a+b+c}{3} \le \sqrt{\frac{a^2+b^2+c^2}{3}} = 1,
hence 4a+4b+4c+3≤154a + 4b + 4c + 3 \le 15 and we obtain
14a+1+14b+1+14c+1≥915=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(3−x)(2x+3)4≥0f''(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))/3≥f((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 t≤a2+b2+c23=1t \le \sqrt{\frac{a^2+b^2+c^2}{3}} = 1. Using this and (2t+3)2≥(2t+3)2−(2t−2)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)2≤t5(4t+1)=120(1−14t+1)≤120(1−15)=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.