反函数性质的应用