数学分析 反函数存在性定理，连续性定理与求导定理

反函数存在性定理

若函数 $y = f(x), x \in D_f$ 是严格单调增加（减少）的，则存在它的反函数
$x = f^{-1}(y): R_f \rightarrow X$， 并且 $f^{-1}(y)$ 也是严格单调增加（减少）的。

证明：

不妨设 $y = f(x), x \in D_f$ 严格单调增加， 可知 $\forall x_1, x_2 \in D_f, x_1 < x_2 \Rightarrow f(x_1) < f(x_2)$， 所以 $\forall x_1, x_2 \in D_f, f(x_1) = f(x_2) \Rightarrow x_1 = x_2$， 所以存在反函数 $f^{-1}(y), y \in R_f$。
$\forall y_1, y_2 \in D_{f^{-1}} = R_f,$ 设 $x_1 = f^{-1} (y_1) ,$ $x_2 = f^{-1} (y_2),$ 则 $y_1 = y_2 \Rightarrow x_1 = x_2,$ 否则
(1) $x_1 < x_2 \Rightarrow y_1 = f(x_1) < f(x_2) = y_2,$
(2) $x_1 > x_2 \Rightarrow y_1 = f(x_1) > f(x_2) = y_2$，
因此 $f^{-1}(y)$ 也是严格单调增加（减少）的。

反函数连续性定理

设函数 $y = f(x)$ 在闭区间 $[a, b]$ 上连续且严格单调增加， f(a)=α,f(b)=β,