rmula_5 和 formula_6 在formula_7 平面连续, formula_8, formula_9, 且若对于formula_9, formula_11 与 formula_12 及其导数连续，那么当 formula_13时，根据全微分公式和微积分基本定理，该积分对formula_14的导数为注意formula_16项的负号来源于对积分下限求导。如果 formula_17 和 formula_18 是常数而不是 formula_14 的 函数，那么此时的特殊情况可看做交换积分