反函數

滿足 f(f^(−1)(x)) = x 的反函數 f^(−1)；包括存在條件（單射）、代數求法以及關於 y = x 的對稱性。