a^2 + b^2 >= ab
<=> a^2 + b^2 -ab >= 0
<=> a^2 - ab + (1/4)b^2 + (3/4)b^2 >= 0
<=> {a - (1/2)b}^2 + (3/4)b^2 >=0
{a - (1/2)b}^2 luôn >= 0
(3/4)b^2 luôn >=0 ==> a^2+b^2 luôn >=0
Bài toán của bạn đưa về giải bất đẳng thức
a^2 + b^2 >= ab
<=> a^2 + b^2 -ab >= 0
<=> a^2 - ab + (1/4)b^2 + (3/4)b^2 >= 0
<=> {a - (1/2)b}^2 + (3/4)b^2 >=0
{a - (1/2)b}^2 luôn >= 0
(3/4)b^2 luôn >=0 ==> a^2+b^2 luôn >=0
* Lưu ý: ab = 2.(1/2).ab
b^2 = (1/4).b^2 + (3/4).b^2