证明 (e^x+e^y)/2>e^(x+y)/2