已知函数f(x)=log2 1-x/1+x,证明单调性,求不等式f(x)>1的解集