由均值不等式(a+b)/2>=√ab, 当a=b时取等号,
因x1x2,所以有:
[f(x1)+f(x2)]/2=(2^x1+2^x2)/2>√(2^x1*2^x2)=2^(x1+x2)=f[(x1+x2)/2]