Si $f(x)=x^3+e^\frac{x}{2}$ Necesitamos calcular $$\frac{d}{dx} \left(f^{-1}(x)\right) \text{at$ ~~x=1 $}$$ Intenté encontrar $f^{-1}(x)$ pero no pude
Una pista que recibí decía Si $f(x)$ y $g(x)$ son inversas entre sí, entonces $$f^{'}(\alpha).g^{'}(\beta)=1$$
Dónde $(\alpha,\beta)$ es cualquier punto de $f(x)$
Esto me ayudó a obtener la respuesta, pero ¿cómo podemos demostrar la condición anterior dada como una pista?
Todas las sugerencias para deducir la condición son bienvenidas