反函数

满足 f(f^(−1)(x)) = x 的反函数 f^(−1)；包括存在条件（单射）、代数求法以及关于 y = x 的对称性。