| | | |

Cálculo I

Material disponível para compra: apostila. Consulte outras formas de colaboração aqui!

3.9 Diferenciabilidade da função inversa

Seja f uma função diferenciável e injetora em um intervalo aberto I. Então, pode-se mostrar que sua inversa f−1 é diferenciável em qualquer ponto da imagem da f no qual f′⁢(f−1⁢(x))≠0 e sua derivada é

dd⁢x⁢[f−1⁢(x)]=1f′⁢(f−1⁢(x)). (3.527)

De fato, temos

f⁢(f−1⁢(x))=x. (3.528)

Derivando ambos os lados desta equação em relação a x e usando a regra da cadeia, obtemos

dd⁢x⁢[f⁢(f−1⁢(x))]=dd⁢x⁢(x) (3.529)
f′⁢(f−1⁢(x))⋅dd⁢x⁢[f−1⁢(x)]=1 (3.530)
dd⁢x⁢[f−1⁢(x)]=1f′⁢(f−1⁢(x)). (3.531)
Exemplo 3.9.1.

Seja f⁢(x)=(2⁢x−1)2 para x>1/2. Para calcular sua inversa, fazemos

y=(2⁢x−1)2 (3.532)
y=2⁢x−1 (3.533)
x=y+12 (3.534)

Ou seja,

f−1⁢(x)=12⁢(x+1). (3.535)

Calculando a derivada de f−1 diretamente, temos

dd⁢x⁢f−1⁢(x)=12⁢(x+1)′ (3.536)
=12⋅12⁢x (3.537)
=14⁢x (3.538)

Agora, usando (3.527) e observando que f′⁢(x)=8⁢x−4, obtemos

dd⁢x⁢f−1⁢(x)=1f′⁢(f−1⁢(x)), (3.539)
=18⋅12⁢(x+1)−4, (3.540)
=14⁢x, (3.541)

como esperado.

Observação 3.9.1.(Derivada da função logarítmica)

A derivada da função logarítmica pode ser obtida usando (3.527).

  • •

    Tomando f⁢(x)=ex temos f−1⁢(x)=ln⁡x e, daí por (3.527)

    dd⁢x⁢ln⁡x=1eln⁡x=1x. (3.542)
  • •

    Tomando f⁢(x)=ax, a>0 e a≠1, temos f−1⁢(x)=loga⁡x e, por (3.527),

    dd⁢x⁢loga⁡x=1aloga⁡x⁢ln⁡a=1x⁢ln⁡a. (3.543)
Exemplo 3.9.2.

Vamos calcular a derivada em relação a x da função

f⁢(x)=ln⁡1x. (3.544)

Aplicando a regra da cadeia na derivada da função logarítmica, temos

dd⁢x⁢ln⁡u=1u⁢d⁢ud⁢x. (3.545)

Portanto, temos

f′⁢(x)=(ln⁡1x)′ (3.546)
=1x−1⋅(−x−2) (3.547)
=−1x. (3.548)
Código 71: Python
1from sympy import log, diff
2from sympy.abc import x
3diff(log(1/x), x)
-1/x

3.9.1 Derivadas de funções trigonométricas inversas

Seja f⁢(x)=sen⁡x restrita a −π/2≤x≤π/2. Sua inversa é a função arco seno, denotada por

y=arc⁡sen⁡x. (3.549)
Refer to caption
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.527) com f⁢(x)=sen⁡x e f′⁢(x)=arc⁡sen⁡x, donde

(arc⁡sen⁡x)′=1cos⁡(arc⁡sen⁡x). (3.550)

Como cos⁡(arc⁡sen⁡x)=1−x2 (consultemos a Figura 3.11), concluímos

(arc⁡sen⁡x)′=11−x2. (3.551)
Exemplo 3.9.3.

A regra da cadeia aplicada à derivada da função arco seno é

dd⁢x⁢arc⁡sen⁡u=11−u2⁢d⁢ud⁢x. (3.552)

Por exemplo, temos

dd⁢x⁢arc⁡sen⁡x2=2⁢x1−x4. (3.553)
Código 72: Python
1from sympy import diff, asin
2from sympy.abc import x
3diff(asin(x**2), x)
2*x/sqrt(1 - x**4)

Com argumentos análogos aos usados no cálculo da derivada da função arco seno, podemos obter as seguintes derivadas:

(arc⁡cos⁡x)′=−11−x2 (3.554)
(arc⁡tg⁡x)′=11+x2 (3.555)
(arc⁡cotg⁡x)′=−11+x2 (3.556)
(arc⁡sec⁡x)′=1|x|⁢x2−1 (3.557)
(arc⁡cossec⁡x)′=−1|x|⁢x2−1 (3.558)
Exemplo 3.9.4.

A regra da cadeia aplicada a função arco tangente é

dd⁢x⁢arc⁡tg⁡u=11+u2⁢d⁢ud⁢x. (3.559)

Por exemplo, temos

dd⁢x⁢arc⁡tg⁡x=11+(x)2⁢dd⁢x⁢x (3.560)
=12⁢(1+x)⁢x. (3.561)
Código 73: Python
1from sympy import diff, atan, sqrt
2from sympy.abc import x
3diff(atan(sqrt(x)), x)
1/(2*sqrt(x)*(x + 1))

3.9.2 Lista de derivadas

