已知f(x)=lg(x+√(x^2+1),求定义域、值域,奇偶性,并证明在定义域内为单调递增函数,求反函数