fx=ln(2^x-1)/(2^x+1)证明函数在定义域上增函数