拉格朗日定理应用