5.2 逆函数及其实现