Vous êtes sur la page 1sur 10

Sequncias Teoria e exerccios

Notao formal

Definimos uma dada sequncia de nmeros complexos por {an } ( 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 an = 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 n 3 , temos Fn = Fn 1 + Fn 2 e


previamente definimos F1 = F2 = 1 .

ii) definindo {sn } ( n ) tal que s1 = 1 e sn = sn 12 + 1 para n 2 , 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
( a1 , a2 ,..., ak ) (
e notar que a j = f a j 1 , a j 2 ,..., a j k ) ( j tal que j k + 1) .

Recorrncias lineares

Uma recorrncia de k -sima ordem dita linear se ci ( i tal que 1 i k ) tais que

f ( a j 1 , a j 2 ,..., a j k ) = ci a j i
k
( j k + 1) .
i =1

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.
k
Assim, supondo que a j = c a ( j k + 1) ,
i =1
i j i teremos de nos preocupar em encontrar as razes da
k
seguinte equao polinomial: k = c i =1
i
k i
.

Suponhamos, sem perda de generalidade, que as razes dessa equao sejam


{ ,
1
q 1
2
,..., k q +1
1 } ( q ) , onde nm representa a m -sima raiz com multiplicidade n .

q 1 i
k q

( q ) Cq +i 1 ( q ) .
1 n i +1 n
Teorema (Frmula de Binet): A soluo de nossa recorrncia an = Ci n +
i =0 i =1
Repare que, para encontrarmos a frmula geral, necessrio determinar os coeficientes
C j ( j tal que 0 j k 1) . Para encontrar tais coeficientes devemos utilizar as condies de
contorno da recorrncia, quais sejam os valores dos k primeiros termos ( a1 , a2 ,..., ak ) .

Exemplos

F1 = F2 = 1
Exemplo 01) Resolver a seguinte recorrncia
Fn = Fn 1 + Fn 2 ( n 3)

Soluo:

1 5 1 + 5
Equao recorrente associada: 2 = + 1 , cujas razes so = , = . Assim, a soluo
2 2
geral Fn = C1 + C2 ( n ) (*). Para encontrar C1 e C2 , faamos n = 1 e n = 2 em (*):
n n

1 = C1 + C2 ( i )

1 = C1 + C2 ( ii )
2 2

( )
Fazendo ( ii ) ( i ) : 1 = C2 2 ( + ) = C2 ( ) C2 =
1

(**).

1
Substituindo (**) em (i): 1 = C1 + C1 = 1 = C1 = .

n n
Assim temos: Fn = .

a1 = 1

Exemplo 02) Resolver a seguinte recorrncia a2 = 1
a = 5a 6 a n
n+2 n +1 n ( )
Soluo:

Equao recorrente associada: 2 = 5 6 , cujas razes so {2,3} . Assim, a soluo geral


an = C1 2 + C2 3
n n
( n ) (*). Para encontrar C1 e C2 , faamos n = 1 e n = 2 em (*):

1 = 2C1 + 3C2 ( i )

1 = 4C1 + 9C2 ( ii )

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


3

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

Assim temos: an = 2 n 3n 1 .

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

Soluo:

Equao recorrente associada: 3 = 3 2 4 , cujas razes so {22 , 1} . Assim, a soluo geral


an = ( C1 + C2 n ) 2n + C3 ( 1) ( n ) (*). Para encontrar C1 , C2 e C3 , faamos n = 1, n = 2 e n = 3 em
n

(*):

3 = 2C1 + 2C2 C3 ( i )

13 = 4C1 + 8C2 + C3 ( ii )

31 = 8C1 + 24C2 C3 ( iii )

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


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

Soluo:

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

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

b1 = a1 1 = 2C1 + 4C2 ( i )

b2 = a2 1 = 4C1 + 16C2 ( ii )

Fazendo ( ii ) 2 ( i ) : a2 2a1 + 1 = 8C2 C2 =


( a2 2a1 + 1) (**).
8

Substituindo (**) em (i): a1 1 = 2C1 +


a2 2a1 + 1
C1 =
( 4a1 a2 3) .
2 2

4a1 a2 3 n a2 2a1 + 1 n
Assim temos: an = 2 + 4 +1 .
2 8

