Sequncias Teoria e exerccios

Notao formal

Definimos uma dada sequncia de nmeros complexos por { } ( )
n
a n . Normalmente temos interesse
em descobrir uma frmula fechada que seja capaz de expressar o n -simo termo da sequncia como
funo de n . Ou seja, muitas vezes estamos procurando uma funo : f tal que ( )
n
a f n = .

Iremos verificar em que casos possvel descobrir tal funo.

Equaes recorrentes

Um tipo especial de sequncia em que temos interesse seria aquela em que qualquer termo, a partir de
um previamente definido, pode ser expresso como funo de termos anteriores.

Exemplos:

i) a famosa sequncia de Fibonacci uma recorrncia, visto que, para 3 n , temos
1 2 n n n
F F F

= + e
previamente definimos
1 2
1 F F = = .

ii) definindo { } ( )
n
s n tal que
1
1 s = e
2
1
1
n n
s s

= + para 2 n , temos uma outra sequncia que
tambm uma recorrncia.

Ordem de uma equao recorrente

Uma equao recorrente dita de k -sima ordem se qualquer termo, a partir de alguns previamente
definidos, for funo de k termos anteriores.

Para que esta recorrncia esteja fechada, devemos prever os valores dos k primeiros termos
( )
1 2
, ,...,
k
a a a e notar que
( ) ( )
1 2
, ,..., tal que 1
j j j j k
a f a a a j j k

= + .

Recorrncias lineares

Uma recorrncia de k -sima ordem dita linear se ( ) tal que1
i
c i i k tais que
( ) ( )
1 2
1
, ,..., 1
k
j j j k i j i
i
f a a a c a j k

=
= +

.

Soluo geral de uma recorrncia linear

A fim de resolver uma recorrncia linear de k -sima ordem, temos de considerar o polinmio
caracterstico associado a esta recorrncia.






Assim, supondo que ( )
1
1
k
j i j i
i
a c a j k

=
= +

, teremos de nos preocupar em encontrar as razes da

seguinte equao polinomial:
1
k
k k i
i
i
c

=
=

.

Suponhamos, sem perda de generalidade, que as razes dessa equao sejam
{ } ( )
1 2 1
1 1
, ,...,
k q
q
q
+
, onde
m
n
representa a m-sima raiz com multiplicidade n .

Teorema (Frmula de Binet): A soluo de nossa recorrncia
( ) ( )
1
1 1
1
0 1
q k q
n n
i i
n i q q i q
i i
a C n C

+
+
= =

= +



.
Repare que, para encontrarmos a frmula geral, necessrio determinar os coeficientes
( ) tal que0 1
j
C j j k . Para encontrar tais coeficientes devemos utilizar as condies de
contorno da recorrncia, quais sejam os valores dos k primeiros termos ( )
1 2
, ,...,
k
a a a .

Exemplos

Exemplo 01) Resolver a seguinte recorrncia
( )
1 2
1 2
1
3
n n n
F F
F F F n

= =

= +

Soluo:

Equao recorrente associada:
2
1 = + , cujas razes so
1 5 1 5
,
2 2


+
= =



. Assim, a soluo
geral ( )
1 2
n n
n
F C C n = + (*). Para encontrar
1 2
e C C , faamos 1e 2 n n = = em (*):

( )
( )
1 2
2 2
1 2
1
1
C C i
C C ii


= +

= +

Fazendo ( ) ( ) ii i :
( ) ( ) ( )
2
2 2 2
1
1 C C C

= + = =

(**).

Substituindo (**) em (i):
1 1 1
1
1 1 C C C

= + = = =

.

Assim temos:
n n
n
F

.










Exemplo 02) Resolver a seguinte recorrncia
( )
1
2
2 1
1
1
5 6
n n n
a
a
a a a n
+ +

Soluo:

Equao recorrente associada:
2
5 6 = , cujas razes so { } 2,3 . Assim, a soluo geral
( )
1 2
2 3
n n
n
a C C n = + (*). Para encontrar
1 2
e C C , faamos 1e 2 n n = = em (*):

( )
( )
1 2
1 2
1 2 3
1 4 9
C C i
C C ii
= +

= +

Fazendo ( ) ( ) 2 ii i :
2 2
1
1 3
3
C C = = (**).

Substituindo (**) em (i):
1 1
1 2 1 1 C C = = .

Assim temos:
1
2 3
n n
n
a

= .

Exemplo 03) Resolver a seguinte recorrncia
( )
1
2
3
3 2
3
13
31
3 4
n n n
a
a
a
a a a n
+ +
=

