用定义法证明函数f(x)=-x2+3x+1在(负无穷大,1)是增函数