formula_1进行逆运算的功能，在某种程度上，"抵消" formula_2的作用 (准确定义请参阅反函数)。formula_2的反函数记作formula_4。 和 所表示含义相同。它们的两个导数（假设存在)，是可逆的，正如莱布尼兹符号所示这链式规则的直接结果，因为formula_8相对于 formula_8 的导数为1。使用拉格朗日记法明确表达 formula_10和 formula_8的依赖关系和微分。反函数的导数为该表述等价于其中 formula_14 表示一元微分算子 (在