Soluo:

Equao recorrente associada:
3 2
3 4 = , cujas razes so { }
2
2 , 1 . Assim, a soluo geral
( ) ( ) ( )
1 2 3
2 1
n
n
n
a C C n C n = + + (*). Para encontrar
1 2 3
, e C C C , faamos 1, 2e 3 n n n = = = em
(*):

( )
( )
( )
1 2 3
1 2 3
1 2 3
3 2 2
13 4 8
31 8 24
C C C i
C C C ii
C C C iii
= +

= + +

= +

Reparando que a soluo deste sistema { } 1,1,1 , temos ( ) ( ) 1 2 1
n
n
n
a n = + + .











Exemplo 04) Resolva a seguinte recorrncia ( )
2 1
6 8 3
n n n
a a a n
+ +
= + .

Soluo:

Consideremos { }
n
b tal que ( ) 1
n n
a b n = + (*). Substituindo (*) na recorrncia dada, teremos:
( ) ( )
2 1 2 1
1 6 1 8 1 3 6 8
n n n n n n
b b b b b b
+ + + +
+ = + + + = . (!)

Equao caracterstica associada { }
n
b :
2
6 8 = , cujas razes so { } 2,4 . Assim, a soluo geral
( )
1 2
2 4
n n
n
b C C n = + (**). Para encontrar
1 2
e C C , faamos 1e 2 n n = = em (**):

( )
( )
1 1 1 2
2 2 1 2
1 2 4
1 4 16
b a C C i
b a C C ii
= = +

= = +

Fazendo ( ) ( ) 2 ii i :
( )
2 1
2 1 2 2
2 1
2 1 8
8
a a
a a C C
+
+ = = (**).

Substituindo (**) em (i):
( )
2 1 1 2
1 1 1
2 1 4 3
1 2
2
2
a a a a
a C C
+
= + = .

Assim temos:
1 2 2 1
4 3 2 1
2 4 1
2 8
n n
n
a a a a
a
+
= + +


.

(!): Esta simples mudana de variveis permitiu-nos passar a trabalhar com uma recorrncia homognea.

Exerccios Resolvidos

Exerccio Resolvido 01) Considere a seqncia de nmeros reais positivos { } ( ) tal que 0
n
a n n
definida recursivamente por
1
1
tal que 0
n n
n
a a n n
a
+
= + . Demonstrar que
1996 0
63 para a a > .

Soluo:

Como
0
0 a > , podemos garantir que ( )
1 n n
a a n

> . (Prove esta afirmativa por induo finita!)

Consideremos agora uma partio do semi-eixo real positivo, conforme indicado na figura a seguir.

Consideremos ainda uma funo
* *
: f
+ +
tal que ( ) f x x = . Esta funo est tambm representada
na figura.












Comparando a rea hachurada com a rea sob a curva de f , podemos escrever a seguinte
desigualdade:

( ) ( ) ( )
0 0
2 2 1 1
2 2 0
1 0
0 0
1
2 2 2
2
n n
a a
n n
n
k k k k n n
k k
k a a
a a
a a f a f t dt a tdt n a n a n a n
a

+
= =

< < < > + > >

.

Em particular:
1996
2 1996 3992 3969 63 a > = > = . c.q.d

Exerccio Resolvido 02) Mostrar que a soma de 20 nmeros de Fibonacci consecutivos divisvel por
10
F .

Soluo:

Utilizando os resultados do Exemplo 01, podemos escrever:
19 19 19
0 0 0
1
q k q k
q k
q k
k k k
F



+ +
+
+
= = =

= =





( ) ( )
20 20
20 20 19
0
1 1
1 1 1 1
1 1
q q
q q
q k
k

+
=



= = =

( ) ( ) ( ) ( )
1 20 1 20 1 20 1 20
21 1 21 1
1 1 1 1
1
q q q q
q q q q



+ + + +
+ + + +

+
= = = =












( ) ( ) ( ) ( )
10 10 11 10 10 11 10 10
21 1 21 1
21 10 11 21 10 11
q q
q q q q
q q q q




+ +
+ + + +
+ + + +
+
+
+
= = = =


( ) ( )
( ) ( )
11 10 10 11 10 10
10 10
11 11 11 11
10
q q
q q q q
F




+ +
+ + + +
+

= = + = +



.

Como
11 11 q q

+ +
+ natural para q (!!), est, portanto, demonstrado.

