已知函数f(x)=e^x+ae^(-x).若f(-1)=f(1),试判断并证明f(x)在区间(0,+无穷)上的单调性