减函数
设函数f(x)的定义域为I:如果对于定义域I内某个区间D上的任意两个自变量的值 $x_1,x_2,当x_1<x_2时,都有f(x_1)>f(x_2)$,那么就说函数f(x)在区间D上是减函数