证明不等式(2^a+2^b)/2≥2^(a+b/2)