6.4 Regras de derivação

Antes de começar a usar derivadas, é necessário estabelecer algumas regras de derivação, que respondem essencialmente à seguinte pergunta: se ff e gg sáo deriváveis, ff^{\prime} e gg^{\prime} conhecidas, como calcular (f+g)(f+g)^{\prime}, (fg)(f\cdot g)^{\prime}, (fg)(\frac{f}{g})^{\prime}, (fg)(f\circ g)^{\prime}? Nesta seção, será sempre subentendido que as funções consideradas são deriváveis nos pontos considerados. Comecemos com o caso mais fácil:

Regra 1.

(λf(x))=λf(x)\boxed{(\lambda f(x))^{\prime}=\lambda f^{\prime}(x)} para toda constante λ\lambda\in\mathbb{R}.

Demonstração.

Usando a definição de (λf(x))(\lambda f(x))^{\prime} e colocando λ\lambda em evidência,

(λf(x)):=limh0λf(x+h)λf(x)h=λlimh0f(x+h)f(x)hλf(x).(\lambda f(x))^{\prime}{:=}\lim_{h\to 0}\frac{\lambda f(x+h)-\lambda f(x)}{h}=% \lambda\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}\equiv\lambda f^{\prime}(x)\,.

Por exemplo, (2x5)=2(x5)=25x4=10x4(2x^{5})^{\prime}=2(x^{5})^{\prime}=2\cdot 5x^{4}=10x^{4}.

Regra 2.

(f(x)+g(x))=f(x)+g(x).\boxed{(f(x)+g(x))^{\prime}=f^{\prime}(x)+g^{\prime}(x).}

Demonstração.

Aplicando a definição e rearranjando os termos,

(f(x)+g(x))\displaystyle(f(x)+g(x))^{\prime} :=limh0(f(x+h)+g(x+h))(f(x)+g(x))h\displaystyle{:=}\lim_{h\to 0}\frac{\bigl{(}f(x+h)+g(x+h)\bigr{)}-\bigl{(}f(x)% +g(x)\bigr{)}}{h}
=limh0{f(x+h)f(x)h+g(x+h)g(x)h}\displaystyle=\lim_{h\to 0}\Bigl{\{}\frac{f(x+h)-f(x)}{h}+\frac{g(x+h)-g(x)}{h% }\Bigr{\}}
=limh0f(x+h)f(x)h+limh0g(x+h)g(x)h=f(x)+g(x).\displaystyle=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}+\lim_{h\to 0}\frac{g(x+h)-g(x% )}{h}=f^{\prime}(x)+g^{\prime}(x)\,.

Por exemplo, (2x5+senx)=(2x5)+(senx)=10x4+cosx(2x^{5}+\operatorname{sen}x)^{\prime}=(2x^{5})^{\prime}+(\operatorname{sen}x)^% {\prime}=10x^{4}+\cos x.

Regra 3.

(f(x)g(x))=f(x)g(x)+f(x)g(x)\boxed{(f(x)g(x))^{\prime}=f^{\prime}(x)g(x)+f(x)g^{\prime}(x)} (Regra do produto de Leibniz).

Demonstração.

Por definição,

(f(x)g(x))\displaystyle(f(x)g(x))^{\prime} :=limh0f(x+h)g(x+h)f(x)g(x)h.\displaystyle{:=}\lim_{h\to 0}\frac{f(x+h)g(x+h)-f(x)g(x)}{h}\,.

Para fazer aparecer as derivadas respectivas de ff e gg, escrevamos o quociente como

f(x+h)g(x+h)f(x)g(x)h=f(x+h)f(x)hg(x+h)+f(x)g(x+h)g(x)h\displaystyle\frac{f(x+h)g(x+h)-f(x)g(x)}{h}={\frac{f(x+h)-f(x)}{h}}g(x+h)+f(x% ){\frac{g(x+h)-g(x)}{h}}

