Beruflich Dokumente
Kultur Dokumente
j=1
c
j
x
n+kj
= c
1
x
n+k1
+ c
2
x
n+k2
+ + c
k
x
n
, n N.
Tais seq uencias sao determinadas pelos seus k primeiros termos x
0
, x
1
, . . . , x
k1
.
Os exemplos mais simples (e fundamentais, como veremos a seguir) de seq uencias recorrentes
lineares sao as progressoes geometricas: se x
n
= a q
n
entao x
n+1
= qx
n
, n N, donde (x
n
)
e uma seq uencia recorrente linear de ordem 1.
Se (x
n
) e uma progressao aritmetica, existe uma constante r tal que x
n+1
x
n
= r, n N,
donde x
n+2
x
n+1
= x
n+1
x
n
, n N, e logo x
n+2
= 2x
n+1
x
n
, n N, ou seja, (x
n
) e
uma seq uencia recorrente linear de ordem 2.
Se x
n
= P(n) onde P e um polinomio de grau k, entao (x
n
) satisfaz a recorrencia linear de
ordem k + 1 dada por
x
n+k+1
=
k
j=0
(1)
j
_
k + 1
j + 1
_
x
n+kj
, n N. (*)
Isso e evidente se k = 0 (isto e, se P e constante), pois nesse caso (*) se reduz a x
n+1
= x
n
,
n N, e o caso geral pode ser provado por indu cao: se P e um polinomio de grau k 1
entao Q(x) = P(x + 1) P(x) e um polinomio de grau k 1, donde y
n
= x
n+1
x
n
= Q(n)
satisfaz a recorrencia y
n+k
=
k1
j=0
(1)
j
_
k
j+1
_
y
n+k1j
, n N, donde
x
n+k+1
x
n+k
=
k1
j=0
(1)
j
_
k
j + 1
_
(x
n+kj
x
n+kj1
), n N,
2
e logo
x
n+k+1
=
k
j=0
(1)
j
(
_
k
j + 1
_
+
_
k
j
_
)x
n+kj
=
k
j=0
(1)
j
_
k + 1
j + 1
_
x
n+kj
, n N.
Um outro exemplo e dado por seq uencias do tipo x
n
= (an + b) q
n
, onde a, b e q sao
constantes. Temos que x
n+1
qx
n
= (a(n + 1) + b)q
n+1
q(an + b) q
n
=
= q
n+1
(a(n + 1) + b (an + b)) = aq
n+1
e uma progressao geometrica de razao q, e logo
x
n+2
qx
n+1
= q(x
n+1
qx
n
), donde x
n+2
= 2qx
n+1
q
2
x
n
, n N, e portanto (x
n
) e uma
seq uencia recorrente linear de ordem 2.
Vamos agora considerar a famosa e popular seq uencia de Fibonacci, dada por u
0
= 0, u
1
= 1
e u
n+2
= u
n+1
+u
n
, n N. Seus primeiros termos sao u
0
= 0, u
1
= 1, u
2
= 1, u
3
= 2, u
4
= 3,
u
5
= 5, u
6
= 8, u
7
= 13, u
8
= 21, . . . . Mostraremos na proxima se cao como achar uma formula
explcita para seu termo geral u
n
em fun cao de n, o que sera generalizado para seq uencias
recorrentes lineares quaisquer, e veremos algumas de suas propriedades aritmeticas.
Antes porem, concluiremos esta se cao com alguns fatos gerais sobre seq uencias recorrentes
lineares, que serao uteis nas se coes subsequentes.
O conjunto das seq uencias que satisfazem uma dada recorrencia linear
x
n+k
=
k
j=1
c
j
x
n+kj
, n N
e um espa co vetorial , isto e, dadas duas seq uencias (y
n
) e (z
n
) que satisfazem esta recorrencia
(ou seja, y
n+k
=
k
j=1
c
j
y
n+kj
e z
n+k
=
k
j=1
c
j
z
n+kj
, n N) e uma constante a, a seq uencia
(w
n
) dada por w
n
= y
n
+ az
n
satisfaz a mesma recorrencia: w
n+k
=
k
j=1
c
j
w
n+kj
, n N.
j=1
c
j
x
n+kj
, temos
3
s
n+k+1
s
n+k
=
k
j=1
c
j
(s
n+k+1j
s
n+kj
), n N, donde
s
n+k+1
= (1 + c
1
)s
n+k
+
k1
j=1
(c
j+1
c
j
)s
n+kj
c
k
s
n
=
k+1
i=1
d
i
s
n+k+1i
onde d
1
= 1 + c
1
, d
i
= c
i
c
i1
para 2 i k e d
k+1
= c
k
, n N, e portanto (s
n
) e uma
seq uencia recorrente linear de ordem k + 1.
2 A seq uencia de Fibonacci:
A seq uencia de Fibonacci e denida por u
0
= 0, u
1
= 1 e u
n+2
= u
n+1
+ u
n
, n N.
Queremos achar uma formula explcita para u
n
em fun cao de n. Para isso usaremos uma
ideia que sera bastante util tambem no caso geral: procuraremos progressoes geometricas que
satisfazem a mesma recorrencia que (u
n
): se x
n
= a q
n
com a e q nao nulos satisfaz x
n+2
=
x
n+1
+x
n
, n N, teremos a q
n+2
= a q
n+1
+a q
n
= a q
n
(q +1), donde q
2
= q +1. Temos
assim dois valores possveis para q: as duas razes da equa cao q
2
q 1 = 0, que sao
1+
5
2
e
1
5
2
. Assim, seq uencias da forma a
_
1+
5
2
_
n
e da forma b
_
1
5
2
_
n
satisfazem a recorrencia
acima, bem como seq uencias da forma y
n
= a
_
1+
5
2
_
n
+ b
_
1
5
2
_
n
, pela observa cao da se cao
anterior.
Basta agora encontrar valores de a e b tais que y
0
= 0 e y
1
= 1 para que tenhamos y
n
= u
n
para todo n (de fato, teramos y
0
= u
0
, y
1
= u
1
e, por indu cao se k 2 e y
n
= U
n
para todo
n < k, temos y
k
= y
k1
+ y
k2
= u
k1
+ u
k2
= u
k
). Para isso, devemos ter:
_
_
a + b = 0
a
_
1+
5
2
_
+ b
_
1
5
2
_
= 1
e portanto a =
1
5
e b =
1
5
. Mostramos assim que
u
n
=
1
5
__
1 +
5
2
_
n
_
1
5
2
_
n
_
, n N.
4
E curioso que na formula do termo geral de uma seq uencia de n umeros inteiros denida de
modo tao simples quanto (u
n
) apare cam n umeros irracionais.
Provaremos a seguir uma identidade util sobre n umeros de Fibonacci:
Proposicao: u
m+n
= u
m
u
n1
+ u
m+1
u
n
, m, n N, n 1.
Prova: Sejam y
m
= u
m+n
e z
m
= u
m
u
n1
+ u
m+1
u
n
. Temos que (y
n
) e (z
n
) satisfazem a
recorrencia x
n+2
= x
n+1
+x
n
, n N. Por outro lado, y
0
= u
n
, y
1
= u
n+1
, z
0
= 0u
n1
+1u
n
=
u
n
= y
0
e z
1
= 1 u
n1
+ 1 u
n
= u
n+1
= y
1
, e portanto, como antes, z
n
= y
n
, n N.
Podemos usar este fato para provar o seguinte interessante fato aritmetico sobre a seq uencia
(u
n
), que pode ser generalizado para as chamadas seq uencias de Lucas, as quais sao uteis para
certos testes de primalidade:
Teorema: mdc(u
m
, u
n
) = u
mdc(m,n)
, m, n N.
Prova: Observemos primeiro que mdc(u
n
, u
n+1
) = 1, n N. Isso vale para n = 0 pois u
1
= 1
e, por indu cao, mdc(u
n+1
, u
n+2
) = mdc(u
n+1
, u
n+1
+ u
n
) = mdc(u
n+1
, u
n
) = 1. Alem disso, se
m = 0, mdc(u
m
, u
n
) = mdc(0, u
n
) = u
n
= u
mdc(m,n)
, n N, e se m = 1, mdc(u
m
, u
n
) =
mdc(1, u
n
) = 1 = u
1
= u
mdc(m,n)
, n N. Vamos entao provar o fato acima por indu cao
em m. Suponha que a arma cao do enunciado seja valida para todo m < k (onde k 2
e um inteiro dado) e para todo n N. Queremos provar que ela vale para m = k e para
todo n N, isto e, que mdc(u
k
, u
n
) = u
mdc(k,n)
para todo n N. Note que, se n < k,
mdc(u
k
, u
n
) = mdc(u
n
, u
k
) = u
mdc(n,k)
= u
mdc(k,n)
, por hipotese de indu cao. Ja se n k,
u
n
= u
(nk)+k
= u
nk
u
k1
+ u
nk+1
u
k
, e logo mdc(u
k
, u
n
) = mdc(u
k
, u
nk
u
k1
+ u
nk+1
u
k
) =
mdc(u
k
, u
nk
u
k1
) = mdc(u
k
, u
nk
) (pois mdc(u
k
, u
k1
) = 1) = u
mdc(k,nk)
= u
mdc(k,n)
.
5
Corolario: Se m 1 e m e um divisor de n entao u
m
divide u
n
. Alem disso, se m 3 vale a
recproca: se u
m
divide u
n
entao m divide n.
3 A recorrencia x
n+1
= x
2
n
2
Consideremos as seq uencias (x
n
)
nN
de n umeros reais que satisfazem a recorrencia x
n+1
=
x
2
n
2, n N. Suponha que x
0
= +
1
para um certo (real ou complexo). Entao
podemos provar por indu cao que x
n
=
2
n
+
2
n
, n N. De fato, se vale a formula para
x
n
, teremos
x
n+1
= x
2
n
2 = (
2
n
+
2
n
)
2
2 =
2
n+1
+ 2 +
2
n+1
2 =
2
n+1
+
2
n+1
.
Se |x
0
| > 2, temos x
0
= +
1
para =
x
0
+
x
2
0
4
2
R.
Se |x
0
| 2, vale a mesma formula para , mas nesse caso e um n umero complexo de
motulo 1, e pode ser escrito como = e
i
= cos + i sen . Nesse caso, x
n
= e
2
n
i
+ e
2
n
i
=
(cos(2
n
) + i sen(2
n
)) + (cos(2
n
) sen(2
n
)) = 2 cos(2
n
).
Podemos ver isso de outra forma: se |x
0
| 2, escrevemos x = 2 cos , com [0, ].
Podemos mostrar entao por indu cao que x
n
= 2 cos(2
n
), para todo n N. De fato, x
n+1
=
x
2
n
2 = 4 cos
2
(2
n
)2 = 2(2 cos
2
(2
n
)1) = 2 cos(2
n+1
), pois cos(2x) = 2 cos
2
x1, x R.
Podemos usar esta expressao para obter diversos tipos de comportamento possvel para uma
tal seq uencia (x
n
). Se x
0
= 2 cos e / e racional e tem representa cao binaria periodica de
perodo m entao (x
n
) = (2 cos(2
n
)) e periodica de perodo m. Por outro lado, podemos ter
x
0
= 2 cos onde / tem representa cao binaria como
0, 0100011011000001010011100101110111...
em que todas as seq uencias nitas de zeros e uns aparecem em algum lugar (isso acontece para
a maioria dos valores de ).
Nesse caso, a seq uencia (x
n
) = (2 cos(2
n
)) e densa em [2, 2], isto e, qualquer ponto de
[2, 2] pode ser apromado por elementos de (x
n
), com erro arbitrariamente pequeno.
6
No caso em que x
0
e um inteiro, a seq uencia (x
n
) pode ter propriedades aritmeticas muito
interessantes. Em particular, se x
0
= 4 (e logo x
n
= (2 +
3)
2
n
+ (2
3)
2
n
, n N) vale o
famoso criterio de Lucas-Lehmer para testar a primalidade de n umeros de Mersenne: se n 3
entao 2
n
1 e primo se e somente se 2
n
1 e um divisor de x
n2
(por exemplo, 2
3
1 = 7 e
primo e e um divisor de x
31
= x
1
= x
2
0
2 = 4
2
2 = 14).
Exerccio: Seja x
0
3 um inteiro mpar.
i) Prove que se p e um n umero primo entao existe no maximo um valor de n N tal que p
divide x
n
.
ii) Prove que se p e um fator primo de x
n
entao p > n.
Sugestao: Considere a seq uencia x
n
(mod p).
Esse exerccio pode ser generalizado para outras recorrencias. Nesse caso particular da
recorrencia x
n+1
= x
2
n
2 e possvel mostrar um resltado mais forte: se p e um fator primo
de x
n
entao p 2
n+2
1 (note que quando p = 2
q
1 e primo, com q 3 e n = q 2,
vale a igualdade p = 2
n+2
1 e p|x
n
, pelo criterio de Lucas-Lehmer enunciado acima).
4 - F ormulas gerais para seq uencias recorrentes lineares:
Considere a equa cao
a
k
x
n+k
+ a
k1
x
n+k1
+ + a
0
x
n
= 0, n 0 (2)
em que a
0
, . . . , a
k
sao constantes, e os valores de x
i
sao conhecidos para i = 0, . . . , k 1.
Supondo que a equa cao (2) admite uma solu cao do tipo: x
n
=
n
, em que e um parametro,
e substituindo em (2) temos
a
k
n+k
+ a
k1
n+k1
+ + a
0
n
= 0.
7
Dividindo por
n
, obtemos a equa cao caracterstica associada a equa cao (2)
a
1
k
+ a
k1
k1
+ + a
0
0
= 0.
Vamos mostrar que se esta equa cao tem as razes complexas
1
, . . . ,
r
com multiplicidades
1
,
2
, . . . ,
r
N, respectivamente, entao as solu coes de (2) sao exatamente as seq uencias
(x
n
) da forma x
n
= Q
1
(n)
n
1
+ Q
2
(n)
n
2
+ + Q
r
(n)
n
r
, onde Q
1
, . . . , Q
r
sao polinomios com
grau(Q
i
) <
i
, 1 i r (em particular, se
i
e uma raiz simples entao Q
i
e constante).
Seja P(x) = a
k
x
k
+ a
k1
x
k1
+ + a
0
um polinomio.
Deni cao: Dizemos que uma seq uencia (x
n
)
nN
satisfaz a propriedade Rec(P(x)) se
a
k
x
n+k
+ a
k1
x
n+k1
+ + a
0
x
n
= 0, n N. Nao e difcil vericar os seguintes fatos:
i) Se (x
n
) e (y
n
) satisfazem Rec(P(x)) e c C entao (z
n
) = x
n
+ cy
n
satisfaz Rec(P(x)).
ii) Se Q(x) = b
r
x
r
+ b
r1
x
r1
+ + b
0
e (x
n
) satisfaz Rec(P(x)) entao (x
n
) satisfaz
Rec(P(x)Q(x)) (isso segue de
r
j=0
b
j
(a
k
x
n+j+k
+a
k1
x
n+j+k1
+ +a
0
x
n+j
) = 0, n N)
iii) (x
n
) satisfaz Rec(P(x)) se e so se (y
n
) = (x
n
/
n
) satisfaz Rec(P(x)) (substitua x
n+j
=
n+j
y
n+j
em
k
j=0
a
j
x
n+j
= 0).
iv) Se s
n
=
n
k=0
x
k
entao (x
n
) satisfaz Rec(P(x)) se e so se (s
n
) satisfaz Rec((x 1)P(x))
(escreva x
n+j+1
= s
n+j+1
s
n+j
e substitua em
n
j=0
a
j
x
n+j+1
= 0).
Por iii), para ver que, para todo polinomio Q(x) de grau menor que m, x
n
= Q(n)
n
satisfaz Rec((x )
m
), basta ver que (y
n
) = (Q(n)) satisfaz Rec((x 1)
m
), o que faremos por
indu cao. Isso e claro que m = 1, e em geral, se z
n
= y
n+1
y
n
= Q(n + 1) Q(n), como
1
(x
2
)
2
(x
2
)
2
. . . (x
r
)
r
, e grau(Q
i
) <
i
para
1 i r entao x
n
=
r
i=1
Q
i
(n)
n
i
satisfaz Rec(P(x)).
8
Para ver que se (x
n
) satisfaz Rec(P(x)) entao x
n
e da forma acima, usaremos indu cao
novamente.
Supomos
1
= 0 e tomamos y
n
= x
n
/
n
1
, z
n
= y
n+1
y
n
, para n 0.
Por iii) e iv), z
n
satisfaz Rec(P(
1
x)/(x 1)) e, portanto por hipotese de indu cao, z
n
=
Q
1
(x) +
Q
2
(x)(
2
/
1
)
n
+ +
Q
r
(x)(
r
/
1
)
n
, onde grau(
Q
i
) <
i
para 2 i r e grau(
Q
1
) <
1
1.
Para terminar a prova, vamos mostrar que se existem polinomios P
1
, P
2
, . . . , P
k
tais que
y
n+1
y
n
= P
1
(n) + P
2
(n)
n
2
+ + P
k
(n)
n
k
(onde 1,
2
, . . . ,
k
sao complexos distintos e
P
i
= 0, i 2) entao y
n
=
P
1
(n) +
P
2
(n)
n
2
+ +
P
k
(n)
n
k
, onde
P
1
, . . . ,
P
k
sao polinomios
com grau P
i
= grau
P
i
para i 2 e grau
P
1
= grau P
1
+1, por indu cao na soma dos graus dos
polinomios P
i
, onde convencionamos que o grau do polinomio nulo e 1.
(no nosso caso temos
i
=
i
/
1
, e como x
n
=
n
1
y
n
o resultado segue imediatamente).
Para provar essa arma cao observamos inicialmente que, se a soma dos grau de P
i
e 1,
entao y
n+1
y
n
= 0, n, e logo, y
n
e constante. Em geral, consideramos 2 casos:
a) P
1
(x) = c
m
x
m
+ c
m1
x
m1
+ + c
0
, c
m
= 0. Nesse caso denimos y
n
= y
n
cmn
m+1
m+1
, e
temos y
n+1
y
n
= Q
1
(n) +P
2
(n)
n
1
+ +P
k
(n)
n
k
, com grau(Q) < m. Por hipotese de
indu cao, y
n
(e logo y
n
) e da forma desejada.
b) P
2
(x) = d
s
x
s
+ d
s1
x
s1
+ + d
0
, d
s
= 0. Nesse caso, denimos y
n
= y
n
dsn
s
n
2
2
1
, e
temos y
n+1
y
n
= P
1
(n) + Q(n)
n
2
+ P
3
(n)
n
3
+ + P
k
(n)
n
k
, com grau(Q) < s. Por
hipotese de indu cao, y
n
(e logo y
n
) e da forma desejada.
Vimos na primeira parte da demonstra cao acima que (x
n
) satisfaz Rec(P(x)), onde P(x) =
(x
1
)
1
(x
2
)
2
. . . (x
r
)
r
sempre que x
n
= Q
1
(n)
n
1
+ Q
2
(n)
n
2
+ + Q
r
(n)
n
r
,
onde Q
1
, Q
2
, . . . , Q
r
sao polinomios com grau(Q
j
) <
j
, j r. Vamos apresentar um ar-
gumento alternativo, motivado por conversas do autor com Bruno Fernandes Cerqueira Leite,
para mostrar que todas as seq uencias que satisfazem as recorrencia sao dessa forma.
9
Cada polinomio Q
i
(n) tem
i
coecientes (dos monomios cujos graus sao 0, 1, 2, . . . ,
i
1).
Como o espa co vetorial das seq uencias que satisfazem Rec(P(x)) tem dimensao grau(P(x)) =
r
i=1
i
, basta ver que ha unicidade na representa cao de uma seq uencia na forma cima. Para isso,
devemos mostrar que, se
1
,
2
, . . . ,
r
sao n umeros complexos distintos e Q
1
, Q
2
, . . . , Q
r
sao
polinomios tais que Q
1
(n)
n
1
+ Q
2
(n)
n
2
+ + Q
r
(n)
n
r
= 0, n N, entao Q
j
0, j r.
Vamos supor por absurdo que nao seja assim. Supomos sem perda de generalidade que,
para certos s e t com 1 s t r, |
1
| = |
i
| > |
j
|, i t, j > t, e grau(Q
1
) = grau(Q
i
) >
grau(Q
j
), se i s < j t. Se os polinomios Q
j
nao sao todos nulos, temos Q
1
nao nulo. Seja
d o grau de Q
1
. Se |
j
| < |
1
| entao lim
n
Q
j
(n)
n
j
n
d
n
1
= 0, e se |
i
| = |
1
| e grau(Q) < d, tambem
temos lim
n
Q(n)
n
i
n
d
n
1
= 0. Portanto, se Q
1
(n)
n
1
+ Q
2
(n)
n
2
+ + Q
r
(n)
n
r
= 0, n N e o
coeciente de n
d
em Q
i
e a
i
para i s, dividindo por n
d
n
1
e tomando o limite, temos
lim
n
_
a
1
+
2is
a
i
_
1
_
n
_
= 0,
donde
0 = lim
n
_
1
n
n
k=1
_
a
1
+
2is
a
i
_
1
_
k
__
= lim
n
_
a
1
+
1
n
n
k=1
2is
a
i
_
1
_
k
_
= a
1
+
2is
a
i
lim
n
1
n
n
k=1
_
1
_
k
= a
1
+
2is
a
i
lim
n
_
1
n
(
i
/
1
)
n+1
(
i
/
1
)
(
i
/
1
) 1
_
= a
1
,
pois, para 2 i s,
i
/
1
= 1 e um complexo de modulo 1, donde
(
i
/
1
)
n+1
(
i
/
1
)
(
i
/
1
) 1
2
|(
i
/
1
) 1|
,
e logo
lim
n
1
n
_
(
i
/
1
)
n+1
(
i
/
1
)
(
i
/
1
) 1
_
= 0.
Entretanto, isso e um absurdo, pois grau(Q
1
) = d, e logo a
1
= 0.
10
Exemplo: x
n
= sen(n) satisfaz uma recorrencia linear. De fato,
x
n+1
= sen(n + ) = sen(n) cos + cos(n) sen
x
n+2
= sen(n + 2) = sen(n) cos 2 + cos(n) sen 2
x
n+2
sen2
sen
x
n+1
= (cos 2
sen2
sen
cos )x
n
, ou seja,
x
n+2
= 2 cos x
n+1
x
n
. Note que x
n
nao parece ser da forma geral descrita nesta se cao,
mas de fato
x
n
=
e
in
e
in
2i
=
1
2i
(e
i
)
n
1
2i
(e
i
)
n
=
1
2i
(cos + i sen)
n
1
2i
(cos i sen )
n
( observe que cos + i sen e cos i sen sao as razes de x
2
2 cos x + 1).
Observacao: Se (x
n
) sasfaz Rec((x1)P(x)), onde P(x) = a
n
x
k
+a
k1
x
k1
+ +a
0
, entao,
se denirmos y
n
= a
k
x
n+k
+ a
k1
x
n+k1
+ + a
0
x
n
, teremos y
n+1
= y
n
, n N, ou seja, y
n
e constante. Assim, a
k
x
n+k
+ + a
0
x
n
e um invariante da seq uencia x
n
, o que e um fato util
para muitos problemas envolvendo recorrencia (veja, por exemplo, os Problemas 2 e 3 abaixo).
Vamos agora ver um problema resolvido em que se usam estimativas assintoticas de seq uencias
recorrentes para provar um resultado de teoria dos n umeros:
Problema 1. (Problema 69 da Revista Eureka! n
o
. 14) Sejam a e b inteiros positivos
tais que a
n
1 divide b
n
1 para todo inteiro positivo n.
Prove que existe k N tal que b = a
k
.
Solucao de Zoroastro Azambuja Neto (Rio de Janeiro-RJ):
Suponha por absurdo que b nao seja uma potencia de a.
Entao existe k N tal que a
k
< b < a
k+1
. Consideremos a seq uencia x
n
=
b
n
1
a
n
1
N,
n 1. Como
1
a
n
1
=
1
a
n
+
1
a
2n
+ =
j=1
1
a
jn
, temos
x
n
=
j=1
b
n
a
jn
1
a
n
1
=
_
b
a
_
n
+
_
b
a
2
_
n
+ . . .
_
b
a
k
_
n
+
b
n
a
kn
(a
n
1)
1
a
n
1
.
11
Note que como
b
n
a
kn
(a
n
1)
=
(b/a
k+1
)
n
1a
n
e
1
a
n
1
tendem a 0 quando n cresce, se denimos
y
n
=
_
b
a
_
n
+
_
b
a
2
_
+ +
_
b
a
k
_
n
=
k
j=1
_
b
a
j
_
n
,
temos que
x
n
y
n
=
b
n
a
kn
(a
n
1)
1
a
n
1
tende a 0 quando n tende a innito. Por outro lado, como y
n
e uma soma de k progressoes
geometricas de razoes b/a
j
, 1 j k, y
n
satisfaz a equa cao de recorrencia
c
0
y
n+k
+ c
1
y
n+k1
+ + c
k
y
n
= 0, n 0, onde
c
0
x
k
+ c
1
x
k1
+ + c
k1
x + c
k
= a
k(k+1)/2
_
x
b
a
__
x
b
a
2
_
. . .
_
x
b
a
k
_
Note que todos os c
i
sao inteiros. Note tambem que
c
0
x
n+k
+ c
1
x
n+k1
+ + c
k
x
n
= c
0
(x
n+k
y
n+k
) + c
1
(x
n+k1
y
n+k1
) + + c
k
(x
n
y
n
)
tende a 0 quando n tende a innito, pois x
n+j
y
n+j
tende a 0 para todo j com 0 j k (e k
esta xo). Como os c
i
e os x
n
sao todos inteiros, isso mostra que c
0
x
n+k
+c
1
x
n+k1
+ +c
k
x
n
= 0
para todo n grande.
Agora, como
x
n
= y
n
+
_
b
a
k+1
_
n
+
b
n
a
(k+1)n
(a
n
1)
1
a
n
1
,
temos
c
0
x
n+k
+ c
1
x
n+k1
+ + c
k
x
n
=
k
j=0
c
j
_
_
b
a
k+1
_
n+kj
+ z
n+kj
_
,
onde
z
m
=
b
m
a
(k+1)m
(a
m
1)
1
a
m
1
.
Note que
k
j=0
c
k
_
b
a
k+1
_
n+kj
= P
_
b
a
k+1
_
_
b
a
k+1
_
n
,
onde
P(x) = c
0
x
k
+ c
1
x
k1
+ + c
k1
x + c
k
= a
k(k+1)/2
_
x
b
a
__
x
b
a
2
_
. . .
_
x
b
a
k
_
,
12
donde P
_
b
a
k+1
_
= 0. Por outro lado, para todo j com 0 j k, z
n+kj
_
_
b
a
k+1
_
n
=
=
(b/a
k+1
)
kj
a
n+kj
1
1
(a
kj
a
n
)(b/a
k
)
n
, que tende a 0 quando n tende a innito, donde
w
n
=
_
k
j=0
c
j
x
n+kj
_
_
_
b
a
k+1
_
n
tende a P
_
b
a
k+1
_
= 0, o que e um absurdo, pois, como vi-
mos antes, w
n
e igual a 0 para todo n grande.
Veremos a seguir dois problemas resolvidos que envolvem seq uencias recorrentes, que foram
propostos na OBM e na IMO, respectivamente:
Problema 2. (Problema 5 da 13
a
Olimpada Brasileira de Matematica - Nvel Senior
- 1991) Seja Q
0
o quadrado de vertices P
0
= (1, 0), P
1
= (1, 1), P
2
= (0, 1) e P
3
= (0, 0). Seja
A
0
o interior desse quadrado. Para cada n N, P
n+4
e o ponto medio do segento P
n
P
n+1
, Q
n
e
o quadrilatero de vertices P
n
, P
n+1
, P
n+2
e P
n+3
e A
n
e o interior de Q
n
. Encontre a interse cao
de todos os A
n
.
Solucao 1:
Temos P
n+4
=
P
n
+ P
n+1
2
. Portanto, P
n+1
+2P
n+2
+2P
n+3
+2P
n+4
= P
n
+2P
n+1
+2P
n+2
+
2P
n+3
, logo P
n
+ 2P
n+1
+ 2P
n+2
+ 2P
n+3
= P
0
+ 2P
1
+ 2P
2
+ 2P
3
= (3, 4), para todo n N
(note que 2x
4
x 1 = (x 1)(2x
3
+ 2x
2
+ 2x + 1)), donde, como A
n
e sempre convexo,
_
3
7
,
4
7
_
=
P
n
+ 2P
n+1
+ 2P
n+2
+ 2P
n+3
7
=
=
3
7
_
1
3
P
n
+
2
3
P
n+1
_
+
4
7
_
P
n+2
+ P
n+3
2
_
sempre pertence ao interior de A
n
. Se mostrarmos que o diametro (maior distancia entre 2
pontos) de A
n
tende a 0, teremos mostrado que a interse cao de todos os A
n
e
__
3
7
,
4
7
__
.
Para isso, note que o diametro de ABCD e diam(ABCD) = max
_
AB, AC, AD, BC, BD, CD
_
,
e
P
n+4
=
P
n
+ P
n+1
2
, P
n+5
=
P
n+1
+ P
n+2
2
, P
n+6
=
P
n+2
+ P
n+3
2
P
n+7
=
P
n+3
+ P
n+4
2
=
2P
n+3
+ P
n
+ P
n+1
4
13
e
P
n+8
=
P
n+4
+ P
n+5
2
=
P
n
+ 2P
n+1
+ P
n+2
4
Assim,
P
n+5
P
n+6
= |P
n+6
P
n+5
| =
P
n+3
P
n+1
2
=
1
2
P
n+1
P
n+3
,
P
n+5
P
n+7
= |P
n+7
P
n+5
| =
2P
n+3
+ P
n
P
n+1
2P
n+2
4
1
2
|P
n+3
P
n+2
| +
1
4
|P
n
P
n+1
| =
P
n+2
P
n+3
4
+
P
n
P
n+1
2
,
P
n+5
P
n+8
= |P
n+8
P
n+5
| =
P
n
P
n+2
4
=
P
n
P
n+2
4
,
P
n+6
P
n+7
= |P
n+7
P
n+6
| =
P
n
+ P
n+1
2P
n+2
4
|P
n
P
n+2
|
4
+
|P
n+1
P
n+2
|
4
=
1
4
P
n
P
n+2
+
1
4
P
n+1
P
n+2
,
P
n+6
P
n+8
= |P
n+8
P
n+6
| =
P
n
+ 2P
n+1
P
n+2
2P
n+3
4
1
2
|P
n+1
P
n+3
| +
1
4
|P
n
P
n+2
| =
1
2
P
n+1
P
n+3
+
1
4
P
n
P
n+2
,
e
P
n+7
P
n+8
= |P
n+8
P
n+7
| =
P
n+2
+ P
n+1
2P
n+3
4
|P
n+2
P
n+3
|
4
+
|P
n+1
P
n+3
|
4
=
1
4
P
n+2
P
n+3
+
1
4
P
n+1
P
n+3
.
Portanto, diam(P
n+5
P
n+6
P
n+7
P
n+8
)
3
4
diam(P
n
P
n+1
P
n+2
P
n+3
), donde
diam(P
5k
P
5k+1
P
5k+2
P
5k+3
)
_
3
4
_
k
diam(P
0
P
1
P
2
P
3
) =
2
_
3
4
_
k
,
que tende a 0, o que implica o nosso resultado.
Solucao 2:
Podemos escrever P
n
= Q
0
+ Q
1
n
+ Q
2
n
+ Q
3
n
, onde 1, , e sao as razes
de x
4
_
x + 1
2
_
= 0, ou seja, , e sao razes de 2x
3
+ 2x
2
+ 2x + 1 = 0 (pois
14
(x 1)(2x
3
+ 2x
2
+ 2x + 1) = 2x
4
x 1). Temos P(x) = 2x
3
+ 2x
2
+ 2x + 1 =
= 2(x )(x )(x ). Como P(0) = 1, P(1) = 1 e P
_
1
2
_
=
1
4
podemos
supor que 1 < <
1
2
, logo = 1/2 < 1 e + = 1 (1, 0), donde
( + )
2
4 = 1 + 2 +
2
+
2
2 e || < 1
2
< 1. Assim,
( )
2
< 0, donde e sao complexos conjugados, e || = || =
< 1. Portanto, P
n
tende a Q
0
quando n cresce, e logo a interse cao de todos os A
n
deve ser Q
0
.
Para calcular Q
0
, observe que:
_
_
Q
0
+ Q
1
+ Q
2
+ Q
3
= P
0
Q
0
+ Q
1
+ Q
2
+ Q
3
= P
1
Q
0
+ Q
1
2
+ Q
2
2
+ Q
3
2
= P
2
Q
1
+ Q
1
3
+ Q
2
3
+ Q
3
3
= P
3
7Q
0
+ Q
1
(1 + 2 + 2
2
+ 2
3
) + Q
2
(1 + 2 + 2
2
+ 2
3
) + Q
3
(1 + 2 + 2
2
+ 2
3
)
= P
0
+ 2P
1
+ 2P
2
+ 2P
3
7Q
0
= P
0
+ 2P
1
+ 2P
2
+ 2P
3
(pois , e sao razes de
2x
3
+ 2x
2
+ 2x + 1) Q
0
=
P
0
+ 2P
1
+ 2P
2
+ 2P
3
7
=
_
3
7
,
4
7
_
.
Problema 3. (Problema 3 da 41
a
Olimpada Internacional de Matematica, realizada
em 2000, na Coreia do Sul) Seja n 2 um inteiro. Existem n pulgas numa reta horizontal,
nem todas no mesmo ponto. Para um dado n umero real positivo , dene-se um salto da
seguinte maneira:
Escolhem-se duas pulgas quaisquer nos pontos A e B, com o ponto A `a esquerda do ponto
B;
A pulga que esta em A salta ate o ponto C da reta, `a direita de B, tal que
BC
AB
= .
Determine todos os valores de para os quais, dado qualquer ponto M na reta e quaisquer
posi coes iniciais das n pulgas, existe uma sucessao nita de saltos que levam todas as pulgas
para pontos `a direita de M.
15
Solucao:
A resposta e: para
1
(n1)
.
Devemos demonstrar duas coisas:
a) que, para
1
(n1)
, existe uma seq uencia innita de movimentos que vai levando as
pulgas cada vez mais para a direita, ultrapassando qualquer ponto prexado M;
b) que, para <
1
(n1)
e para qualquer posi cao inicial das pulgas, existe um ponto M tal que
as pulgas em um n umero nito de movimentos jamais alcan cam ou ultrapassam M.
Come caremos pelo item b). Sejam x
1
, x
2
, . . . , x
n
as posi coes iniciais das pulgas, com x
1
x
2
x
n
, de tal forma que x
n
e a posi cao da pulga mais `a direita. Seja
P =
_
1
1 (n 1)
_
(x
n
x
1
x
2
x
n1
).
O ponto P claramente esta `a direita de todas as pulgas.
Armamos que, se apos alguns movimentos as novas posi coes sao x
1
, . . . , x
n
e denimos
P
=
_
1
1 (n 1)
_
(x
n
x
1
x
1
x
n1
),
entao P
P, o que conclui a demonstra cao, pois isso mostra que as pulgas nunca passarao do
ponto P.
Para provar esta arma cao, basta considerar o que ocorre apos um movimento.
Se a pulga que estava em x
i
pula sobre a pulga que estava em x
n
entao x
n
x
n
= (x
n
x
i
)
e x
n
x
n
= x
n
x
i
e P
= P.
Vamos ver que qualquer outro caso e ainda mais favoravel. Suponhamos que a pulga que
estava em x
i
pula sobre a pulga que estava em x
j
. Se a pulga que pulou continua atras de x
n
,
temos x
n
= x
n
e x
1
+ +x
n1
> x
1
+ + x
n1
, donde P
n
= x
j
+ (x
j
x
i
) x
n
x
n
< x
n
x
j
= x
j
x
i
< x
n
x
i
, donde novamente temos
P
< P.
16
Vamos agora ao item a): Seja P = x
n
(x
1
+ x
2
+ + x
n1
) se, em cada movimento,
a pulga mais `a esquerda pula sobre a pulga mais `a direita, temos x
n
= x
n
+ (x
n
x
1
)
x
n
x
n
= x
n
x
1
. Assim, se as novas posi coes sao x
1
= x
2
, . . . , x
n1
= x
n
e x
n
, e P
=
x
n
(x
1
+ x
2
+ + x
n1
), temos P
j=1
(x
n
x
j
) = x
n
1
n 1
(x
1
+ + x
n1
) x
n
(x
1
+ + x
n1
) = P
x
n
x
1
1
n 1
n1
j=1
(x
n
x
j
) P x
n
x
n
= (x
n
x
1
)
P
n 1
,
donde o ponto mais `a direita caminha pelo menos
P
n1
para a direita a cada passo, logo tende
a innito. Como o ponto mais a direita apos n 1 passos sera o ponto mais `a esquerda, todos
os pontos tendem a innito (para a direita).
Nota: Na estrategia descrita na solu cao do item a), o ponto mais `a esquerda se torna sempre
o mais `a direita, donde podemos denir x
n+1
= x
n
= x
n
+(x
n
x
1
), e teriamos simplesmente
x
j
= x
j+1
, j. Reduzimos entao a analise dessa estrategia ao estudo da recorrencia linear
x
n+1
= (1 + )x
n
x
1
, cujo polinomio caracterstico e P(x) = x
n+1
(1 + )x
n
+ , do
qual 1 e raiz, donde, como
P(x)
x1
= x
n
(x
n1
+ x
n2
+ + x + 1), a expressao y
m
=
x
m
(x
m1
+x
m2
+ +x
mn+1
+x
mn
) e um invariante da recorrencia, isto e, y
m+1
= y
m
m, donde y
m
e constante. Da vem nossa formula para P.
Conclumos com o problema a seguir, que e uma interessante aplica cao de seq uencias recor-
rentes `a trigonometria.
Problema 4. Prove que os angulos agudos de um triangulo retangulo de lados 3, 4 e 5
sao irracionais quando expressos em graus (i.e., sao m ultiplos irracionais de ).
17
Solucao:
Considere a seq uencia x
n
=
(2+i)
n
(2i)
n
2i
. Temos x
0
= 0, x
1
= 1 e, como 2 + i e 2 i sao
razes da equa cao x
2
4x + 5 = 0, (x
n
) satisfaz a recorrencia x
n+2
= 4x
n+1
5x
n
. Da segue
que x
n+2
e congruente a x
n+1
modulo 5 para todo n 1, donde x
n
e congruente a (1)
n+1
para todo n 1, e logo x
n
nao e m ultiplo de 5 para nenhum n 1. Em particular, x
n
= 0,
para todo n 1. Assim, 1 =
(2+i)
n
(2i)
n
= (
2+i
2i
)
n
= (
3
5
+
4
5
i)
n
, para todo n 1. Se = cos
1
(3/5),
3
5
+
4
5
i = e
i
, donde (
3
5
+
4
5
i)
n
= e
in
= 1, para todo n 1, o que implica que / e irracional
(de fato, se / = p/q, teramos e
2iq
= e
2ip
= 1).
Nota: Para uma versao mais geral deste problema, veja o Problema 88 proposto na Eureka! 17,
p. 60 por Carlos Gustavo Moreira e Jose Paulo Carneiro, e a solu cao de seus autores publicada
na Eureka! 20, pp. 52-53.
18