第一点，函数与反函数的一阶导数呈现倒数关系，

第二点，当函数x取0的时候，此时y为1,这个y就是反函数的x，所以这个式子就成立了。