mula_46。下面给出这函数是 formula_1 的反导函数的证明：证明：进一步可知：formula_1 的反导函数中在点 formula_57上取值为 formula_58 的只有一个，就是formula_59。这也可以看作是微积分基本定理另一个表达形式。不连续的函数也可以有反导函数，例如考虑函数formula_60：这个函数在0上不连续，但可以验证函数：formula_64（formula_61时），formula_66 是 formula_67 的反导函数。许多看似很“