反函数求导公式推导

首先要保证函数y=f（x）在包含a点的开区间I上严格单调且连续,如果这函数在a点可导并且导数f'（a）≠0,那么反函数x=g（y）在点b=f（a）可导,且g'（b）=1/f'（a）=1/f'（g（b））.
证明：在所给条件下,函数x=g（y）也严格单调且连续.于是,当y≠b,y→b时,有g（y）≠g（b）,g（y）→g（b）.因而：
lim[（g（y）→g（b））/（y-b）]=lim1/[（y-b）/（g（y）→g（b））]=lim1/[(f（x）-f（a）)/（x-a）]=1/f'（a）=1/f'（g（b））.