判断函数f(x)=log2 (x+1)/(x-1)在(负无穷,-1)单调性,并用定义加以证明