导数恒为零的函数是常数