用函数单调性的定义证明:f(x)=a^x+a^(-x)在(0,正无穷)上是增函数(这里a>0且a不等于1)