Cálculo I Ayuda a mantener el sitio libre, gratuito y sin publicidad. ¡Colabora!
3.9 Diferenciabilidad de la función inversa
Sea f una función diferenciable e inyectiva en un intervalo abierto I . Entonces, puede demostrarse que su inversa f − 1 es diferenciable en cualquier punto de la imagen de f en el que f ′ ( f − 1 ( x ) ) ≠ 0 y su derivada es
d d x [ f − 1 ( x ) ] = 1 f ′ ( f − 1 ( x ) ) .
(3.522)
Ejemplo 3.9.1.
Sea f ( x ) = ( 2 x − 1 ) 2 para x > 1 / 2 . Para calcular su inversa, hacemos
y = ( 2 x − 1 ) 2
(3.523)
y = 2 x − 1
(3.524)
x = y + 1 2
(3.525)
Es decir,
f − 1 ( x ) = 1 2 ( x + 1 ) .
(3.526)
Calculando la derivada de f − 1 directamente, tenemos
d d x f − 1 ( x ) = 1 2 ( x + 1 ) ′
(3.527)
= 1 2 ⋅ 1 2 x
(3.528)
= 1 4 x
(3.529)
Ahora, usando (3.522 ) y observando que f ′ ( x ) = 8 x − 4 , obtenemos
d d x f − 1 ( x ) = 1 f ′ ( f − 1 ( x ) ) ,
(3.530)
= 1 8 ⋅ 1 2 ( x + 1 ) − 4 ,
(3.531)
= 1 4 x ,
(3.532)
como era de esperar.
Observación 3.9.1.(Derivada de la función logarítmica)
Tomando f ( x ) = e x tenemos f − 1 ( x ) = ln x y, por (3.522 ),
d d x ln x = 1 e ln x = 1 x .
(3.533)
Tomando f ( x ) = a x , a > 0 y a ≠ 1 , tenemos f − 1 ( x ) = log a x y, por (3.522 ),
d d x log a x = 1 a log a x ln a = 1 x ln a .
(3.534)
Ejemplo 3.9.2.
Vamos a calcular la derivada con respecto a x de la función
Aplicando la regla de la cadena a la derivada de la función logarítmica, tenemos
d d x ln u = 1 u d u d x .
(3.536)
Por lo tanto, tenemos
f ′ ( x ) = ( ln 1 x ) ′
(3.537)
= 1 x − 1 ⋅ ( − x − 2 )
(3.538)
= − 1 x .
(3.539)
Código 71: Python
1 from sympy import log , diff
2 from sympy . abc import x
3 diff ( log (1/ x ), x )
3.9.1 Derivadas de funciones trigonométricas inversas
Sea f ( x ) = sen x restringida a − π / 2 ≤ x ≤ π / 2 . Su inversa es la función arco seno, denotada por
Figura 3.11 : Arco seno de un ángulo en el triángulo rectángulo.
Para calcular la derivada de la función arco seno, vamos a usar (3.522 ) con f ( x ) = sen x y f ′ ( x ) = arc sen x , donde
( arc sen x ) ′ = 1 cos ( arc sen x ) .
(3.541)
Como cos ( arc sen x ) = 1 − x 2 (consultemos la Figura 3.11 ), concluimos
( arc sen x ) ′ = 1 1 − x 2 .
(3.542)
Ejemplo 3.9.3.
La regla de la cadena aplicada a la derivada de la función arco seno es
d d x arc sen u = 1 1 − u 2 d u d x .
(3.543)
Por ejemplo, tenemos
d d x arc sen x 2 = 2 x 1 − x 4 .
(3.544)
Código 72: Python
1 from sympy import diff , asin
2 from sympy . abc import x
3 diff ( asin ( x **2), x )
Con argumentos análogos a los usados en el cálculo de la derivada de la función arco seno, podemos obtener las siguientes derivadas:
( arc cos x ) ′ = − 1 1 − x 2
(3.545)
( arc tg x ) ′ = 1 1 + x 2
(3.546)
( arc cotg x ) ′ = − 1 1 + x 2
(3.547)
( arc sec x ) ′ = 1 | x | x 2 − 1
(3.548)
( arc cossec x ) ′ = − 1 | x | x 2 − 1
(3.549)
Ejemplo 3.9.4.
La regla de la cadena aplicada a la función arco tangente es
d d x arc tg u = 1 1 + u 2 d u d x .
(3.550)
Por ejemplo, tenemos
d d x arc tg x = 1 1 + ( x ) 2 d d x x
(3.551)
= 1 2 ( 1 + x ) x .
(3.552)
Código 73: Python
1 from sympy import diff , atan , sqrt
2 from sympy . abc import x
3 diff ( atan ( sqrt ( x )), x )
3.9.2 Lista de derivadas
( k u ) ′ = k u ′
(3.553)
( u ± v ) ′ = u ′ ± v ′
(3.554)
( u v ) ′ = u ′ v + u v ′
(3.555)
( u v ) ′ = u ′ v − u v ′ v 2
(3.556)
( k ) ′ = 0
(3.557)
( x ) ′ = 1
(3.558)
d d x u r = r u r − 1 d u d x
(3.559)
d d x a u = a u ln a d u d x
(3.560)
d d x e u = e u d u d x
(3.561)
d d x log a u = 1 u ln a d u d x
(3.562)
d d x ln u = 1 u d u d x
(3.563)
d d x sen u = cos ( u ) d u d x
(3.564)
d d x cos u = − sen ( u ) d u d x
(3.565)
d d x tg u = sec 2 ( u ) d u d x
(3.566)
d d x cotg u = − cossec 2 ( u ) d u d x
(3.567)
d d x sec u = sec ( u ) tg ( u ) d u d x
(3.568)
d d x cossec u = − cossec ( u ) cotg ( u ) d u d x
(3.569)
d d x arc sen u = 1 1 − u 2 d u d x
(3.570)
d d x arc cos u = − 1 1 − u 2 d u d x
(3.571)
d d x arc tg u = 1 1 + u 2 d u d x
(3.572)
d d x arc cotg u = − 1 1 + u 2 d u d x
(3.573)
d d x arc sec u = 1 | u | u 2 − 1 d u d x
(3.574)
d d x arc cossec u = − 1 | u | u 2 − 1 d u d x
(3.575)
3.9.3 Ejercicios resueltos
ER 3.9.1.
Calcule la ecuación de la recta tangente al gráfico de la función f ( x ) = ln x en el punto x = 1 . Haga, entonces, un esbozo de los gráficos de la función y de la recta tangente.
Resolución.
La ecuación de la recta tangente al gráfico de la función f ( x ) = ln x en el punto x 0 = 1 es
y = f ′ ( x 0 ) ( x − x 0 ) + f ( x 0 )
(3.576)
y = f ′ ( 1 ) ( x − 1 ) + f ( 1 ) .
(3.577)
Observando que
f ′ ( x ) = ( ln x ) ′ = 1 x ,
(3.578)
tenemos que la ecuación de la recta tangente es
y = 1 1 ( x − 1 ) + ln 1
(3.579)
y = x − 1 .
(3.580)
En la Figura 3.12 , tenemos los gráficos de la función y de su recta tangente en el punto x = 1 .
Figura 3.12 : Gráficos de la función logarítmica natural y de su recta tangente en el punto x = 1 .
Código 74: Python
1 from sympy import log , diff
2 from sympy . abc import x
3 rt = diff ( log ( x )). subs ( x ,1)*( x -1)+ log (1)
4 print ( "y = %s" % rt )
Resolución.
Recordando que
d d x arc tg x = 1 1 + x 2 ,
(3.582)
tenemos
d d x arc tg x = 1
(3.583)
1 1 + x 2 = 1
(3.584)
1 + x 2 = 1
(3.585)
x 2 = 0
(3.586)
x = 0 .
(3.587)
Resolución.
Observamos que
y = x x
(3.589)
ln y = ln x x
(3.590)
ln y = x ln x .
(3.591)
Ahora, derivando ambos lados de esta ecuación con respecto a x , obtenemos
d d x ln y = d d x ( x ln x )
(3.592)
1 y d y d x = 1 + ln x
(3.593)
d y d x = y ( 1 + ln x )
(3.594)
d x x d x = x x ( 1 + ln x ) .
(3.595)
3.9.4 Ejercicios
E. 3.9.1.
Calcule la derivada con respecto a x de las siguientes funciones:
a)
b)
Respuesta
a) f ′ ( x ) = 2 x ln 2 ; b) g ′ ( x ) = 1 + x x
E. 3.9.2.
Calcule la derivada con respecto a x de las siguientes funciones:
a)
b)
Respuesta
a) f ′ ( x ) = 2 3 x 3 ; b) g ′ ( x ) = 2 e ( 1 + 2 x ) e − 1
Respuesta
x ( 1 + x ) x − 1 + ( 1 + x ) x ln ( 1 + x )
E. 3.9.4.
Encuentre la ecuación de la recta tangente al gráfico de f ( x ) = arc tg x en el punto x = 0 .
Respuesta
Envía tu comentarioAprovecho para agradecer a todas/os que de forma asidua o esporádica contribuyen enviando correcciones, sugerencias y críticas.
Este texto se publica bajo los términos de la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional . Los íconos y elementos gráficos pueden estar sujetos a condiciones adicionales.