展开 用罗尔定理证明拉格朗日中值定理辅助函数