f(x)=log2(1+x)/(1-x)在(-1,1)上是增函数(定义证明).