UFPI - PROFMAT 2011 Aluno: Fernando Francisco de Sousa Filho - Lema : Fixado o nmero real positivo a = 1, em qualquer intervalo

de u + R existe alguma potncia ar , com r Q. e Vamos iniciar considerando o caso de intervalos em ]1, +[, ou seja, considerando o intervalo [, ] qualquer, com > 1. O que pretendemos mostrar que qualquer que seja o intervalo no degenerado [, ], com > 1, haver e a a r um nmero na forma a , com a > 1 e r Q interno a este intervalo. u Inicialmente, em virtude de a exponencial ax no admitir cota superior (pois a ela estritamente crescente para a > 1), podemos admitir que, por maior que e seja o valor de , haver sempre um valor M N tal que < aM (a > 1). a Ou seja, podemos garantir que existe < < aM . ) ( como um Por outro lado, podemos conceber o nmero A = 1 + M u a nmero maior que 1 e, por conseguinte, podemos garantir que existe n N u tal que An seja maior que qualquer nmero dado (em virtude da natureza u da funo exponencial). Logo, teremos que, dado um valor qualquer de a, ca ( )n existir n N tal que a < 1 + M a , ou seja, temos que a ( )n . 1<a< 1+ M a Desenvolvendo esta ultima relaao, temos: c 1n < an < 1 +
1 1

1 (aps elevar tudo a o M a n

1 < an < 1 +

(prximo passo: adicionar 1 o aM

0 < an 1 <

(prximo passo: multiplicar por aM > 0 o aM

0 < aM (a n 1) < m Dados M, n N, podemos sempre achar m N tal que M (se M = 1 n e N = 10, p.ex. basta tomar m = 1; se M = 10 e n = 1, basta tomar m = 1 etc). m m Assim, M an aM , pois ax extritamente crescente para a > 1. e n Temos ento que a 1 M 0 < a (a n 1) < 0 < a n (a n 1) < aM (a n 1) < 0 < a n +n a n < 0<a
m+1 n m 1 m m 1 1

an <

Desta forma, a partir de quaisquer e com 1 < < , sempre ser a m+1 m poss estipular m de forma a termos a n a n < , assim podemos vel obter, como poss veis valores de m quaisquer dos numeradores da sequncia e 1 2 0 M a = 1, a n , a n , ..., a . Por esta razo, em virtude de todos os pares consecutivos atenderem a a m+1 m 0 < a n a n < e a sequencia encerrar-se em aM , podemos concluir que um dos pares consecutivos desta sequncia, cujos componentes todos so e a da forma ar , r Q, pertencer ao intervalo [, ]. a

***** 2

Agora, a minha verso particular, bem mais simplicada. a Tomemos x = loga e y = loga Logo, temos que ax = e ay =

Basta tomarmos a media geomtrica destes dois valores: e x+y x ay = a 2 a Como a funo exponencial continua, temos ax < a ca e pois x < x+y <y 2
x+y 2

< ay