用 定义证明 -x^2+2X+3 在(-无穷大,1) 是增函数