若函数 y=f(x),x∈Df 是严格单调增加（减少）的，则存在它的反函数 x=f−1(y):Rf→X ， 并且 f−1(y) 也是严格单调增加（减少）的。

不妨设 y=f(x),x∈Df 严格单调增加， 可知 ∀x1,x2∈Df,x1