可以放宽到证明函数f(x)=-x^2+2x+3在区间(-∞,1]上是增函数
在(-∞,1]上任取x1,x2
设x1