第一要义:

由此衍生的定理有:

即:

通常会使用后一个公式表示,反函数的导数互为倒数

可以看出