Professional Documents
Culture Documents
Prova 1 - Solucao
12
, que e claramente verdadeira.
2
Suponhamos que a afirmacao e verdadeira para um dado n N:
1 + 2 + + n =
n(n + 1)
2
Entao
n(n + 1)
n(n + 1) + 2(n + 1)
+ (n + 1) =
2
2
(n + 1)(n + 2)
=
.
2
1 + 2 + + n + (n + 1) =
n(n 1) 2
un
2
e portanto
u2n
2(n 1)
2
=
n(n 1)
n
2
0 un .
n
2
Como lim = 0, segue do teorema do sanduche que lim un = 0. Portanto
n
lim n1/n = 1.
3. (a) Se lim b0 = + e lim an = 0 entao lim(an bn ) nao existe.
FALSA: contra-exemplo an = 1/n e bn = n, a sequencia an bn = 1 tem limite
(igual a 1).
(b) Se (an ) e (bn ) sao sequencias de n
umeros reais positivos tais que lim an = 0
e lim bn = 0 entao lim(an /bn ) = 1.
FALSA: contra-exemplo an = 1/n2 e bn = 1/n, a sequencia an /bn = 1/n
converge para zero (nao para 1).
(c) Se lim an existe e lim bn nao existe entao lim(an + bn ) nao existe.
VERDADEIRA: (demonstracao por contradicao) se lim(an + bn ) existisse
entao, usando a regra do limite da diferenca, teramos que lim(an + bn ) an
existiria, ou seja lim bn existiria, contradizendo a hipotese.
(d) Se lim |an | = 1 entao lim an = 1 ou lim an = 1.
FALSA: contra-exemplo an = (1)n satisfaz lim |an | = 1, no entanto lim an
nao existe.
4. (a) Funcao contnua: Uma funcao f : X R e contnua num ponto a X
se dado qualquer > 0 existe uma vizinhanca [a , a + ] de a tal que
|f (x) f (a)| para qualquer x em X [a , a + ].
Subconjunto aberto de R: Um subconjunto A de R e aberto se para todo
a A existe uma vizinhanca [a , a + ] de a contida em A.
(b) Seja b um ponto qualquer do conjunto B = {x R : f (x) < a}, ou seja, um
ponto qualquer de R tal que f (b) < a. Como f e contnua no ponto b, dado
qualquer > 0 existe > 0 tal que
|f (x) f (b)| qualquer x em [b , b + ].
Usando limx+ x8 = +, limx+ 2/x5 = 0, limx+ 5/x7 = 0, conclumos que limx+ f (x) = +. Analogamente, limx f (x) = +.
(b) Pelo item anterior, para todo G > 0 existe H1 > 0 tal que f (x) > G para
todo x > H1 e existe H2 > 0 tal que f (x) > G para todo x < H2 .
Fixemos G f (0) e consideremos valores de H1 e H2 correspondentes a tal
G. (Observacao: a escolha do ponto 0 e arbitraria; tudo o que precisamos
e que G seja maior que a imagem de algum ponto no intervalo [H2 , H1 ]).
Pelo teorema de Bolzano-Weierstrass, a funcao f tem algum mnimo no
intervalo compacto [H2 , H1 ]. Ou seja, existe algum c [H2 , H1 ] tal que
f (x) f (c) para todo x [H2 , H1 ].
Em particular, f (c) f (0) G. Entao, tambem temos
f (x) > G > f (c) para todo x
/ [H2 , H1 ].
Estas duas desigualdades mostram que c e mnimo da funcao f em todo o
domnio R.