Dedução da derivada da função logaritmo

|

André

Capa do Stewart, livro sobre cálculo diferencial e integral.
Por

Esse post é para deduzir a derivada da função logaritmo com uma base arbitrária positiva. Evitarei tratar o assunto com rigor. A ideia desse post é ser mais um argumento para te convencer do resultado do que uma demonstração.

Pré requisitos

Dito isso, o que vamos precisar para descobrir a derivada do log é saber de antemão: qual é a derivada da função exponencial, como usar a regra da cadeia e de criatividade.

Para o primeiro requisito, eu já fiz um post. Caso você não saiba a derivada de uma função exponencial com uma base qualquer, recomendo que o leia:

3 deduções da derivada da função exponencial – Quarto 707

Caso precise relembrar o que é a regra da cadeia, acesse:

Regra da cadeia – Wikipédia

Quanto ao último pré-requisito, vou assumir que você, leitor, é criativo.

Então… bora começar!

Dedução

Seja a um número real positivo qualquer e x uma variável real. Sabemos que

    \[a^{log_a(x)} = x\]

pelo fato de as funções exponencial e logarítmica serem funções inversas. Essa igualdade verdadeira será nosso ponto de partida.

Derivando os dois lados dessa equação em relação a x, temos que

(1)   \begin{equation*} \frac{\mathrm{d}}{\mathrm{d}x} (a^{log_a(x)}) = 1 \end{equation*}

Como, do lado esquerdo, temos a derivada de uma função composta, usaremos a regra da cadeia para desenvolver esse lado da seguinte forma:

\frac{\mathrm{d}}{\mathrm{d}x} (a^{log_a(x)}) = \frac{\mathrm{d} (a^{log_a(x)})}{\mathrm{d}(log_a(x))} \cdot \frac{\mathrm{d} (log_a(x))}{\mathrm{d}x}

Note que fazendo isso apareceu justamente o que queremos saber, que é a derivada do log na base a.

Sabendo que a derivada de uma função exponencial é \frac{\mathrm{d}a^x}{\mathrm{d}x} = a^x ln(a) (isso era um dos pré-requisitos), temos que

\frac{\mathrm{d}}{\mathrm{d}x} (a^{log_a(x)}) = a^{log_a(x)} ln(a) \cdot \frac{\mathrm{d} (log_a(x))}{\mathrm{d}x}

Substituindo o que obtemos na equação (1) e isolando o que queremos descobrir, obtemos:

    \[\frac{\mathrm{d} (log_a(x))}{\mathrm{d}x} = \frac{1}{x ln(a)}\]

E este é o fim da dedução da derivada do log numa base a qualquer!

Posts relacionados

Caso queira ver a dedução da integral da função logaritmo, acesse:

Dedução da integral da função logaritmo – Quarto 707

Caso queira ver deduções da derivada e integral da função exponencial, acesse:

3 deduções da derivada da função exponencial – Quarto 707

Dedução da integral da função exponencial – Quarto 707

Muito obrigado por chegar até aqui :]

Referências

Cálculo (7ª edição) – James Stewart

2 comentários em “Dedução da derivada da função logaritmo”

  1. Conheci seu blog agora e vou te dizer: amei!! Já estou com vontade de ler tudo, você escreve muito bem, André!

    Aposto que daqui um tempo você vai escrever um livro que será usado nas aulas do curso 😎

    Responder

Deixe um comentário