反函数的性质