展开 拉格朗日中值定理推柯西中值定理