拉格朗日定理的推论：如果函数的导数在某区间上为0，那么此函数在这个区间上恒为常数。 我们知道常数的导数为0，是对常数求导，这个推论是反向推回去，即函数导数为0，这个函数恒为常数。就像微分和积分，都知道是反运算，但是让你计算一道积分，总不能写因为f(x)求导=被积函数，所以原函数等于啥吧，运算中需要用到四种基本积分法，就算背住了答案那步骤也要写出来，才给分。这里也是这个样子，都知道导数为0的是常数，但是要有依据。
