微积分基本定理
定义
如果函数在区间上连续，并且存在原函数
，
则
[1]
弱化条件
如果函数区间
上有定义，并且满足以下条件：
（1）在区间
上可积；
（2）在区间上存在原函数
；
则
[3]
公式推导
推导一
定义一个变上限积分函数，让函数获得增量
，则对应的函数增量
根据积分中值定理可得，
，（ξ在x与x+Δx之间）
，
所以
，
因为
，所以，即所以
即
证毕。[1]
推导二
因为函数在区间上可积，任取区间
的分割
在区间上任取一点
，则有
其次，对于分割
，有
在区间上对函数
应用拉格朗日中值定理得
其中
因此有
证毕。[3]
定理推广
二重积分形式
设函数在矩形区域上连续，如果存在一个二元函数
，使得
，
则二重积分
[4]
曲线积分形式
与格林公式和高斯定理的联系
设D为单连通区域，与
在区域D上有连续的一阶偏导数，
若存在一个二元函数
，使得
在区域D中任意取两个点，则对连接
的任意一条光滑曲线L，
都有
[4]
发展简史
1670年，英国数学家伊萨克·巴罗在他的着作《几何学讲义》中以几何形式表达了切线问题是面积问题的逆命题，这实际是牛顿-莱布尼茨公式的几何表述。[5]
1666年10月，牛顿在它的第一篇微积分论文《流数简论》中解决了如何根据物体的速度求解物体的位移这一问题，并讨论了如何根据这种运算求解曲线围成的面积，首次提出了微积分基本定理。[2]
德国数学家莱布尼茨在研究微分三角形时发现曲线的面积依赖于无限小区间上的纵坐标值和，1677年，莱布尼茨在一篇手稿中明确陈述了微积分基本定理：给定一个曲线，其纵坐标为y，如果存在一条曲线z，使得dz/dx=y，则曲线y下的面积∫ydx=∫dz=z。[6]
定理意义
牛顿-莱布尼茨公式的发现，使人们找到了解决曲线的长度，曲线围成的面积和曲面围成的体积这些问题的一般方法。它简化了定积分的计算，只要知道被积函数的原函数，总可以求出定积分的精确值或一定精度的近似值。
牛顿-莱布尼茨公式是联系微分学与积分学的桥梁，它是微积分中最基本的公式之一。它证明了微分与积分是可逆运算，同时在理论上标志着微积分完整体系的形成，从此微积分成为一门真正的学科。[7]
牛顿-莱布尼茨公式是积分学理论的主干，利用牛顿一莱布尼茨公式可以证明定积分换元公式，积分第一中值定理和积分型余项的泰勒公式。牛顿-莱布尼茨公式还可以推广到二重积分与曲线积分，从一维推广到多维。[8]
公式应用
牛顿-莱布尼茨公式简化了定积分的计算，利用该公式可以计算曲线的弧长，平面曲线围成的面积以及空间曲面围成的立体体积，这在实际问题中有广泛的应用，例如计算坝体的填筑方量。[1][9]
牛顿-莱布尼茨公式在物理学上也有广泛的应用，计算运动物体的路程，计算变力沿直线所做的功以及物体之间的万有引力。[1]
牛顿-莱布尼茨公式促进了其他数学分支的发展，该公式在微分方程，傅里叶变换，概率论，复变函数等数学分支中都有体现。
