已知函数f(x)=-x^+2x,证明f(x)在[1,正无穷)上是减函数