已知函数f(x)=负x方+2x 证明f(x)在[1,正无穷]是减函数