可微函数的反函数一定可微，其导数与其反函数的导数互为倒数。