Chuyển vế :
a^4 - a^3 + b^4 - b^3 + c^4 - c^3 >= 0
<=> a^3(a - 1) + b^3(b - 1) + c^3(c - 1) - (a - 1) - (b - 1) - (c - 1) >= 0 (a + b + c = 3)
<=> (a - 1)(a^3 - 1) + (b - 1)(b^3 - 1) + (c - 1)(c^3 - 1) >= 0
<=> (a - 1)^2(a^2 + a + 1) + (b - 1)^2(b^2 + b + 1) + (c -1)^2(c^2 + c + 1) >= 0 (*)
Dễ chứng minh được a^2 + a + 1 > 0
=> (*) đúng
=> ĐPCM