PROGRAMA

e
Metas Curriculares
Matemtica A
Funes exponenciais e logartmicas
Antnio Bivar, Carlos Grosso, Filipe Oliveira, Lusa Loura, Maria Clementina Timteo

Funes exponenciais e logartmicas

Podem seguir-se diversos caminhos para a definio das funes exponenciais de base
positiva. Optou-se por aproveitar directamente o facto de tais funes j estarem
definidas nos racionais, utilizando-se as potncias de expoente racional, conceito j
estudado para bases reais positivas quaisquer.

Embora no esteja ao alcance dos alunos demonstrar com rigor todos os passos
necessrios para a construo das funes exponenciais, j que no se dispe ainda de
uma teoria dos nmeros reais suficientemente desenvolvida para o efeito, possvel,
com os conhecimentos j abordados, descrever as ideias essenciais que podem presidir
a essa construo.

Funes exponenciais e logartmicas

No se exige que os alunos saibam provar os resultados bsicos relacionados com a

construo e algumas das propriedades fundamentais das funes exponenciais
(FEL12-2):

Funes exponenciais e logartmicas

No entanto, como atrs foi referido, apenas com os conhecimentos de que os alunos
dispem, podemos ir mais longe na descrio do processo de definio da exponencial
e na justificao de algumas das respectivas propriedades.

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Ou seja:

Funes exponenciais e logartmicas

Note-se que para obter estes resultados basta proceder ao clculo de potncias de
expoente inteiro e extraco de razes, sendo que esta ltimas operaes podem, em
teoria, ser realizadas com a aproximao que se quiser, tambm por enquadramento,
por consulta de tabelas de potncias previamente elaboradas, embora evidentemente
existam processos mais expeditos de clculo. Deste modo se percebe como as
potncias de base positiva e expoente real quaisquer podem, em princpio, ser
calculadas com qualquer aproximao requerida utilizando apenas as operaes
elementares.

Em seguida, tendo em conta as propriedades conhecidas dos limites, poder-se-iam

demonstrar sem dificuldade, uma a uma, muitas das propriedades pretendidas.

Funes exponenciais e logartmicas

A construo atrs esboada pressupe em particular o conhecimento de algumas
propriedades bsicas das potncias de expoente racional, cujo conhecimento
requerido aos alunos, emboras as demonstraes possam corresponder a um nvel de
desempenho considerado avanado, sendo portanto facultativas e apenas
recomendadas para os alunos mais interessados (estas distinguem-se atravs do
smbolo +). Temos assim em FEL12-2:

Funes exponenciais e logartmicas

Este resultado consequncia da seguinte cadeia de implicaes, cuja justificao pode

ser formalizada utilizando o mtodo de induo:

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Nmero de Neper

O programa determina que a introduo deste nmero seja motivada pelo clculo de
juros compostos (FEL12-1):

Funes exponenciais e logartmicas

Nmero de Neper

Funes exponenciais e logartmicas

Nmero de Neper

Funes exponenciais e logartmicas

Nmero de Neper

Funes exponenciais e logartmicas

Nmero de Neper
Motivada a introduo do nmero de Neper tambm como base particularmente
importante para uma funo exponencial podemos examinar com mais algum
pormenor como se podem demonstrar algumas propriedades acima utilizadas da
sucesso dita exponencial (FEL12-1), embora algumas das demonstraes sejam de
carcter facultativo e especialmente recomendadas apenas para os alunos mais
interessados, como se assinala com o uso do smbolo + (note-se que esse carcter
facultativo no diz respeito ao que se pede para justificar ou interpretar):

Funes exponenciais e logartmicas

Nmero de Neper
Esta desigualdade, dita por vezes desigualdade de Bernoulli, pode ser facilmente
demonstrada por induo ou justificada da seguinte forma:

Funes exponenciais e logartmicas

Nmero de Neper

Funes exponenciais e logartmicas

Nmero de Neper

e portanto:

Funes exponenciais e logartmicas

Nmero de Neper

Funes exponenciais e logartmicas

Funes logartmicas

Funes exponenciais e logartmicas

Funes logartmicas
3. Definir as funes logartmicas e estabelecer as respetivas propriedades principais

Funes exponenciais e logartmicas

Funes logartmicas

Funes exponenciais e logartmicas

Funes logartmicas
Com excepo da diferenciabilidade, todas as propriedades acima referidas so
relativamente fceis de justificar, assinalando-se algumas delas com o smbolo # por se
entender que as respectivas demonstraes so muito semelhantes, podendo portanto
os professores optar por apresentar apenas algumas delas como exemplo.

Diferenciabilidade das funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas

ou seja, a:

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas
Ora, do que se conhece da funo exponencial, deduz-se que

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas
Basta, para o efeito, notar que:

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas
Mais uma vez, podemos utilizar o binmio de Newton para obter estimativas
adequadas (exprimindo as respectivas parcelas de modo anlogo ao que foi feito atrs)

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas

Funes exponenciais e logartmicas

Diferenciabilidade das funes exponenciais e logartmicas

No caderno de apoio (cf. texto de apoio ao descritor FEL12-3.11) apresenta-se uma

demonstrao do resultado geral, do qual esta diferenciabilidade poderia ser deduzida
como caso particular, relativo diferenciabilidade, num ponto de continuidade, da
inversa de uma funo diferencivel, com derivada no nula no ponto correspondente
(note-se que este resultado falso se se eliminar a hiptese de continuidade no ponto
em que se pretende demonstrar a derivabilidade).