底数2>1,2^x恒>0
[f(x1)+f(x2)]/2/f[(x1+x2)/2]
=[(2^x1+2^x2)/2]/2^[(x1+x2)/2]
=[2^(x1-1)+2^(x2-1)]/2^[(x1+x2)/2]
=2^[x1-1 -(x1+x2)/2] +2^[x2-1-(x1+x2)/2]
=2^[(x1-x2)/2 -1]+2^[(x2-x1)/2 -1]
=(1/2)[2^[(x1-x2)/2] +1/2^[(x1-x2)]/2]
由均值不等式得2^[(x1-x2)/2]+1/2^[(x1-x2)/2]≥2,当且仅当x1=x2时取等号.
(1/2)[2^[(x1-x2)/2] +1/2^[(x1-x2)]/2]≥1
[f(x1)+f(x2)]/2≥f[(x1+x2)/2],当且仅当x1=x2时取等号