Fundacao Centro de Ciencias e Educacao Superior a Distancia do Estado do Rio de Janeiro

Centro de Educacao Superior a Distancia do Estado do Rio de Janeiro

AP1 ELEMENTOS DE ANALISE REAL 15/09/2012 Gabarito

Questao 1 [2 pontos] Sejam x, c R com c > 0. Para garantir que e verdadeiro o enunciado
|x| c se, e somente se, c x c,
mostre detalhadamente as seguintes afirmacoes, com base nas propriedades algebricas dos numeros
reais:
(a) [1,0 pt] se |x| c entao c x c;
(b) [1,0 pt] se c x c entao |x| c.
Sugestao: Use o procedimento usual para trabalhar com a definicao de modulo em ambos os itens.
Solucao - A hipotese geral e: x, c R e c > 0.
(a) Por hipotese |x| c. Como, por definicao, |x| = x se x 0, e |x| = x se x < 0, para poder
usar a hipotese, deve-se dividir o raciocnio em dois casos: x 0 e x < 0, e obter a conclusao em
cada caso. Assim:
Caso 1: x 0: Neste caso, |x| = x e da hipotese vem direto entao que x = |x| c. Alem disso,
como c > 0 entao c < 0 x. Assim, conclui-se que c x c.
Caso 2: x < 0: Neste caso, |x| = x e da hipotese vem que x = |x| c, e da segue c x.
Alem disso, como c > 0 entao x < 0 < c, donde vem que x c. Assim, conclui-se tambem que
c x c. Portanto, em qualquer dos casos, a conclusao e c x c. 
(b) Por hipotese: c x c, ou seja, c x e x c.
Para mostrar que |x| c, deve-se novamente dividir o raciocnio em casos:
Caso 1: x 0: Neste caso, |x| = x e da hipotese vem direto entao que |x| = x c.
Caso 2: x < 0: Neste caso, |x| = x. Como por hipotese vale c x tem-se que x c e
verdade. Logo, |x| = x c. Portanto, em qualquer dos casos, a conclusao e |x| c.
Conclui-se entao que o enunciado p |x| c se, e somente se, c x c q e verdadeiro

{ 6n }
Questao 2 [2 pontos] Considere o conjunto C = ; n N . Mostre que o sup C = 3,
2n + 1
justificando detalhadamente suas afirmacoes.
Solucao - (i) Tem-se, para todo n N que 6n 6n + 3 = 3(2n + 1) e verdade.
Como 2n + 1 > 0 para todo n N entao 6n/(2n + 1) 3. Portanto, por definicao, 3 e uma cota
superior para C.
(ii) Seja c R tal que c < 3. Deve-se encontrar x = 2n6n0 +1
0
C tal que c < x.
Como c < 3 entao 6 2c = 2(3 c) > 0 e 62c e um numero real. Assim, pela Propriedade
c
c
Arquimediana, existe n0 N tal que n0 > .
6 2c
c
Tem-se entao de 6 2c = 2(3 c) > 0 e de n0 > que n0 (6 2c) > c. Da, 6n0 2n0 c > c,
6 2c
6n0
de onde vem que 6n0 > 2n0 c + c = (2n0 + 1)c . Como 2n0 + 1 > 0 entao c < , sendo que
2n0 + 1
6n0 6n0
C. Assim, existe x = C tal que c < x, ou seja, c < 3 nao e uma cota superior
2n0 + 1 2n0 + 1
para C. Como c e real generico c < 3, pode-se afirmar que nenhum numero real < 3 e uma cota
superior para C.
Pelas etapas (i) e (ii) e por definicao, fica garantido que 3 e a menor das cotas superiores de C. Ou
seja, 3 = sup C . Poder-se-ia tambem trabalhar com o Lema 2.1 da NA 2
ELEMENTOS DE ANALISE REAL AP1 2

