a4+b4 >= a3b+ab3
<=> chuyển vế phải qua
<=> a3(a-b)+b3(a-b)>=0
<=> (a-b)(a3-b3)>=0
<=> (a-b)(a-b)(a2+ab+b2)>=0
<=> (a-b)2(a2+ab+b2)>=0
vì (a-b)2 luôn >= 0
a2ab+b2>=0 (luôn luôn)
<=> a^4 + b^4 - a^3b - ab^3 >= 0
<=> a^3( a -b) + b^3(a -b) >= 0
<=> (a -b)(a^3 + b^3) >= 0
<=> (a -b)^2 (a^2 + ab + b^2) >= 0 ; (luôn đúng vs mọi a,b)
=> Đpcm
ta có a4+b4 - a3b -ab3 = (a-b)2((a+b)2 - ab)\(\ge\)0
vậy a4+b4 >=a3b +ab3