Você está na página 1de 25

Matemtica A 12.

ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
1
Potncias............................................................................................................................................................................ 1
Potncias de expoente natural ........................................................................................................................................ 1
Potncias de expoente nulo............................................................................................................................................ 2
Potncias de expoente inteiro negativo........................................................................................................................... 3
Potncias cujo expoente uma fraco de numerador 1 e denominador natural .............................................................. 4
Potncias de expoente racional no-inteiro ..................................................................................................................... 5
A importncia de a base ser positiva, quando o expoente fraccionrio .......................................................................... 6
Potncias de expoente real irracional.............................................................................................................................. 7
Propriedades das potncias de expoente real ................................................................................................................. 8
Funes exponenciais e logartmicas ................................................................................................................................ 10
Definio geral de funo exponencial .......................................................................................................................... 10
Funo exponencial [de base e ] .................................................................................................................................. 10
Expanso em srie de potncias da funo exponencial [de base e ] ............................................................................ 12
Principais propriedades da funo exponencial [de base e ], incluindo limites notveis.................................................. 14
Funo logaritmo [de base e ] ...................................................................................................................................... 18
Funes exponenciais com outras bases positivas........................................................................................................ 20
Funes logartmicas com outras bases positivas ......................................................................................................... 21
Notao ambgua: x log ............................................................................................................................................. 22
Resumo das propriedades das funes exponenciais e logartmicas.................................................................................. 23
A sucesso
n
n
|

\
|
+
1
1 ................................................................................................................................................. 23
Propriedades gerais das funes exponenciais ............................................................................................................. 23
Propriedades gerais das funes logartmicas............................................................................................................... 24
Outros limites notveis ................................................................................................................................................. 24
Propriedades operatrias de exponenciais e logaritmos ................................................................................................ 25
Potncias
Potncias de expoente natural
Seja a um nmero real e n um nmero natural. Define-se a n-sima potncia de a (
n
a a elevado a n)
como sendo o resultado da multiplicao de n factores iguais a a:
43 42 1
K
factores n
n
a a a =
De modo mais rigoroso,
n
a pode ser definido por induo:
a a =
1

a a a
n n
=
+1

