求证f(x)=-x2+2x+3f(x)=-x2+2x+3在区间[1,正无穷)上为减函数