另外也可以证明一个给定函数的反导数实际上是一个只相差一常数的方程组。例如，考虑函数formula_105，当中formula_106为任意常数，则其导数均为formula_107；后者的反导数可被写为：反导数中的未知常数formula_106被称为积分常数。
微积分基本定理.微积分基本定理（Fundamental Theorem of Calculus）又称微积分基本公式，证实微分和积分互为逆运算。更精确地说，它将一个反导数的具体值与定积分联系起来。因为计算反导数通常比应用定积