已知函数f(x)=2^x+2^-x,证明它在(0,+∞)上是增函数