函数f(x)在R上是减函数,则有：(1)f(x)的导函数f ' (x)≤0(2)对于任意x，y∈R，且x＜y，有f(x)≥f(y)(3)[f(x)-f(y)](x-y)≤0(4)若f(x)严格单调（即等号不成立），则若f(x)=0有一个解x=x_0，则x_0是f(x)=0的唯一解
f(x)的导数小于0
