定义：设函数x=v(y)在某区间内单调且连续，又在该区间内某点y0处有导数V'(y0)≠0，则其反函数y=f(x)在y0的对应点x0(x0=v(y0))处有导数，且f'(x0)=1/V'(y0)