定积分定理是微积分中的核心概念，主要包含以下几个重要内容：

一、牛顿-莱布尼茨公式（第一基本定理）

如果函数 $f（x）$ 在闭区间 $[a, b]$ 上连续，且存在原函数 $F（x）$（即 $F'（x） = f（x）$），则定积分 $int_{a}^{b} f（x） , dx$ 存在，并且等于原函数在区间端点的值之差：

$$

int_{a}^{b} f(x) , dx = F(b) - F(a)

$$

补充说明 ：若 $f（x）$ 在 $[a, b]$ 上可积，则其不定积分 $int f（x） , dx$ 存在，但反之不一定成立（例如狄利克雷函数）。

二、原函数存在定理（达布定理）

如果函数 $f（x）$ 在区间 $（a, b）$ 上连续，则存在可导函数 $F（x）$，使得 $F'（x） = f（x）$。该定理保证了连续函数的原函数存在性。

三、定积分的存在性条件

连续函数可积 ：若 $f（x）$ 在闭区间 $[a, b]$ 上连续，则 $f（x）$ 在该区间上可积。

有界且间断点有限 ：若 $f（x）$ 在 $[a, b]$ 上有界且仅有有限个间断点，则 $f（x）$ 在该区间上可积。

四、定积分与不定积分的关系

计算关系 ：若 $int_{a}^{b} f（x） , dx$ 存在，则它是一个具体数值；不定积分 $int f（x） , dx$ 是一族函数（原函数），两者通过微分运算相关联。

存在性差异 ：函数可存在不定积分但定积分不存在（如绝对值函数在包含零点的区间），或存在定积分但不存在不定积分（如某些分段函数）。

五、几何与物理意义

定积分可表示曲边梯形的面积（如变上限积分），在物理中常用于计算位移、功等。

总结 ：定积分定理以牛顿-莱布尼茨公式为核心，结合原函数存在性和可积条件，构建了定积分的计算框架，是微积分学的重要基础。