已知f(x)=2^x+2^-x 判断f(x)在(0,正无穷)上的单调性并加以证明