如何证明函数的单调性

在定义域（-∞，0）上取x1，x2，使得x1＞x2
f（x1）-f（x2）=x1²+1-（x2²+1）
=x1²-x2²
=（x1+x2）（x1-x2）
∵x1,x2均在（-∞，0）上
∴x1,x2都小于0
∴x1+x2＜0
∵x1＞x2
∴x1-x2＞0
∴（x1+x2）（x1-x2）＜0
f（x1）-f（x2）＜0
f（x1）＜f（x2）
∴函数f（x）=x2+1在（-∞，0）上是减函数

根据定义来证明，
在（-∞，0）任取x1和x2,并设x1<x2
f(x1)=x1^2+1,f(x2)=x2^2+1
f(x1)-f(x2)=x1^2-x2^2
=(x1-x2)(x1+x2)
因为x1<x2<0
所以x1+x2<0
x1-x2<0
所以(x1-x2)(x1+x2)>0
所以f(x1)<f(x2)
即在（-∞，0）上，函数值随x的增大而减小，所以函数在（-∞，0）上单调递减。
当然也可以用导数证明。不过我猜你还没学？那就用定义。定义法证明常常作差或做商比较大小，再根据单调性定义判断

可以用求导的方法:
f'(x)=2x x<0 f'(x)<0
函数f（x）=x2+1在（-∞，0）上是减函数

也可以用下面的方法:
设x1,x2在定义域内,且0>x2>x1

f(x2)-f(x1)
=x2^2-x1^2
=(x2+x1)(x2-x1)
x2+x1<0
x2-x1>0
f(x2)-f(x1)<0
f(x2)<f(x1)
函数f（x）=x^2+1在（-∞，