Exemplo:
{
factor 1
1
2 2 =
{
factores 2
1 1 1 2
2 2 2 2 2 2 = = =
+

Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
2
43 42 1
factores 3
2 1 2 3
2 2 2 2 2 2 2 = = =
+

43 42 1
factores 4
3 1 3 4
2 2 2 2 2 2 2 2 = = =
+

etc..
Sejam R I , b a e N I , m n . Tem-se
(1) (1) (1) (1)
m n m n
a a a
+
=
(2) (2) (2) (2) ( )
m n
m
n
a a

=
(3) (3) (3) (3) ( )
n n n
ab b a =
Justificao
1
:
(1)
m n
m n
m n
m n
a a a a a a a
+
+
= =
4 4 4 3 4 4 4 2 1
43 42 1
K
43 42 1
K
factores
factores factores

(2) ( )
m n
n n
m
n n
m
n
a a a a a
m

+ +
= = =
43 42 1
K
43 42 1
K
parcelas
factores

(3) ( ) ( ) ( )
n n
b n a n
b n
a n
b a n
n
b a b b a a b a b a b a = = =

43 42 1
K
43 42 1
K
4 4 4 3 4 4 4 2 1
K
factores factores
factores
a e , factores
a endo correspond , de s ocorrncia

Exemplos:
7
7
4 3
4 3
2 2 2 2 2 2 2 2 2 2 = =
4 4 4 3 4 4 4 2 1
43 42 1 43 42 1
factores
factores factores

( )
{ { {
6
3 2 2 2
2 2 2
2 3
2 2 2
3
2
2 2 2 2 2 2 2 2 2 2 2
2
2
= = =
=
4 4 4 3 4 4 4 2 1
43 42 1
vezes repetido
factores factores factores
a iguais factores

( ) ( ) ( )
2 2
5 3 2
2
5 3 5 5 3 3 5 3 5 3 5 3 = = =

4 43 4 42 1
a iguais factores

Potncias de expoente nulo
Definimos as potncias de expoente natural, as quais constituem formas compactas de representar produtos onde
todos os factores so iguais, e deduzimos algumas propriedades importantes. Gostaramos de estender a definio
de potncia, de modo a podermos considerar qualquer expoente inteiro relativo. Como fazer essa extenso?
Quando se estende uma definio matemtica, h interesse em preservar as propriedades j conhecidas. Em
paricular, a propriedade (1) deve permanecer vlida para quaisquer nmeros inteiros relativos m e n.
Particularizando ainda mais: a propriedade (1) deve verificar-se quando n=0 e m=1:
( )
0 1
0 1
0
0
1 1 0 1 0
= =
=
= =
+
a a
a a
a a a a


1
Nestes apontamentos, usada a palavra justificao para referir uma argumentao que torna um resultado matemtico plausvel e
constitui um esboo de uma possvel demonstrao, mas no contm todo o rigor tcnico de uma verdadeira demonstrao.
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
3
Conclumos assim que, para que a propriedade (1) permanea vlida, devemos definir 1
0
= a sempre que 0 a .
Quando 0 = a no sabemos como definir
0
a , pois a igualdade
1 0 1 0
0 0 0
+
= ser sempre vlida
independentemente do valor que tomemos para
0
0 . De facto h boas razes para no definir
0
0 , como veremos
quando retomarmos o estudo de limites de funes.
Seja { } 0 \ R I a . Define-se a potncia de expoente nulo de a como sendo igual ao elemento neutro da
multiplicao o nmero 1.
( ) 0 1
0
= a a
Potncias de expoente inteiro negativo
O prximo passo ser definir potncias de expoente inteiro negativo, por forma a estender a definio de potncia a
todos os nmeros inteiros relativos.
Mais uma vez, queremos que a propriedade (1) permanea vlida, em particular quando m=-n:

( )
n
n
n n
n n n n
a
a
a a
a a a a

+
=
=
= =
1
1
0

Descobrimos assim como definir
n
a quando n negativo: calculamos a potncia
n
a

(a qual j est definida, pois


se n<0 ento 0 > n ), e calculamos o seu inverso: o resultado o valor de
n
a . Mas s podemos aplicar o
raciocnio acima, e s podemos calcular
n
a

1
, quando 0
n
a , o que acontece se e apenas se 0 a .
Seja { } 0 \ R I a e

Z n . Define-se a potncia de expoente negativo


n
a do seguinte modo:
( ) 0 , 0
1 1
< = =

n a
a a
a
n n
n

Com estas definies, mantm-se vlidas as propriedades operatrias das potncias que nos so familiares:
Sejam { } 0 \ R I , b a e N I , n m . Tem-se
(1)
n m n m
a a a
+
=
(2) ( )
n m
n
m
a a

=
(3) ( )
n n n
b a b a =
(4) (4) (4) (4)
n
n
a
a
1
=

(em particular
a
a
1
1
=

)
(5) (5) (5) (5)
n m
n
m
a
a
a

=
(6) (6) (6) (6)
n
n
n
b
a
b
a
|

\
|
=
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
4
Justificao de algumas propriedades:
(5)
n m n m
n
m
n
m
a a a
a
a
a
a

= = =
1

(6) ( ) ( )
n
n
n
n
n n n
n
n
n
n
b
a
b a b a b a
b
a
b
a
|

\
|
= = = = =
1 1
1

Potncias cujo expoente uma fraco de numerador 1 e denominador natural
Seja n um nmero natural, e considere-se a funo real de varivel real
n
x x f a : . Mostra-se que
se n mpar, ento f injectiva ( y x y x
n n
= = ) e sobrejectiva ( ( ) ( ) x y f
y x
=
R I R I
);
se n par, ento f no injectiva (pois uma funo par com domnio diferente de {0}) nem sobrejectiva (pois
todas as imagens por f so nmeros no negativos), mas a funo que se obtm restringindo o domnio e o
conjunto de chegada de f
n
x x
F
a
+ +

0 0
R I R I :

injectiva e sobrejectiva.
Vamos estar interessados em inverter a funo
n
x x f a : (ou a sua restrio F , no caso de o expoente ser par),
e vamos querer deduzir algumas propriedades gerais. No ser de todo conveniente termos que estar
constantemente a considerar em separado o caso em que o expoente mpar e o caso em que o expoente par.
Para no termos que nos preocupar com isso, consideraremos apenas potncias cuja base no-negativa, ou seja:
de agora em diante consideraremos sempre a funo f definida em
+
0
R I e com valores em
+
0
R I :
n
x x
f
a
+ +

0 0
R I R I :
.
Com esta restrio, temos a garantia de que
Se N I n , ento a funo

n
x x
f
a
+ +

0 0
R I R I :

injectiva e sobrejectiva.
Sendo injectiva e sobrejectiva, a funo f admite inversa
1
f . Dado
+

0
R I x , ( ) x f
1
o (nico) nmero
+

0
R I y que verifica ( ) x y f = . Diz-se ento que ( ) x f y
1
= a raiz de ndice n de x , que se representa atravs
de um radical: ( )
n
x x f y = =
1
.
Por definio, ( ) x f
1
(ou seja
n
x ) o nmero no negativo cuja imagem por f x (ou seja, cuja potncia de
expoente n x ): simbolicamente ( ) ( ) x x f f =
1
, ou seja, ( ) x x
n
n
= .
Sejam
+

0
R I x e N I n . Define-se a raiz de ndice n de x que se representa por
n
x como
sendo o nico nmero real no-negativo que verifica
( ) x x
n
n
= .
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
5
Gostaramos de poder exprimir a raiz na forma de uma fraco. Vamos supor que isso possvel: vamos supor que
para quaisquer
+

0
R I x e N I n existe um nmero R I tal que

= x x
n
. Qual ser o valor de ?
Estamos interessados em que a propriedade (2), da potncia de potncia, se mantenha. Em particular, dever
verificar-se a igualdade ( )
n
n
x x

= . Mas ns suposemos que
n
x x =

, logo ( ) ( ) x x x
n
n
n
= =

como j tnhamos
visto. Ento ( )
1
x x x
n
n
= =

, logo, comparando os expoentes, conclumos que n dever ser igual a 1, ou seja,
n
1
= . A concluso final a de que, se queremos exprimir
n
x na forma de uma potncia

x , devemos tomar
n
1
= .
Sejam
+

0
R I x , N I n e
n
1
= . Define-se

x a potncia de expoente fraccionrio


n
1
= de
x como sendo a raz de ndice

=
1
n de x ,
(7) (7) (7) (7)
n
x x =

com N I
1

= n .
Equivalentemente (por definio de raiz de ndice n):

x o nico nmero real no-negativo que verifica


(8) (8) (8) (8) ( ) x x
n
=

com N I
1

= n .
Observao: quando n=1, temos x x x
n
= =
1 1
, portanto x x =
1
.
Potncias de expoente racional no-inteiro
Seja um nmero racional. Ento existem Z p e N I q tais que
q
p
q
p 1
= = .
Consideremos agora um nmero real positivo x . Como definir

x se no for inteiro? Mais uma vez, queremos


que a propriedade (2) se mantenha vlida, o que implica

( )
( )
q
p
q
p q p
x x x x = = =

1
1

Ser deste modo que definiremos as potncias de expoente racional no inteiro:
Sejam
+

0
R I x e Z Q\
|
, sem que se verifique 0 0 = x .
Sejam Z p e N I q tais que
q
p
= .
Define-se

x a potncia de expoente fraccionrio


q
p
= de x atravs da relao

q
p
x x =


a qual equivalente a
( )
p
q
x x =


ou seja:

x (
q
p
= ) o nico elemento de
+
0
R I cuja potncia de ndice q igual a
p
x .
Dito de outra forma:
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
6

x (
q
p
= ) igual nica soluo real no-negativa y da equao
p q
x y = .
O leitor mais atento recordar-se- de que qualquer nmero racional pode ser escrito como fraco de infinitas
formas, mesmo que imponhamos a condio de o denominador ser positivo. Se
q
p
a fraco irredutvel com
denominador positivo que representa o nmero , ento as fraces com denominador positivo correspondentes ao
nmero so precisamente as fraces da forma
n q
n p

, com N I n .
Consideremos uma dessas fraces equivalentes a
q
p
. Se, na definio de

x , usssemos esta representao do


nmero , concluiramos que

x igual nica soluo real no-negativa y da equao


n p n q
x y

= que pode
ser reescrita na forma ( ) ( )
n
p
n
q
x y = .
Acontece que, sendo n um nmero natural e
q
y e
p
x nmeros reais no-negativos, as potncias de expoente n
dos nmeros
q
y e
p
x sero iguais se e apenas se os prprios nmeros
q
y e
p
x forem iguais: simbolicamente,
( ) ( )
p q
n
p
n
q
x y x y = = . Significa isto que o nmero y s soluo da equao
n p n q
x y

= se for soluo da
equao
p q
x y = , e vice-versa. Obtemos sempre o mesmo valor independentemente da fraco que tenhamos
usado para representar o nmero e portanto estaremos sempre a atribuir a

x o mesmo valor.
Conclumos deste modo que a nossa definio de

x , com Q
|
, consistente: se cumprirmos os requisitos da
definio, obteremos sempre o mesmo valor para

x , mesmo que usemos vrias fraces equivalentes para


representar o expoente .
A importncia de a base ser positiva, quando o expoente fraccionrio
De acordo com a nossa definio,
( ) ( )
( ) ( ) ( ) 2 2 2
8 8
9
9
9
3
3
9
3 9 3
= = =
= =

Uma vez que
18
6
9
3
= , a potncia ( )
18 6
8 deveria ter o mesmo valor que ( )
9 3
8 , uma vez que a fraco em
expoente representa o mesmo nmero. No entanto,
( ) ( )
( ) ( ) ( ) 2 2 2 2
8 8
18 18
18
18 18
6
3
18
6 18 6
= = = =
= =

Verificamos que o valor obtido depende da forma como representamos o nmero
9
3
. Mas se queremos que a
potncia seja uma funo dos nmeros que constituem a sua base e o seu expoente, ento a forma como esses
nmeros esto representados deve ser irrelevante para o clculo da potncia. No isto que acontece quando a
base da potncia negativa e o expoente fraccionrio: o valor calculado para a potncia pode ser negativo ou
positivo, consoante o numerador da fraco seja mpar ou par.
Esta no sequer a pior situao possvel, pois poderia ser resolvida impondo o uso de uma fraco equivalente
irredutvel no momento de calcular o valor da potncia. O pior caso acontece quando a base da potncia um
nmero negativo e o expoente uma fraco com numerador mpar e denominador par. Por exemplo:
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
7
( ) ( ) ? ! = = =
4 4
3 4 3
1 1 1
A consequncia de tudo isto que, se tomssemos uma certa base 0 < a e tentssemos fazer o grfico de
x
a ,
iramos ter valores alternadamente negativos e positivos, intercalados com buracos no grfico. No estamos
interessados em definir uma funo com um comportamento to anmalo, por isso no nos preocuparemos sequer
em definir as potncias de base negativa e expoente fraccionrio excepto quando o expoente uma fraco de
numerador 1: nesse caso a potncia corresponde a uma raiz, conceito este que j conhecemos e dominamos h
vrios anos.
Potncias de expoente real irracional
oportuno revermos agora as sucessivas definies de potncias de expoente natural, nulo, inteiro negativo, e
racional no-inteiro. A definio mais intuitiva e que serviu de base a todas as outras foi a de potncia de expoente
natural; e se repararmos bem, cada extenso do conceito de potncia seguiu de perto a forma como se estende o
prprio conceito de nmero:
o zero definido como o elemento neutro da adio, e esta propriedade foi usada para deduzir o valor de
0
x ;
cada nmero inteiro negativo o simtrico de um nmero natural (ou seja: para qualquer nmero inteiro negativo
n existe um nmero natural cuja soma com n zero) e, mais uma vez, esta propriedade foi usada para definir
as potncias de expoente inteiro negativo;
os nmeros racionais correspondem a fraces com numerador inteiro e denominador natural, e esta
propriedade foi fundamental para a definio das potncias de expoente racional no-inteiro.
Para descobrirmos a forma de estender a definio de potncia ao caso em que o expoente irracional, teremos que
ter bem presente a forma como os nmeros irracionais so construdos a partir dos nmeros racionais.
Para qualquer nmero irracional (mais geralmente, para qualquer nmero real ) existe pelo menos uma
sucesso de nmeros racionais ( )
n
u cujo limite . Na verdade, existem infinitas sucesses nestas condies. A
mais familiar talvez a sucesso das dzimas aproximadas por defeito com 1, 2,, n casas decimais. Por exemplo:
a sucesso ( )
n
u cujos primeiros termos so
10
31
1 , 3
1
= = u ,
100
314
14 , 3
2
= = u ,
1000
3141
141 , 3
3
= = u ,
10000
31415
1415 , 3
4
= = u ,
100000
314159
14159 , 3
5
= = u ,, uma sucesso de nmeros racionais convergente para o
nmero , que irracional.
Se quisssemos calcular

x , com
+
R I x , poderamos pensar em calcular uma sucesso de valores aproximados
1 , 3
1
1
x x v
u
= =
14 , 3
2
2
x x v
u
= =
141 , 3
3
3
x x v
u
= =

e tomar para valor de

x o limite dos valores aproximados ( )


n
v , caso esse limite existisse. Porm, imediatamente
se colocam duas questes:
Existir o limite da sucesso de termo geral
n
u
n
x v = ?
Esse limite ser sempre o mesmo, qualquer que seja a sucesso de nmeros racionais ( )
n
u convergente para
que escolhamos?
Prova-se que ambas as questes so respondidas de forma afirmativa:
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
8
Sejam
+
R I x e Q \ R I
|
. Seja ( )
n
u uma sucesso de nmeros racionais tal que =
n
u lim , e seja
( )
n
v a sucesso de termo geral
n
u
n
x v = . Ento,
A sucesso ( )
n
v convergente.
Seja ( )
n
w outra sucesso de nmeros racionais tal que =
n
w lim , e seja ( )
n
z a sucesso de
termo geral
n
w
n
x z = . Ento
n n
v z lim lim = .
Abreviadamente,

( ) ( ) Q , R I
lim lim lim lim
|

= =
+
n n
n
u w
n n
w u x
x x u w
n n

Estas duas propriedades permitem-nos definir, de forma consistente, a potncia de expoente irracional:
Sejam
+
R I x e Q \ R I
|
. Define-se

x a potncia de expoente irracional de x atravs


da relao
( )
n
u
x x lim =


onde ( )
n
u uma sucesso de nmeros racionais convergente para , ou seja, =
n
u lim .
Repare-se que a definio dada conduz imediatamente a
( )
n n
u u
x x lim
lim
= .
Propriedades das potncias de expoente real
A ltima igualdade acima referida vlida sempre que
+

0
R I x e ( )
n
u uma sucesso convergente de nmeros
reais, no obrigatoriamente racionais.
Seja
+
R I x e seja ( )
n
u uma sucesso convergente de nmeros reais. Ento,
(9) (9) (9) (9) ( )
n n
u u
x x lim
lim
=
Significa isto que as potncias de base real positiva e expoente real so funes contnuas do expoente.
Tal como as potncias de expoente natural, inteiro relativo ou racional, todas as potncias de expoente irracional so
funes contnuas da sua base:
Seja R I e seja ( )
n
x uma sucesso convergente de nmeros reais positivos cujo limite tambm um
nmero real positivo. Ento,
(10) (10) (10) (10) ( ) ( )

=
n n
x x lim lim
As regras operatrias de potncias que j conhecamos permanecem vlidas quando admitimos potncias com
qualquer expoente real:
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
9
Para quaisquer
+
R I , b a e R I , y x , so vlidas as seguintes igualdades:
(1)
y x y x
a a a
+
=
(2) ( )
xy
y
x
a a =
(3) ( )
x x x
ab b a =
(4)
x
x
a
a
1
=


(5)
y x
y
x
a
a
a

=
(6)
x
x
x
b
a
b
a
|

\
|
=
Finalmente referiremos algumas propriedades que, apesar de intuitivas, so suficientemente importantes para que se
justifique uma referncia explcita:
Para quaisquer nmeros reais x e tais que 1 > x e 0 > , tem-se 1 >

x . Simbolicamente,
(11) (11) (11) (11) ] [ 1 R I ; 1 > +
+
x x

Para qualquer
+
R I , tem-se + =

+
x
x
lim . Simbolicamente,
(12) (12) (12) (12) + =

+
+
x
x
lim R I
Demonstrao:
Seja
+
R I . Ento tambm
+
R I 1 .
Seja N I n tal que >1 n . Ento n 1 > , ou equivalentemente, 0 1 > n . Aplicando a
propriedade (11), conclumos que 1
1
>
n
x , logo
n n n n
x x x x x = > =
1 1 1
. Mas j sabemos (e foi
referido noutros apontamentos, relativos aos limites de sucesses e funes) que, se N I n , ento
+ =
+
n
x
x lim . Consequentemente, passando ao limite a desigualdade
n
x x >

, conclumos que
+ =

+
x
x
lim .

Para qualquer

R I , tem-se
+
+
= 0 lim x
x
. Simbolicamente,
(13) (13) (13) (13)
+
+

= 0 lim R I x
x

Demonstrao:
Seja

R I . Ento
+
R I , logo + =

+
x
x
lim , consequentemente
+

+

+

+
=
+
= = = 0
1
lim
1 1
lim lim
x x
x
x
x x
.
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
10
Funes exponenciais e logartmicas
Definio geral de funo exponencial
Atravs de sucessivas generalizaes, conseguimos estender o conceito de potncia de modo a podermos
considerar qualquer expoente real. Pelo caminho tivemos que nos restringir a potncias de base positiva, pois na
passagem para o expoente fraccionrio verificmos que a considerao de potncias de base negativa conduziria a
situaes anmalas, e as potncias de base zero tambm j tinham sido ignoradas antes, pois j tnhamos visto
que elas no estariam definidas quando o expoente fosse um nmero 0 .
At agora, de forma mais ou menos explcita, estivemos sempre a encarar o expoente de uma potncia como sendo
um nmero fixo e a base da potncia como uma varivel. Ao escrevermos

x , mais depressa imaginaramos


construir uma funo em que x variasse e permanecesse fixo (por exemplo 0 , :
3 4
x x x f a ), do que o
contrrio. Uma novidade do estudo de funes no 12. ano consiste precisamente em considerar funes definidas
por potncias em que a base constante e o que varia o expoente. A essas funes chamamos funes
exponenciais.
Seja
+
R I a . Define-se a funo exponencial de base a como sendo a funo f que a cada R I x
faz corresponder ( )
x
a x f = .
Simbolicamente, a funo exponencial de base a definida por:

x
a x
f
a
+
R I R I :

Funo exponencial [de base e ]
Qualquer nmero real positivo pode ser usado como base de uma funo exponencial, mas as vrias funes
exponenciais assim obtidas esto todas relacionadas, sendo possvel passar de umas para outras atravs de
transformaes muito simples que correspondem a expanses/contraces e inverses dos seus grficos. Assim,
basta-nos estudar aprofundadamente uma funo exponencial para rapidamente podermos tirar concluses acerca
de qualquer outra funo exponencial. E qual ser a funo exponencial que iremos estudar em mais detalhe?
Por vrias razes (que comearo a ficar mais claras ainda durante o 12. ano), pode dizer-se que a funo
exponencial mais importante aquela cuja base o nmero
n
n
e |

\
|
+ =
1
1 lim . As propriedades mais importantes
desta funo podem obter-se a partir da igualdade

x
n
e
n
x
=
|

\
|
+ 1 lim
por isso comearemos por deduzir esta igualdade.
Caso 1 = x
Este caso trivial, uma vez que o nmero
1
e e = definido precisamente como o limite da sucesso
n
n
|

\
|
+
1
1 . De
facto, mosta-se que esta sucesso estritamente crescente e limitada, logo convergente.
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
11
Caso 0 = x
Nesse caso

( )
( )
x
n
n n
e e
n n
x
= = = =
= =
|

\
|
+ =
|

\
|
+
0
1 1 lim
1 lim
0
1 lim 1 lim

Caso 0 > x

( ) ( )
=
(
(

|
|

\
|
+ =
|
|

\
|
+ =
|

\
|
+

x
x n x x n
n
x n x n n
x 1
1 lim
1
1 lim 1 lim
(usando a propriedade (10))

( )
x
x n
x n
(
(

|
|

\
|
+ =
1
1 lim
Consideremos a sucesso de termo geral
x
n
u
n
= . Tem-se que
( )
+ =
+
= =
>0
lim
lim
x x
n
u
n
. possvel provar que
Se ( )
n
u uma sucesso de nmeros reais tal que + =
n
u lim , ento
(14) (14) (14) (14) e
u
n
u
n
=
|
|

\
|
+
1
1 lim
Consequentemente,

( )
e
x n
x n
=
(
(

|
|

\
|
+
1
1 lim
logo
( )
( )
x
x
x n
n
e
x n n
x
=
(
(

|
|

\
|
+ = =
|

\
|
+
1
1 lim 1 lim K
Caso 0 < x
Comecemos por usar a propriedade (14) para provar que
Se ( )
n
u uma sucesso de nmeros reais tal que =
n
u lim , ento
e
u
n
u
n
=
|
|

\
|
+
1
1 lim
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
12
Demonstrao:
Seja
n n
u v = . Ento + = =
n n
u v lim lim , e
( )
( )
=
|
|

\
|

+
=
(
(

|
|

\
|
=
|
|

\
|
=
|
|

\
|
+

n
n
n n
v
n
n
v
n
n
v
n
u
n
v
v
v
v
v u 1
1 1
lim
1
lim
1
1 lim
1
1 lim
1 1

( )
=
(
(

|
|

\
|

+
|
|

\
|

+ =
|
|

\
|

+ =
+ 1 1 1 1
1
1
1
1
1
1 lim
1
1
1 lim
n
v
n
v
n
v v v
n n

=
|

\
|
+
+
|
|

\
|

+ =
|
|

\
|

+
|
|

\
|

+ =

1
1
1
1
1
1 lim
1
1
1 lim
1
1
1 lim
1 1
n n
v
n n
v
n
v v v

1
1
1
1 lim

|
|

\
|

+ =
n
v
n
v

Acontece que, se + =
n
v lim , ento tambm ( ) + = 1 lim
n
v , logo podemos aplicar a propriedade
(14) para concluir que
( ) e
v u
n n
v
n
u
n
=
|
|

\
|

+ = =
|
|

\
|
+
1
1
1
1 lim
1
1 lim K
O raciocnio prossegue agora de modo anlogo ao do caso anterior:
( )
( )
x
x
x n
n
e
x n n
x
=
(
(

|
|

\
|
+ = =
|

\
|
+
1
1 lim 1 lim K
visto que, se 0 < x , ento =
|

\
|
x
n
lim , logo podemos aplicar a propriedade acima demonstrada para concluir
que
( )
e
x n
x n
=
|
|

\
|
+
1
1 lim .
Conclumos deste modo a verificao de que
Para qualquer R I x ,
(15) (15) (15) (15)
x
n
e
n
x
= |

\
|
+ 1 lim
De agora em diante, sempre que usarmos a expresso funo exponencial sem qualquer outra indicao,
estaremos a referir-nos funo exponencial de base e .
Expanso em srie de potncias da funo exponencial [de base e ]
Vimos em (15) que o valor da funo exponencial
x
e em cada ponto x pode ser obtido a partir da igualdade
n
x
n
x
e |

\
|
+ = 1 lim . Da definio de potncia de expoente real tambm conclumos que
n
u x
e e lim = onde
n
u uma
sucesso de nmeros racionais convergente para x . Porm, qualquer uma destas igualdades pouco
esclarecedora quanto s propriedades da funo exponencial. Haver outra expresso que permita calcular
x
e e
que nos d mais informaes sobre as propriedades desta funo? A resposta afirmativa, e essa expresso
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
13
constri-se a partir da sucesso de termo geral
n
n
x
|

\
|
+ 1 . Iremos representar esta sucesso por ( )
n
w , para
simplificar a notao.
A igualdade
n
x
w e lim = diz-nos que, medida que n aumenta, o termo
n
w aproxima-se cada vez mais do valor de
x
e . Para obtermos um valor to aproximado quanto se queira, basta fazer n suficientemente grande.
O termo de ordem n da sucesso ( )
n
w

( )

= =



= |

\
|
= |

\
|
+ =
n
k
k
k
n
k
k
k n
k
n
n
n
x
n k k n
n
n
x
C
n
x
w
0 0
1
! !
!
1 1
o qual formado por 1 + n parcelas onde surgem as potncias de x , desde 1
0
= x at
n
x . Dado N I k , todos os
termos de ordem k n da sucesso ( )
n
w tm uma parcela onde surge
k
x : trata-se da parcela

( )
( ) ( ) ( )
{
( )
k
k
k
n
k
k
k
k
k
x
k n
k
n
x
k n
k n
n
n
n
n
x
k k n n
k n k n n n
x
n k k n
n

(

\
|

|

\
|
=
=
(

=
=
(
(
(
(


+
=
=
(


!
1 1
1
1
1 1
!
1 1 1
!
1
!
! 1 1
1
! !
!
K
K
4 4 4 4 8 4 4 4 4 7 6
K
a iguais
factores
factores

O que acontece a esta parcela medida que n aumenta?
Suponhamos que k n >
>
(l-se n muito maior do que k ). Ento 1
1
<
<
n
,, 1
1
<
<

n
k
, logo 1
1
1
n
,,
1
1
1

n
k
, ou seja, todos os k factores do produto
(

\
|

|

\
|

n
k
n
1
1
1
1 1 K so aproximadamente iguais a
1 (to prximos de 1 quanto se queira: basta fazer n suficientemente grande), logo o produto desses k factores
ser tambm aproximadamente igual a 1. Conclumos assim que, quando n suficientemente grande,

( ) !
1
! !
!
k
x
x
n k k n
n
k
k
k

(



sendo a aproximao tanto melhor quanto maior for n .
Esta aproximao s vlida para algumas parcelas no incio do desenvolvimento de
n
n
x
|

\
|
+ 1 , visto que no nosso
raciocnio usmos a hiptese de que n k
<
< . No entanto, as parcelas mais para a frente so todas muito
pequenas: elas so da forma
|
|

\
|

\
|

|

\
|

!
1
1
1
1 1
k
x
n
k
n
k
K , e se suposermos x k >
>
, ento o factor
k
x x x
k
x
k
= K
2 1 !
ser o produto de alguns termos maiores do que 1 e muitos termos muito menores do que 1,
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
14
logo
! k
x
k
ser muito menor do que 1, por isso o produto
|
|

\
|

\
|

|

\
|

!
1
1
1
1 1
k
x
n
k
n
k
K (que constitui a parcela
com
k
x no desenvolvimento de
n
w ) ser muito menor do que 1.
Conclumos assim que, quando n suficientemente grande,
as primeiras parcelas do desenvolvimento de
n
n
n
x
w |

\
|
+ = 1 so dadas aproximadamente por
! k
x
k
, sendo a
aproximao tanto melhor quanto maior for a ordem n do termo da sucesso;
as parcelas que no podem ser aproximadas desta forma so muito pequenas quando comparadas com as
parcelas iniciais.
Consequentemente, quando n suficientemente grande,
K K + + + + +
! ! 2 ! 1 ! 0
2 1 0
k
x x x x
w
k
n

No limite, quando n se torna infinitamente grande, o erro cometido nesta aproximao reduz-se para zero. Por
outro lado,
n
x
w e , e o erro cometido nesta aproximao tambm tende para zero medida que n tende para
+ . Consequentemente, no limite,
Para qualquer R I x , a funo exponencial pode ser calculada atravs da seguinte srie de potncias:
(16) (16) (16) (16)

=
=
+ + + + + =
0
2 1 0
!
! ! 2 ! 1 ! 0
k
k
k
x
k
x
k
x x x x
e K K

onde

=0
!
k
k
k
x
representa o limite das somas parciais,
|
|

\
|

=
+
n
k
k
n
k
x
0
!
lim .
Nestas expresses,
0
x representa o nmero 1, mesmo quando 0 = x .
Obtivemos assim a representao da funo exponencial em srie de potncias, a qual constitui uma espcie de
polinmio com infinitos termos. Se fizermos os clculos para os primeiros termos, obtemos
(17) (17) (17) (17) K K + + + + + + =
! 6 2
1
3 2
k
x x x
x e
k
x

A representao da funo exponencial em srie de potncias ser muito til para demonstrar algumas propriedades
relacionadas com os limites.
Principais propriedades da funo exponencial [de base e ], incluindo limites notveis
O domnio da funo exponencial R I .
A funo exponencial contnua em todo o seu domnio, o que significa que, para qualquer R I a
(18) (18) (18) (18)
a x
a x
e e =

lim
ou equivalentemente: para qualquer sucesso de nmeros reais ( )
n
u ,

n n
u a u
n
e e e a u
lim
lim lim = = =
Vrias outras propriedades da funo exponencial resultam directamente da aplicao das propriedades das
potncias de expoente real:
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
15
Para quaisquer R I , b a , tem-se
(19) (19) (19) (19)
b a b a
e e e =
+

(20) (20) (20) (20) ( ) ( )
a
b
b
a b a
e e e = =


(21) (21) (21) (21)
a
a
e
e
1
=



(22) (22) (22) (22) + =
+
x
x
e lim
Demonstrao:
De (15), sabemos que
n
x
w e lim = , onde


=

\
|
+ + = |

\
|
= |

\
|
+ =
n
k
k n
k
n
n
k
k n
k
n
n
n
n
x
C x
n
x
C
n
x
w
2 0
1 1
Se x for positivo, todas as parcelas do ltimo somatrio so positivas, logo ( ) 0 1 > + x x w
n
.
Consequentemente, ao passarmos ao limite, x w e
n
x
+ = 1 lim .
Como ( ) ( ) + = + + = +
+
1 1 lim x
x
e a funo exponencial cresce mais depressa do que a funo
x x + 1 a (isto , x e
x
+ 1 ), conclui-se que + =
+
x
x
e lim .

(23) (23) (23) (23)
+

= 0 lim
x
x
e
Demonstrao:
( )
+
+
+

=
+
=
+
= = = = 0
1
lim
1 1
lim lim lim
y
y
y
y
y
x y
y
x
x
e e
e e

(24) (24) (24) (24) x e
x
x
+

1
R I

Demonstrao:
A demonstrao desta propriedade quando 0 x foi feita quando demonstrmos a propriedade (22).
Suponhamos agora que 0 < x . Nesse caso x x = , e como 0 > x tem-se sucessivamente
x x
x
x
x
x
x
x
x = >
+
<
+
<
+
> +
1
,
1
, 1
1
1
, 1 1 ,
x e
x e
x
x
+
+
1
1 1
, 1 .
Usando esta informao, conclumos que, se 0 < x ,
x e
e e
x
x x
+
= =

1
1 1

( )
x
x
x
x
x x
x
+ >
+
=
+
+
=
+
1
1
1
1
1
1
1

logo x e
x
+ >1 c.q.d..

A funo exponencial positiva em todo o seu domnio. Simbolicamente,
(25) (25) (25) (25) 0
R I
>

x
x
e
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
16
Demonstrao:
Se 0 x ento 0 1 > + x e
x
.
Suponhamos agora que 0 < x . Nesse caso x x = , e como 0 > x tem-se 0 >
x
e , logo
0
1
> = =

x
x x
e
e e .

O contradomnio da funo exponencial
+
R I .
A demonstrao desta propriedade recorre aos seguintes factos j conhecidos:
o domnio da funo exponencial o intervalo ] [ + , ,

+

= 0 lim
x
x
e ,
+ =
+
x
x
e lim ,
a funo exponencial contnua em todo o seu domnio, e
0
R I
>

x
x
e .
No entanto, necessitaramos de utilizar na demonstrao o Teorema do Valor Intermdio (Teorema de
Bolzano-Cauchy), o qual ainda no foi estudado.
A funo exponencial estritamente crescente. Simbolicamente,
(26) (26) (26) (26) ( )
b a
b a
e e b a < <
R I ,

Demonstrao:
Sejam a e b dois nmeros reais tais que b a < . Ento 0 > a b , consequentemente
( ) 1 1 > + =

a b e
e
e
a b
a
b
.
Como 0 >
a
e podemos multiplicar por
a
e ambos os membros da desigualdade 1 >
a
b
e
e
, concluindo assim
que
a b
e e > , como queramos demonstrar.
A prxima propriedade s ser utilizada mais tarde, mas como estamos a listar vrias propriedades da funo
exponencial relacionadas com limites e desigualdades, aproveitamos para referir tambm esta.
(27) (27) (27) (27) 1
1
lim
0
=

x
e
x
x

Justificao a partir do desenvolvimento em srie de potncias, propriedade (16):
( )
( )
( ) ( )
|
|

\
|
+ +
+ =
|
|
|

\
|
+
+
+
=
=

|
|

\
|
+ +
=

|
|

\
|
=

=
=

=

0
0
2
0
2
0
2
2
2
0
0
0 0
! 1 2
1 lim
! 2
1 1
lim
1
!
1
lim
1
!
lim
1
lim
k
k
x
k m
m
m
x
k
k
x
k
k
x
x
x
k k k
x
x
m
x
x
x
x
x
x
k
x
x x
x
k
x
x
e

Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
17
Analisemos os termos (parcelas) da srie (somatrio)
( ) ( )

=
+ +
0
! 1 2
k
k
k k k
x
.
Para qualquer k, tem-se

( ) ( ) ( ) ( ) ! ! 1 2 ! 1 2 k
x
k k k
x
k k k
x
k k
k

+ +
=
+ +

Mas a srie cujos termos (parcelas) so
! k
x
k
uma srie convergente (isto : a soma de todas as
parcelas est definida e um nmero real), que at sabemos calcular: o seu valor
x
k
k
e
k
x
=

=0
!
.
Logo, a srie
( ) ( )

=
+ +
0
! 1 2
k
k
k k k
x
tambm convergente e o seu valor absoluto inferior ou igual a
x
e . Consequentemente,

( ) ( )
x
k
k
x
e x
k k k
x
x e x
+ +

=0
! 1 2

Acontece que ( ) 0 1 0 lim
0
= =

x
x
e x , logo, passando ao limite o enquadramento acima, conclumos que

( ) ( )
0
! 1 2
lim 0
0
0

|
|

\
|
+ +

k
k
x
k k k
x
x
donde se conclui finalmente que

( )
( ) ( )
1 0 1
! 1 2
lim 1 lim
1
lim
0
0 0 0
= + =
=
|
|

\
|
+ +
+ =

=

k
k
x x
x
x
k k k
x
x
x
e

Esta propriedade, conjugada com a propriedade j conhecida
b a b a
e e e =
+
(aplicao de uma regra operatria das
potncias ao caso particular da funo exponencial), permite-nos concluir que
(28) (28) (28) (28)
|
|

\
|
=

+

x
x h x
h x
e
h
e e
0 R I
lim
A funo exponencial diferencivel em todo o seu domnio, e a sua funo derivada a prpria
funo exponencial.
Demonstrao:
( )
x x
h
h
x
h x
h
x h x
h
x h x
h
e e
h
e
e
h
e e
h
e e e
h
e e
= =

=

=

=

1
1
lim
1
lim
1
lim lim
0 0 0 0

esta a principal propriedade que torna a funo exponencial de base e mais importante do que qualquer outra
funo exponencial com outra base. Alm disso, todas as outras funes exponenciais podem ser construdas a
partir da funo exponencial de base e , como veremos em breve.
Terminamos esta seco sobre propriedades da funo exponencial, mostrando que
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
18
A funo exponencial
x
e x a cresce mais depressa do que qualquer potncia de x , medida que x
tende para + . Simbolicamente,
(29) (29) (29) (29)
|
|

\
|
+ =

+
x
e
x
x
lim
R I

Justificao:
A partir do desenvolvimento da funo exponencial em srie de potncias, conclui-se que

=

+

+
=
0
!
lim lim
k
k
x
x
x
k
x
x
e

Seja n o menor nmero inteiro no-negativo que maior do que . Isolando o termo da srie
correspondente a n k = , obtemos

{ }
|
|

\
|
+ =

+
n k
k n
x
x
x
k
x
n
x
x
e
\ N I
! !
lim lim
Para qualquer 0 > x , todas as parcelas de
{ }


n k
k
k
x
\ N I
!
so positivas, logo
! n
x
x
e
n x

> . Mas
+ =
+
=

+
! !
lim
n n
x
n
x
(pela propriedade (12)), logo tambm + =

+
x
e
x
x
lim .
Funo logaritmo [de base e ]
Vimos atrs que a funo exponencial estritamente crescente (propriedade (26)), logo injectiva, logo invertvel.
Vimos tambm que o domnio da funo exponencial R I e o seu contradomnio
+
R I , consequentemente a
funo inversa ter domnio
+
R I e contradomnio R I .
funo inversa da funo exponencial de base e damos o nome de logaritmo natural (ou funo
logartmica de base e ; usar-se- aqui tambm o nome de funo logaritmo).
Representamos por x ln ou ( ) x ln o logaritmo de um nmero real positivo x .
De acordo com a definio de funo inversa, tem-se

y
e x y x = = ln
isto : o logaritmo natural de um nmero real x o nmero ao devemos elevar e para se obter x .
Da definio saem imediatamente as propriedades seguintes:
O domnio da funo logaritmo
+
R I .
O contradomnio da funo logaritmo R I .
A funo logaritmo injectiva (por ser a inversa de uma funo).
(30) (30) (30) (30) ( ) x e
x
x
=
+

ln
R I

(31) (31) (31) (31) ( ) [ ] x e
x
x
=

ln
R I

Exemplos:
3 , 2 10 ln pois 10
3 , 2
e
7 , 0 2 ln pois 2
7 , 0
e
2 3 , 2 10 ln
2
pois ( )
2
2
3 , 2 2 3 , 2
10 =

e e
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
19
A partir dos limites
+

= 0 lim
x
x
e e + =
+
x
x
e lim , e da monotonia da funo exponencial, demonstra-se que
(32) (32) (32) (32) ( ) =
+

x
x
ln lim
0

(33) (33) (33) (33) ( ) + =
+
x
x
ln lim
A partir da continuidade da funo exponencial, pode demonstrar-se que
A funo logaritmo contnua em todo o seu domnio.
tambm muito fcil mostrar que
A funo logaritmo estritamente crescente em todo o seu domnio. Simbolicamente,
(34) (34) (34) (34) ( )
2 1 2 1 2 1
ln ln R I , x x x x x x < <
+

Demonstrao:
Vamos demonstrar o contra-recproco, ou seja: vamos demonstrar que, se
2 1
ln ln x x , ento
2 1
x x .
Suponhamos que
2 1
ln ln x x = . Como a funo logaritmo injectiva, necessariamente
2 1
x x = , logo
tambm verdade que
2 1
x x .
Suponhamos agora que
2 1
ln ln x x > . Como a funo exponencial estritamente crescente,
2 1
ln ln x x
e e > .
Mas
1
ln
1
x e
x
= e
2
ln
2
x e
x
= , logo
2 1
x x > . Tambm neste caso verificamos ser verdade que
2 1
x x .
A partir do limite notvel 1
1
lim
0
=

x
e
x
x
, e considerando a continuidade da funo logartimo, mostra-se que
(35) (35) (35) (35) 1
1
ln
lim
1
=

x
x
x

Demonstrao (por mudana de varivel):
Aplicao resumida da mudana de varivel:
( )
1
1
1
1
lim
1
1
lim
1
ln
lim
0
ln
0 1
= =

=

z
e e
z
x
x
z
z
z
x z
z x

Demonstrao detalhada:
Nas condies da definio de limite, seja ( )
n
x uma sucesso de elementos de
+
R I (objectos)
convergente para 1, cujos termos so todos diferentes de 1. Queremos provar que a sucesso de termo
geral
1
ln

=
n
n
n
x
x
y (a sucesso das imagens) converge para 1.
Para provar que 1 lim =
n
y , iremos efectuar uma mudana de varivel. Para tal, consideremos a
sucesso de termo geral
n n
x z ln = (ou seja: consideremos uma nova varivel x z ln = ). Desta igualdade
resulta que
n
z
x e
n
= , consequentemente
1
1
1

|
|

\
|
=

=
n
z
z
n
n
z
e
e
z
y
n
n
.
A continuidade da funo logaritmo e a hiptese de que 1 lim =
n
x implicam que
( ) ( ) 0 1 ln ln ln lim = = =
n n
x z (ou seja: calcular
1
lim
x
corresponde a calcular
0
lim
z
); por outro lado, a
injectividade da funo logaritmo (por ser a inversa de uma funo) implica que todos os termos da
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
20
sucesso ( )
n
z so diferentes de 0. Estes factos, conjugados com o limite conhecido 1
1
lim
0
=

z
e
z
z
,
implicam que 1
1
lim =

n
z
z
e
n
, donde resulta que
1 1
1
lim
1
lim lim
1
1 1
= =
|
|

\
|
=
|
|

\
|
=


n
z
n
z
n
z
e
z
e
y
n n

como queramos demonstrar.
O limite notvel agora demonstrado vai ser usado mais tarde para calcular a derivada da funo logaritmo.
Funes exponenciais com outras bases positivas
Se { } 1 \ R I
+
a , o valor de a ln est definido e um nmero real diferente de zero. Usando as propriedades da
funo logaritmo e da funo exponencial, verificamos que, para qualquer R I x
( )
( ) a
x
x a
x
a x
e e e a
ln 1 ln ln
= = =


Desta forma podemos relacionar qualquer funo exponencial com a funo exponencial de base e .
Se
+
R I a e R I x , ento
(36) (36) (36) (36)
( ) x a x
e a

=
ln

Se { } 1 \ R I
+
a , ento o grfico de
x
a obtm-se do grfico de
x
e mediante uma expanso
horizontal por um factor igual a a ln 1 .
Justificao da segunda afirmao:
Seja ( ) y x, um ponto do grfico da funo
x
e x a . Por definio de grfico de uma funo, isso
significa que
x
e y = . Consequentemente,
( )
( )
y e e a
x a
x a
x a
= = =

ln 1
ln 1
ln 1
, logo o ponto
|

\
|
y x
a
;
ln
1
(que
a imagem de ( ) y x, mediante uma expanso na direco horizontal por um factor a ln 1 ) pertence ao
grfico da funo
x
a x a .
Se e a > , ento e a ln ln > , logo 1 ln 1 ln 1 = < e a . Neste caso conclumos que o factor de expanso do
grfico positivo mas menor do que 1, o significa que a expanso consiste verdadeiramente numa contraco.
Se e a < < 1 , ento 1 ln ln 0 = < < e a , logo 1 ln 1 > a . Neste caso o grfico de
x
a obtm-se verdadeiramente
do de
x
e mediante uma expanso segundo a direco vertical.
Se tentarmos estender a relao encontrada ao caso em que 1 = a , concluiremos que nesse caso o factor de
expanso seria infinito. Esticando o grfico infinitas vezes, o que se obtm? Intuitivamente, obtm-se uma
recta vertical. de facto isso que acontece: a funo definida por
x
1 a funo constante igual a 1, e o seu
grfico uma recta que passa pelo ponto ( ) 1 ; 0 .
Se 1 1 < < a e , ento 0 ln 1 < < a , logo 1 ln 1 < a . Neste caso o grfico de
x
a obtm-se do de
x
e
mediante uma inverso e uma expanso segundo a direco vertical.
Se e a 1 = , ento 1 ln 1 = a : o grfico de
x
a obtm-se do de
x
e mediante uma inverso segundo a direco
vertical.
Se e a 1 0 < < , ento 1 ln < < a , logo 0 ln 1 1 < < a : o grfico de
x
a obtm-se do de
x
e mediante
uma inverso e uma contraco segundo a direco vertical.
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
21
Funes logartmicas com outras bases positivas
A partir das propriedades conhecidas da funo exponencial de base e e da propriedade (36), facilmente de
demonstra que
Se { } 1 \ R I
+
a , ento a funo
x
a x f a : tem domnio R I e contradomnio
+
R I , e injectiva.
Sendo injectiva, a funo f invertvel.
Seja { } 1 \ R I
+
a . funo inversa da funo
x
a x f a : (funo exponencial de base a ) damos o
nome de logaritmo de base a ou funo logartmica de base a .
Representamos por x
a
log ou ( ) x
a
log o logaritmo de base a de um nmero real positivo x .
O domnio da funo
1
f o contradomnio de f , ou seja,
+
R I . O contradomnio de
1
f o domnio de f , ou
seja, R I .
Por definio, x
a
log o nmero real cuja imagem por f igual a x , ou seja, ( ) x x f
a
= log , o que, atendendo
definio de f , significa que x a
x
a
=
log
. Substituindo agora nesta relao x por
x
a , conclumos que
x a
a a
x
a
=
log
,
o que, atendendo injectividade da funo exponencial, implica x a
x
a
= log . Obtivemos assim duas relaes
importantes.
Se { } 1 \ R I
+
a , ento
O domnio da funo logaritmo de base a
+
R I .
O contradomnio da funo logaritmo de base a R I .
A funo logaritmo de base a injectiva (por ser a inversa de uma funo).
(37) (37) (37) (37) ( ) x a
x
x
a
=
+

log
R I

(38) (38) (38) (38) ( ) [ ] x a
x
a
x
=

log
R I

Assim como conseguimos obter qualquer funo exponencial a partir da funo exponencial de base e , seria
conveniente conseguirmos obter a funo logaritmo de qualquer base a partir do logaritmo natural. De que forma?
Seja { } 1 \ R I
+
a , e tomemos
+
R I x . A definio de logaritmo de base a implica que x a
x
a
=
log
, esta igualdade
conduz-nos ao resultado pretendido:
( )
( )
( )
a
x
x
x x a x e x e x a
a
a
x a
x
a x
a
a
a
ln
ln
log
ln log ln
log ln
log
ln log
=
= = = =


Para qualquer { } 1 \ R I
+
a e qualquer
+
R I x ,
(39) (39) (39) (39)
a
x
x
a
ln
ln
log =
As propriedades operatrias das potncias permitiram-nos estabelecer algumas regras de clculo com exponenciais
(propriedades (19) a (21)). De cada uma destas propriedades resulta uma propriedade correspondente para os
logaritmos:
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
22
Para qualquer { } 1 \ R I
+
a , e para quaisquer
+
R I , y x e R I k , tem-se
(40) (40) (40) (40) ( ) y x xy
a a a
log log log + =
(41) (41) (41) (41) ( ) x k x
a
k
a
log log =
(42) (42) (42) (42) x
x
a a
log
1
log =
|

\
|

(43) (43) (43) (43) y x
y
x
a a a
log log log =
|
|

\
|

Demonstrao:
Como a funo exponencial de base { } 1 \ R I
+
a injectiva, para provar cada uma destas igualdades
basta provar que as imagens de ambos os membros da equao so iguais: numa funo injectiva, a
imagens iguais correspondem objectos iguais.
(40)
( ) y x y x xy
a a a a a
a a a xy a
log log log log log +
= = =
(41)
( )
( )
x k
k
x k x
a a
k
a
a a x a
log log log
= = =
(42) ( ) ( ) x x x
x
a a a a
log log 1 log
1
log
1
= = =
|

\
|


(43) ( ) ( ) y x y x y x
y
x
a a a a a a
log log log log log log
1 1
= + = =
|
|

\
|


Notao ambgua: x log
Para a Matemtica, a funo logartmica mais importante a de base e , ou seja, o logaritmo natural. Nesse
contexto, frequente omitir a base do logaritmo e escrever x log em vez de x
e
log . Por outro lado, nas aplicaes
prticas muito til o logaritmo de base 10, por isso tambm frequente escrever x log em vez de x
10
log . O
resultado que, quando vemos escrito x log , ficamos sem saber de que se trata: logaritmo de base e ou de base
10?
Para evitar esta ambiguidade, nestes apontamentos nunca se usa a notao x log : representa-se atravs de
atravs de x
a
log o logaritmo de qualquer base a , usando-se tambm a notao x ln para referir o logaritmo de
base e .
Uma vez que j existe esta notao especfica para a funo logartmica de base e , parece lgico reservar a
notao x log (sem indicao da base) para o logaritmo de base 10, e de facto esta a notao usada em vrias
calculadoras. No entanto, em textos acadmicos de Matemtica quase certo que x log corresponda funo
logartmica de base e .
Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
23
Resumo das propriedades das funes exponenciais e logartmicas
A sucesso
n
n
|

\
|
+
1
1
Define-se o nmero de Neper, e , como sendo

n
n
e
|

\
|
+ =
1
1 lim


Se x um nmero real e ( )
n
u um infinitamente grande em mdulo (isto , se + =
n
u lim ), ento

x
u
n
e
u
x
n
=
|
|

\
|
+ 1 lim
Propriedades gerais das funes exponenciais
Seja
+
R I a , e considere-se a funo exponencial de base a ,
x
a x f a : .
O domnio da funo exponencial de base a R I . Simbolicamente, R I =
f
D
A funo exponencial de base a contnua em todo o seu domnio.
A funo exponencial de base a positiva em todo o seu domnio. Simbolicamente, 0
R I
>

x
x
e .
Se 1 a , o contradomnio da funo exponencial de base a
+
R I . Simbolicamente,
+
= R I
'
f
D .
Se 1 > a , ento a funo exponencial de base a estritamente crescente. Simbolicamente,
( )
y x
y x
a a y x < <
R I ,

Se 1 < a , ento a funo exponencial de base a estritamente crescente. Simbolicamente,
( )
y x
y x
a a y x > <
R I ,

Se 1 > a , ento + =
+
x
x
a lim e
+

= 0 lim
x
x
a .
Se 1 < a , ento
+
+
= 0 lim
x
x
a e + =

x
x
a lim .
Se 1 > a , ento

|
|

\
|
+ =
+
k
x
x k
x
a
lim
R I

Se 1 < a , ento

|
|

\
|
=
+
+
0 lim
R I
k
x
x k
x
a

Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
24
Propriedades gerais das funes logartmicas
Seja { } 1 \ R I
+
a , e considere-se a funo logartmica de base a , x x g
a
log : a .
O domnio da funo logartmica de base a
+
R I . Simbolicamente,
+
= R I
g
D
O contradomnio da funo logartmica de base a R I . Simbolicamente, R I
'
=
g
D .
A funo logartmica de base a contnua em todo o seu domnio.
Se 1 > a , ento a funo logartmica de base a estritamente crescente. Simbolicamente,
( ) y x y x
a a
y x
log log
R I ,
< <


Se 1 < a , ento a funo logartmica de base a estritamente decrescente. Simbolicamente,
( ) y x y x
a a
y x
log log
R I ,
> <


Se 1 > a , ento ( ) =
+

x
a
x
log lim
0
e ( ) + =
+
x
a
x
log lim .
Se 1 < a , ento ( ) + =
+

x
a
x
log lim
0
e ( ) =
+
x
a
x
log lim .
Outros limites notveis
1
1
lim
0
=

x
e
x
x

1
1
ln
lim
1
=

x
x
x

Matemtica A 12. ano Das potncias de expoente inteiro funo exponencial Jos Silvestre, 2008-02-01
25
Propriedades operatrias de exponenciais e logaritmos
Para quaisquer
+
R I , { } 1 \ R I
+
a , R I , y x ,
+
R I , w z , tem-se:
Frmulas para mudana de base:

( ) x x
e

=
ln


a
z
z
a
ln
ln
log =
O logaritmo como funo inversa da exponencial:
z a
z
a
=
log

( ) x a
x
a
= log
Exponencial de uma soma, logaritmo de um produto:

y x y x
=
+

( ) w z zw
a a a
log log log + =
Potncia de uma exponencial, logaritmo de uma potncia:
( ) ( )
x
y
y
x y x
= =


( ) z k z
a
k
a
log log =
Exponencial do simtrico, logaritmo do inverso, aplicao ao quociente:

x
x

1

z
z
a a
log
1
log =
|

\
|

w z
w
z
a a a
log log log =
|

\
|

Você também pode gostar