Olympiad Maths Prep

Track / Stage 7 / 172 of 300 #1572 of 2000

Problem 1572

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

55. In ABC\triangle ABC, consider the inequality: a3+b3+c3<k(a+b+c)(ab+bc+ca)a^{3}+b^{3}+c^{3}<k(a+b+c)(ab+bc+ca).
(1) When k=1k=1, prove that the inequality holds;
(2) Find the smallest real number kk such that the inequality always holds. (2010 Albanian National Training Team)

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

55. (1) When k=1k=1, (a+b+c)(ab+bc+ca)(a3+b3+c3)=a2(b+(a+b+c)(a b+b c+c a)-\left(a^{3}+b^{3}+c^{3}\right)=a^{2}(b+ ca)+b2(c+ab)+c2(a+bc)+3abc>0c-a)+b^{2}(c+a-b)+c^{2}(a+b-c)+3 a b c>0, so $a^{3}+b^{3}+c^{3} & \frac{a^{3}+b^{3}+c^{3}}{(a+b+c)(a b+b c+c a)}= \\
& \frac{2\left(x^{3}+y^{3}+z^{3}\right)+3[x y(x+y)+y z(y+z)+z x(z+x)]}{2\left(x^{3}+y^{3}+z^{3}\right)+8[x y(x+y)+y z(y+z)+z x(z+x)]+18 x y z} \\
& k-1>-\frac{5[x y(x+y)+y z(y+z)+z x(z+x)]+18 x y z}{2\left(x^{3}+y^{3}+z^{3}\right)+8[x y(x+y)+y z(y+z)+z x(z+x)]+18 x y z}
\end{aligned} To ensure the above inequality always holds, $k \geqslant 1$. Another proof when $a=b=n, c=1$, \begin{aligned}
k> & \frac{2 n^{3}+1}{(2 n+1)\left(n^{2}+2 n\right)}=\frac{2 n^{3}+1}{2 n^{3}+5 n^{2}+2 n} \\
& \lim _{n \rightarrow \infty_{i}} \frac{2 n^{3}+1}{2 n^{3}+5 n^{2}+2 n}=1
\end{aligned}

Therefore, kmin =1k_{\text {min }}=1.

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