Quando h0h\to 0, temos f(x+h)f(x)hf(x)\frac{f(x+h)-f(x)}{h}\to f^{\prime}(x) e g(x+h)g(x)hg(x)\frac{g(x+h)-g(x)}{h}\to g^{\prime}(x). Como gg é derivável em xx, ela é também contínua em xx (Teorema 6.1), logo limh0g(x+h)=g(x)\lim_{h\to 0}g(x+h)=g(x). Assim, quando h0h\to 0, o quociente inteiro tende a f(x)g(x)+f(x)g(x)f^{\prime}(x)g(x)+f(x)g^{\prime}(x). ∎

Por exemplo,

(x2senx)=(x2)senx+x2(senx)=2xsenx+x2cosx.(x^{2}\operatorname{sen}x)^{\prime}=(x^{2})^{\prime}\operatorname{sen}x+x^{2}(% \operatorname{sen}x)^{\prime}=2x\operatorname{sen}x+x^{2}\cos x\,.
Exercício 6.16.

Dê contra-exemplos para mostrar que em geral, (fg)fg(fg)^{\prime}\neq f^{\prime}g^{\prime}.

Exercício 6.17.

Mostre a fórmula (xn)=nxn1(x^{n})^{\prime}=nx^{n-1} usando indução e a regra de Leibniz. (Dica: xn+1=xxnx^{n+1}=x\cdot x^{n}.)

Estudemos agora a derivação de funções compostas:

Regra 4.

(f(g(x)))=f(g(x))g(x)\boxed{(f(g(x)))^{\prime}=f^{\prime}(g(x))g^{\prime}(x)} (Regra da cadeia).

Demonstração.

Fixemos um ponto xx. Suporemos, para simplificar, que g(x+h)g(x)0g(x+h)-g(x)\neq 0 para todo hh suficientemente pequeno 11 1 Sem essa hipótese, a prova precisa ser ligeiramente modificada.. Podemos escrever

(f(g(x)))\displaystyle(f(g(x)))^{\prime} :=limh0f(g(x+h))f(g(x))h\displaystyle{:=}\lim_{h\to 0}\frac{f(g(x+h))-f(g(x))}{h}
=limh0f(g(x+h))f(g(x))g(x+h)g(x)g(x+h)g(x)h.\displaystyle=\lim_{h\to 0}\frac{f(g(x+h))-f(g(x))}{g(x+h)-g(x)}{\frac{g(x+h)-% g(x)}{h}}\,. (6.10)

Sabemos que o segundo termo g(x+h)g(x)hg(x)\frac{g(x+h)-g(x)}{h}\to g^{\prime}(x) quando h0h\to 0. Para o primeiro termo chamemos a:=g(x)a{:=}g(x) e z:=g(x+h)z{:=}g(x+h). Quando h0h\to 0, zaz\to a, logo

limh0f(g(x+h))f(g(x))g(x+h)g(x)=limzaf(z)f(a)zaf(a)=f(g(x)).\lim_{h\to 0}\frac{f(g(x+h))-f(g(x))}{g(x+h)-g(x)}=\lim_{z\to a}\frac{f(z)-f(a% )}{z-a}\equiv f^{\prime}(a)=f^{\prime}(g(x))\,.

Para aplicar a regra da cadeia, é importante saber identificar quais são as funções envolvidas, e em qual ordem elas são aplicadas (lembre do Exercício 2.22).

Exemplo 6.7.

Suponha por exemplo que queira calcular a derivada da função sen(x2)\operatorname{sen}(x^{2}), que é a composta de f(x)=senxf(x)=\operatorname{sen}x com g(x)=x2g(x)=x^{2}: sen(x2)=f(g(x))\operatorname{sen}(x^{2})=f(g(x)). Como f(x)=cosxf^{\prime}(x)=\cos x e g(x)=2xg^{\prime}(x)=2x temos, pela regra da cadeia,

(sen(x2))=f(g(x))=f(g(x))g(x)=cos(x2)(2x)=2xcos(x2).(\operatorname{sen}(x^{2}))^{\prime}=f(g(x))^{\prime}=f^{\prime}(g(x))g^{% \prime}(x)=\cos(x^{2})\cdot(2x)=2x\cos(x^{2})\,.