(!!): demonstre essa assertiva!

Exerccio Extra) Seja n um inteiro par. Mostre que a soma de 2n nmeros de Fibonacci consecutivos
divisvel por
n
F . (Repare que este exerccio extra uma generalizao do exerccio resolvido 02!)

Exerccio Resolvido 03) Seja { } ( )
n
x n tal que ( )( )( )
1 1
1e 1 2 3 1
n n n n n
x x x x x x
+
= = + + + + .
Encontrar o valor de
1
1
lim
2
n
n
k
k
x
+
=
+

.

Soluo:

Seja { } ( )
n
z n tal que 1
n n
z x = + . Substituindo na recorrncia do enunciado, teremos:
( ) ( ) ( )( )
( )
( ) ( )( ) ( ) ( ) ( )( )
2
2
2
1 1 1 1 1
1 1 1 2 1 2 1 1 2 2 1 1 2 .
n n n n n n n n n n n n n n n n n
z z z z z z z z z z z z z z z z z
+ + + + +
= + + + = + + = + +
Podemos provar por induo que
2
1 n n n
z z z
+
= + . Assim encontramos o limite procurado:
1 1 1 1 1
1 1 1 1
1 1 1 1 1 1 1 1
1
lim
2
2 1 2
n n n n n
n
k k k k k
k k k k n k
x z z z z z x z
+
= = = = =
+ +
= = = = =
+ + +

.

Exerccio Resolvido 04) Resolva a seguinte recorrncia no-linear:
( )
0
2
1
4
2
n n
x
x x n
+ +
=

Soluo:
Consideremos { } ( )
n
b n
+
tal que para n
+
:
0
1
n
n n
n
b
x b
b

= +

i) observemos que
2
0 0 0 0 0
0
1 4 2 3
4 4 1 0 .
2
x b b b b
b

= = + + = = Em particular, escolhamos
0
2 3 b = + .
ii)
2
2 2
1 1 1 2
1 1
1 1 1 1
2 2
n n n n n n
n n n n
x x b b b b
b b b b
+ + +
+ +

= + = + + = +


. Podemos mostrar por induo que
( )
2
0
n
n
b b n
+
= (*). (!)







Assim a soluo geral de nossa recorrncia no-linear
( ) ( )
2 2
2 3 2 3
n n
n
x = + + .

(!): Faa este exerccio! Prove, por induo, que (*) verdadeira.

Exerccio Resolvido 05) (IME) Determine o valor do determinante da matriz abaixo, em funo de b :

2
2
2
2
2
1 0 0 0
1 0 0
0 1 0
0 0 1 0
0 0 0 0 1
n xn
b b
b b b
b b b
A
b b
b
+

+


+
=

+



+

L
L
L
L
M M M M O M
L
.

Soluo:

Vamos considerar { } ( )
n
d n tal que
( )
det
n n xn
d A = .

Assim, ao aplicarmos Laplace primeira linha, podemos escrever a seguinte recorrncia:

( ) ( )
( ) ( )
( )
( ) ( )
2
2 2
1 1 1 2
2 2 2
2 2
1 1 1 1
0 0 1 0 0
0 1 0 1 0
1 1 1 0 1 0 0 1 0
0 0 0 1 0 0 0 1
n
n x n n x n
b b b b
b b b b b
d b b b b b b
b b
+ +

+
+ +
= + + = + +
+ +
L L
L L
L L
M M M O M M M M O M
L L

( )
( ) ( )
( )
2
2
2 2 2 2
1 1 2
2
2 2
1 0
1 0
1 1
0 0 1
n n n
n x n
b b
b b
b d b b d b d
b


+
+
= + = +
+
L
L
M M O M
L
.

Devemos, ainda, observar que:
2 2
1
1 1
2
4 2
2
2
2 2
1 1
1
1
1
x
x
d b b
b b
d b b
b b

= + = +

+
= = + +

Equao caracterstica associada { }
n
d :
( )
2 2 2
1 b b = + , cujas razes so
{ }
2
1,b . Iremos agora
considerar dois casos:







i) { } 1, 1 b = + . Nessa hiptese, temos a seguinte soluo geral: ( )
1 2 1 2
1
n
n
d C C n C C n = + = + (*).
Fazendo 1e 2 n n = = em (*), teremos de resolver o seguinte sistema:
1 2
1 2
2
3 2
C C
C C
= +

= +

Claro est que
1 2
1 1
n
C C d n = = = + .

