拉格朗日定理用法