《拉格朗日中值定理别名》