Xét hiệu:
a3+b3+c3-3abc=a3+3a2b+3ab2+b3+c3-3a2b-3ab2-3abc
=(a+b)3+c3-3ab.(a+b+c)
=(a+b+c)[(a+b)2-(a+b).c+c2]-3ab.(a+b+c)
=(a+b+c)(a2+2ab+b2-ac-bc+c2)-3ab.(a+b+c)
=(a+b+c)(a2+2ab+b2-ac-bc+c2-3ab)
=(a+b+c)(a2-ab+b2-ac-bc+c2)
ta lại có:
2.(a2-ab+b2-ac-bc+c2)
=2a2-2ab+2b2-2ac-2bc+2c2
=a2-2ab+b2+b2-2bc+c2+a2-2ac+c2
=(a-b)2+(b-c)2+(a-c)2\(\ge\)0 với mọi a,b,c
=>2.(a2-ab+b2-ac-bc+c2)\(\ge\)0
<=>a2-ab+b2-ac-bc+c2\(\ge\)0
ta có thêm a,b,c\(\ge\)0
=>(a+b+c)(a2-ab+b2-ac-bc+c2)\(\ge\)0 với mọi a,b,c
=>a3+b3+c3-3abc\(\ge\)0
<=>a3+b3+c3\(\ge\)3abc
Áp dụng BĐT cô si với ba số không âm ta có :
\(a^3+b^3+c^3\ge3\sqrt[3]{a^3b^3c^3}=3\sqrt[3]{\left(abc\right)^3}=3abc\)
=> ĐPCM
