Ta có :
a2b ( a - b ) + b2c ( b - c ) + c2a ( c - a )
= ( a3b + b3c + c3a ) - ( a2b2 + b2c2 + c2a2 )
= \(abc\left(\frac{a^2}{c}+\frac{b^2}{a}+\frac{c^2}{b}\right)-\left(abc\right)^2\left(\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\right)\)
\(\ge abc.\left(\frac{\left(a+b+c\right)^2}{a+b+c}\right)-\left(abc\right)^2.\frac{9}{a^2+b^2+c^2}=abc\left(a+b+c\right)-\left(abc\right)^2.\frac{9}{a^2+b^2+c^2}\)
Mà \(\left(a+b+c\right)^3\ge27abc\)
\(abc\left(a+b+c\right)-\left(abc\right)^2.\frac{9}{a^2+b^2+c^2}\ge abc\left[\left(a+b+c\right)-\frac{\left(a+b+c\right)^3}{3\left(a^2+b^2+c^2\right)}\right]\)
\(=\frac{abc}{3\left(a^2+b^2+c^2\right)}\left[3\left(a+b+c\right)\left(a^2+b^2+c^2\right)-\left(a+b+c\right)^3\right]\)
\(=\frac{abc}{3\left(a^2+b^2+c^2\right)}2\left(a^3+b^3+c^3-3abc\right)\)
vì a3 + b3 + c3 - 3abc \(\ge\)0 nên a2b(a - b ) + b2c ( b - c ) + c2a ( c - a ) \(\ge\)0
