不等式左边=[2^x1+2^x2]/2>2根号(2^x1*2^x2)/2=根号2^(x1+x2){因为x1不等于x2,所以等号取不到}
不等式右边=2^[(x1+x2)/2]=根号2^(x1+x2)得证