28. Let a,b,c be positive real numbers, prove: 3(a+b+c)⩾83abc+33a3+b3+c3. (2006 Austrian Mathematical Olympiad)
This one wants a proof. Work it on paper, then read the official solution and mark
yourself. Be honest about it: the record is only any use to you if it is.
Official solution
28. From the generalization of Cauchy's inequality, we have (abc+abc+⋯+abc+3a3+b3+c3)⋅(1+1+⋯+1+1)(1+1+⋯+1+1)⩾(3abc+3abc+⋯+3abc+33a3+b3+c3)3
That is, 81(8abc+3a3+b3+c3)⩾(83abc+33a3+b3+c3)3
We now prove that [3(a+b+c)]3⩾81(8abc+3a3+b3+c3), which is equivalent to (a+b+c)3⩾24abc+a3+b3+c3
This inequality is equivalent to a(b2+c2)+b(c2+a2)+c(a2+b2)⩾6abc, which can be easily obtained by the AM-GM inequality. □
Therefore, 3(a+b+c)⩾83abc+33a3+b3+c3
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.