Para calcular ex2e^{x^{2}}, que é a composta de f(x)=exf(x)=e^{x} com g(x)=x2g(x)=x^{2}, e como f(x)=exf^{\prime}(x)=e^{x}, temos

(ex2)=ex2(x2)=2xex2.(e^{x^{2}})^{\prime}=e^{x^{2}}\cdot(x^{2})^{\prime}=2xe^{x^{2}}\,.
Exemplo 6.8.

Para calcular a derivada de 1cosx\frac{1}{\cos x}, que é a composta de f(x)=1xf(x)=\frac{1}{x} com g(x)=cosxg(x)=\cos x, e como f(x)=1x2f^{\prime}(x)=-\frac{1}{x^{2}}, g(x)=senxg^{\prime}(x)=-\operatorname{sen}x, temos

(1cosx)=1(cosx)2(senx)=senx(cosx)2.(\tfrac{1}{\cos x})^{\prime}=-\frac{1}{(\cos x)^{2}}\cdot(-\operatorname{sen}x% )=\frac{\operatorname{sen}x}{(\cos x)^{2}}\,.

De modo geral, deixando g(x)g(x) ser uma função qualquer, derivável e não-nula em xx,

(1g(x))=g(x)g(x)2.\Big{(}\frac{1}{g(x)}\Big{)}^{\prime}=-\frac{g^{\prime}(x)}{g(x)^{2}}\,. (6.11)
Regra 5.

(f(x)g(x))=f(x)g(x)f(x)g(x)g(x)2\boxed{\Bigl{(}\frac{f(x)}{g(x)}\Bigr{)}^{\prime}=\frac{f^{\prime}(x)g(x)-f(x)% g^{\prime}(x)}{g(x)^{2}}} (Regra do quociente).

Demonstração.

Aplicando a Regra de Leibniz e (6.11),

(f(x)g(x))=(f(x)1g(x))=f(x)1g(x)+f(x)(g(x)g(x)2)=f(x)g(x)f(x)g(x)g(x)2.\Big{(}\frac{f(x)}{g(x)}\Big{)}^{\prime}=\Big{(}f(x)\cdot\frac{1}{g(x)}\Big{)}% ^{\prime}=f^{\prime}(x)\cdot\frac{1}{g(x)}+f(x)\cdot\Big{(}-\frac{g^{\prime}(x% )}{g(x)^{2}}\Big{)}=\frac{f^{\prime}(x)g(x)-f(x)g^{\prime}(x)}{g(x)^{2}}\,.

Exemplo 6.9.

Usando a regra do quociente, podemos agora calcular:

(tanx)=(senxcosx)=(senx)cosxsenx(cosx)cos2x=cos2x+sen2xcos2x(\tan x)^{\prime}=\Big{(}\frac{\operatorname{sen}x}{\cos x}\Big{)}^{\prime}=% \frac{(\operatorname{sen}x)^{\prime}\cos x-\operatorname{sen}x(\cos x)^{\prime% }}{\cos^{2}x}=\frac{\cos^{2}x+\operatorname{sen}^{2}x}{\cos^{2}x}

Essa última expressão pode ser escrita de dois jeitos:

