拉格朗日中值定理怎么构造辅助函数