1.4.

Exerccios Resolvidos 55
Sucessoes
1. Calcule, justicando, os limites das seguintes su-
cess oes
a)
n
n
2
+ 3
+
n

n;
b)
n + 1
2n + 5
;
c)
n
3
+ 3n
2
+ 5
n
2
+ 2
;
d)
35n
7
+ 1
71n
7
+ 5n
6
+ 1
;
e)
3

n
2
+ n + n
4

2 n
4
+ 1 +

n
;
f)

n
3
+ 2n
4
+ 1 n
2n
2
+
3

n
2
+ 3
;
g)

n + 1 (1 + 2

n)
n +
3

n
;
h)
3

1 27n
3
1 + 4n
;
i)
n((1)
n
+

n)
2 +

n
3
+ 1
;
j)
n
3

n
2
+ 2
n
2
+ (1)
n
n
;
k)
2 n e
1/n
(1)
n
+

n
2
+ 5
.
2. Calcule os limites das seguintes sucess oes
a)
_
n
2
1
n
2
_
n
;
b)
_
4
n
5
4
n
+ 3
_
2
n
;
c)
_
n + 2
n + 4
_
n+1
;
d)
_
2 + n
5 + 5n
_
n
;
e)
_
3 n + 1
3 n + 2
_
n
;
f)
_
3
2n + 1
n
_
4n2
;
g)
_
2n + 5
2n + 1
_
n+4
;
h)
_
n
2
+ 3
2n
2
+ 1
_
n
e
arctg(n)
.
3. Calcule, justicando, os limites das seguintes su-
cess oes:
a)
3
n
sen(2
3n
+ 1)
2
3n
+ 1
;
b)
1
n
cos(n + 1) log (n);
c)
n
2
+ 3
n

n
3
+ 2
cos(
_
n
3
+ 2);
d)
1
n
n

n!;
e)
n

n
2
e
n

_
n
4
n
4
+ 1
_
n
4
;
f)
nsen(n)
2
n

5n
3
+ 1
;
g)
_
n
2
+ 2n n;
h)
_
(n + 1)
n+2
(n + 2)
n+1

n
3
_
sen
_
1
n
_
;
i)
3
n
5
5
n
+ 3
.
4. Calcule, justicando, os limites das seguintes su-
cess oes:
a)
n1

k=1
sen
2
(n)
n
2
+ 3k
2
;
b)
n

k=1
5n

n
4
+ k
;
c)
n

k=1
3

2n
3

n
4
+ k
.
5. Calcule, caso existam, o supremo, o nmo do con-
junto dos termos e o limite da sucess ao
an = n +
1
2n

_
n
2
+ 1.
6. a) Calcule, justicando, o limite da sucess ao
an = (

2n + 1

2n) cos
2
(n).
b) Determine, justicando, o conjunto dos subli-
mites da sucess ao bn = sen
_
n
2
_
arctg(n)
56 Nocoes Topologicas, Inducao Matematica
7. Considere a sucess ao
un =
n
_
1 + 2
n(1)
n
a) Escreva a subsucess ao dos termos de ndice
par e calcule o seu limite.
b) Escreva a subsucess ao dos termos de ndice
mpar e calcule o seu limite.
c) Calcule limun e limun.
d) Tendo em conta as alneas anteriores, que
pode concluir quanto ` a convergencia da su-
cess ao?
8. Considere a sucess ao, denida por recorrencia
_
u
1
=

2
u
n+1
=

2 un, n N.
a) Prove, por indu c ao, que 0 < un < 2, n N.
b) Prove que a sucess ao e crescente.
c) Prove que a sucess ao e convergente.
d) Calcule o limite da sucess ao.
9. Considere a sucess ao
_
_
_
a
1
=

2
a
n+1
= (

2)
an
, n N.
a) Mostre, por indu c ao, que

2 an < 2, n N.
b) Mostre, por indu c ao, que a sucess ao (an) e
crescente.
c) Mostre que existe a 2 tal que an a.
10. Seja a R um n umero positivo. Considere a su-
cess ao de n umeros reais denida, por recorrencia,
_

_
x
1
= a
x
n+1
=
xn
2 + xn
, n N.
a) Mostre, por indu c ao, que xn > 0, n N.
b) Mostre que a sucess ao e decrescente.
c) Mostre que a sucess ao e convergente e calcule
o seu limite.
11. Seja a R um n umero positivo. Considere a su-
cess ao de n umeros reais, denida por recorrencia,
_
x
0
= 0, x
1
= a
x
n+1
= xn + x
2
n1
, n N.
a) Mostre que a sucess ao e crescente.
b) Mostre que xn > 0, n N.
c) Mostre que se existir b R tal que limxn = b,
ent ao b = 0.
d) Tendo em conta as alneas anteriores, calcule,
se existir, limxn.
12. Considere a sucess ao de n umeros reais denida, por
recorrencia,
_
_
_
x
1
= 2
x
n+1
=
xn
2
+
1
xn
, n N.
a) Mostre que xn > 0, n N.
b) Mostre que xn >

2, n N.
c) Mostre que a sucess ao (xn) e mon otona.
d) Mostre que a sucess ao (xn) e convergente.
e) Calcule o limite da sucess ao (xn).
13. Considere a sucess ao de n umeros reais denida, por
recorrencia,
_

_
x
1
= 3
x
n+1
=
x
2
n
+ 3
2 xn
, n N.
a) Mostre, por indu c ao, que
xn

3 > 0, n N.
b) Mostre que a sucess ao (xn) e decrescente.
c) Mostre que a sucess ao (xn) e convergente.
d) Calcule o limite da sucess ao (xn).
14. Prove, por deni c ao, os seguintes limites:
a) lim
25n
3n + 1
=
25
3
;
1.4. Exerccios Resolvidos 57
b) lim

n + 1
= 1;
c) lim
2

n + 5
n

n + 1
= 2;
d) lim
_
1+
sen(n)
n
_
=1;
e) limn
3
= +;
f) lim
n
2
n + 1
= +.
15. A curva de Koch forma-se a partir de um segmento
de recta de comprimento 1 que se divide em tres
segmentos iguais. Remove-se o segmento do meio e
substitui-se por dois segmentos de comprimento
1
3
como se pode ver na gura seguinte.
O segmento do meio da cada um dos quatro seg-
mentos e removido e substitudo por dois segmentos
do mesmo comprimento. A curva resultante tem
comprimento
16
9
.
Continuando este processo ad-innitum, o resultado
e a curva de Koch.
Qual o comprimento da curva de Koch?
RESOLUC

AO
1. a) Seja an =
n
n
2
+ 3
. N ao e possvel aplicar directamente o Teorema ??, visto que surge o smbolo de
indetermina c ao

. Atendendo ` as igualdades:
an =
n
n
2
+ 3
=
n
2

