| | | |

Cálculo I

Ajude a manter o site livre, gratuito e sem propagandas. Colabore!

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 f1 é diferenciável em qualquer ponto da imagem da f no qual f(f1(x))0 e sua derivada é

ddx[f1(x)]=1f(f1(x)). (3.517)
Exemplo 3.9.1.

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

y=(2x1)2 (3.518)
y=2x1 (3.519)
x=y+12 (3.520)

Ou seja,

f1(x)=12(x+1). (3.521)

Calculando a derivada de f1 diretamente, temos

ddxf1(x)=12(x+1) (3.522)
=1212x (3.523)
=14x (3.524)

Agora, usando (3.517) e observando que f(x)=8x4, obtemos

ddxf1(x)=1f(f1(x)), (3.525)
=1812(x+1)4, (3.526)
=14x, (3.527)

como esperado.

Observação 3.9.1.(Derivada da função logarítmica)
  • Tomando f(x)=ex temos f1(x)=lnx e, daí por (3.517)

    ddxlnx=1elnx=1x. (3.528)
  • Tomando f(x)=ax, a>0 e a1, temos f1(x)=logax e, por (3.517),

    ddxlogax=1alogaxlna=1xlna. (3.529)
Exemplo 3.9.2.

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

f(x)=ln1x. (3.530)

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

ddxlnu=1ududx. (3.531)

Portanto, temos

f(x)=(ln1x) (3.532)
=1x1(x2) (3.533)
=1x. (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)=senx restrita a π/2xπ/2. Sua inversa é a função arco seno, denotada por

y=arcsenx. (3.535)
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.517) com f(x)=senx e f(x)=arcsenx, donde

(arcsenx)=1cos(arcsenx). (3.536)

Como cos(arcsenx)=1x2 (consultemos a Figura 3.11), concluímos

(arcsenx)=11x2. (3.537)
Exemplo 3.9.3.

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

ddxarcsenu=11u2dudx. (3.538)

Por exemplo, temos

ddxarcsenx2=2x1x4. (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:

(arccosx)=11x2 (3.540)
(arctgx)=11+x2 (3.541)
(arccotgx)=11+x2 (3.542)
(arcsecx)=1|x|x21 (3.543)
(arccosecx)=1|x|x21 (3.544)
Exemplo 3.9.4.

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

ddxarctgu=11+u2dudx. (3.545)

Por exemplo, temos

ddxarctgx=11+(x)2ddxx (3.546)
=12(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

(ku)=ku (3.548)
(u±v)=u±v (3.549)
(uv)=uv+uv (3.550)
(uv)=uvuvv2 (3.551)
(k)=0 (3.552)
(x)=1 (3.553)
ddxur=rur1dudx (3.554)
ddxau=aulnadudx (3.555)
ddxeu=eududx (3.556)
ddxlogau=1ulnadudx (3.557)
ddxlnu=1ududx (3.558)
ddxsenu=cos(u)dudx (3.559)
ddxcosu=sen(u)dudx (3.560)
ddxtgu=sec2(u)dudx (3.561)
ddxcotgu=cossec2(u)dudx (3.562)
ddxsecu=sec(u)tg(u)dudx (3.563)
ddxcossecu=cossec(u)cotg(u)dudx (3.564)
ddxarcsenu=11u2dudx (3.565)
ddxarccosu=11u2dudx (3.566)
ddxarctgu=11+u2dudx (3.567)
ddxarccotgu=11+u2dudx (3.568)
ddxarcsecu=1|u|u21dudx (3.569)
ddxarccossecu=1|u|u21dudx (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)=lnx 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)=lnx no ponto x0=1 é

y=f(x0)(xx0)+f(x0) (3.571)
y=f(1)(x1)+f(1). (3.572)

Observando que

f(x)=(lnx)=1x, (3.573)

temos que a equação da reta tangente é

y=11(x1)+ln1 (3.574)
y=x1. (3.575)

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.

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
ER 3.9.2.

Resolva a equação

ddxarctgx=1. (3.576)
Resolução.

Lembrando que

ddxarctgx=11+x2, (3.577)

temos

ddxarctgx=1 (3.578)
11+x2=1 (3.579)
1+x2=1 (3.580)
x2=0 (3.581)
x=0. (3.582)
ER 3.9.3.

Calcule

ddxxx. (3.583)
Resolução.

Observamos que

y=xx (3.584)
lny=lnxx (3.585)
lny=xlnx. (3.586)

Agora, derivando em relação a x ambos os lados desta equação, obtemos

ddxlny=ddx(xlnx) (3.587)
1ydydx=1+lnx (3.588)
dydx=y(1+lnx) (3.589)
dxxdx=xx(1+lnx). (3.590)

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)=log2x2

  2. b)

    g(x)=ln(xex)

a) f(x)=2xln2; 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+2x)e

a) f(x)=23x3; b) g(x)=2e(1+2x)e1

E. 3.9.3.

Calcule

ddx(1+x)x. (3.591)

x(1+x)x1+(1+x)xln(1+x)

E. 3.9.4.

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

y=x


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
| | | |