a的平方+b的平方大于ab

应该是
a的平方+b的平方大于等于ab

不然a=b=0 时不成立。

a的平方+b的平方-ab=（a^2+b^2)/2+(a-b)^2/2>=0

a的平方+b的平方大于等于2ab 公理
当不是a=b=0时才成立
当a=0或b=0时成立
当ab>0 2ab>ab 则成立
当ab<0肯定成立；
综合可得 但不是a=b=0时 都成立

a*a+b*b-a*b=(a-b/2)*(a-b/2)+3*b*b/4>=0
此式前后两项都是平方项肯定大于等于零但只要两个平方项不同时为零就可以，只在当a.b都为零时等式才为零，所以要使a的平方加上b的平方大于ab只需使a.b不同时为零就可以