1
n
n
2
_
1 +
3
n
2
_ =
1
n
1 +
3
n
2
,
podemos calcular o limte da sucess ao.
Sabemos, pelo Exemplo 14, que
1
n
e um innitesimo, o que, pelo Teorema ??, implica que
3
n
2
0.
Novamente pelo Teorema ??,
liman = 0.
Como lim
n

n = 1 podemos concluir que

lim
_
n
n
2
+ 3
+
n

n
_
= 1.
Nota: O procedimento aqui descrito equivale a dividir ambos os termos da frac c ao pela potencia de maior
expoente de n que gura na express ao.
58 Nocoes Topologicas, Inducao Matematica
b) Seja an =
n + 1
2n + 5
. Tendo em aten c ao a nota da alnea anterior, dividimos ambos os membros da frac c ao
que dene a sucess ao (an) pela potencia de maior expoente de n que gura na express ao, n:
an =
n + 1
2n + 5
=
n + 1
n
2n + 5
n
=
1 +
1
n
2 +
5
n
.
Logo, como
1
n
e um innitesimo, podemos concluir, pelo Teorema ??, que
liman =
1
2
.
c) Seja an =
n
3
+ 3n
2
+ 5
n
2
+ 2
. Sendo n
3
a maior potencia que gura na frac c ao que dene a sucess ao (an),
dividimos o numerador e o denominador por n
3
:
an =
n
3
+ 3n
2
+ 5
n
2
+ 2
=
n
3
+ 3n
2
+ 5
n
3
n
2
+ 2
n
3
=
1 +
3
n
+
5
n
3
1
n
+
2
n
3
.
Pelo Teorema ??, porque
1
n
e um innitesimo e an > 0, podemos concluir que
liman = +.
d) Seja an =
35n
7
+ 1
71n
7
+ 5n
6
+ 1
. Se dividirmos o numerador e o denominador da frac c ao que dene a sucess ao
(an) por n elevado ` a maior potencia, n
7
, obtemos:
an =
35n
7
+ 1
71n
7
+ 5n
6
+ 1
=
35n
7
+ 1
n
7
71n
7
+ 5n
6
+ 1
n
7
=
35 +
1
n
7
71 +
5
n
+
1
n
7
.
Sabendo que
1
n
e um innitesimo, podemos concluir, pelo Teorema ??, que
liman =
35
71
.
e) Seja an =
3

n
2
+ n + n
4

2n
4
+ 1 +

n
. Dividimos ambos os membros da frac c ao por n:
an =
3

n
2
+ n + n
4

2n
4
+ 1 +

n
=
3

n
2
+ n + n
n
4

2n
4
+ 1 +

n
n
=
3

n
2
+ n
n
3
+ 1
4

2n
4
+ 1
n
4
+

n
n
2
=
3

1
n
+
1
n
2
+ 1
4

2 +
1
n
4
+

1
n
.
Pelo Teorema ??, conclui-se que
liman =
1
4

2
.
1.4. Exerccios Resolvidos 59
f) Seja an =

n
3
+ 2n
4
+ 1 n
2n
2
+
3

n
2
+ 3
. Atendendo ` as igualdades
an =

n
3
+ 2n
4
+ 1 n
2n
2
+
3

n
2
+ 3
=

n
3
+ 2n
4
+ 1 n
n
2
2n
2
+
3

n
2
+ 3
n
2
=

n
3
+ 2n
4
+ 1
n
4

1
n
2 +
3

n
2
+ 3
n
6
=

1
n
+ 2 +
1
n
4

1
n
2 +
3

1
n
4
+
3
n
6
e aplicando o Teorema ??, obtemos o resultado:
liman =

2
2
.
g) Seja an =

n + 1 (1 + 2

n)
n +
3

n
. Dividindo o numerador e o denominador da frac c ao que dene a sucess ao
(an) por n obtemos:
an =

n + 1 (1 + 2

n)
n +
3

n
=

n + 1 (1 + 2

n)
n
n +
3

n
n
=

n + 1 (1 + 2

n)

n
1 +
3
_
n
n
3
=
_
1 +
1
n
_
1

n
+ 2
_
1 +
3
_
1
n
2
.
Logo, pelo Teorema ??,
liman = 2.
h) Seja an =
3

1 27n
3
1 + 4n
. Dividindo o numerador e o denominador da frac c ao que dene a sucess ao (an) por
n, obtemos:
an =
3

1 27n
3
1 + 4n
=
3

1 27n
3
n
1 + 4n
n
=
3

1 27n
3
n
3
1
n
+ 4
=
3
_
1
n
3
27
1
n
+ 4
.
Logo, pelo Teorema ??,
liman =
3
4
.
i) Seja an =
n((1)
n
+

n)
2 +

n
3
+ 1
. Neste caso, dividindo o numerador e o denominador da frac c ao que dene a
sucess ao (an) por n
3/2
obtemos:
an =
n((1)
n
+

n)
2 +

n
3
+ 1
=
n((1)
n
+

n)
n
3/2
2 +

n
3
+ 1
n
3/2
=
(1)
n
+

n
n
1/2
2

n
3
+

n
3
+ 1
n
3
=
(1)
n

n
+ 1
2

n
3
+
_
1 +
1
n
3
.
Pelo Teorema ??,
liman = 1.
60 Nocoes Topologicas, Inducao Matematica
j) Seja an =
n
3

n
2
+ 2
n
2
+ (1)
n
n
. Dividindo o numerador e o denominador da frac c ao que dene a sucess ao (an)
por n
2
, resultam a igualdades:
an =
n
3

n
2
+ 2
n
2
+ (1)
n
n
=
n
3

n
2
+ 2
n
2
n
2
+ (1)
n
n
n
2
=
3

n
2
+ 2
n
1 +
(1)
n
n
=
3

n
2
+ 2
n
3
1 +
(1)
n
n
=
3
_
1
n
+
2
n
3
1 +
(1)
n
n
.
Logo, pelo Teorema ??,
liman = 0.
k) Seja an =
2 n e
1/n
(1)
n
+

n
2
+ 5
=
2 n
(1)
n
+

n
2
+ 5
e
1/n
= bn e
1/n
. Dividindo o numerador e o denomi-
nador da frac c ao que dene a sucess ao (bn) por n, obtemos:
bn =
2 n
(1)
n
+

n
2
+ 5
=
2
(1)
n
+

n
2
+ 5
n
=
2
(1)
n
n
+

