证明函数F(X)=[根号(X²+1)]-X是减函数