已知函数f(x)=log2(-x)用定义证明f(x)在D上是减函数