请参阅反函数)。formula_2的反函数记作formula_4。 和 所表示含义相同。它们的两个导数（假设存在)，是可逆的，正如莱布尼兹符号所示这链式规则的直接结果，因为formula_8相对于 formula_8 的导数为1。使用拉格朗日记法明确表达 formula_10和 formula_8的依赖关系和微分。反函数的导数为该表述等价于其中 formula_14 表示一元微分算子 (在函数的空间上)， formula_15 表示二元复合算子。几何上，函数和反函数有关于直线 .