反函数的存在性及求法