拉格朗日中值定理构造辅助函数数学小论文