Você sabe realmente como definimos o logaritmo para números reais?
Na maioria dos cursos introdutórios, a definição de logaritmo é apresentada de forma direta, como a inversa da função exponencial:
$$
x = \log_b a \Leftrightarrow b^x = a.
$$
Nesse contexto, a expressão $b^x$ é bem compreendida quando $x$ é um número inteiro ou racional.
Por exemplo, se $x \in \mathbb{Z}$, então usamos potências inteiras, e se $x = \frac{m}{n} \in \mathbb{Q}$, definimos $b^x$ por meio de radicais, como $\sqrt[n]{b^m}$.
Contudo, surge uma dúvida natural: como dar sentido a $b^x$ quando $x$ é irracional, isto é, $x \in \mathbb{R}-\mathbb{Q}$?
Nesse caso, já não podemos nos apoiar apenas em raízes e potências discretas.
Apesar de muitas vezes essa definição ser apenas assumida — como se suas propriedades “se estendessem naturalmente” —, é fundamental compreender como ela pode ser rigorosamente construída.
Neste artigo, vamos apresentar uma definição do logaritmo baseada em cálculo diferencial e integral, mostrando como a função logarítmica pode ser construída a partir de uma integral definida.
A partir disso, deduziremos a função exponencial real $b^x$, mesmo para expoentes irracionais, de forma sólida e coerente com os fundamentos do cálculo.
2. Limitações da Definição Algébrica
Nos estágios iniciais do estudo da matemática, aprendemos a lidar com potências de forma bastante intuitiva.
Para uma base $b> 0$, definimos as potências inteiras e racionais com regras claras e operacionais:
- Se $x \in \mathbb{Z}$, então:
- $b^x$ representa o produto de $b$ por si mesmo $x$ vezes se $x > 0$,
- e se $x < 0$, definimos $b^x = \frac{1}{b^{-x}}$.
- Para $x \in \mathbb{Q}$, por exemplo $x = \frac{m}{n}$, com $m \in \mathbb{Z}$, $n \in \mathbb{N}$, definimos: $$
b^x = b^{\frac{m}{n}} = \sqrt[n]{b^m}.
$$
Essa construção é satisfatória em níveis introdutórios, uma vez que se apoia em interpretações algébricas familiares: as potências inteiras resultam de multiplicações repetidas, e as racionais estão associadas a extração de raízes.
Entretanto, esse método encontra um obstáculo importante quando lidamos com expoentes irracionais — como $\sqrt{2}$, $\pi$ ou $e$.
Como números irracionais não podem ser escritos como frações de inteiros, expressões como $\sqrt[n]{b^m}$ deixam de ter uma interpretação direta quando o expoente não é racional.
Isso nos leva à seguinte questão:
Como podemos definir $b^x$ quando $x \in \mathbb{R}-\mathbb{Q}$?
Uma estratégia comum em cursos básicos é assumir que a função exponencial definida para racionais pode ser estendida de forma contínua para todos os reais.
Embora essa extensão seja verdadeira (como se pode provar posteriormente com ferramentas do cálculo), ela não constitui uma definição rigorosa: estamos apenas aceitando que as propriedades continuam válidas, sem justificar matematicamente por quê.
Neste ponto, é o cálculo diferencial e integral que oferece uma base conceitual e técnica para definirmos rigorosamente tanto o logaritmo quanto a função exponencial real.
A próxima seção mostrará como isso pode ser feito, iniciando pela definição do logaritmo natural como uma integral.
3. Definição do Logaritmo Natural via Cálculo Integral
Seja $x>0$ um número real.
O logaritmo natural de $x$, denotado por $\ln x$ é a integral
$$
\ln x = \int_1^x \frac{1}{t} \, dt.
$$
Geometricamente, quando $x>1$, $\ln x$ é a área da região mostrada na figura abaixo.
Essa definição tem a vantagem de não depender previamente de potências com expoentes reais ou da função exponencial.
Propriedades fundamentais do logaritmo natural
Com essa definição integral, podemos demonstrar várias propriedades importantes da função logarítmica.
1ª propriedade: $\ln 1=0$.
Temos,
$$
\ln 1 = \int_1^1 \frac{1}{t} \, dt = 0.
$$
2ª propriedade: $\dfrac{d}{dx}(\ln x)=\dfrac{1}{x}$.
Pelo Teorema Fundamental do Cálculo, temos $$\frac{d}{dx}(\ln x)=\frac{d}{dx}\int_1^x\frac{1}{t}\;dt=\frac{1}{x},\quad x>0.$$
Consequentemente, a função $\ln x$ é estritamente crescente em $(0, \infty)$, pois sua derivada é positiva em todo o domínio.
3ª propriedade: se $x, y > 0$, então
$$
\ln(xy) = \ln(x) + \ln(y).
$$
Para ver isso, note que por definição e por uma das propriedades da integral definida, temos $$\ln(xy)=\int_1^{xy}\frac{1}{t}\;dt=\int_1^x\frac{1}{t}\;dt+\int_x^{xy}\frac{1}{t}\;dt.$$
Na segunda integral, fazemos a seguinte substituição: $u=\frac{t}{x}, du=\frac{dt}{x}$, com isso, $$\int_x^{xy}\frac{1}{t}\;dt=\int_1^y\frac{1}{ux}\;x\:du=\int_1^y\frac{1}{u}\;du.$$
Portanto, $$\ln(xy)=\ln x+\ln y.$$
Potências inteiras e racionais: $\ln(x^n)=n\ln x$ e $\ln(x^r)=r\ln x$
Nesta seção, derivamos diretamente das propriedades já demonstradas do logaritmo natural as seguintes identidades
$$
\ln(x^n)=n\ln x \quad (n\in\mathbb{Z}),
\qquad
\ln(x^r)=r\ln x \quad (r\in\mathbb{Q}),
$$
sempre que $x>0$.
Proposição 1 (Expoentes inteiros positivos)
Se $x>0$ e $n\in\mathbb{N}$, então
$$
\ln(x^n)=n\ln x.
$$
Demonstração. A demonstração será por indução em $n$.
Para $n=1$, é imediato: $$\ln(x^1)=\ln x.$$
Suponha válido para algum $n$. Então, usando $$\ln(xy)=\ln x+\ln y,$$ temos
$$
\ln(x^{n+1})=\ln(x^n\cdot x)=\ln(x^n)+\ln x=n\ln x+\ln x=(n+1)\ln x.
$$
Logo, vale para todo $n\in\mathbb{N}$. ■
Proposição 2 (Expoentes inteiros negativos e nulos)
Se $x>0$ e $n\in\mathbb{Z}$, então
$$
\ln(x^n)=n\ln x.
$$
Demonstração. O caso $n=0$: $$x^0=1\Rightarrow \ln(x^0)=\ln 1=0=0\cdot\ln x.$$
Para $n=-m$ com $m\in\mathbb{N},$ observe que
$$
0=\ln 1=\ln\bigl(x^m\cdot x^{-m}\bigr)=\ln(x^m)+\ln(x^{-m}),
$$
logo $$\ln(x^{-m})=-\ln(x^m)=-m\ln x$$ pela Proposição 1. Portanto, $$\ln(x^n)=n\ln x$$ para todo $n\in\mathbb{Z}$. ■
Proposição 3 (Expoentes racionais)
Se $x>0$ e $r=\tfrac{m}{n}\in\mathbb{Q}$ com $m\in\mathbb{Z}$, $n\in\mathbb{N}$, então
$$
\ln\bigl(x^{\,r}\bigr)=r\ln x.
$$
Demonstração. Para $x>0$ e $n\in\mathbb{N}$, seja $y=x^{1/n}$ a raiz $n$-ésima positiva de $x$ (isto é, $y>0$ e $y^n=x$). Aplicando o logaritmo e usando o caso inteiro, obtemos
$$
\ln x=\ln(y^n)=n\ln y \quad\Rightarrow\quad \ln y=\frac{1}{n}\ln x.
$$
Então, para $m\in\mathbb{Z}$,
$$
\ln\bigl(x^{m/n}\bigr)=\ln\bigl((x^{1/n})^{m}\bigr)=\ln(y^m)=m\ln y
= m\cdot\frac{1}{n}\ln x=\frac{m}{n}\ln x.
$$
Logo, $$\ln(x^r)=r\ln x$$ para todo $r\in\mathbb{Q}$. ■
As identidades acima cobrem inteiros e racionais usando apenas as propriedades do logaritmo natural.
Para dar sentido a $x^a$ com $a \in \mathbb{R}$, definiremos a função exponencial $\exp(x)$ como a inversa do logaritmo natural.
Como $\ln(x)$ é contínua, estritamente crescente e possui imagem $\mathbb{R}$, ela é bijetora em $(0,\infty)$ e, portanto, invertível. Assim, definimos
$$
\exp(x) = \ln^{-1}(x), \quad x \in \mathbb{R}.
$$
A função exponencial herda de $\ln(x)$ as seguintes propriedades fundamentais:
- $\exp(0) = 1$;
- $\exp(x+y) = \exp(x)\exp(y)$ para todos $x,y \in \mathbb{R}$;
- $\exp(x) > 0$ para todo $x \in \mathbb{R}$.
O número $e$ é definido como o valor da função exponencial natural em 1, ou seja, $$e:=\exp (1).$$
Essas propriedades nos permitem estender de forma natural a noção de potenciação. Para $x > 0$ e $a \in \mathbb{R}$, definimos
$$
x^a = \exp(a \ln(x)).
$$
Essa definição é consistente com os casos já conhecidos:
- Se $a \in \mathbb{N}$, temos $x^a = x \cdot x \cdot \ldots \cdot x$ (produto de $a$ fatores);
- Se $a = -n$, com $n \in \mathbb{N}$, então $x^a = 1/x^n$;
- Se $a = p/q$, com $p \in \mathbb{Z}$ e $q \in \mathbb{N}$, então $x^a = \sqrt[q]{x^p}$.
Portanto, a definição via exponencial e logaritmo generaliza a potenciação para expoentes reais de forma rigorosa e unificada.
Logaritmo em qualquer base
Até agora, definimos o logaritmo natural como
$$
\ln(x) = \int_1^x \frac{1}{t}\, dt, \quad x > 0.
$$
Para qualquer base $b > 0, b \neq 1$, podemos definir o logaritmo na base $b$ em termos do logaritmo natural:
$$
\log_b(x) := \frac{\ln x}{\ln b}, \quad x>0.
$$
Daí e das propriedades do logaritmo natural vistas acima, temos:
$$
\log_b(xy) = \log_b x + \log_b y, \quad x,y>0;
$$
$$
\log_b\left(\frac{x}{y}\right) = \log_b x – \log_by, \quad x,y>0;
$$
$$
\log_b(x^a) = a \log_bx, \quad x>0, a \in \mathbb{R}.
$$
Em particular, quando $b=e$, recuperamos o logaritmo natural: $$\log_ex = \ln x.$$
Conclusão
A construção apresentada evidencia como o logaritmo natural e a função exponencial podem ser definidos de maneira rigorosa a partir de fundamentos do cálculo integral.
Partindo da função $\frac{1}{t}$ e da área sob sua curva, obtemos a definição do logaritmo, cuja monotonicidade garante a existência de uma função inversa: a exponencial.
Esta, por sua vez, fornece a base para estender de forma consistente a noção de potência real, unificando e generalizando o conceito
inicialmente restrito a expoentes inteiros e racionais.
Essa base sólida abre caminho para muitos outros tópicos do cálculo e da análise, que vão muito além das manipulações algébricas do ensino básico.
Se este conteúdo fez sentido para você e quer continuar aprofundando sua compreensão da matemática, recomendo acompanhar os próximos artigos aqui no Meta-Universo Matemático, onde exploraremos outras construções fundamentais com o mesmo cuidado e rigor.
0 Comentários