拉格朗日中值定理证明题构造函数