如果函数满足

  1. 在闭区间上连续
  2. 在开区间内可微
  3. 对任意
    那么在内至少有一点,使等式

    成立