Maths Olympiad Prep

Library / /16 of 87

Algebra Difficulty 5.5 AIME, harder Prove it Serbia

Problem:

Let a,ba, b and cc be positive real numbers for which a+b+c=1a+b+c=1 holds. Prove:
a2b+1+b2c+1+c2a+12(a2+b2+c2) a \sqrt{2 b+1}+b \sqrt{2 c+1}+c \sqrt{2 a+1} \leqslant \sqrt{2-\left(a^{2}+b^{2}+c^{2}\right)}

Solution

Solution:

By squaring both sides and using the equality 1(a2+b2+c2)=2(ab+bc+ca)1-\left(a^{2}+b^{2}+c^{2}\right)=2(ab+bc+ca), the inequality from the problem reduces to
L=2a2b+2b2c+2c2a+2ab(2b+1)(2c+1)+2bc(2c+1)(2a+1)+2ca(2a+1)(2b+1)D=4(ab+bc+ca). \begin{aligned} L= & 2 a^{2} b+2 b^{2} c+2 c^{2} a+ \\ & 2 a b \sqrt{(2 b+1)(2 c+1)}+2 b c \sqrt{(2 c+1)(2 a+1)}+2 c a \sqrt{(2 a+1)(2 b+1)} \\ \leqslant D= & 4(ab+bc+ca) . \end{aligned}
By the AM-GM inequality we have 2ab(2b+1)(2c+1)ab(2b+2c+2)2ab \sqrt{(2b+1)(2c+1)} \leqslant ab(2b+2c+2) and analogously 2bc(2c+1)(2a+1)bc(2c+2a+2)2bc \sqrt{(2c+1)(2a+1)} \leqslant bc(2c+2a+2) and 2ca(2a+1)(2b+1)ca(2a+2b+2)2ca \sqrt{(2a+1)(2b+1)} \leqslant ca(2a+2b+2), so by adding we obtain
L2(a2b+b2c+c2a+ab2+bc2+ca2+3abc)+2(ab+bc+ca)=2(a+b+c+1)(ab+bc+ca)=4(ab+bc+ca)=D \begin{aligned} L \leqslant & 2\left(a^{2} b+b^{2} c+c^{2} a+ab^{2}+bc^{2}+ca^{2}+3abc\right)+2(ab+bc+ca)= \\ & 2(a+b+c+1)(ab+bc+ca)=4(ab+bc+ca)=D \end{aligned}

Second solution. The function f(x)=xf(x)=\sqrt{x} is concave because f(x)=2/xf^{\prime}(x)=2 / \sqrt{x} is a decreasing function. By applying Jensen's inequality with weights a,ba, b and cc we obtain
a2b+1+b2c+1+c2a+1a(2b+1)+b(2c+1)+c(2a+1)=1+2(ab+bc+ca)=2(a2+b2+c2) \begin{aligned} a \sqrt{2 b+1}+b \sqrt{2 c+1}+c \sqrt{2 a+1} & \leqslant \sqrt{a(2 b+1)+b(2 c+1)+c(2 a+1)} \\ & =\sqrt{1+2(ab+bc+ca)}=\sqrt{2-\left(a^{2}+b^{2}+c^{2}\right)} \end{aligned}

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 translated into English from sr; metadata (topic, difficulty) added by this project.