拉格朗日定理积分形式