原函数单调可导,那么反函数