已知函数f(x)=ln(e^x-e^-x)/2,则f(x)是,奇偶性,单调,证明