设a>0,f(x)=(e^x/a+a/e^x)是R上的偶函数,求a的值;证明f(x)在0到正无穷是增函数