判断函数f(X)=x²-1在[1,+∞)上的单调性,并加以证明