Cálculo I Colabore! 
3.9  Diferenciabilidade da função inversa 
Seja f I f − 1 f f ′  ( f − 1  ( x ) ) ≠ 0 
d d  x  [ f − 1  ( x ) ] = 1 f ′  ( f − 1  ( x ) ) . (3.517)  
 
Exemplo 3.9.1.
 
Seja f  ( x ) = ( 2  x − 1 ) 2 x > 1 / 2 
y = ( 2  x − 1 ) 2 (3.518)  
y = 2  x − 1 (3.519)  
x = y + 1 2 (3.520)  
Ou seja,
f − 1  ( x ) = 1 2  ( x + 1 ) . (3.521)  
Calculando a derivada de f − 1 
d d  x  f − 1  ( x ) = 1 2  ( x + 1 ) ′ (3.522)  
= 1 2 ⋅ 1 2  x (3.523)  
= 1 4  x (3.524)  
Agora, usando (3.517 f ′  ( x ) = 8  x − 4 
d d  x  f − 1  ( x ) = 1 f ′  ( f − 1  ( x ) ) , (3.525)  
= 1 8 ⋅ 1 2  ( x + 1 ) − 4 , (3.526)  
= 1 4  x , (3.527)  
como esperado.
 
 
Observação 3.9.1.(Derivada da função logarítmica) 
 
•  
Tomando f  ( x ) = e x f − 1  ( x ) = ln  x 3.517 
 
d d  x  ln  x = 1 e ln  x = 1 x . (3.528)  
 
 
•  
Tomando f  ( x ) = a x a > 0 a ≠ 1 f − 1  ( x ) = log a  x 3.517 
 
d d  x  log a  x = 1 a log a  x  ln  a = 1 x  ln  a . (3.529)  
 
 
 
 
 
Exemplo 3.9.2.
 
Vamos calcular a derivada em relação a x 
Aplicando a regra da cadeia na derivada da função logarítmica, temos
d d  x  ln  u = 1 u  d  u d  x . (3.531)  
Portanto, temos
f ′  ( x ) = ( ln  1 x ) ′ (3.532)  
= 1 x − 1 ⋅ ( − x − 2 ) (3.533)  
= − 1 x . (3.534)  
 
No SymPy , temos:
1      from   sympy   import   * 
2      x   =   Symbol ( 'x' ) 
3      diff ( log (1/ x ), x ) 
4      -1/ x 
 
 
 
3.9.1  Derivadas de funções trigonométricas inversas 
Seja f  ( x ) = sen  x − π / 2 ≤ x ≤ π / 2 
 
Figura 3.11 : Arco seno de um ângulo no triângulo retângulo. 
Para calcular a derivada da função arco seno, vamos usar (3.517 f  ( x ) = sen  x f ′  ( x ) = arc  sen  x 
( arc  sen  x ) ′ = 1 cos  ( arc  sen  x ) . (3.536)  
Como cos  ( arc  sen  x ) = 1 − x 2 3.11 
( arc  sen  x ) ′ = 1 1 − x 2 . (3.537)  
 
Exemplo 3.9.3.
 
A regra da cadeia aplicada à derivada da função arco seno é
d d  x  arc  sen  u = 1 1 − u 2  d  u d  x . (3.538)  
 
Por exemplo, temos
d d  x  arc  sen  x 2 = 2  x 1 − x 4 . (3.539)  
 
No SymPy , temos:
1      from   sympy   import   * 
2      x   =   Symbol ( 'x' ) 
3      diff ( asin ( x **2), x ) 
4      2* x / sqrt (- x **4   +   1) 
 
 
 
Com argumentos análogos aos usados no cálculo da derivada da função arco seno, podemos obter as seguintes derivadas:
( arc  cos  x ) ′ = − 1 1 − x 2 (3.540)  
( arc  tg  x ) ′ = 1 1 + x 2 (3.541)  
( arc  cotg  x ) ′ = − 1 1 + x 2 (3.542)  
( arc  sec  x ) ′ = 1 | x |  x 2 − 1 (3.543)  
( arc  cosec  x ) ′ = − 1 | x |  x 2 − 1 (3.544)  
 
Exemplo 3.9.4.
 
A regra da cadeia aplicada a função arco tangente é
d d  x  arc  tg  u = 1 1 + u 2  d  u d  x . (3.545)  
 
Por exemplo, temos
d d  x  arc  tg  x = 1 1 + ( x ) 2  d d  x  x (3.546)  
= 1 2  ( 1 + x )  x . (3.547)  
 
No SymPy , temos:
1      from   sympy   import   * 
2      x   =   Symbol ( 'x' ) 
3      diff ( atan ( sqrt ( x ))) 
4      1/(2* sqrt ( x )*( x   +   1)) 
 
 
 
 
3.9.2  Lista de derivadas 
( k  u ) ′ = k  u ′ (3.548)  
( u ± v ) ′ = u ′ ± v ′ (3.549)  
( u  v ) ′ = u ′  v + u  v ′ (3.550)  
( u v ) ′ = u ′  v − u  v ′ v 2 (3.551)  
( k ) ′ = 0 (3.552)  
( x ) ′ = 1 (3.553)  
d d  x  u r = r  u r − 1  d  u d  x (3.554)  
d d  x  a u = a u  ln  a  d  u d  x (3.555)  
d d  x  e u = e u  d  u d  x (3.556)  
d d  x  log a  u = 1 u  ln  a  d  u d  x (3.557)  
d d  x  ln  u = 1 u  d  u d  x (3.558)  
d d  x  sen  u = cos  ( u )  d  u d  x (3.559)  
d d  x  cos  u = − sen  ( u )  d  u d  x (3.560)  
d d  x  tg  u = sec 2  ( u )  d  u d  x (3.561)  
d d  x  cotg  u = − cossec 2  ( u )  d  u d  x (3.562)  
d d  x  sec  u = sec  ( u )  tg  ( u )  d  u d  x (3.563)  
d d  x  cossec  u = − cossec  ( u )  cotg  ( u )  d  u d  x (3.564)  
d d  x  arc  sen  u = 1 1 − u 2  d  u d  x (3.565)  
d d  x  arc  cos  u = − 1 1 − u 2  d  u d  x (3.566)  
d d  x  arc  tg  u = 1 1 + u 2  d  u d  x (3.567)  
d d  x  arc  cotg  u = − 1 1 + u 2  d  u d  x (3.568)  
d d  x  arc  sec  u = 1 | u |  u 2 − 1  d  u d  x (3.569)  
d d  x  arc  cossec  u = − 1 | u |  u 2 − 1  d  u d  x (3.570)  
 
 
3.9.3  Exercícios resolvidos 
ER 3.9.1.
 
Calcule a equação da reta tangente ao gráfico da função f  ( x ) = ln  x x = 1 
 
 
Resolução.
 
A equação da reta tangente ao gráfico da função f  ( x ) = ln  x x 0 = 1 
y = f ′  ( x 0 )  ( x − x 0 ) + f  ( x 0 ) (3.571)  
y = f ′  ( 1 )  ( x − 1 ) + f  ( 1 ) . (3.572)  
Observando que
f ′  ( x ) = ( ln  x ) ′ = 1 x , (3.573)  
temos que a equação da reta tangente é
y = 1 1  ( x − 1 ) + ln  1 (3.574)  
y = x − 1 . (3.575)  
Na Figura 3.12 x = 1 
 
Figura 3.12 : Gráficos da função logarítmica natural e de sua reta tangente no ponto x = 1  
No SymPy , temos:
1      from   sympy   import   * 
2      x   =   Symbol ( 'x' ) 
3      rt   =   diff ( log ( x )). subs ( x ,1)*( x -1)+ log (1) 
4      print ( "y  =  %s"   %   rt ) 
5      y   =   x   -   1 
 
 
 
Resolução.
 
Lembrando que
d d  x  arc  tg  x = 1 1 + x 2 , (3.577)  
temos
d d  x  arc  tg  x = 1 (3.578)  
1 1 + x 2 = 1 (3.579)  
1 + x 2 = 1 (3.580)  
x 2 = 0 (3.581)  
x = 0 . (3.582)  
 
 
Resolução.
 
Observamos que
y = x x (3.584)  
ln  y = ln  x x (3.585)  
ln  y = x  ln  x . (3.586)  
Agora, derivando em relação a x 
d d  x  ln  y = d d  x  ( x  ln  x ) (3.587)  
1 y  d  y d  x = 1 + ln  x (3.588)  
d  y d  x = y  ( 1 + ln  x ) (3.589)  
d  x x d  x = x x  ( 1 + ln  x ) . (3.590)  
 
 
 
3.9.4  Exercícios 
E. 3.9.1.
 
Calcule a derivada em relação a x 
a)  
 
b)  
 
 
 
 
Resposta 
 
a) f ′  ( x ) = 2 x  ln  2 g ′  ( x ) = 1 + x x 
 
 
E. 3.9.2.
 
Calcule a derivada em relação a x 
a)  
 
b)  
 
 
 
 
Resposta 
 
a) f ′  ( x ) = 2 3  x 3 g ′  ( x ) = 2  e  ( 1 + 2  x ) e − 1 
 
 
Resposta 
 
x  ( 1 + x ) x − 1 + ( 1 + x ) x  ln  ( 1 + x ) 
 
 
E. 3.9.4.
 
Encontre a equação da reta tangente ao gráfico de f  ( x ) = arc  tg  x x = 0 
 
 
Resposta 
 
 
 
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas! 
Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional . Ícones e elementos gráficos podem estar sujeitos a condições adicionais.