(tanx)={1+tan2x, ou 1cos2x.\boxed{(\tan x)^{\prime}=\begin{cases}1+\tan^{2}x\,,\\ \text{ ou }\frac{1}{\cos^{2}x}\,.\ \end{cases}}
Exercício 6.18.

Use as regras de derivação para calcular as derivadas das seguintes funções. Quando for possível, simplifique a expressão obtida.

  1. 1.

    5x-5x

  2. 2.

    x3x7x^{3}-x^{7}

  3. 3.

    1+x+x22+x331+x+\frac{x^{2}}{2}+\frac{x^{3}}{3}

  4. 4.

    11x\frac{1}{1-x}

  5. 5.

    xsenxx\operatorname{sen}x

  6. 6.

    (x2+1)senxcosx(x^{2}+1)\operatorname{sen}x\cos x

  7. 7.

    senxx\frac{\operatorname{sen}x}{x}

  8. 8.

    x+1x21\frac{x+1}{x^{2}-1}

  9. 9.

    (x+1)5(x+1)^{5}

  10. 10.

    (3+1x)2\big{(}3+\frac{1}{x}\big{)}^{2}

  11. 11.

    1x2\sqrt{1-x^{2}}

  12. 12.

    sen3xcos7x\operatorname{sen}^{3}x-\cos^{7}x

  13. 13.

    11cosx\frac{1}{1-\cos x}

  14. 14.

    1cos(2x1)\frac{1}{\cos(2x-1)}

  15. 15.

    11+x2\frac{1}{\sqrt{1+x^{2}}}

  16. 16.

    (x21)2x21\frac{(x^{2}-1)^{2}}{\sqrt{x^{2}-1}}

  17. 17.

    xx+9+x2\frac{x}{x+\sqrt{9+x^{2}}}

  18. 18.

    1+x\sqrt{1+\sqrt{x}}

  19. 19.

    xcosx\frac{x}{\cos x}

  20. 20.

    cos1+x2\cos\sqrt{1+x^{2}}

  21. 21.

    sen(senx)\operatorname{sen}(\operatorname{sen}x)

Exercício 6.19.

Calcule a derivada da função dada.

  1. 1.

    2ex2e^{-x}

  2. 2.

    ln(1+x)\ln(1+x)

  3. 3.

    ln(e3x)\ln(e^{3x})

  4. 4.

    exsenxe^{x}\operatorname{sen}x

  5. 5.

    esenxe^{\operatorname{sen}x}

  6. 6.

    eexe^{e^{x}}

  7. 7.

    ln(1+e2x)\ln(1+e^{2x})

  8. 8.

    xlnxx\ln x

  9. 9.

    e1xe^{\frac{1}{x}}

  10. 10.

    ln(cosx)\ln(\cos x)

  11. 11.

    ln(1+cosxsenx)\ln(\frac{1+\cos x}{\operatorname{sen}x})

Exercício 6.20.

Verifique que as derivadas das funções trigonométricas hiperbólicas são dadas por

(senhx)=coshx,(coshx)=senhx,(tanhx)={1tanh2x,ou 1cosh2x.\boxed{(\operatorname{senh}x)^{\prime}=\cosh x\,,\quad(\cosh x)^{\prime}=% \operatorname{senh}x\,,\quad(\tanh x)^{\prime}=\begin{cases}1-\tanh^{2}x\,,\\ \text{ou }\frac{1}{\cosh^{2}x}\,.\end{cases}}

Às vezes, um limite pode ser calculado uma vez que interpretado como uma derivada.

Exemplo 6.10.

Considere o limite limx1lnxx1\lim_{x\to 1}\frac{\ln x}{x-1}, que é indeterminado da forma 00\frac{0}{0}. Como lnxx1=lnxln1x1\frac{\ln x}{x-1}=\frac{\ln x-\ln 1}{x-1}, vemos que o limite pode ser interpretado como a derivada da função f(x)=lnxf(x)=\ln x no ponto a=1a=1:

limx1lnxln1x1=limx1f(x)f(1)x1f(1).\lim_{x\to 1}\frac{\ln x-\ln 1}{x-1}=\lim_{x\to 1}\frac{f(x)-f(1)}{x-1}\equiv f% ^{\prime}(1)\,.

Ora, como f(x)=1xf^{\prime}(x)=\frac{1}{x}, temos f(1)=1f^{\prime}(1)=1. Isto é: limx1lnxx1=1\lim_{x\to 1}\frac{\ln x}{x-1}=1.

Exercício 6.21.

Calcule os seguintes limites, interpretando-os como derivadas.

  1. 1.

    limx1x9991x1\lim_{x\to 1}\frac{x^{999}-1}{x-1}

  2. 2.

    limxπcosx+1xπ\lim_{x\to\pi}\frac{\cos x+1}{x-\pi}

  3. 3.

    limxπsen(x2)sen(π2)xπ\lim_{x\to\pi}\frac{\operatorname{sen}(x^{2})-\operatorname{sen}(\pi^{2})}{x-\pi}

  4. 4.

    limx2lnxln2x2\lim_{x\to 2}\frac{\ln x-\ln 2}{x-2}

  5. 5.

    limt0eλt1t\lim_{t\to 0}\frac{e^{\lambda t}-1}{t}

Exercício 6.22.

Considere as funções

f(x):={xsen1x se x0,0 se x=0,g(x):={x2sen1x se x0,0 se x=0.f(x){:=}\begin{cases}x\operatorname{sen}\frac{1}{x}&\text{ se }x\neq 0\,,\\ 0&\text{ se }x=0\,,\end{cases}\quad\quad g(x){:=}\begin{cases}x^{2}% \operatorname{sen}\frac{1}{x}&\text{ se }x\neq 0\,,\\ 0&\text{ se }x=0\,.\end{cases}

Mostre que gg é derivável (logo, contínua) em todo xx\in\mathbb{R}. Mostre que ff é contínua em todo xx\in\mathbb{R} e derivável em todo x{0}x\in\mathbb{R}\setminus\{0\}, mas não é derivável em x=0x=0.

6.4.1 Derivar as potências xαx^{\alpha}; exponenciação

Definir uma potência xpx^{p} para pp\in\mathbb{Z} é imediato. Por exemplo, x3:=xxxx^{3}{:=}x\cdot x\cdot x. Mas como definir xαx^{\alpha} para uma potência não-inteira, por exemplo x2=x1,414x^{\sqrt{2}}=x^{1,414...}?

Um jeito de fazer é de se lembrar que qualquer x>0x>0 pode ser exponenciado: x=elnxx=e^{\ln x}. Como (elnx)α=eαlnx(e^{\ln x})^{\alpha}=e^{\alpha\ln x}, é natural definir

xα:=eαlnx.\boxed{x^{\alpha}{:=}e^{\alpha\ln x}\,.} (6.12)

Observe que com essa definição, as regras habituais são satisfeitas. Por exemplo, para qualquer α,β\alpha,\beta\in\mathbb{R},

xαxβ=eαlnxeβlnx=eαlnx+βlnx=e(α+β)lnx=xα+β.x^{\alpha}x^{\beta}=e^{\alpha\ln x}e^{\beta\ln x}=e^{\alpha\ln x+\beta\ln x}=e% ^{(\alpha+\beta)\ln x}=x^{\alpha+\beta}\,.

Mas a definição dada acima permite também derivar xαx^{\alpha}, usando simplesmente a regra da cadeia:

(xα)=(eαlnx)=(αlnx)eαlnx=αxxα=αxα1.(x^{\alpha})^{\prime}=(e^{\alpha\ln x})^{\prime}=(\alpha\ln x)^{\prime}e^{% \alpha\ln x}=\frac{\alpha}{x}x^{\alpha}=\alpha x^{\alpha-1}\,.

Assim foi provado que a fórmula (xp)=pxp1(x^{p})^{\prime}=px^{p-1}, inicialmente provada para pp\in\mathbb{Z}, vale também para expoentes não-inteiros.

O que foi usado acima é que se gg é derivável, então pela regra da cadeia,

(eg(x))=eg(x)g(x).(e^{g(x)})^{\prime}=e^{g(x)}g^{\prime}(x)\,. (6.13)
Exemplo 6.11.

Considere uma exponencial numa base qualquer, axa^{x}, a>0a>0. Exponenciando a base a=elnaa=e^{\ln a}, temos ax=exlnaa^{x}=e^{x\ln a}. Logo,

(ax)=(exlna)=(xlna)exlna=(lna)ax.\boxed{(a^{x})^{\prime}=(e^{x\ln a})^{\prime}=(x\ln a)^{\prime}e^{x\ln a}=(\ln a% )a^{x}\,.} (6.14)

Essa expressão permite calcular as derivadas das funções da forma f(x)g(x)f(x)^{g(x)}. De fato, se f(x)f(x), sempre podemos escrever f(x)=elnf(x)f(x)=e^{\ln f(x)}, transformando f(x)g(x)=eg(x)lnf(x)f(x)^{g(x)}=e^{g(x)\ln f(x)}. Por exemplo,

Exemplo 6.12.

Considere xxx^{x}, com x>0x>0. Escrevendo o xx (de baixo) como x=elnxx=e^{\ln x}, temos xx=(elnx)x=exlnxx^{x}=(e^{\ln x})^{x}=e^{x\ln x}, logo

(xx)=(exlnx)=(xlnx)exlnx=(lnx+1)xx.(x^{x})^{\prime}=(e^{x\ln x})^{\prime}=(x\ln x)^{\prime}e^{x\ln x}=(\ln x+1)x^% {x}\,.
Exercício 6.23.

Derive as seguintes funções (supondo sempre que x>0x>0).

  1. 1.

    xxx^{\sqrt{x}}

  2. 2.

    (senx)x(\operatorname{sen}x)^{x}

  3. 3.

    xsenxx^{\operatorname{sen}x}

  4. 4.

    xxxx^{x^{x}}

6.4.2 Derivadas logarítmicas

Vimos que derivar uma soma é mais simples do que derivar um produto: a derivada da soma se calcula termo a termo, enquanto para derivar o produto, é necessário usar a regra de Leibniz repetitivamente. Ora, lembramos que o logaritmo transforma produtos em soma, e que esse fato pode ser usado para simplificar as contas que aparecem para derivar um produto.

Considere uma função ff definida como o produto de nn funções, que suporemos todas positivas e deriváveis:

f(x)=h1(x)h2(x)hn(x)k=1nhk(x).f(x)=h_{1}(x)h_{2}(x)\dots h_{n}(x)\equiv\prod_{k=1}^{n}h_{k}(x)\,.

Para calcular f(x)f^{\prime}(x), calculemos primeiro

lnf(x)=lnh1(x)+lnh2(x)++lnhn(x)k=1nlnhk(x),\ln f(x)=\ln h_{1}(x)+\ln h_{2}(x)+\dots+\ln h_{n}(x)\equiv\sum_{k=1}^{n}\ln h% _{k}(x)\,,

e derivamos ambos lados com respeito a xx. Do lado esquerdo, usando a regra da cadeia, (lnf(x))=f(x)f(x)(\ln f(x))^{\prime}=\frac{f^{\prime}(x)}{f(x)}. Derivando termo a termo do lado direito, obtemos

f(x)f(x)\displaystyle\frac{f^{\prime}(x)}{f(x)} =(lnh1(x)+lnh2(x)++lnhn(x))\displaystyle=(\ln h_{1}(x)+\ln h_{2}(x)+\dots+\ln h_{n}(x))^{\prime}
=(lnh1(x))+(lnh2(x))++(lnhn(x))\displaystyle=(\ln h_{1}(x))^{\prime}+(\ln h_{2}(x))^{\prime}+\dots+(\ln h_{n}% (x))^{\prime}
=h1(x)h1(x)+h2(x)h2(x)++hn(x)hn(x).\displaystyle=\frac{h_{1}^{\prime}(x)}{h_{1}(x)}+\frac{h_{2}^{\prime}(x)}{h_{2% }(x)}+\dots+\frac{h_{n}^{\prime}(x)}{h_{n}(x)}\,.

Logo, obtemos uma fórmula

f(x)=f(x)(h1(x)h1(x)+h2(x)h2(x)++hn(x)hn(x))f^{\prime}(x)=f(x)\Bigl{(}\frac{h_{1}^{\prime}(x)}{h_{1}(x)}+\frac{h_{2}^{% \prime}(x)}{h_{2}(x)}+\dots+\frac{h_{n}^{\prime}(x)}{h_{n}(x)}\Bigr{)}
Exercício 6.24.

Derive, usando o método sugerido acima:

  1. 1.

    (x+1)(x+2)(x+3)(x+4)(x+5)(x+6)\frac{(x+1)(x+2)(x+3)}{(x+4)(x+5)(x+6)}

  2. 2.

    xsen3x1+cos2x\frac{x\operatorname{sen}^{3}x}{\sqrt{1+\cos^{2}x}}

  3. 3.

    k=1n(1+xk)\prod_{k=1}^{n}(1+x^{k})

6.4.3 Derivar uma função inversa

Sabemos que (senx)=cosx(\operatorname{sen}x)^{\prime}=\cos x e (ax)=(lna)ax(a^{x})^{\prime}=(\ln a)a^{x}, mas como derivar as suas respectivas funções inversas, isto é, (arcsenx)(\operatorname{arcsen}x)^{\prime} e (logax)(\log_{a}x)^{\prime}?

Vimos que o inverso de uma função ff, quando é bem definido, satisfaz às relações:

x,(f(f1(x))=x.\forall x,\quad(f(f^{-1}(x))=x\,.

Logo, derivando em ambos lados com respeito a xx, e usando a regra da cadeia do lado esquerdo,

f(f1(x))(f1)(x)=1f^{\prime}(f^{-1}(x))\cdot(f^{-1})^{\prime}(x)=1

Logo,

(f1)(x)=1f(f1(x)).\boxed{(f^{-1})^{\prime}(x)=\frac{1}{f^{\prime}(f^{-1}(x))}\,.}
Exemplo 6.13.

Calculemos a derivada do arcsenx\operatorname{arcsen}x, que é por definição a inversa da função f(x)=senxf(x)=\operatorname{sen}x, e bem definida para x[1,1]x\in[-1,1]. Como f(x)=cosxf^{\prime}(x)=\cos x, a fórmula acima dá

(arcsenx)=1f(f1(x))=1cos(arcsenx).(\operatorname{arcsen}x)^{\prime}=\frac{1}{f^{\prime}(f^{-1}(x))}=\frac{1}{% \cos(\operatorname{arcsen}x)}\,.

Usando a identidade provada no Exemplo 2.26: cos(arcsenx)=1x2\cos(\operatorname{arcsen}x)=\sqrt{1-x^{2}}, obtemos

(arcsenx)=11x2.\boxed{(\operatorname{arcsen}x)^{\prime}=\frac{1}{\sqrt{1-x^{2}}}\,.} (6.15)

Observe que, como pode ser visto no gráfico da Seção 2.4.3, as retas tangentes ao gráfico de arcsenx\operatorname{arcsen}x são verticais nos pontos x=±1x=\pm 1, o que se traduz pelo fato de (arcsenx)(\operatorname{arcsen}x)^{\prime} não existir nesses pontos.

Exercício 6.25.

Mostre que

(logax)=1(lna)x,(arcosx)=11x2,(arctanx)=11+x2.\boxed{(\log_{a}x)^{\prime}=\frac{1}{(\ln a)x}\,,\quad\quad(\operatorname{% arcos}x)^{\prime}=\frac{-1}{\sqrt{1-x^{2}}}\,,\quad\quad(\arctan x)^{\prime}=% \frac{1}{1+x^{2}}\,.} (6.16)
Exercício 6.26.

Calcule as derivadas das funções abaixo.

  1. 1.

    loga(1x2)\log_{a}(1-x^{2})

  2. 2.

    arcsen(1x2)\operatorname{arcsen}(1-x^{2})

  3. 3.

    arctan(tanx)\arctan(\tan x), π2<x<π2-\tfrac{\pi}{2}<x<\tfrac{\pi}{2}

  4. 4.

    arcsen(cosx)\operatorname{arcsen}(\cos x), 0<x<π20<x<\tfrac{\pi}{2}

  5. 5.

    cos(arcsenx)\cos(\operatorname{arcsen}x), 1<x<1-1<x<1

Exercício 6.27.

Seja f(x)=arcos(1x21+x2)f(x)=\operatorname{arcos}(\frac{1-x^{2}}{1+x^{2}}). Mostre que a reta de equação y=32(x+13)+π3y=-\frac{3}{2}(x+\frac{1}{\sqrt{3}})+\frac{\pi}{3} é tangente ao gráfico de ff em algum ponto PP.