函数，说的简单点，就是一个映射法则，反函数就是互为逆映射。有了这个概念就好办了。假设g(x0)=y0，所以f(y0)=x0，所以f(g(x0))=f(y0)=x0，由于x0的普遍性，所以，对所有定义域内的x都有f(g(x))=x，得证
