Olympiad Maths Prep

Track / Stage 7 / 152 of 300 #1552 of 2000

Problem 1552

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.4 Prove it

Problem 77. Let a,b,ca, b, c be non-negative real numbers. Prove that
a4a3+b3+b4b3+c3+c4c3+a3a+b+c2\frac{a^{4}}{a^{3}+b^{3}}+\frac{b^{4}}{b^{3}+c^{3}}+\frac{c^{4}}{c^{3}+a^{3}} \geq \frac{a+b+c}{2}

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution. Notice that
2a4a3+b3a3(ab)2=(ab)(a(a2+ab+b2)a3+b332)=2b2+abb23(a3+b3)(ab)2\frac{2 a^{4}}{a^{3}+b^{3}}-a-\frac{3(a-b)}{2}=(a-b)\left(\frac{a\left(a^{2}+a b+b^{2}\right)}{a^{3}+b^{3}}-\frac{3}{2}\right)=\frac{2 b^{2}+a b-b^{2}}{3\left(a^{3}+b^{3}\right)}(a-b)^{2}

Therefore the inequality can be transformed to
Sa(bc)2+Sb(ac)2+Sc(ab)20S_{a}(b-c)^{2}+S_{b}(a-c)^{2}+S_{c}(a-b)^{2} \geq 0
in which the coefficients Sa,Sb,ScS_{a}, S_{b}, S_{c} are
Sa=3c2+bcb2b3+c3;Sb=3a2+cac2c3+a3;Sc=3b2+aba2a3+b3S_{a}=\frac{3 c^{2}+b c-b^{2}}{b^{3}+c^{3}} ; \quad S_{b}=\frac{3 a^{2}+c a-c^{2}}{c^{3}+a^{3}} ; \quad S_{c}=\frac{3 b^{2}+a b-a^{2}}{a^{3}+b^{3}}

The first case. If abca \geq b \geq c, then clearly Sb0S_{b} \geq 0 and
Sb+2Sc=3a2+cac2c3+a3+2(3b2+aba2)a3+b33a2c3+a32a2a3+b30a2Sb+2b2Sa=a2(3a2+cac2)c3+a3+2b2(3c2+bcb2)b3+c33a4c3+a32b4c3+b30\begin{aligned} S_{b}+2 S_{c} & =\frac{3 a^{2}+c a-c^{2}}{c^{3}+a^{3}}+\frac{2\left(3 b^{2}+a b-a^{2}\right)}{a^{3}+b^{3}} \geq \frac{3 a^{2}}{c^{3}+a^{3}}-\frac{2 a^{2}}{a^{3}+b^{3}} \geq 0 \\ a^{2} S_{b}+2 b^{2} S_{a} & =\frac{a^{2}\left(3 a^{2}+c a-c^{2}\right)}{c^{3}+a^{3}}+\frac{2 b^{2}\left(3 c^{2}+b c-b^{2}\right)}{b^{3}+c^{3}} \geq \frac{3 a^{4}}{c^{3}+a^{3}}-\frac{2 b^{4}}{c^{3}+b^{3}} \geq 0 \end{aligned}

So we conclude that
2cycSa(bc)2(Sb+2Sc)(ab)2+(bc)2(2Sa+a2b2Sb)02 \sum_{c y c} S_{a}(b-c)^{2} \geq\left(S_{b}+2 S_{c}\right)(a-b)^{2}+(b-c)^{2}\left(2 S_{a}+\frac{a^{2}}{b^{2}} S_{b}\right) \geq 0

The second case. If cbac \geq b \geq a, then clearly Sa,Sc0S_{a}, S_{c} \geq 0 and
Sa+2Sb=3c2+bcb2b3+c3+2(3a2+cac2)c3+a33c2+bcb3+c32c2a3+c30Sc+2Sb=3b2+aba2a3+b3+2(3a2+cac2)c3+a33b2a3+b32c2c3+a30\begin{array}{l} S_{a}+2 S_{b}=\frac{3 c^{2}+b c-b^{2}}{b^{3}+c^{3}}+\frac{2\left(3 a^{2}+c a-c^{2}\right)}{c^{3}+a^{3}} \geq \frac{3 c^{2}+b c}{b^{3}+c^{3}}-\frac{2 c^{2}}{a^{3}+c^{3}} \geq 0 \\ S_{c}+2 S_{b}=\frac{3 b^{2}+a b-a^{2}}{a^{3}+b^{3}}+\frac{2\left(3 a^{2}+c a-c^{2}\right)}{c^{3}+a^{3}} \geq \frac{3 b^{2}}{a^{3}+b^{3}}-\frac{2 c^{2}}{c^{3}+a^{3}} \geq 0 \end{array}

We conclude that
2cycSa(bc)2(Sa+2Sb)(bc)2+(2Sb+Sc)(ab)202 \sum_{c y c} S_{a}(b-c)^{2} \geq\left(S_{a}+2 S_{b}\right)(b-c)^{2}+\left(2 S_{b}+S_{c}\right)(a-b)^{2} \geq 0

The proof is finished and the equality holds for a=b=ca=b=c.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.