FUNO EXPONENCIAL E LOGARTMICA

LOGARITMOS

INTRODUO

Estudamos a funo exponencial e vimos que se > 1 ela seria crescente.

Sabemos que no existe racional , com 10 = 11. De fato, deve ser positivo e

= , . Assim, 10 = 11 , o que nunca verdade. Para estudarmos os
logaritmos, vamos provar primeiramente que a equao = , com
+ 1 , > 0 sempre tem soluo.

Quando fizemos a nossa breve reviso do ensino fundamental, provamos que os

racionais se espalham por toda a reta real. Agora vamos provar um resultado muito
importante e til em nosso estudo. o seguinte:

Lema: Fixado o nmero real positivo 1 , em todo intervalo de + , existe alguma

potncia , com .

Prova:
Sejam , +. Suponhamos sem perda de generalidade que 1 < < e > 1, os
outros casos so anlogos. Vamos mostrar que existe , com , .Devido
1
ao fato de lim = + e lim = 1, podemos achar nmeros naturais

com: < < e 1 < < 1 + .

1 1

Onde teremos que: 1 < < 1 + e 0 < 1 < .

1
+1
Logo: 0 < 1 < 0 < < .Assim, as

1 2
0
potncias = 1, , , , so extremos do intervalos , todos de comprimento

menor do que o comprimento do intervalo , . Como , 1, , pelo

menos um desses extremos, digamos , est contido em , .

A funo exponencial contnua, isto significa que, dado 0 possvel

tornar a diferena 0 to pequena quanto se deseje desde que seja tomado
suficientemente prximo de 0 . Em smbolos, lim 0 = 0 .Esse resultado no
difcil de ser provado e deixamos a cargo do leitor. Vamos agora provar o seguinte:

Teorema 4: A funo exponencial : +, = , 0 < 1 sobrejetiva.

Prova:
Este teorema afirma que a equao = , > 0, 1 sempre tem soluo, e como
provamos que a funo exponencial era injetiva, a soluo nica.
1 1
Para cada , escolha uma potncia , + , . Note
1
que podemos fazer esta escolha (devido ao lema), assim < , 1.

PROFESSOR LUS FARIAS / FORTALEZA-CE

 FUNO EXPONENCIAL E LOGARTMICA
Suponhamos que > 1 e escolhemos as potncias , sucessivamente, do seguinte
modo:
1 < 2 < 3 < < < <
Podemos achar com > , da teremos:
1 < 2 < 3 < < <
Agora vamos usar um resultado de anlise, pois a seqncia ( ) crescente e limitada,
logo existe = lim . Portanto, = lim = .

Definio 7: Sejam + 1 e > 0, ento definimos = log (logaritmo de

na base ) como sendo a nica soluo da equao = .

Observao: (conseqncias da definio)

1) log = 1 3) log =
2) log 1 = 0 4) log = log =

Teorema 5: Sejam , , +, com 1, ento temos:

1. log (. ) = log + log

2. log = log log
log
3. log = , caso = , log log = 1
log

4. log = log (para todos x, y com y 0)

Prova: A cargo do leitor.

PROFESSOR LUS FARIAS / FORTALEZA-CE