\begin{proof}
$$(f^{-1}(f(x)))'=x'=1 \Rightarrow f^{-1}'(f(x_0))\cdot f'(x_0)=1 \Rightarrow f^{-1} ' (f(x_0))=\frac{1}{f'(x_0)} $$
\end{proof}
דוגמה לשימוש:\begin{example}
$\sin $ באופן כללי לא חח"ע אבל צמצום הפונקציה אל $[-frac{\pi}{2},\frac{\pi}{2}] יביא פונקציה חח"ע שהיא על $[-1,1] $ ואז ניתן להגדיר פונקציה הפוכה $\arcsin : [-1,1]\to [-\frac{\pi}{2},\frac{\pi}{2}] $ . מה הנגזרת שלה?
$$\arcsin'(\sin(x))=\frac{1}{\cos x} \Rightarrow \arcsin'(x)=\frac{1}{\cos \arcsin(x)} =\frac{1}{\sqrt{1-\sin^2 (\arcsin(x))}} = \frac{1}{\sqrt{1-x^2}} $$
\end{example}