牛顿-莱布尼茨公式：微积分中的核心定理

牛顿-莱布尼茨公式（也称为牛顿-莱布尼茨公式、莱布尼茨公式或变限积分求导公式）是微积分中的一个重要定理，将导数和定积分联系起来。它是由英国数学家艾萨克·牛顿和德国数学家戈特弗里德·莱布尼茨同时独立发现的。

公式表述如下：

设 $f(x)$ 是一个连续函数，则对于 $a$ 到 $x$ 的定积分的导数为：

$$\frac{d}{dx}\int_a^x f(t)dt = f(x)$$

其中 $a$ 是一个常数。换句话说，定积分的导数是原函数。

该公式表明，对于一个连续函数的定积分，其导数就是该函数本身。这意味着，如果我们知道一个函数的原函数，我们可以轻松地计算其定积分。此外，该公式也可用于证明一些微积分定理，如基本定理、换元积分法等。

需要注意的是，牛顿-莱布尼茨公式只适用于连续函数。对于不连续的函数，需要使用更加复杂的方法来计算其积分。