Ta có:
$a(b-c)^2+b(c-a)^2+c(a-b)^2+4abc-a^3-b^3-c^3$
$=a[(b+c)^2-a^2]+b[(c-a)^2-b^2]+c[(a-b)^2-c^2]$
$=a(b+c-a)(a+b+c)+b(c-a-b)(c-a+b)+c(a-b-c)(a-b+c)$
$=(b+c-a)[a(a+b+c)+b(c-a-b)-c(a-b+c)]$
$=(b+c-a)[a(a+c-b)+b(c+a-b)-c(c+a-b)]$
$=(b+c-a)(a+c-b)(a+b-c)>0$, đpcm.