函数在R上是增函数,则导数在R上大于等于0且恒不为0,那解出X后,如何去验证导数不恒为0函数