a^4 +b^4 >= ab^3 +a^3 b (1)
<=> 4a^4 +4b^4 - 4ab(a^2 +b^2) >= 0
<=> [(a^2 +b^2 )^2 - 4ab(a^2 +a^2) +4a^2 b^2 ] +3a^4 +3b^4 -6a^2 b^2 >=0
<=> (a -b )^4 +3(a^4 + b^4 -2a^2 b^2 ) >= 0 (2)
cos (a-b )^4 >= 0
a^4 + b^4 >= 2a^2 b^2 (co si có thể không cần co si cũng được )
=> (2) đúng => (1) đúng => dpcm
b) a^2 +b^2 +1 >= ab +a+b (1)
<=>2a^2 +2b^2 +2 -2ab -2a-2b >=0
<=>[a^2 +b^2 -2ab ] +[a^2 -2a +1] +[b^2 -2b +1 ] >=0
<=>(a -b)^2 +(a-1)^2 + (b-1)^2 >=0 (2)
(2) đúng (1) đúng => dpcm