n
2
+ 5
n
2
=
2
(1)
n
n
+
_
1 +
5
n
2
.
Logo,
limbn = 2.
Como lime
1/n
= 1 podemos concluir que
lim
2 n e
1/n
(1)
n
+

n
2
+ 5
= 2.
2. a) Temos
an =
_
n
2
1
n
2
_
n
=
_
1
1
n
2
_
n
=
_
_
1
1
n
2
_
n
2
_
1/n
, n N.
Pelo Teorema ??,
lim
_
1
1
n
2
_
n
2
= e
1
.
Como lim
1
n
= 0, conclumos, pelo Teorema ??, que
liman = (e
1
)
0
= 1.
b) Designando por an o termo geral da sucess ao podemos escrever
an =
_
4
n
5
4
n
+ 3
_
2
n
=
_

_
4
n
_
1
5
4
n
_
4
n
_
1 +
3
4
n
_
_

_
2
n
=
_

_
_
1
5
4
n
_
2
2n
_
1 +
3
4
n
_
2
2n
_

_
1/2
n
, n N.
Pelo Teorema ??,
lim
_
1
5
4
n
_
2
2n
= lim
_
1
5
4
n
_
4
n
= e
5
1.4. Exerccios Resolvidos 61
e
lim
_
1 +
3
4
n
_
2
2n
= lim
_
1 +
3
4
n
_
4
n
= e
3
.
Mas, pelo Teorema ??, lim
1
2
n
= 0, portanto,
liman =
_
e
5
e
3
_
0
= 1.
c) Sendo an o termo geral da sucess ao em estudo temos
an =
_
n + 2
n + 4
_
n+1
=
_

_
n
_
1 +
2
n
_
n
_
1 +
4
n
_
_

_
n+1
=
_

_
1 +
2
n
1 +
4
n
_

_
n+1
=
_
1 +
2
n
_
n
_
1 +
4
n
_
n

1 +
2
n
1 +
4
n
, n N,
Pelo Teorema ??,
lim
_
1 +
2
n
_
n
= e
2
e
lim
_
1 +
4
n
_
n
= e
4
,
portanto,
liman =
e
2
e
4
1 = e
2
.
d) Pondo n em evidencia na express ao que dene (an) obtemos:
an =
_

_
n
_
1 +
2
n
_
5n
_
1 +
1
n
_
_

_
n
=
_
1
5
_
n

_
1 +
2
n
_
n
_
1 +
1
n
_
n
, n N.
Mas, pelo Teorema ??, lim
_
1
5
_
n
= 0, e pelo Teorema ??,
lim
_
1 +
2
n
_
n
= e
2
e
lim
_
1 +
1
n
_
n
= e,
portanto,
liman = lim
_
1
5
_
n
lim
_
1 +
2
n
_
n
_
1 +
1
n
_
n
= 0
e
2
e
= 0.
62 Nocoes Topologicas, Inducao Matematica
e) Sendo an o termo geral da sucess ao dada podemos escrever sucessivamente
an =
_
3 n + 1
3 n + 2
_
n
=
_

_
3n
_
1 +
1
3n
_
3n
_
1 +
2
3n
_
_

_
n
=
_

_
1 +
1
3n
1 +
2
3n
_

_
n
=
_

_
_
1 +
1
3n
_
3n
_
1 +
2
3n
_
3n
_

_
1/3
, n N.
Pelo Teorema ??,
lim
_
1 +
1
3n
_
3n
= e
e
lim
_
1 +
2
3n
_
3n
= e
2
,
portanto,
liman =
_
e
e
2
_
1/3
= e
1/3
.
f) Temos
an =
_
3
2n + 1
n
_
4n2
=
_
3 2
1
n
_
4n
_
3 2
1
n
_
2
=
__
1
1
n
_
n
_
4
_
1
1
n
_
2
, n N.
Pelo Teorema ??
lim
_
1
1
n
_
n
= e
1
.
Podemos armar que
liman =
_
e
1
_
4
= e
4
.
g) Temos
an =
_
2n + 5
2n + 1
_
n+4
=
_

_
2n
_
1 +
5
2n
_
2n
_
1 +
1
2n
_
_

_
n+4
=
_

_
_
_
_
_
1 +
5
2n
1 +
1
2n
_
_
_
_
2n
_

_
1/2

_
1 +
5
2n
1 +
1
2n
_

_
4
, n N.
Pelo Teorema ??,
lim
_
1 +
5
2n
_
2n
= e
5
e
lim
_
1 +
1
2n
_
2n
= e,
portanto,
liman =
_
e
5
e
_
1/2
= e
2
.
1.4. Exerccios Resolvidos 63
h) Sabendo que lim
x+
arctg(x) =

2
podemos concluir
4
que lime
arctg(n)
= e
/2
. Seja an =
_
n
2
+ 3
2n
2
+ 1
_
n
.
Pondo n
2
em evidencia nesta express ao obtemos sucessivamente:
an =
_
n
2
+ 3
2n
2
+ 1
_
n
=
_

_
n
2
_
1 +
3
n
2
_
2n
2
_
1 +
1
2n
2
_
_

_
n
=
_
1
2
_
n

_
1 +
3
n
2
_
n
_
1 +
1
2n
2
_
n
=
_
1
2
_
n

_
_
1 +
3
n
2
_
n
2
_
1/n
_
_
1 +
1
2n
2
_
2n
2
_
1/2n
.
Pelo Teorema ??,
lim
_
1 +
3
n
2
_
n
2
= e
3
e
lim
_
1 +
1
2n
2
_
2n
2
= e,
logo, como lim
1
n
= lim
1
2n
= lim
_
1
2
_
n
= 0,
liman = 0
(e
3
)
0
e
0
= 0.
Em consequencia,
lim
_
n
2
+ 3
2n
2
+ 1
_
n
e
arctg(n)
= 0.
3. a) Seja an =
3
n
sen(2
3n
+ 1)
2
3n
+ 1
=
3
n
2
3n
+ 1
sen(2
3n
+ 1). Sabemos que
|sen(x)| 1, x R,
portanto,

sen(2
3n
+ 1)

1, n N, isto e, a sucess ao sen(2

3n
+1) e uma sucess ao limitada. Provemos
que a sucess ao de termo geral
3
n
2
3n
+ 1
e um innitesimo.
lim
3
n
2
3n
+ 1
= lim
3
n
8
n
+ 1
= lim
_
3
8
_
n
1 +
_
1
8
_
n
= 0.
Podemos concluir que a sucess ao dada e um innitesimo por ser o produto de um innitesimo por uma
sucess ao limitada (ver Teorema ??).
b) Seja an =
1
n
cos (n + 1) log (n). Sabemos que 1 cos (x) 1, x R. Ent ao
1 cos(n + 1) 1, n N.
Portanto,
log (
n

n) =
log (n)
n

