Производная обратной функции

Пусть \(f\) определена на \((a, b)\), \(c \in (a, b)\), \(f \in D(c)\), \(f^{\prime}(c) \cancel{=} 0\). Пусть также \(f\) строго монотонна и непрерывна на \((a, b)\). Тогда \(f^{-1} \in D(f(c))\) и \((f^{-1})^{\prime}(f(c)) = \dfrac{1}{f^{\prime}(c)}\)