Since the give inequality is symmetrical in a, b,c there is no loss of generality in assuming that
a ≥ b ≥ c.
∴ a2 (a − b)(a − c) + b2 (b − c)(b − a) + c2 (c − a)(c − b)
= (a − b) {a2 (a − c) − b2 (b − c)} + c2 (c − a)(c − b)
= (a − b) {(a3 − b3 ) − c(a2 − b2 )} + c2 (a − c)(b − c)
= (a − b) {(a − b)(a2 + ab + b2 ) − c (a − b)(a + b)} + c2 (a − c)(b − c)
= (a − b)2 {(a2 + ab + b2 − c(a + b)} + c2 (a − c)(b − c)}
= (a − b)2 {(a2 + ab + b2 − ca − c} + c2 (a − c)(b − c)
= (a − b)2 {a(a − c) + b(b − c) + ab} + c2 (a − c)(b − c)
Which is non-negative because each term of RHS is non-negative since a ≥ b ≥ c And a, b, c be non-negative
Thus,
a2 (a − b)(a − c) + b2 (b − c)(b − a) + c2 (c − a)(c − b) ≥ 0.