(f(x1)+f(x2))/2-f（(x1+x2)/2)
=(2^x1+2^x2)/2-2^((x1+x2)/2)
≥√(2^x1*2^x2)-2^((x1+x2)/2) (几何不等式)
=0
所以结论成立.