判断函数y=1/(x^2-1)的单调性,并证明.