a=b 可以推出:(a2+b2)/2>=ab
反之 :(a2+b2)/2>=ab,则a.b不一定相等,a,b可以取任意实数
所以是充分不必要条件不是如果a、b>0, 才能推均值不等式定理吗？又不知道a、b是否大于0？a^2+b^2>=2aba,b∈Ra+b>=2√aba,b>0二者有区别