牛顿-莱布尼兹公式（Newton-Leibnizformula），通常也被称为
微积分基本定理，揭示了定积分与被积函数的原函数或者不定积分之间的联系，牛顿-莱布尼茨公式的内容是：若函数f(x)在[a,b]上连续，且存在原函数F(x)，则f(x)在[a,b]上可积，则这即为牛顿-莱布尼茨公式，牛顿在1666年写的《流数简论》中利用运动学描述了这一公式，1677年，莱布尼茨在一篇手稿中正式提出了这一公式，因为二者最早发现了这一公式，于是命名为牛顿-莱布尼茨公式，牛顿-莱布尼茨公式给定积分提供了一个有效而简便的计算方法，大大简化了定积分的计算过程。