牛顿-莱布尼茨公式,通常也被称为微积分基本定理,揭示了定积分与被积函数的原函数或者不定积分之间的联系。
1670年,英国数学家伊萨克·巴罗在他的著作《几何学讲义》中以几何形式表达了切线问题是面积问题的逆命题,这实际是牛顿-莱布尼茨公式的几何表述。1666年10月,牛顿在它的第一篇微积分论文《流数简论》中解决了如何根据物体的速度求解物体的位移这一问题,并讨论了如何根据这种运算求解曲线围成的面积,首次提出了微积分基本定理。
牛顿-莱布尼茨公式的发现,使人们找到了解决曲线的长度,曲线围成的面积和曲面围成的体积这些问题的一般方法。它简化了定积分的计算,只要知道被积函数的原函数,总可以求出定积分的精确值或一定精度的近似值。