Questao 3 [2,5 pontos] Considere a sequencia (an )nN dada pela relacao de recorrencia
3an + 2
a1 = 1 e an+1 = para todo n N,
4
e faca o que se pede:
(a) [1 pt] Mostre, usando o princpio de inducao finita, que an < an+1 para todo n N;
(b) [1,5 pts] Mostre, usando o princpio de inducao finita, que an < 2 para todo n N. Alem
disso, mostre tambem que lim an = 2.
Solucao - Note que P[n] e an < an+1 e an < 2.
(a) an < an+1 para todo n N. De fato:
Para n = 1 tem-se que a1 = 1 e a2 = 5/4 > 1, logo a1 < a2 .
HI: seja n N e suponha que an < an+1 . Deve-se mostrar que an+1 < an+2 .
A partir da hipotese indutiva (HI) podem-se obter as seguintes afirmacoes:
3an + 2 3an+1 + 2
an < an+1 = 3an < 3an+1 = 3an + 2 < 3an+1 + 2 = < .
4 4
Desta ultima desigualdade tem-se, pela definicao da sequencia (an )nN , que an+1 < an+2 .
Juntando as duas partes pode-se afirmar que para todo n N, se vale P[n] entao vale P[n+1].
Logo, pelo PIM conclui-se que an < an+1 para todo n N. 
(b) an < 2 para todo n N. De fato:
Para n = 1 tem-se a1 = 1 < 2.
HI: seja n N e suponha que an < 2. Deve-se mostrar que an+1 < 2.
A partir da hipotese indutiva (HI) obtem-se:
3an + 2
an < 2 = 3an < 6 = 3an + 2 < 8 = < 2.
4
Da ultima desigualdade segue da definicao da sequencia que an+1 < 2.
Juntando as duas partes pode-se afirmar que para todo n N, se vale P[n] entao vale P[n+1].
Logo, pelo PIM conclui-se que an < 2 para todo n N. 
lim an = 2. De fato, pelo exposto acima a sequencia (an )nN e monotona crescente e limitada
superiormente. Sendo assim, pelo Teorema da Convergencia Monotona (an )nN converge para um
determinado numero L. Ou seja, lim an = L. Como (an+1 )nN e subsequencia de (an ) entao
lim an+1 = L tambem. Portanto, usando propriedades operatorias de limite,
( )
3an + 2 3L + 2
L = lim an+1 = lim . Da, L = .
4 4

Chega-se assim que L = 2, provando que lim an = 2

Fundacao CECIERJ Consorcio CEDERJ

ELEMENTOS DE ANALISE REAL AP1 3

Questao 4 [2 pontos] Mostre que:

1
(a) [1,0 pt] se || < 1 entao n = ;
n=0
1


(b) [1,0 pt] se n = L (e convergente) entao lim n = 0.
n=0

Sug.: No item (a) use que o lim n = 0 para todo || < 1.

Solucao - (a) A reduzida da serie n e dada por Sn = 1 + + 2 + + n . Por outro lado,
n=0
pela hipotese || < 1 tem-se que

1 n+1
1 + + 2 + + n = para todo || < 1.
1


Da, como lim n = 0 para todo || < 1 entao lim Sn = 1/(1 ). Logo, n = 1
1
para
n=0
todo || < 1. 


(b) Sejam Sn e Sn1 as reduzidas dos n e n 1 primeiros termos da serie an . Ou seja,
n=0

Sn = a1 + a2 + . . . + an1 + an e Sn1 = a1 + a2 + . . . + an2 + an1 .

Subtraindo Sn1 de Sn , obtem-se

an = Sn Sn1 .


Sendo, por hipotese, an = L (convergente) entao, por definicao de convergencia de serie, tem-se
n=0
lim Sn = lim Sn1 = L. Logo,

lim an = lim (Sn Sn1 ) = L L = 0

5a Questao [1,5 pontos]

(a) [1,5 pts] Mostre, usando a definicao de limite ( e ), que lim (8x + 9) = 7,
x2

Solucao - (a) Para mostrar por definicao, considerar-se > 0 e toma-se = /8. Note que > 0.
Seja x R e
0 < |x (2)| = |x + 2| < . ()
Entao
()
|8x + 9 (7)| = |8x + 16| = |8(x + 2)| = 8|x + 2| < 8. = .
8
Assim, para todo > 0, existe = /8 > 0 tal que, para todo x R, se 0 < |x (2)| < entao
|(8x + 9) (7)| < . 

Fundacao CECIERJ Consorcio CEDERJ