两个互为反函数的乘积