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, f′f^{\prime} e g′g^{\prime} conhecidas, como calcular (f+g)′(f+g)^{\prime}, (f⋅g)′(f\cdot g)^{\prime}, (fg)′(\frac{f}{g})^{\prime}, (f∘g)′(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))′:=limh→0λ⁢f⁢(x+h)−λ⁢f⁢(x)h=λ⁢limh→0f⁢(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, (2⁢x5)′=2⁢(x5)′=2⋅5⁢x4=10⁢x4(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} :=limh→0(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}
=limh→0{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{\}}
=limh→0f⁢(x+h)−f⁢(x)h+limh→0g⁢(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, (2⁢x5+sen⁡x)′=(2⁢x5)′+(sen⁡x)′=10⁢x4+cos⁡x(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} :=limh→0f⁢(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)h⁢g⁢(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 h→0h\to 0, temos f⁢(x+h)−f⁢(x)h→f′⁢(x)\frac{f(x+h)-f(x)}{h}\to f^{\prime}(x) e g⁢(x+h)−g⁢(x)h→g′⁢(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 limh→0g⁢(x+h)=g⁢(x)\lim_{h\to 0}g(x+h)=g(x). Assim, quando h→0h\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,

(x2⁢sen⁡x)′=(x2)′⁢sen⁡x+x2⁢(sen⁡x)′=2⁢x⁢sen⁡x+x2⁢cos⁡x.(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, (f⁢g)′≠f′⁢g′(fg)^{\prime}\neq f^{\prime}g^{\prime}.

Exercício 6.17.

Mostre a fórmula (xn)′=n⁢xn−1(x^{n})^{\prime}=nx^{n-1} usando indução e a regra de Leibniz. (Dica: xn+1=x⋅xnx^{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} :=limh→0f⁢(g⁢(x+h))−f⁢(g⁢(x))h\displaystyle{:=}\lim_{h\to 0}\frac{f(g(x+h))-f(g(x))}{h}
=limh→0f⁢(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)h→g′⁢(x)\frac{g(x+h)-g(x)}{h}\to g^{\prime}(x) quando h→0h\to 0. Para o primeiro termo chamemos a:=g⁢(x)a{:=}g(x) e z:=g⁢(x+h)z{:=}g(x+h). Quando h→0h\to 0, z→az\to a, logo

limh→0f⁢(g⁢(x+h))−f⁢(g⁢(x))g⁢(x+h)−g⁢(x)=limz→af⁢(z)−f⁢(a)z−a≡f′⁢(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)=sen⁡xf(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)=cos⁡xf^{\prime}(x)=\cos x e g′⁢(x)=2⁢xg^{\prime}(x)=2x temos, pela regra da cadeia,

(sen⁡(x2))′=f⁢(g⁢(x))′=f′⁢(g⁢(x))⁢g′⁢(x)=cos⁡(x2)⋅(2⁢x)=2⁢x⁢cos⁡(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)′=2⁢x⁢ex2.(e^{x^{2}})^{\prime}=e^{x^{2}}\cdot(x^{2})^{\prime}=2xe^{x^{2}}\,.
Exemplo 6.8.

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

(1cos⁡x)′=−1(cos⁡x)2⋅(−sen⁡x)=sen⁡x(cos⁡x)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:

(tan⁡x)′=(sen⁡xcos⁡x)′=(sen⁡x)′⁢cos⁡x−sen⁡x⁢(cos⁡x)′cos2⁡x=cos2⁡x+sen2⁡xcos2⁡x(\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:

(tan⁡x)′={1+tan2⁡x, ou ⁢1cos2⁡x.\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.
    ​

    −5⁢x-5x

  2. 2.
    ​

    x3−x7x^{3}-x^{7}

  3. 3.
    ​

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

  4. 4.
    ​

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

  5. 5.
    ​

    x⁢sen⁡xx\operatorname{sen}x

  6. 6.
    ​

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

  7. 7.
    ​

    sen⁡xx\frac{\operatorname{sen}x}{x}

  8. 8.
    ​

    x+1x2−1\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.
    ​

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

  12. 12.
    ​

    sen3⁡x−cos7⁡x\operatorname{sen}^{3}x-\cos^{7}x

  13. 13.
    ​

    11−cos⁡x\frac{1}{1-\cos x}

  14. 14.
    ​

    1cos⁡(2⁢x−1)\frac{1}{\cos(2x-1)}

  15. 15.
    ​

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

  16. 16.
    ​

    (x2−1)2x2−1\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.
    ​

    xcos⁡x\frac{x}{\cos x}

  20. 20.
    ​

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

  21. 21.
    ​

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

Exercício 6.19.

Calcule a derivada da função dada.

  1. 1.
    ​

    2⁢e−x2e^{-x}

  2. 2.
    ​

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

  3. 3.
    ​

    ln⁡(e3⁢x)\ln(e^{3x})

  4. 4.
    ​

    ex⁢sen⁡xe^{x}\operatorname{sen}x

  5. 5.
    ​

    esen⁡xe^{\operatorname{sen}x}

  6. 6.
    ​

    eexe^{e^{x}}

  7. 7.
    ​

    ln⁡(1+e2⁢x)\ln(1+e^{2x})

  8. 8.
    ​

    x⁢ln⁡xx\ln x

  9. 9.
    ​

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

  10. 10.
    ​

    ln⁡(cos⁡x)\ln(\cos x)

  11. 11.
    ​

    ln⁡(1+cos⁡xsen⁡x)\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

(senh⁡x)′=cosh⁡x,(cosh⁡x)′=senh⁡x,(tanh⁡x)′={1−tanh2⁡x,ou ⁢1cosh2⁡x.\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 limx→1ln⁡xx−1\lim_{x\to 1}\frac{\ln x}{x-1}, que é indeterminado da forma 00\frac{0}{0}. Como ln⁡xx−1=ln⁡x−ln⁡1x−1\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)=ln⁡xf(x)=\ln x no ponto a=1a=1:

limx→1ln⁡x−ln⁡1x−1=limx→1f⁢(x)−f⁢(1)x−1≡f′⁢(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 é: limx→1ln⁡xx−1=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.
    ​

    limx→1x999−1x−1\lim_{x\to 1}\frac{x^{999}-1}{x-1}

  2. 2.
    ​

    limx→πcos⁡x+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.
    ​

    limx→2ln⁡x−ln⁡2x−2\lim_{x\to 2}\frac{\ln x-\ln 2}{x-2}

  5. 5.
    ​

    limt→0eλ⁢t−1t\lim_{t\to 0}\frac{e^{\lambda t}-1}{t}

Exercício 6.22.

Considere as funções

f⁢(x):={x⁢sen⁡1x se ⁢x≠0,0 se ⁢x=0,g⁢(x):={x2⁢sen⁡1x se ⁢x≠0,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 x∈ℝx\in\mathbb{R}. Mostre que ff é contínua em todo x∈ℝx\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 p∈ℤp\in\mathbb{Z} é imediato. Por exemplo, x3:=x⋅x⋅xx^{3}{:=}x\cdot x\cdot x. Mas como definir xαx^{\alpha} para uma potência não-inteira, por exemplo x2=x1,414⁢…x^{\sqrt{2}}=x^{1,414...}?

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

xα:=eα⁢ln⁡x.\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α⁢ln⁡x⁢eβ⁢ln⁡x=eα⁢ln⁡x+β⁢ln⁡x=e(α+β)⁢ln⁡x=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α⁢ln⁡x)′=(α⁢ln⁡x)′⁢eα⁢ln⁡x=αx⁢xα=α⁢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)′=p⁢xp−1(x^{p})^{\prime}=px^{p-1}, inicialmente provada para p∈ℤp\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=eln⁡aa=e^{\ln a}, temos ax=ex⁢ln⁡aa^{x}=e^{x\ln a}. Logo,

(ax)′=(ex⁢ln⁡a)′=(xlna)′ex⁢ln⁡a=(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)=eln⁡f⁢(x)f(x)=e^{\ln f(x)}, transformando f⁢(x)g⁢(x)=eg⁢(x)⁢ln⁡f⁢(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=eln⁡xx=e^{\ln x}, temos xx=(eln⁡x)x=ex⁢ln⁡xx^{x}=(e^{\ln x})^{x}=e^{x\ln x}, logo

(xx)′=(ex⁢ln⁡x)′=(x⁢ln⁡x)′⁢ex⁢ln⁡x=(ln⁡x+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.
    ​

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

  3. 3.
    ​

    xsen⁡xx^{\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

ln⁡f⁢(x)=ln⁡h1⁢(x)+ln⁡h2⁢(x)+⋯+ln⁡hn⁢(x)≡∑k=1nln⁡hk⁢(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, (ln⁡f⁢(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)} =(ln⁡h1⁢(x)+ln⁡h2⁢(x)+⋯+ln⁡hn⁢(x))′\displaystyle=(\ln h_{1}(x)+\ln h_{2}(x)+\dots+\ln h_{n}(x))^{\prime}
=(ln⁡h1⁢(x))′+(ln⁡h2⁢(x))′+⋯+(ln⁡hn⁢(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.
    ​

    x⁢sen3⁡x1+cos2⁡x\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 (sen⁡x)′=cos⁡x(\operatorname{sen}x)^{\prime}=\cos x e (ax)′=(ln⁡a)⁢ax(a^{x})^{\prime}=(\ln a)a^{x}, mas como derivar as suas respectivas funções inversas, isto é, (arcsen⁡x)′(\operatorname{arcsen}x)^{\prime} e (loga⁡x)′(\log_{a}x)^{\prime}?

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

∀x,(f(f−1(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′⁢(f−1⁢(x))⋅(f−1)′⁢(x)=1f^{\prime}(f^{-1}(x))\cdot(f^{-1})^{\prime}(x)=1

Logo,

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

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

(arcsen⁡x)′=1f′⁢(f−1⁢(x))=1cos⁡(arcsen⁡x).(\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⁡(arcsen⁡x)=1−x2\cos(\operatorname{arcsen}x)=\sqrt{1-x^{2}}, obtemos

(arcsenx)′=11−x2.\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 arcsen⁡x\operatorname{arcsen}x são verticais nos pontos x=±1x=\pm 1, o que se traduz pelo fato de (arcsen⁡x)′(\operatorname{arcsen}x)^{\prime} não existir nesses pontos.

Exercício 6.25.

Mostre que

(logax)′=1(ln⁡a)⁢x,(arcosx)′=−11−x2,(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⁡(1−x2)\log_{a}(1-x^{2})

  2. 2.
    ​

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

  3. 3.
    ​

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

  4. 4.
    ​

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

  5. 5.
    ​

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

Exercício 6.27.

Seja f⁢(x)=arcos⁡(1−x21+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.