1
n
cos (n + 1) log (n)
log (n)
n
= log (
n

n), n N.
4
Estamos a usar o seguinte resultado: Se lim
x+
f(x) = L e f(n) = un, n N, ent ao limun = L.
64 Nocoes Topologicas, Inducao Matematica
Como sabemos que lim
n

n = 1 temos
limlog (
n

n) = 0.
Resulta pelo Teorema das Sucess oes Enquadradas que
liman = 0.
c) Seja an =
n
2
+ 3
n

n
3
+ 2
cos(
_
n
3
+ 2). Para todo o n N, temos :

cos (
_
n
3
+ 2)

1.
Dividindo o numerador e o denominador da frac c ao que dene a sucess ao majorante pela maior potencia de
n temos:
lim
n
2
+ 3
n
5/2
n

n
3
+ 2
n
5/2
= lim
n
2
+ 3
n
5/2

n
3
+ 2
n
3/2
= lim

(n
2
+ 3)
2
n
5

n
3
+ 2
n
3
= lim

1
n
+
6
n
3
+
9
n
5

1 +
2
n
3
= 0.
Podemos concluir que a sucess ao dada e um innitesimo por ser o produto de um innitesimo por uma
sucess ao limitada (ver Teorema ??).
d) Seja an =
1
n
n

n! =
n
_
n!
n
n
. Seja bn =
n!
n
n
.

E evidente que bn > 0, n N.
lim
b
n+1
bn
= lim
(n + 1)!
(n + 1)
n+1
n!
n
n
= lim
(n + 1)! n
n
(n + 1)
n+1
n!
= lim
(n + 1) n
n
(n + 1)
n+1
= lim
_
n
n + 1
_
n
=
1
e
.
Pelo Teorema ?? podemos concluir que liman =
1
e
.
e) Seja an =
n

n
2
e
n

_
n
4
n
4
+ 1
_
n
4
. Seja bn = n
2
e
n
.

E evidente que bn > 0, n N.
lim
b
n+1
bn
= lim
(n + 1)
2
e
n+1
n
2
e
n
= lim
(n + 1)
2
e
n
e
n+1
n
2
=
1
e
lim
_
n + 1
n
_
2
=
1
e
.
Pelo Teorema ?? podemos concluir que lim
n

n
2
e
n
=
1
e
. Usando o Teorema ?? obtemos o seguinte
resultado:
lim
_
n
4
n
4
+ 1
_
n
4
= lim
1
_
n
4
+ 1
n
4
_
n
4
= lim
1
_
1 +
1
n
4
_
n
4
=
1
e
.
Conclumos que liman =
1
e

1
e
= 0.
1.4. Exerccios Resolvidos 65
f) Seja an =
nsen(n)
2
n

5n
3
+ 1
=
_
1
2
_
n

5n
3
+ 1
sen(n). Sabemos que
|sen(n)| 1, n N,
portanto, a sucess ao sen(n) e uma sucess ao limitada. Provemos que a sucess ao
n

5n
3
+ 1
e um innitesimo.
lim
n

5n
3
+ 1
= lim
n
n
3/2

5n
3
+ 1
n
3/2
= lim
1

5n
3
+ 1
n
3
= lim
1

n
_
5 +
1
n
3
= 0.
Como lim
_
1
2
_
n
= 0, temos
lim
_
1
2
_
n

5n
3
+ 1
= 0.
Podemos concluir que a sucess ao dada e um innitesimo por ser o produto de um innitesimo por uma
sucess ao limitada (ver Teorema ??).
g)
lim (
_
n
2
+ 2n n) = lim
(

n
2
+ 2n n)(

n
2
+ 2n + n)

n
2
+ 2n + n
= lim
n
2
+ 2n n
2

n
2
+ 2n + n
= lim
2n

n
2
+ 2n + n
= lim
2n
n

n
2
+ 2n + n
n
= lim
2

n
2
+ 2n
n
2
+ 1
= lim
2
_
1 +
2
n
+ 1
= 1
h) Seja an =
_
(n + 1)
n+2
(n + 2)
n+1

n
3
_
sen
_
1
n
_
.
lim
_
(n + 1)
n+2
(n + 2)
n+1

n
3
_
sen
_
1
n
_
= lim
_
_
n + 1
n + 2
_
n+2
(n + 2)
n
3
_
sen
_
1
n
_
= lim
_
_
1
1
n + 2
_
n+2
(n + 2) sen
_
1
n
_

n
3
sen
_
1
n
_
_
= lim
_
_
1
1
n + 2
_
n+2
n sen
_
1
n
_
+
_
1
1
n + 2
_
n+2
2 sen
_
1
n
_

n
3
sen
_
1
n
_
_
= lim
_
_
_
_
_
1
1
n + 2
_
n+2

sen
_
1
n
_
1
n
+
_
1
1
n + 2
_
n+2
2 sen
_
1
n
_

1
3

sen
_
1
n
_
1
n
_
_
_
_
.
Pelo Teorema ??, lim
_
1
1
n + 2
_
n+2
= e
1
. Mas lim
1
n
= 0, portanto, lim sen
_
1
n
_
= 0 e lim
sen
_
1
n
_
1
n
=
1. Pelo Teorema ??, conclumos que liman = e
1

1
3
.
66 Nocoes Topologicas, Inducao Matematica
i)
lim
3
n
5
5
n
+ 3
= lim
3
n
5
5
n
5
n
+ 3
5
n
= lim
_
3
5
_
n

_
1
5
_
n1
1 +
_
3
5
_
n
= 0.
4. a) O termo geral an da sucess ao est a denido como a soma de k = 1 a k = n 1 de
sen
2
(n)
n
2
+ 3k
2
. Vamos
calcular um enquadramento deste termo de forma a fazer desaparecer a vari avel k. De maneira evidente
temos
n
2
+ 3k
2
> n
2
, k, n N
e
n
2
+ 3k
2
n
2
+ 3(n 1)
2
, k, n N tais que k n 1.
Logo para todo o n e 1 k n 1, temos:
n
2
< n
2
+ 3k
2
n
2
+ 3(n 1)
2

1
n
2
>
1
n
2
+ 3k
2

1
n
2
+ 3(n 1)
2

sen
2
(n)
n
2
>
sen
2
(n)
n
2
+ 3k
2

sen
2
(n)
n
2
+ 3(n 1)
2
.
Como (an) est a denida como uma soma de n 1 parcelas obtemos,
(n 1)
sen
2
(n)
n
2
+ 3(n 1)
2

n1