(k⁢u)′=k⁢u′ (3.562)
(u±v)′=u′±v′ (3.563)
(u⁢v)′=u′⁢v+u⁢v′ (3.564)
(uv)′=u′⁢v−u⁢v′v2 (3.565)
(k)′=0 (3.566)
(x)′=1 (3.567)
dd⁢x⁢ur=r⁢ur−1⁢d⁢ud⁢x (3.568)
dd⁢x⁢au=au⁢ln⁡a⁢d⁢ud⁢x (3.569)
dd⁢x⁢eu=eu⁢d⁢ud⁢x (3.570)
dd⁢x⁢loga⁡u=1u⁢ln⁡a⁢d⁢ud⁢x (3.571)
dd⁢x⁢ln⁡u=1u⁢d⁢ud⁢x (3.572)
dd⁢x⁢sen⁡u=cos⁡(u)⁢d⁢ud⁢x (3.573)
dd⁢x⁢cos⁡u=−sen⁡(u)⁢d⁢ud⁢x (3.574)
dd⁢x⁢tg⁡u=sec2⁡(u)⁢d⁢ud⁢x (3.575)
dd⁢x⁢cotg⁡u=−cossec2⁡(u)⁢d⁢ud⁢x (3.576)
dd⁢x⁢sec⁡u=sec⁡(u)⁢tg⁡(u)⁢d⁢ud⁢x (3.577)
dd⁢x⁢cossec⁡u=−cossec⁡(u)⁢cotg⁡(u)⁢d⁢ud⁢x (3.578)
dd⁢x⁢arc⁡sen⁡u=11−u2⁢d⁢ud⁢x (3.579)
dd⁢x⁢arc⁡cos⁡u=−11−u2⁢d⁢ud⁢x (3.580)
dd⁢x⁢arc⁡tg⁡u=11+u2⁢d⁢ud⁢x (3.581)
dd⁢x⁢arc⁡cotg⁡u=−11+u2⁢d⁢ud⁢x (3.582)
dd⁢x⁢arc⁡sec⁡u=1|u|⁢u2−1⁢d⁢ud⁢x (3.583)
dd⁢x⁢arc⁡cossec⁡u=−1|u|⁢u2−1⁢d⁢ud⁢x (3.584)

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 no ponto x=1. Faça, então, um esboço dos gráficos da função e da reta tangente.

Resolução.

A equação da reta tangente ao gráfico da função f⁢(x)=ln⁡x no ponto x0=1 é

y=f′⁢(x0)⁢(x−x0)+f⁢(x0) (3.585)
y=f′⁢(1)⁢(x−1)+f⁢(1). (3.586)

Observando que

f′⁢(x)=(ln⁡x)′=1x, (3.587)

temos que a equação da reta tangente é

y=11⁢(x−1)+ln⁡1 (3.588)
y=x−1. (3.589)

Na Figura 3.12, temos os gráficos da função e de sua reta tangente no ponto x=1.

Refer to caption
Figura 3.12: Gráficos da função logarítmica natural e de sua reta tangente no ponto x=1.
Código 74: Python
1from sympy import log, diff
2from sympy.abc import x
3rt = diff(log(x)).subs(x,1)*(x-1)+log(1)
4print("y = %s" % rt)
y = x - 1
ER 3.9.2.

Resolva a equação

dd⁢x⁢arc⁡tg⁡x=1. (3.590)
Resolução.

Lembrando que

dd⁢x⁢arc⁡tg⁡x=11+x2, (3.591)

temos

dd⁢x⁢arc⁡tg⁡x=1 (3.592)
11+x2=1 (3.593)
1+x2=1 (3.594)
x2=0 (3.595)
x=0. (3.596)

3.9.4 Exercícios

E. 3.9.1.

Calcule a derivada em relação a x das seguintes funções:

  1. a)

    f⁢(x)=log2⁡x2

  2. b)

    g⁢(x)=ln⁡(x⁢ex)


a) f′⁢(x)=2x⁢ln⁡2; b) g′⁢(x)=1+xx

E. 3.9.2.

Calcule a derivada em relação a x das seguintes funções:

  1. a)

    f⁢(x)=x23

  2. b)

    g⁢(x)=(1+2⁢x)e


a) f′⁢(x)=23⁢x3; b) g′⁢(x)=2⁢e⁢(1+2⁢x)e−1

E. 3.9.3.

Encontre a equação da reta tangente ao gráfico de f⁢(x)=arc⁡tg⁡x no ponto x=0.


y=x

E. 3.9.4.

Mostre que valem as seguintes derivadas

dd⁢x⁢arc⁡cos⁡x=−11−x2 (3.597)
dd⁢x⁢arc⁡cotg⁡x=−11+x2 (3.598)

Dica: basta usar (3.527) com as funções trigonométricas inversas correspondentes.

E. 3.9.5.

Mostre que valem as seguintes derivadas

dd⁢x⁢arc⁡sec⁡x=1|x|⁢x2−1 (3.600)
dd⁢x⁢arc⁡cossec⁡x=−1|x|⁢x2−1 (3.601)

Dica: basta usar (3.527) com as funções trigonométricas inversas correspondentes.


Envie seu comentário

Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!

Opcional. Preencha seu nome para que eu possa lhe contatar.
Opcional. Preencha seu e-mail para que eu possa lhe contatar.
As informações preenchidas são enviadas por e-mail para o desenvolvedor do site e tratadas de forma privada. Consulte a política de uso de dados para mais informações.

Licença Creative Commons
Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.

Pedro H A Konzen
| | | |