已知函数f(x)=1/x-log2(1+x)/(1-x) 判断f(x)的单调性,并予以证明.