k=1
sen
2
(n)
n
2
+ 3k
2
< (n 1)
sen
2
(n)
n
2
, n N

n 1
n
2
+ 3(n 1)
2
sen
2
(n)
n1

k=1
sen
2
(n)
n
2
+ 3k
2
<
n 1
n
2
sen
2
(n), n N

n 1
n
2
+ 3(n 1)
2
sen
2
(n)
n1

k=1
sen
2
(n)
n
2
+ 3k
2
<
_
1
n

1
n
2
_
sen
2
(n), n N.
Seja bn =
n 1
n
2
+ 3(n 1)
2
=
n 1
4n
2
6n + 3
. Dividindo o numerador e o denominador da frac c ao que dene
a sucess ao por n
2
temos:
lim
n 1
4n
2
6n + 3
= lim
1
n

1
n
2
4n
2
6n + 3
n
2
= lim
1
n

1
n
2
4
6
n
+
3
n
2
= 0.
Seja cn =
1
n

1
n
2
.

E evidente que limcn = 0.
Como a sucess ao sen
2
(n) e limitada, |sen
2
(n)| 1, n N, e o produto de um innitesimo por uma
sucess ao limitada e um innitesimo, podemos armar que as sucess oes
n 1
n
2
+ 3(n 1)
2
sen
2
(n)
1.4. Exerccios Resolvidos 67
e
_
1
n

1
n
2
_
sen
2
(n)
s ao innitesimos. Finalmente, como os dois limites s ao iguais, o Teorema das Sucess oes Enquadradas
permite-nos concluir que:
liman = 0.
b) O termo geral an da sucess ao est a denido como a soma de k = 1 a k = n de
5n

n
4
+ k
. Vamos calcular
um enquadramento deste termo de forma a fazer desaparecer a vari avel k. Temos
_
n
4
+ k > n
2
, k, n N,
e
_
n
4
+ k
_
n
4
+ n, k, n N tais que k n.
Logo, para todo n e 1 k n, temos:
n
2
<
_
n
4
+ k
_
n
4
+ n
1
n
2
>
1

n
4
+ k

n
4
+ n

5n
n
2
>
5n

n
4
+ k

5n

n
4
+ n
Como (an) est a denida como uma soma de n parcelas obtemos,
n
5n

n
4
+ n

k=1
5n

n
4
+ k
< n
5n
n
2
, n N

5n
2

n
4
+ n

k=1
5n

n
4
+ k
<
5n
2
n
2
= 5, n N
Seja bn =
5n
2

n
4
+ n
= 5

n
4
n
4
+ n
. Dividindo o numerador e o denominador do radicando desta sucess ao
por n
4
temos:
limbn = lim5

_
1
1 +
1
n
3
= 5.
Finalmente, como os dois limites s ao iguais, o Teorema das Sucess oes Enquadradas permite-nos concluir
que:
liman = 5.
c) O termo geral an da sucess ao est a denido como a soma de k = 1 a k = n de
3

2n
3

n
4
+ k
. Vamos calcular
um enquadramento deste termo de forma a fazer desaparecer a vari avel k. Temos
3

n
4
+ k >
3

n
4
k, n N,
e
3

n
4
+ k
3

n
4
+ n, k, n N tais que k n.
68 Nocoes Topologicas, Inducao Matematica
Logo para todo n e 1 k n, temos:
3

n
4
<
3

n
4
+ k
3

n
4
+ n
1
3

n
4
>
1
3

n
4
+ k

1
3

n
4
+ n

2n
3

n
4
>
3

2n
3

n
4
+ k

2n
3

n
4
+ n
Como (an) est a denida como uma soma de n parcelas obtemos,
n
3

2n
3

n
4
+ n

k=1
3

2n
3

n
4
+ k
< n
3

2n
3

n
4
, n N

2n
4
3

n
4
+ n

k=1
3

2n
3

n
4
+ k
<
3

2n
4
3

n
4
=
3

2, n N
Dividindo por n
4/3
o numerador e o denominador da frac c ao que dene a sucess ao do lado esquerdo da
desigualdade temos:
lim
3

2n
4
3

n
4
+ n
= lim
3

2n
4
3

n
4
3

n
4
+ n
3

n
4
= lim
3

2
1 +
n
3

n
4
= lim
3

2
1 +
1
3

n
=
3

2.
Finalmente como os dois limites s ao iguais, o Teorema das Sucess oes Enquadradas permite-nos concluir que:
liman =
3

2.
5. Seja an = n +
1
2n

_
n
2
+ 1. Temos
n +
1
2n

_
n
2
+ 1 =
1
2n
+
(n

n
2
+ 1)(n +

n
2
+ 1)
n +

n
2
+ 1
=
1
2n
+
n
2
(n
2
+ 1)
n +

n
2
+ 1
=
1
2n

1
n +

n
2
+ 1
=
n +

n
2
+ 1 2n
2n(n +

n
2
+ 1)
=

n
2
+ 1 n
2n(n +

n
2
+ 1)
=
(

n
2
+ 1 n)(

n
2
+ 1 + n)
2n(n +

n
2
+ 1)
2
=
1
2n(n +

n
2
+ 1)
2
.
Conclui-se, facilmente, que liman = 0 e que e uma sucess ao decrescente. Ent ao sup(an) = a
1
=
3
2

2. Pelo
Teorema ??, inf(an) = 0.
6. a) Vamos utilizar o facto de a fun c ao coseno ser limitada. Temos
|cos(n)| 1, n N,
o que implica que

cos
2
(n)

1, n N.
Alem disso,
lim(

2n + 1

2n) = lim
(

2n + 1

2n)(

2n + 1 +

2n)

2n + 1 +

2n
= lim
2n + 1 2n

2n + 1 +

2n
= lim
1

2n + 1 +

2n
= 0
Podemos concluir que a sucess ao (an) e um innitesimo por ser o produto de uma sucess ao limitada por
um innitesimo (ver Teorema ??).
1.4. Exerccios Resolvidos 69
b) Podemos reescrever o termo geral da sucess ao
an = sen
_
n
2
_
=
_

_
1, n = 4k 1, k N
0, n = 2k, k N
1, n = 4k 3, k N
A sucess ao (an) tem os sublimites 1, 0, 1, visto que tem subsucess oes convergentes para esses n umeros
reais. A sucess ao cn = arctg(n) tem limite

2
. Podemos concluir que a sucess ao bn = sen
_
n
2
_
arctg(n)
tem os sublimites

2
, 0,

2
.
7. a) Seja un =
n
_
1 + 2
(1)
n
n
. A subsucess ao dos termos de ndice par de (un) e a sucess ao
u
2k
=
2k
_
1 + 2
(1)
2k
2k
=
2k
_
1 + 2
2k
, k N.
Consideremos a sucess ao an =
n

