反函数的定义中，对任意x0, 有y0=f^-1(x0) ，且 x0=f(y0)所以对任意x0,f[f^-1(x0)] =f(y0) =x0 ，由任意性，可得f[f^-1(x)]=x反过来，对于函数y=f(x),任意x0，有y0=f(x0)， 根据反函数性质，有x0=f^-1(y0)f^-1[f(x0)] = f^-1(y0) = x0
请验收