(!): 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 {an } ( n tal que n 0 )
1
definida recursivamente por an +1 = an + n tal que n 0 . Demonstrar que a1996 > 63 para a0 .
an

Soluo:

Como a0 > 0 , podemos garantir que an > an 1 ( 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:

a 2 a0 2
n 1 an n 1 an
1
(a
k =0
k +1 ak ) f ( ak ) < f ( t ) dt ak < tdt n < n
a
k =0 k 2
an 2 > 2n + a0 2 > 2n an > 2n .
a0 a0

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

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

Soluo:

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

1 ( 1) ( 1)
q 20 q 20
1 19 q + k q 20 1 q 20 1

k =0
= =
1 1




=


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

= = = =


=
q + 21 ( ) q +1 q + 21 + ( ) q +1 q + 21 10 q +11 q + 21 + 10 q +11
10

=
10

=
q +11
( 10
) (
10 + q +11 10 10 )=

q +11
( 10
10
) + (
q +11 10
10
) = 10 q +11
10
=



( ) (
+ q +11 = F10 q +11 + q +11 . )

Como q +11 + q +11 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 Fn . (Repare que este exerccio extra uma generalizao do exerccio resolvido 02!)

Exerccio Resolvido 03) Seja { xn } ( n ) tal que x1 = 1 e xn +1 = xn ( xn + 1)( xn + 2 )( xn + 3) + 1 .


n
1
Encontrar o valor de lim x .
k +2
n +
k =1

Soluo:

Seja { zn } ( n ) tal que zn = xn + 1 . Substituindo na recorrncia do enunciado, teremos:

( ( zn 1) zn ( zn + 1)( zn + 2 ) + 1 )
2
( zn +1 1) zn +12 2 zn +1 = ( zn 1) zn ( zn + 1)( zn + 2 ) zn +1 ( zn +1 2 ) = ( zn 1) zn ( zn + 1)( zn + 2 ) .
2
=

Podemos provar por induo que zn +1 = zn 2 + zn . Assim encontramos o limite procurado:


n n n n n
1 1 1 1 1 1 1 1

k =1 xk + 2
=
k =1 z k + 1
=
k =1 z k

k =1 z k +1
=
z1 zn +1
lim
n +

k =1 xk + 2
= =1 .
z1 2

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

Soluo:
bn 0

Consideremos {bn } ( n + ) tal que para n + : 1
xn = bn + b
n

1 42 3
i) observemos que 4 = x0 = b0 + b0 2 4b0 + 1 = 0 b0 = . Em particular, escolhamos
b0 2
b0 = 2 + 3 .
2
1 1 1 1
ii) xn +1 = xn 2 bn +1 + 2
= bn + 2 bn +1 + = bn 2 + 2 . Podemos mostrar por induo que
bn +1 bn bn +1 bn
bn = b0 2 ( n + )
n
(*). (!)
( ) ( )
2n 2n
Assim a soluo geral de nossa recorrncia no-linear xn = 2 + 3 + 2 3 .

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

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

b 2 + 1 b 0 0 0

b b +1
2
b 0 0
0 b b +1
2
b 0
An x n = .
0 0 b b +1
2
0


0 0 0 0 b 2 + 1

Soluo:

Vamos considerar {d n } ( n ) tal que d n = det An x n . ( )


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

b2 + 1 b 0 0 b b 0 0
b b +1
2
b 0 0 b +1 2
b 0
d n = ( 1) ( b + 1) + ( 1)
1+1 1+ 2
2
0 b b +1
2
0 b 0 b b +1
2
0 =

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

b2 + 1 b 0
b2 + 1
= ( b 2 + 1) d n 1 b 2 = ( b 2 + 1) d n 1 b 2 d n 2 .
b 0

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

d1 = b 2 + 1 = b 2 + 1
1 x1

Devemos, ainda, observar que: b +1


2
b
d 2 = = b4 + b2 + 1
b b +1 2x2
2

Equao caracterstica associada {d n } : 2 = ( b2 + 1) b 2 , { }


cujas razes so 1,b 2 . Iremos agora
considerar dois casos:
i) b = {1, +1} . Nessa hiptese, temos a seguinte soluo geral: d n = ( C1 + C2 n ) 1n = C1 + C2 n (*).
2 = C1 + C2
Fazendo n = 1 e n = 2 em (*), teremos de resolver o seguinte sistema:
3 = C1 + 2C2
Claro est que C1 = C2 = 1 d n = n + 1 .