1 + 2
n
. Pelo Teorema ??, como 1 + 2
n
> 0, n N, podemos calcular
o limite de (an) recorrendo ao c alculo de
lim
1 + 2
n+1
1 + 2
n
= lim
1 + 2
n+1
2
n+1
1 + 2
n
2
n+1
= lim
1 +
1
2
n+1
1
2
+
1
2
n+1
= 2.
A sucess ao (an) tem limite 2, portanto, todas as suas subsucess oes tem esse limite. Em particular, a
subsucess ao dos termos de ndice par tem limite 2. Mas essa subsucess ao e igual ` a sucess ao (u
2k
). Podemos
armar que (u
2k
) tem limite 2.
b) A subsucess ao dos termos de ndice mpar de (un) e a sucess ao
u
2k+1
=
2k+1
_
1 + 2
(1)
2k+1
(2k+1)
=
2k+1
_
1 + 2
(2k+1)
=
2k+1
_
1 +
1
2
2k+1
, k N,
e lim
k+
u
2k+1
= 1.
c) Pelos resultados obtidos nas alneas anteriores,
limun = 1 e limun = 2.
d) Dado que limun = 1 = limun = 2 a sucess ao (un) n ao e convergente.
8. a) Vamos mostrar, usando o Princpio de Indu c ao Matematica, que
0 < un < 2, n N.
Para n = 1, a f ormula e trivial:
0 =

0 <

2 = u
1
<

4 = 2.
Se admitirmos (hip otese de indu c ao) que a propriedade e v alida para n N, ent ao:
0 < un < 2 0 =

2.0 <

2un = u
n+1
<

2.2 = 2,
utilizando o facto da fun c ao f(x) =

2x ser crescente. Logo a propriedade e v alida para n + 1.

O Princpio de Indu c ao Matem atica permite-nos concluir que ela e v alida para todo o n N.
70 Nocoes Topologicas, Inducao Matematica
b) Vamos mostrar que
u
n+1
un > 0, n N.
De facto, para qualquer n umero natural n,
u
n+1
un =

2un un =

2un un

2un + un
.(

2un + un) =
2un u
2
n

2un + un
=
un.(2 un)

2un + un
> 0
porque na alnea a) vimos que un > 0 e 2 un > 0. Logo a sucess ao e crescente.
c) Na alnea a) vimos que a sucess ao e limitada e na alnea b) demonstr amos que ela e crescente. Como, pelo
Teorema ??, toda a sucess ao mon otona limitada e convergente, podemos concluir que a sucess ao de termo
geral un e convergente.
d) Seja l R o limite da sucess ao. Como toda a subsucess ao de uma sucess ao convergente e convergente para
o mesmo limite, e f acil ver que:
limu
n+1
= l.
Ent ao
l = limu
n+1
= lim

2un =

2l.
Logo l satisfaz a equa c ao l =

2l, da qual podemos deduzir que l

2
2l = l(l 2) = 0, ou seja, l {0, 2}.
Podemos excluir a solu c ao l = 0 porque pela alnea b) temos:
un u
1
=

2, n N.
Portanto, podemos concluir que o limite de u e l = 2.
9. a) Seja f a fun c ao denida por f(x) = (

2)
x
= e
xlog (

2)
. Como

2 > 1, f e contnua e crescente em R.

Para n = 1, a f ormula e trivial:

2 a
1
=

2 < 2. Se admitirmos que a propriedade e v alida para n

(hip otese de indu c ao), utilizando o facto de f ser uma fun c ao crescente temos:

2 an < 2 (

2)

2
= f(

2) f(an) = a
n+1
< f(2) = 2.
Utilizando novamente a monotonia de f temos:
1 <

2 f(1) =

2 f(

2) = (

2)

2
,
e podemos concluir que a propriedade e v alida para a ordem n+1. O Princpio de Indu c ao Matem atica est a
vericado logo:

2 an < 2, n N.
b) Vamos mostrar, usando o Princpio de Indu c ao Matem atica, que
an < a
n+1
, n N.
Para n = 1, a f ormula e uma consequencia dos c alculos da alnea a):

2 = a
1
< a
2
= (

2)

2
.
Se admitirmos que a propriedade e v alida para n N (hip otese de indu c ao), ent ao a validade da propriedade
para n + 1 e uma consequencia directa do facto de f ser mon otona crescente:
an < a
n+1
a
n+1
= f(an) < a
n+2
= f(a
n+1
).
Podemos concluir que a sucess ao e crescente.
1.4. Exerccios Resolvidos 71
c) Na alnea a) vimos que a sucess ao e limitada e na alnea b) demonstr amos que ela e crescente. Como, pelo
Teorema ??, toda a sucess ao mon otona limitada e convergente podemos concluir que a sucess ao de termo
geral an e convergente. Seja a R o seu limite. Consideremos A = {an : n N} o contradomnio da
sucess ao. Pela alnea a) temos:
A [

2, 2].
Como [

2, 2] e fechado temos, pelo Teorema ?? que a [

2, 2], ou seja, o resultado pedido: a 2.

Nota: De facto, pode mostrar-se que a = 2.
10. a) Para n = 1: x
1
= a > 0 por hip otese, logo x
1
> 0.
Hip otese de indu c ao: xn > 0
Tese de indu c ao: x
n+1
> 0
Demonstra c ao: Tem-se que x
n+1
=
xn
2 + xn
. Ora, por hip otese de indu c ao, xn > 0, pelo que tambem
2 + xn > 0. Temos ent ao que x
n+1
e o quociente de duas quantidades positivas, pelo que x
n+1
> 0.
Ent ao, pelo Princpio de Indu c ao, prov amos que xn > 0, n N.
b) Queremos mostrar que x
n+1
xn < 0 para qualquer n N. Ora
x
n+1
xn =
xn
2 + xn
xn =
xn 2xn x
2
n
2 + xn
=
xn x
2
n
2 + xn
=
xn + x
2
n
2 + xn
< 0
j a que, pela alnea a), xn > 0 para qualquer n N.
c) Uma vez que para qualquer n N se tem xn > 0 (alnea a)) e (xn) e uma sucess ao mon otona decrescente
(alnea b)) tem-se que 0 < xn x
1
, isto e, 0 < xn a, para qualquer n N. Por outras palavras, a
sucess ao de termo geral xn e limitada. Mas toda a sucess ao mon otona e limitada e convergente, pelo que
a sucess ao e convergente.
Considere-se ent ao que limxn = l. Note-se que necessariamente l 0 pois xn > 0 para todo n N.
Se a sucess ao e convergente para l, tem-se tambem limx
n+1
= l. Por outro lado,
xn
2 + xn
e convergente
pois e o quociente de duas sucess oes convergentes onde o denominador nunca se anula e tem limite diferente
de zero.
Ent ao
limx
n+1
= lim
xn
2 + xn
limx
n+1
=
limxn
lim(2 + xn)
l =
l
2 + l
l
l
2 + l
= 0
2l + l
2
l
2 + l
= 0
l
2
+ l
2 + l
= 0 l
2
+ l = 0 (l = 2)
l(l + 1) = 0 l = 0 l = 1.
Mas a sucess ao e de termos maiores que zero, pelo que, o seu limite e maior ou igual a zero. Portanto,
limxn = 0.
11. a) Queremos mostrar que x
n+1
xn 0 para qualquer n N
0
. Ora, se n = 0 vem x
1
x
0
= a > 0. Se
n 1 ent ao
x
n+1
xn = xn + x
2
n1
xn = x
2
n1
0.
b) Como vimos na alnea a) que a sucess ao e crescente, xn x
1
= a > 0, n N.
72 Nocoes Topologicas, Inducao Matematica
c) Suponhamos que existe b R tal que b = limxn. Ent ao, todas as suas subsucess oes tem limite b e
b = limx
n+1
= lim (xn + x
2
n1
) = b + b
2
donde se conclui que b = 0.
d) Na alnea anterior prov amos que se a sucess ao fosse convergente, o seu limite seria zero. Mas sendo uma
sucess ao crescente de n umeros positivos, podemos armar que o seu limite n ao e um n umero real. Como
n ao e uma sucess ao majorada podemos concluir que limxn = +.
12. a) Para n = 1: x
1
= 2 > 0.
Hip otese de indu c ao: xn > 0
Tese de indu c ao: x
n+1
> 0
Demonstra c ao: Tem-se que x
n+1
=
xn
2
+
1
xn
. Ora, por hip otese de indu c ao, xn > 0, pelo que tambem
xn
2
> 0 e
1
xn
> 0. Temos ent ao que x
n+1
e a soma de duas quantidades positivas, pelo que x
n+1
> 0.
Ent ao, pelo Princpio de Indu c ao, prov amos que xn > 0, n N.
b) Para n = 1: x
1
= 2 >

2.
Hip otese de indu c ao: xn >

2
Tese de indu c ao: x
n+1
>

2
Demonstra c ao: Tem-se que x
n+1

2 =
xn
2
+
1
xn

2 =
x
2
n
+ 2 2

2xn
2xn
=
(xn

2)
2
2xn
. Como, por
hip otese de indu c ao, xn >

2, tambem (xn

2)
2
> 0. Pela alnea a), xn > 0. Podemos ent ao concluir
que x
n+1

2 > 0.
Ent ao, pelo Princpio de Indu c ao, prov amos que xn >

2, n N.
c) Analisemos a diferen ca x
n+1
xn para sabermos se a sucess ao e mon otona crescente ou decrescente:
x
n+1
xn =
xn
2
+
1
xn
xn =
xn
2
+
1
xn
=
x
2
n
+ 2
2xn
Por hip otese, xn >

2, n N, portanto, x
2
n
+ 2 < 0, n N. Ent ao x
n+1
xn < 0, n N,
provando-se assim que a sucess ao e mon otona decrescente.
d) Se uma sucess ao e decrescente, o seu primeiro termo e o m aximo do conjunto dos termos da sucess ao,
portanto, x
1
= 2 xn, n N. Temos que xn e limitada:

2 < xn 2, n N. Podemos concluir que

xn e convergente por ser mon otona e limitada.
e) Seja a = limxn. Sendo convergente todas as suas subsucess oes tem limite a e
a = limx
n+1
= lim
_
xn
2
+
1
xn
_
=
a
2
+
1
a
=
a
2
+ 2
2a
.
Resolvendo a equa c ao a =
a
2
+ 2
2a
obtemos a =

2 e a =

2. Como xn >

2 conclumos que a =

2.
1.4. Exerccios Resolvidos 73
13. a) Vamos mostrar por indu c ao que xn

3 > 0, n N.
Se n = 1 vem x
1
= 3 >

3 e est a vericada a proposi c ao.

Hip otese de indu c ao: xn

3 > 0
Tese de indu c ao: x
n+1

3 > 0
Demonstra c ao: Tem-se que x
n+1

3 =
x
2
n
+ 3
2 xn

3 =
(xn

3)
2
2xn
. Sabemos que xn >

3, portanto,
xn > 0, o que implica que x
n+1

3 > 0.
Ent ao, pelo Princpio de Indu c ao, prov amos que xn

3 > 0, n N.
b) Pretendemos mostrar que a sucess ao e decrescente, isto e, x
n+1
xn 0, n N:
x
n+1
xn =
x
2
n
+ 3
2 xn
xn =
x
2
n
+ 3
2xn
Por hip otese, xn >

3, n N, portanto, x
2
n
+ 3 < 0, n N. Ent ao x
n+1
xn < 0, n N,
provando-se assim que a sucess ao e decrescente.
c) Se uma sucess ao e decrescente, o seu primeiro termo e o m aximo do conjunto dos termos da sucess ao,
portanto, x
1
= 3 xn, n N. Temos que xn e limitada:

3 < xn 3, n N. Podemos concluir que

xn e convergente por ser mon otona e limitada.
d) Seja a = limxn. Sendo convergente todas as suas subsucess oes tem limite a e
a = limx
n+1
= lim
x
2
n
+ 3
2 xn
=
a
2
+ 3
2a
.
Resolvendo a equa c ao a =
a
2
+ 3
2 a
obtemos a =

3 e a =

3. Como xn >

3 conclumos que a =

3.
14. a) Para provar por deni c ao que lim
25n
3n + 1
=
25
3
temos de provar que a proposi c ao
> 0 p N : n > p

25n
3n + 1

25
3

<
e verdadeira, isto e, precisamos de mostrar que, para cada real positivo h a pelo menos uma ordem depois
da qual se tem, para todo o natural n,

25n
3n + 1

25
3

< .
Seja > 0. Resolvendo a inequa c ao em ordem a n, temos

25n
3n + 1

25
3

<

75n 75n 25
3(3n + 1)

<
25
3(3n + 1)
< n >
25 3
9
.
Se escolhermos p N tal que p
25 3
9
, ent ao, como n > p, resulta n >
25 3
9
, isto e,

25n
3n + 1

25
3

< .
74 Nocoes Topologicas, Inducao Matematica
Figura 1.43: Se = 0, 2 ent ao <
25n
3n+1

25
3
< se n > 13.
Suponhamos que queremos calcular a menor ordem p a partir da qual

25n
3n + 1

25
3

< 0, 2.
Substituindo por 0, 2 na express ao
25 3
9
obtemos o valor 13, 5556, portanto, como p N, podemos
escolher p = Int(13, 5556) = 13. Assim, se n > 13 vem o resultado pretendido. Este caso est a ilustrado na
Figura ??.
b) Para provar por deni c ao que lim

n + 1
= 1 temos de provar que a proposi c ao
> 0 p N : n > p

n + 1
1

<
e verdadeira, isto e, precisamos de mostrar que, para cada real positivo h a pelo menos uma ordem depois
da qual se tem, para todo o natural n,

n + 1
1

< .
Seja > 0. Resolvendo a inequa c ao em ordem a n, temos

n + 1
1

<

n 1

n + 1

<
1

n + 1
<

n >
1

.
Se 1 0, a ultima desigualdade e verdadeira seja qual for a escolha de p N. Se 1 > 0, ent ao as
desigualdades anteriores s ao ainda equivalentes a
n >
_
1

_
2
.
Se escolhermos p N tal que p
_
1

_
2
, ent ao, como n > p, resulta n >
_
1

_
2
, isto e,

n + 1
1

< .
1.4. Exerccios Resolvidos 75
Figura 1.44: Se = 0, 2 ent ao <

n+1
1 < se n > 16.
c) Pretendemos provar, usando a deni c ao, que lim
2

n + 5
n

n + 1
= 2. Para isso temos que provar que a
proposi c ao
> 0 p N : n > p

n + 5
n

n + 1
2

<
e verdadeira, isto e, precisamos de mostrar que, para cada real positivo h a pelo menos uma ordem depois
da qual se tem, para todo o natural n,

n + 5
n

n + 1
2

< .
Seja > 0.

n + 5
n

n + 1
2

<

n + 5
n
2

n 2

n + 1

<

5
n
2

n + 1

<
2 5
n

n + 1
< .
Mas
2 5
n

n + 1
<
2

n + 1
, n N,
portanto, se
2

n + 1
<
ent ao
2 5
n

n + 1
< .
Resolvendo a inequa c ao em ordem a n, temos
2

n + 1
<

n >
2

.
Se 2 0, a ultima desigualdade e verdadeira seja qual for a escolha de p N. Se 2 > 0, ent ao as
desigualdades anteriores s ao ainda equivalentes a
n >
_
2

_
2
.
76 Nocoes Topologicas, Inducao Matematica
Figura 1.45: Se = 0, 4 ent ao <
2

n+5
n

n+1
2 < se n > 16.
Se escolhermos p N tal que p
_
2

_
2
, ent ao, como n > p, resulta n >
_
2

_
2
, isto e,

n + 5
n

n + 1
2

< .
d) Para provar por deni c ao que lim
_
1 +
sen(n)
n
_
= 1 temos de provar que a proposi c ao
> 0 p N : n > p

_
1 +
sen(n)
n
_
1

<
e verdadeira, isto e, precisamos de mostrar que, para cada real positivo h a pelo menos uma ordem depois
da qual se tem, para todo o natural n,

_
1 +
sen(n)
n
_
1

< .
Seja > 0.

_
1 +
sen(n)
n
_
1

<

sen(n)
n

<
|sen(n)|
n
< .
Mas
|sen(n)|
n

1
n
, n N,
portanto, se
1
n
<
ent ao ter-se- a tambem
|sen(n)|
n
< .
Resolvendo a inequa c ao em ordem a n, temos
1
n
< n >
1

.
1.4. Exerccios Resolvidos 77
Figura 1.46: Se = 0, 05 ent ao < 1 +
sen(n)
n
1 < se n > 20.
Se escolhermos p N tal que p
1

, ent ao, como n > p, resulta n >

1

, isto e,
|sen(n)|
n
< .
e) Para provar por deni c ao que limn
3
= + temos de provar que a proposi c ao
L R
+
p N : n > p n
3
> L
e verdadeira, isto e, precisamos de mostrar que, para cada real positivo L h a pelo menos uma ordem depois
da qual se tem, para todo o natural n, n
3
> L.
Figura 1.47: Se L = 1000 ent ao n
3
> L se n > 10.
Seja L > 0. Resolvendo a inequa c ao em ordem a n, temos n
3
> L n >
3

L. Se escolhermos p N tal
que p >
3

L ca provado que limn

3
= +.
78 Nocoes Topologicas, Inducao Matematica
Figura 1.48: Se L = 10 ent ao
n
2
n+1
> L se n > 11.
f) Para provar por deni c ao que lim
n
2
n + 1
= + temos de provar que a proposi c ao
L R
+
p N : n > p
n
2
n + 1
> L
e verdadeira, isto e, precisamos de mostrar que, para cada real positivo L h a pelo menos uma ordem depois
da qual se tem, para todo o natural n,
n
2
n + 1
> L.
Seja L > 0. Temos a seguinte majora c ao
n
2
n + 1

n
2
n + n
=
n
2
, n N.
Se escolhermos p N tal que p > 2L, resulta da desigualdade anterior que, se n > p,
n
2
n + 1
> L.
15. Representemos por Nn o n umero de segmentos, Ln o comprimento de cada segmento e por ln o comprimento da
curva na n-esima itera c ao, isto e, depois de repetirmos n vezes o processo de constru c ao da curva. Vamos provar
por indu c ao que Nn = 4
n
. Se n = 1 temos 4 segmentos por constru c ao, pelo que N
1
= 4
1
= 4. Suponhamos
(hip otese de indu c ao) que Nn = 4
n
. Ent ao N
n+1
= Nn 4, pois cada segmento d a origem a 4 novos segmentos.
Substituindo a express ao de Nn obtemos N
n+1
= 4
n
4 = 4
n+1
.
Em cada itera c ao cada segmento e dividido em 3. Na primeira itera c ao o comprimento de cada segmento e
L
1
=
1
3
. Supondo (hip otese de indu c ao) que Ln =
_
1
3
_
n
, provemos que L
n+1
=
_
1
3
_
n+1
. Mas
L
n+1
=
Ln
3
=
_
1
3
_
n
3
=
_
1
3
_
n+1
.
1.4. Exerccios Resolvidos 79

E evidente que o comprimento da curva na n-esima itera c ao e ln = Nn Ln = 4

n
_
1
3
_
n
=
_
4
3
_
n
. O
comprimento, L, da curva de Koch e determinado pelo limite de ln quando n +. Ent ao
L = lim
_
4
3
_
n
= +.