Nesta página veremos como calcular a derivada do logaritmo natural utilizando duas formas equivalentes para expressar a razão incremental: para \( h \to 0 \) e para \( x \to x_0 \). Formalmente, como:
\[ \lim_{h \to 0}\frac{\ln(x + h) - \ln(x)}{h}, \quad \lim_{x \to x_0}\frac{\ln(x) - \ln(x_0)}{x - x_0} \]
Razão incremental para \( h \to 0 \)
Aplicando esta definição à função \( \ln(x) \), obtemos:
\[ f'(x) = \lim_{h \to 0} \frac{\ln(x + h) - \ln(x)}{h} \quad ( * ) \]
Utilizando a propriedade dos logaritmos, podemos reescrever o numerador em \( ( * ) \) como:
\[ \ln(x + h) - \ln(x) = \ln\left(\frac{x + h}{x}\right) \]
Assim,
\[ f'(x) = \lim_{h \to 0} \frac{\ln\left(1 + \frac{h}{x}\right)}{h} \]
Para simplificar ainda mais, observe que esta última expressão encobre um limite notável. Se definirmos \( t = \frac{h}{x} \), então \( h = x t \). Consequentemente, quando \( h \to 0 \), também \( t \to 0 \). Portanto,
\[ f'(x) = \frac{1}{x} \cdot \lim_{t \to 0} \frac{\ln(1 + t)}{t} \stackrel{\text{Limite Notável}}{=} \frac{1}{x} \cdot 1 = \frac{1}{x} \]
Assim, constatamos que a derivada de \( \ln(x) \) é
\[ f'(x) = \frac{1}{x}, \quad \forall x > 0 \]
Razão incremental para \( x \to x_0 \)
Da mesma forma, calculamos o limite quando \( x \to x_0 \). Utilizando esta definição, a razão incremental é
\[ f'(x_0) = \lim_{x \to x_0} \frac{\ln(x) - \ln(x_0)}{x - x_0} \]
Utilizando a propriedade dos logaritmos, \( \ln( x ) - \ln(x_0) = \ln \left (\frac{x}{x_0} \right ) \), o numerador torna-se:
\[ \ln(x) - \ln(x_0) = \ln\left(\frac{x}{x_0}\right) \]
Assim,
\[ f'(x_0) = \lim_{x \to x_0} \frac{\ln\left(\frac{x}{x_0}\right)}{x - x_0} \qquad (*) \]
Para simplificar, definimos \( u = x - x_0 \), o que implica que \( x = x_0 + u \). Quando \( x \to x_0 \), então \( u \to 0 \).
Substituindo \( x = x_0 + u \) no limite \( (*) \), obtemos
\[ f'(x_0) = \lim_{u \to 0} \frac{\ln\left(\frac{x_0 + u}{x_0}\right)}{u} \]
O argumento do logaritmo pode ser reescrito de forma a identificar mais facilmente o limite notável que nos permitirá calcular a derivada que buscamos.
\[ f'(x_0) = \lim_{u \to 0} \frac{\ln\left(1 + \frac{u}{x_0}\right)}{u} \]
Se definirmos \( t = \frac{u}{x_0}\), então \( u = x_0 t \). Ademais, \( u \to 0 \) implica \( t \to 0 \):
\[ f'(x_0) = \frac{1}{x_0} \cdot \lim_{t \to 0} \frac{\ln(1+t)}{t} \stackrel{\text{Limite Notável}}{=} \frac{1}{x_0} \cdot 1 = \frac{1}{x_0} \]
Concluímos que, assim como no caso anterior, a derivada de \( \ln(x) \) é:
\[ f'(x) = \frac{1}{x}, \quad \forall x > 0 \]