用三段论证明:函数f(x)=-x2+2x在(负无穷,1]上是增函数