必要条件
√ab说明ab≥0
又1/2(a+b)>√ab≥0
所以a>0,b>0,且a≠b
反之,
由a>0,b>0只能推出
1/2(a+b)≥√ab
所以不是充分条件,更不用说充分必要了