用定义法证明证明f(x)=-x^2+2x+m在(-无穷,1]为增函数