积分符号内取微分 (Leibniz integral rule，莱布尼茨积分法则)是一个在数学的微积分领域中很有用的运算。它是说，给定如下积分如果在formula_2时formula_3 与 formula_4 对formula_5 和 formula_6 在formula_7 平面连续, formula_8, formula_9, 且若对于formula_9, formula_11 与 formula_12 及其导数连续，那么当 formula_13时，根据全微分公式和微积分基本定理，该积