判断函数f(x)=(10^x+10^-x)/2的单调性,并作出证明