Prove that $3(a^3+b^3+c^3) > (a+b+c)(a^2+b^2+c^2)$

You can express the inequality as

$$ \frac{a^3+b^3+c^3}{3} > \frac{a+b+c}{3} \frac{a^2+b^2+c^2}{3}$$

or

$$ [m_3(a,b,c)]^3 > [m_1(a,b,c)] \; [m_2(a,b,c)]^2 $$

where $m_p$ is the generalized power (Hölder) $p$-mean. Applying the (important) property that $m_p > m_q$ whenever $p>q$ (and the values are not all equal), you're done.


There is a fairly general way to prove inequalities like this using rearrangement, but just for fun, let me show you how you can prove a large class of inequalities like this by repeated use of AM-GM. First subtract $a^3, b^3, c^3$ from the RHS, then symmetrically sum the inequalities

$$a^3 + a^3 + b^3 \ge 3 a^2 b.$$

Essentially I am using weighted AM-GM with rational coefficients. Here are some exercises that can be solved using this idea.

Exercise 1. Prove that if $n > 1$ is a positive integer and $a > 0$, then

$$\frac{1 + a + ... + a^n}{a + a^2 + ... + a^{n-1}} \ge \frac{n+1}{n-1}.$$

Exercise 2. Let $a, b, c \ge 0$. Prove that

$$a^5 + b^5 + c^5 \ge 5abc(b^2 - ac).$$

(Weighted AM-GM isn't necessarily the best way to solve either of these problems; it's just the argument I came up with first.)


The result is also a consequence of the Chebyshev (sum) Inequality. This is a quite useful result, not the least for contest problems! It can be proved by using the Rearrangement Inequality, which is also useful to know. For completeness, we state the full result, though only half of it is needed here.

Theorem: (Chebyshev Inequality) Suppose that $a_1 \le a_2 \le \cdots \le a_n$ and $b_1 \le b_2 \le \cdots \le b_n$.

Let $m=a_1b_n + a_2b_{n-1} +\cdots + a_nb_1$ and $M=a_1b_1+a_2b_2+\cdots + a_nb_n$. Then $$nm \le (a_1+a_2+\cdots+a_n)(b_1+b_2+\cdots +b_n) \le nM$$ with equality only happening when all the $a_i$ are equal or all the $b_i$ are equal.

To apply the result to our problem, we can without loss of generality assume that $a \le b \le c$. Let $a_1=a$, $a_2=b$, $a_3=c$, $b_1=a^2$, $b_2=b^2$, and $b_3=c^2$.

Then the conditions of Chebyshev's Inequality are met, and $M=a^3+b^3+c^3$. We can then read off our inequality from the Chebyshev Inequality.

Note that the Chebyshev Inequality yields an immediate generalization of the $3$ variable inequality of the question to $n$ variables.

Tags:

Inequality