反函数与原函数的导数乘积的关系