ii) { } 1, 1 b + . Nessa hiptese, temos a seguinte soluo geral:
( )
2 2
1 2 1 2
1
n
n n
n
d C C b C C b = + = + (**).
Fazendo 1e 2 n n = = em (**), teremos de resolver o seguinte sistema:
( )
( )
2 2
1 2
4 2 4
1 2
1
1
b C b C i
b b C b C ii
+ = +

+ + = +

Fazendo ( ) ( ) ii i , teremos:
( )
4 2 2
2
1 b b b C = (***). Se ( ) 0 1
n
b d n = = . Podemos, portanto,
assumir que 0 b . Assim de (***), temos:
2
2 2
1
b
C
b
=

. Substituindo em (i):
1 2
1
1
C
b
=

. Logo a soluo
geral
( ) 2 1 2
2
2 2 2
1 1
1 1 1
n
n
n
b b
d b
b b b
+

= + =

.

Exerccio Resolvido 06) Provar que
2 5 1 2 5 1
(1 5) (1 5)
2 5 2 5
n n
+
+ + inteiro para todo natural n.

Soluo:

Consideremos { } ( )
n
a n
+
tal que:
2 1
0
1
2 4
2
1
n n n
a a a
a
a
+ +
= +

Vamos resolver esta equao recorrente!

Equao caracterstica associada { }
n
a :
2
2 4 = + , cujas razes so
{ }
1 5,1 5 + . A soluo geral
ser, portanto:
( ) ( )
( )
1 2
1 5 1 5
n n
n
a C C n
+
= + + (*). Fazendo 0e 1 n n = = em (*), teremos de
resolver o seguinte sistema:
( )
( ) ( )
( )
1 2
1 2
2
1 1 5 1 5
C C i
C C ii
= +

= + +

Fazendo ( )
( )
( ) 1 5 ii i , teremos:
( ) 2 2
2 5 1
1 2 1 5 2 5
2 5
C C

= = (**). Substituindo em (i),
encontramos finalmente:
1
2 5 1
2 5
C
+
= . Portanto
2 5 1 2 5 1
(1 5) (1 5)
2 5 2 5
n n
n
a
+
+ + = .






Podemos mostrar facilmente, por induo, que
n
a .
Logo est provado que
2 5 1 2 5 1
(1 5) (1 5)
2 5 2 5
n n
+
+ + tambm natural.

Exerccio Resolvido 07) Resolver a seguinte equao de recorrncia:
0
8 a = ,
1
1
2 2
a = e
( )
2
1
2
n
n
n
a
a n
a

= .

Soluo:

Repare que 0
n
a > para n
+
.

Assim: ( )
2 2
2 2 2 2 2 2 1
1 1
1
log log log log log
2
n n
n n n n n
n n
a a
a a a a a
a a




= = =


.

Consideremos { } ( )
n
b n
+
tal que
2
log
n n
b a = . Temos ento que
0 2
1 2
1 2
log 8 3
3 1
log
2
2 2
1 1
2 2
n n n
b
b
b b b

= =

= =

= +

Equao caracterstica associada { }
n
b :
2
1 1
2 2
= + , cujas razes so
{ }
1
1,
2
. A soluo geral
ser, portanto: ( )
( )
( )
1 2
1
1
2
n
n
n
b C C n
+
= + (*). Fazendo 0e 1 n n = = em (*), teremos de resolver
o seguinte sistema:
( )
( )
( )
( )
1 2
1 2
3
3 1
1
2 2
C C i
C C ii
= +

= +

Fazendo ( ) ( ) i ii + , teremos: ( )
( )
( ) ( )
1
2 1
2
1 2
1
2e 1 2 1 2
2
n
n
n
n
n n
C C b a

+


= = = + = .

Exerccio Resolvido 08) Calcular o seguinte somatrio infinito
1
10
oo
n
n
n
F
+
=

.


Soluo:

Como
n n
n
F

, temos:
1 1 1 1
1
10 10 10 10
k k
k k
n n n n
k
k k
k k k k
F



= = = =

= =

(*). Devemos agora
notar que
1 5 1 5
2 2
1 5 1 5 1 5 5 1
1e 1
10 10 20 20 10 10 20 20


+

+ +

= = = < = = = < . Assim, os dois
somatrios de (*) so progresses geomtricas infinitas cujo mdulo da razo inferior unidade. Logo:

( )
( )
1
10 10
1 1 1 10
10 10
10 10 10 100 10 89 5 5 1
1
10
10
n
n
n
F

+
=

+

= + = = =


+ +