Académique Documents
Professionnel Documents
Culture Documents
Fun
c
ao Logartmica e Fun
c
ao Exponencial
Introducao
No Ensino Medio a funcao logartmica e vista como a funcao inversa da funcao exponencial. Desta forma,
primeiramente a funcao exponencial teria que ser definida de maneira precisa para todo n
umero real. Vamos
ver que foi definida de forma precisa quando o expoente e um n
umero natural, quando e um n
umero inteiro e
quando e um n
umero racional, mas nao quando o expoente e irracional.
Lembrando, a funcao exponencial e f (x) = ax , onde a e uma constante real.
Quando x N, x 6= 0, define-se ax = a a a a, onde o produto tem x termos.
Quando x Z, x > 0, idem anterior.
1
Quando x Z, x < 0, temos que x > 0 e define-se ax = x , a 6= 0 .
a
Quando x Z, x = 0, define-se a0 = 1, a 6= 0.
p
Quando x Q, temos que x = pq , p, q Z, q 6= 0 e define-se ax = a q = q ap , se q e par, a 0.
2o problema. As propriedades algebricas, por exemplo ax+y = ax ay , (ax ) = akx , que sao faceis de provar
para x, y e k racionais, tambem sao validas para x, y e k irracionais? Com certo trabalho, podem ser provadas
atraves de limites.
ax+x ax
. Admitindo
x0
x
ax ax 1
ax+x ax
ax ax ax
ax 1
lim
= lim
= lim
= ax lim
= ax L. Antes de calcux0
x0
x0
x0
x
x
x
x
|
{z
}
=L
lar o limite L para qualquer valor de a teramos que provar que existe um valor real para a tal que L = 1. Esse
ex 1
valor de fato existe e e denotado por e, isto e, lim
= 1. Tambem e trabalhoso provar isso.
x0
x
Por esses motivos, apesar de parecer anti-natural, vamos primeiro definir a funcao logartmica para depois
definir a funcao exponencial como a inversa dessa funcao logartmica.
Observamos que na maioria dos livros de Calculo editados recentemente, a definicao da funcao logartmica
utiliza o conceito de Integral Definida, que sera visto no final do curso de Calculo Aplicado I. Nao faremos dessa
forma para termos oportunidade de trabalhar por mais tempo com essas funcoes que logo serao bastante usadas
no curso de Fsica.
Vamos definir geometricamente a funcao logartmica. A derivada dessa funcao tambem sera calculada usando argumentos geometricos. Lembre que as funcoes trigonometricas sen x e cos x tambem foram definidas
geometricamente, assim como usamos argumentos geometricos para calcular alguns limites trigonometricos.
As funcoes serao definidas na seguinte sequencia:
1. f (x) = ln x, denominada funcao logartmica natural ou logaritmo neperiano ou simplesmente funcao
logartmica.
2. f (x) = exp x = inversa da funcao logartmica, denominada funcao exponencial.
3. f (x) = ex = exp x, denominada func
ao exponencial ou funcao exponencial de base e.
4. f (x) = ax = ea ln x ,
5. f (x) = loga x= inversa da funcao exponencial geral, denominada funcao logartmica de base qualquer
ou funcao logartmica geral.
Funcao Logartmica
1. Defini
c
ao
1
, t R, t > 0, esbocada na Fig. 1.
t
1
Sejam x > 0 e A(x) a area da regiao limitada pela hiperbole y =
, pela reta
t
horizontal y = 0 e pelas retas verticais t = 1 e t = x.
Considere a hiperbole y =
x 1
3 t
2 x3 t
1
1
Fig. 2
2
1
1
3 t
Fig. 1
y
3
Fig. 3
3 t
Fig. 4
A func
ao logartmica natural de x tambem denominada logaritmo neperiano de x ou logaritmo de x ou
funca
o logartmica de x, denotada por ln x, e definida por:
ln x =
A(x) se
A(x) se
0<x<1
x1
2. O domnio e a an
alise de sinal de f (x) = ln x
Pela definicao de ln x, vemos que o domnio e o intervalo (0, +).
Como A(x) e uma area, temos que:
A(x) > 0 quando x 6= 1 e
A(x) = 0 quando x = 1, neste caso a base da regiao
ln x = A(x) < 0
ln x = 0
Assim, podemos concluir que
ln x = A(x) > 0
Logo a tabela de sinal de ln x e:
ln x
x0
@
da Fig. 4 e nula.
quando
quando
quando
0<x<1
0<x<1
x=1
x>1
x=1
0
x>1
+
ln(2 x)
.
x+2
x < 2
+
x = 2
+
0
2 < x < 1
+
+
x=1
0
+
1<x<2
x2
@
+
3. A derivada de f (x) = ln x
Vamos provar que
d(ln x)
1
=
.
dx
x
ln(x + x) ln x
.
x
ln(x + x) ln x
x
Para provar, precisamos calcular a derivada pela definicao, a saber, f 0 (x) = lim
x0
0
Vamos calcular as derivadas laterais. Sabemos que f+
(x) =
Afirmacao:
lim
x0+
1
, pelos
ln(x + x) ln x representa a area da regiao R delimitada pela hiperbole y =
t
eixo horizontal y = 0 e pelas retas verticais t = x e t = x + x.
Para demonstrar essa afirmacao analisaremos as tres possibilidades (casos 1, 2 e 3 a seguir).
Em cada um dos tres casos temos que
0 < x < x + x;
1
A(x) = area da regiao limitada pela hiperbole y =
, pelos eixo horizontal y = 0 e
t
pelas retas verticais t = 1 e t = x;
1
, pelos eixo horizontal y = 0
A(x + x) = area da regiao limitada pela hiperbole y =
t
e pelas retas verticais t = x e t = x + x.
x x+ x
DF
A CE
Fig. 5.a
Fig. 5.b
Caso 2: 1 = x < x + x.
y
3
2
C E
x x + x
Fig. 6.a
F
t
Fig. 6.b
lim
F
B
x x+ x
Fig. 7.a
x0+
ln(x + x) ln x
.
x
CE A
Fig. 7.b
x
1
1
1
< ln(x + x) ln x < x
x + x
x
x+ x
x
x+ x
G
C
F
E t
Fig. 8
ln(x + x) ln x
1
1
<
<
x + x
x
x
1
1
1
Calculando lim +
= lim + =
x
x0 x + x
x0 x
Assim, podemos aplicar o Teorema do Confronto (sanduche) e concluir lim +
x0
0
Acabamos de provar que f+
(x) =
ln(x + x) ln x
1
=
.
x
x
1
.
x
1
.
x
Este limite pode ser calculado de forma analoga ao limite anterior. Faca como exerccio.
0
Agora so falta provar que f
(x) =
Portanto
0
0
f+
(x) = f
(x) = f 0 (x) =
1
x
c.q.d.
=
= 2 =
definida para todo x R; x 6= 0.
2
|x| |x|
|x|
x
x
4. A continuidade de f (x) = ln x
No item 3. encontramos a derivada de f , logo f e diferenciavel e portanto contnua.
5. O crescimento de f (x) = ln x
Se admitimos que x1 < x2 e provarmos que ln x1 < ln x2 , estaremos provando que a funcao logartimica e
estritamente crescente.
Se x1 < x2 entao x > 0 tal que x2 = x1 + x. Logo ln x2 ln x1 = ln (x1 + x) ln x1 .
Se na afirmacao da demonstracao da derivada `a direita substituirmos x por x1 temos que ln x2 ln x1 =
1
ln (x1 + x) ln x1 representa a area da regiao limitada pela parabola y = , pelo eixo y = 0 e pelas
t
retas t = x1 e t = x2 .
Como qualquer area e positiva, ln x2 ln x1 > 0 ln x1 < ln x2 .
c.q.d.
6. A igualdade
Vamos provar que ln x1 = ln x2 x1 = x2 .
Se x1 = x2 entao ln x1 = ln x2 , pois se ln x1 e ln x2 fossem diferentes, ln x nao seria funcao.
Suponha que ln x1 = ln x2 , e suponha por absurdo que x1 6= x2 .
Teramos dois casos possveis: x1 < x2 ou x1 > x2 . Como ln x e estritamente crescente, conclumos que
no primeiro caso ln x1 < ln x2 e no segundo caso ln x1 > ln x2 , que e uma contradicao com ln x1 = ln x2 .
Logo x1 e x2 nao podem ser diferentes, isto e, x1 = x2 .
c.q.d.
Conclumos tambem que ln x1 6= ln x2 x1 6= x2 )
7. O n
umero irracional e.
Vamos verificar que as tres hipoteses do Teorema do Valor Intermediario sao satisfeitas para a funcao
f (x) = ln x no intervalo [2, 4]:
(a) f (x) = ln x e contnua x [2, 4] pois ja provamos que e contnua x > 0.
(b) f (2) = ln 2 6= f (4) = ln 4 pois 2 6= 4 (pelo item 6. acima).
(c) ln 2 < k = 1 < ln 4. A prova das duas desigualdades esta no final desse item.
Aplicando o Teorema do Valor Intermediario, c (2, 4) tal que f (c) = ln c = 1. Alem disso, este n
umero
c e u
nico, pois ja provamos no item 6. que ln x = ln c x = c.
O n
umero e, por definicao, e o u
nico n
umero c tal que ln c = 1. Portanto ln e = 1.
2
B
E
D
C
A
1
Fig. 9
y
B
I
1A
1
1
Fig. 10
D
J
2C
F
K
3E
H
4G t
8. O gr
afico de f (x) = ln x
Para esbocar o grafico de f observamos que
(a) ln 1 = 0, ln e = 1,
ln x > 0 x > 1.
x0
Grafico de f (x) = ln x
y
2
1
1
1
1
9. Propriedades
Sejam a e b n
umeros reais tais que a > 0 e b > 0. Valem as seguintes propriedades:
(i)
ln(ab) = ln a + ln b
a
(ii) ln = ln a ln b
b
(iii) ln ak = k ln a, para k racional
Atencao: Essas propriedades so fazem sentido quando a e b sao positivos. Observe que se a = 4 e
b = 2 o lado esquerdo da primeira propriedade e ln[(4)(2)] = ln 8 que faz sentido, mas o lado direito
e ln(4) + ln(2) que nao faz sentido.
Demonstracoes das propriedades:
(i) Sejam f (x) = ln(ax) e g(x) = ln a + ln x, onde a e constante. Vamos mostrar que f (x) = g(x).
1
1
1
a=
e g 0 (x) = 0 + . Logo f 0 (x) = g 0 (x).
Derivando, temos f 0 (x) =
ax
x
x
Vimos uma consequencia do Teorema do Valor Medio, que nos diz que f 0 (x) = g 0 (x) f (x) = g(x) + C.
Agora vamos determinar o valor de C.
Como f (x) = g(x) + C para todo x, entao quando x = 1 temos f (1) = g(1) + C.
c.q.d.
a
a
= a = ln b
= ln a.
b
b
Aplicando a primeira propriedade no lado esquerdo dessa igualdade, obtemos
a
a
ln b + ln
= ln a = ln
= ln a ln b.
c.q.d.
b
b
(ii) Sabemos que b
lim ln x
x+
c.q.d.
lim ln x
x0+
()
n+
Aplicando a terceira propriedade de logaritmo para calcular o limite do lado direito dessa desigualdade,
lim ln 2n = lim n(ln 2) = (ln 2) lim n = +.
n+
n+
()
n+
lim ln x = +
x+
1
.
t
1
1
, quando x 0+ temos que t + e lim+ ln x = lim ln .
t+
x
t
x0
Aplicando a propriedade de logaritmo de quociente, obtemos
1
lim ln = lim [ln 1 ln t] = lim [0 ln t] = lim ln t = . Logo lim+ ln x =
t+
t+
t+
t+
t
x0
Como t =
OBSERVAC
AO
Nao escrevi notas de aula sobre a funcao exponencial, funcao exponencial geral e funcao logartmica geral
porque sao facilmente encontradas nos livros de Calculo que apresentam a funcao logartmica usando o
conceito de Integral Definida.