展开 验证拉格朗日中值定理对函数在区间的正确性