定积分求导是一个常见的微积分问题，通常用于求函数在某个区间上的导数，或者在某个点处的导数。我们可以通过微积分基本定理（Fundamental Theorem of Calculus）来解决这个问题。
✅ 一、定积分求导的公式
设函数 $ f(x) $ 在区间 $[a, b]$ 上连续，那么：
$$ \frac{d}{dx} \left[ \int_{a}^{b} f(x) \, dx \right] = 0 $$
也就是说，定积分的导数是零，因为定积分是一个关于 $ x $ 的常数，不依赖于 $ x $。
✅ 二、定积分的导数（变量在积分上限或下限变化）
如果积分的上下限是关于 $ x $ 的函数，即：
$$ \frac{d}{dx} \left[ \int_{a(x)}^{b(x)} f(x) \, dx \right] = f(b(x)) \cdot b'(x) - f(a(x)) \cdot a'(x) $$
这是牛顿-莱布尼茨公式的推广，用于求变量在积分上下限变化时的导数。
✅ 三、例子说明
例 1：求 $ \frac{d}{dx} \left[ \int_{0}^{x} \sin(t) \, dt \right] $
根据定积分的导数公式：
$$ \frac{d}{dx} \left[ \int_{0}^{x} \sin(t) \, dt \right] = \sin(x) $$
例 2：求 $ \frac{d}{dx} \left[ \int_{x}^{2} e^t \, dt \right] $
根据公式：
$$ \frac{d}{dx} \left[ \int_{x}^{2} e^t \, dt \right] = -e^x $$
例 3：求 $ \frac{d}{dx} \left[ \int_{1}^{x^2} \cos(t) \, dt \right] $
$$ \frac{d}{dx} \left[ \int_{1}^{x^2} \cos(t) \, dt \right] = \cos(x^2) \cdot \frac{d}{dx}(x^2) = \cos(x^2) \cdot 2x $$
✅ 四、总结
| 情况 | 导数 |
|---|---|
| 定积分 $ \int_{a}^{b} f(x) \, dx $ | 0 |
| 定积分 $ \int_{a(x)}^{b(x)} f(x) \, dx $ | $ f(b(x)) \cdot b'(x) - f(a(x)) \cdot a'(x) $ |
| 定积分 $ \int_{a}^{b} f(x) \, dx $，其中 $ a $ 和 $ b $ 是常数 | 0 |
| 定积分 $ \int_{a}^{b} f(x) \, dx $，其中 $ a $ 和 $ b $ 是关于 $ x $ 的函数 | $ f(b(x)) \cdot b'(x) - f(a(x)) \cdot a'(x) $ |
✅ 五、结论
- 定积分的导数是 0，如果积分上下限都是常数。
- 如果积分上下限是关于 $ x $ 的函数，则导数是： $$ f(b(x)) \cdot b'(x) - f(a(x)) \cdot a'(x) $$
如果你有具体的积分表达式，我也可以帮你求导！