Maths Olympiad Prep

Library / /227 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Let a,b,ca, b, c be non-negative real numbers such that a+b+c=1a+b+c=1.
Prove that

5+2b+c21+a+5+2c+a21+b+5+2a+b21+c13 \frac{5+2 b+c^{2}}{1+a}+\frac{5+2 c+a^{2}}{1+b}+\frac{5+2 a+b^{2}}{1+c} \geqslant 13

Solution

Let SS be the sum

5+2b+c21+a+5+2c+a21+b+5+2a+b21+c \frac{5+2 b+c^{2}}{1+a}+\frac{5+2 c+a^{2}}{1+b}+\frac{5+2 a+b^{2}}{1+c}

Let xix_{i} be the ith i^{\text {th }} smallest element of the set {a,b,c}\{a, b, c\}. The rearrangement inequality indicates that

b1+a+c1+b+a1+cx11+x1+x21+x2+x31+x3 and c21+a+a21+b+b21+cx121+x1+x221+x2+x321+x3, \begin{aligned} & \frac{b}{1+a}+\frac{c}{1+b}+\frac{a}{1+c} \geqslant \frac{x_{1}}{1+x_{1}}+\frac{x_{2}}{1+x_{2}}+\frac{x_{3}}{1+x_{3}} \text { and } \\ & \frac{c^{2}}{1+a}+\frac{a^{2}}{1+b}+\frac{b^{2}}{1+c} \geqslant \frac{x_{1}^{2}}{1+x_{1}}+\frac{x_{2}^{2}}{1+x_{2}}+\frac{x_{3}^{2}}{1+x_{3}}, \end{aligned}

so that

S5+2x1+x121+x1+5+2x2+x221+x2+5+2x3+x321+x34(11+x1+11+x2+11+x3)+(1+x1)+(1+x2)+(1+x3)4+4(11+x1+11+x2+11+x3) \begin{aligned} S & \geqslant \frac{5+2 x_{1}+x_{1}^{2}}{1+x_{1}}+\frac{5+2 x_{2}+x_{2}^{2}}{1+x_{2}}+\frac{5+2 x_{3}+x_{3}^{2}}{1+x_{3}} \\ & \geqslant 4\left(\frac{1}{1+x_{1}}+\frac{1}{1+x_{2}}+\frac{1}{1+x_{3}}\right)+\left(1+x_{1}\right)+\left(1+x_{2}\right)+\left(1+x_{3}\right) \\ & \geqslant 4+4\left(\frac{1}{1+x_{1}}+\frac{1}{1+x_{2}}+\frac{1}{1+x_{3}}\right) \end{aligned}

The function f:x1/(1+x)\mathrm{f}: \mathrm{x} \mapsto 1 /(1+x) being convex, we also know that

11+x1+11+x2+11+x3=f(x1)+f(x2)+f(x3)3f(x1+x2+x33)=3f(1/3)=9/4 \frac{1}{1+x_{1}}+\frac{1}{1+x_{2}}+\frac{1}{1+x_{3}}=f\left(x_{1}\right)+\mathbf{f}\left(x_{2}\right)+\mathbf{f}\left(x_{3}\right) \geqslant 3 \mathbf{f}\left(\frac{x_{1}+x_{2}+x_{3}}{3}\right)=3 \mathbf{f}(1 / 3)=9 / 4

We deduce that S4+9=13S \geqslant 4+9=13.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.