Académique Documents
Professionnel Documents
Culture Documents
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 ) .
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:
ii) definindo {sn } ( n ) tal que s1 = 1 e sn = sn 12 + 1 para n 2 , temos uma outra sequncia que
tambm uma recorrncia.
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
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
.
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:
1 = 2C1 + 3C2 ( i )
1 = 4C1 + 9C2 ( ii )
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:
(*):
3 = 2C1 + 2C2 C3 ( i )
13 = 4C1 + 8C2 + C3 ( ii )
31 = 8C1 + 24C2 C3 ( iii )
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 )
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
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 . )
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!)
Soluo:
( ( 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
=
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:
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
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
{
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
Soluo:
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
( )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