ii) b {1, +1} . Nessa hiptese, temos a seguinte soluo geral: d n = C1 1n + C2 b 2 ( )


n
= C1 + C2 b 2 n (**).
b 2 + 1 = C1 + b 2 C2 ( i )
Fazendo n = 1 e n = 2 em (**), teremos de resolver o seguinte sistema: 4
b + b + 1 = C1 + b C2 ( ii )
2 4

Fazendo ( ii ) ( i ) , teremos: b 4 = b 2 ( b 2 1) C2 (***). Se b = 0 d n = 1 ( n ) . Podemos, portanto,


b2 1
assumir que b 0 . Assim de (***), temos: C2 = . Substituindo em (i): C1 = . Logo a soluo
b 1
2
1 b2
b ( ) 1
2 n +1
1 b2
geral d n = + b 2n
= .
b2 1 b2 1 b2 1

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

Soluo:

an + 2 = 2an +1 + 4an

Consideremos {an } ( n + ) tal que: a0 = 2
a = 1
1

Vamos resolver esta equao recorrente!

{
Equao caracterstica associada {an } : 2 = 2 + 4 , cujas razes so 1 5,1 + 5 . A soluo geral }
( ) ( ) ( n + )
n n
ser, portanto: an = C1 1 5 + C2 1 + 5 (*). Fazendo n = 0 e n = 1 em (*), teremos de
2 = C1 + C2 ( i )

( ) ( ) (ii )
resolver o seguinte sistema:
1 = C1 1 5 + C2 1 + 5

( ii ) (1 ) ( ) 2 5 1
Fazendo 5 ( i ) , teremos: 1 2 1 5 = C2 2 5 C2 = (**). Substituindo em (i),
2 5
2 5 +1 2 5 +1 2 5 1
encontramos finalmente: C1 = . Portanto (1 5) n + (1 + 5)n = an .
2 5 2 5 2 5
Podemos mostrar facilmente, por induo, que an .
2 5 +1 2 5 1
Logo est provado que (1 5)n + (1 + 5) n tambm natural.
2 5 2 5

Exerccio Resolvido 07) Resolver a seguinte equao de recorrncia: a0 = 8 , a1 = 1 e


2 2
an =
an 2
an 1 ( n 2 ) .

Soluo:

Repare que an > 0 para n + .

a 1
log 2 an = ( log 2 an 2 log 2 an 1 ) .
an 2
Assim: an = log 2 an = log 2 n 2
an 1 an 1 2


b0 = log 2 8 = 3

=3
Consideremos {bn } ( n + ) tal que bn = log 2 an . Temos ento que b1 = log 2 1
2 2 2

1 1
bn = bn 1 + bn 2
2 2

Equao caracterstica associada {bn } :


1 1
{
2 = + , cujas razes so 1, 1 2 . A soluo geral
2 2
}
ser, portanto: bn = C1 ( 1) + C2 1 ( 2) ( n + )
n n
(*). Fazendo n = 0 e n = 1 em (*), teremos de resolver
3 = C1 + C2 ( i )

( ) (ii )
o seguinte sistema:
2 = C1 ( 1) + C2 2
3 1


( )1

( 2)
n
2( 1) + 2
n

Fazendo ( i ) + ( ii ) , teremos: C1 = 2 e C2 = 1 bn = 2 ( 1) + 1
n
an = 2
n
.

+ oo
Fn
Exerccio Resolvido 08) Calcular o seguinte somatrio infinito 10
n =1
n
.
Soluo:

k k
n
n n 1 n
n k n k
Fk
, temos: k =
Como Fn = = (*). Devemos agora
k =1 10 k =1 10 k k =1 10 k =1 10
1+ 5 1 5

2 1+ 5 1+ 5 2 1 5 5 1
notar que = = = <1 e = = = < 1 . Assim, os dois
10 10 20 20 10 10 20 20

somatrios de (*) so progresses geomtricas infinitas cujo mdulo da razo inferior unidade. Logo:


+
Fn 1 10 1 1 (10 10 + ) 10
n
=
1
+ 10

=
5 10 10
= =
5 100 10 ( + ) + 89
.
n =1 10
10 1 10

Vous aimerez peut-être aussi