它们在 formula_16 轴同一点的斜率都是一样的。
性质.反导函数存在定理：若函数f(x)在区间上连续，则f(x)在区间上存在反导函数。
微积分基本定理.不定积分的一个重要应用是计算定积分，微积分基本定理建立了两者间的关系。微积分基本定理：如果函数 formula_17是闭区间 formula_18 上的连续函数，formula_19 是 formula_1 在 formula_21 上的一个反导函数，那么有证明：取区间formula_23的