根据一个重要不等式
即 若a b 都是大于等于0
则有 a+b≥2倍根号（ab）
所以
e^x+e^-x≥2倍根号（e^x*x^-x）=2
得到
(e^x+e^-x)/2≥1