SEQNCIA DE FIBONACCI

Ccero Thiago B. Magalhes

Nvel Avanado
INTRODUO
O nome seqncia de Fibonacci, foi dado pelo matemtico francs Edouard Lucas no sculo XIX.
Porm, a seqncia surgiu de um problema que estava proposto na obra "Liber Abaci" de Leonardo
de Pisa (1180 1250), conhecido como Fibonacci. O problema era o seguinte: "Um homem pe um
casal de coelhos dentro de um cercado. Quantos pares de coelhos sero produzidos em um ano, se a
natureza desses coelhos tal que a cada ms um casal gera um novo casal, que se torna frtil a partir
do segundo ms?" Depois de sculos de trabalho, possvel hoje citar uma quantidade enorme de
propriedades da seqncia do nmero de coelhos existentes aps n meses. O objetivo deste trabalho
apresentar algumas propriedades bsicas desta seqncia.
Definio
A seqncia de Fibonacci definida da seguinte maneira:
1 2
1 f f e
1 2 n n n
f f f

+ , 2. n >
Por convenincia, algumas vezes usaremos
0
0. f
Propriedades bsicas
(I) Para todo
1 2 2
1: ... 1
n n
n f f f f
+
+ + +
Prova:
1 3
1: 1 n f f
Vamos supor
1 q
e
1 2 2
... 1
q q
f f f f
+
+ + +
1 2 1 2 1 3
1: ... 1 1
q q q q q
n q f f f f f f f
+ + + +
+ + + + + +
(II) Se 1 m e 1, n > ento
1 1 n m n m n m
f f f f f
+ +
+
Prova: Vamos fazer induo sobre m:
1 1 1 2 1
1:
n n n n n
m f f f f f f f
+
+ + (verdadeira)
2 1 2 3 1 1 1
2: 2 ( )
n n n n n n n n n n
m f f f f f f f f f f f f
+ +
+ + + + + (verdadeira)
Seja q > 2 e suponhamos a propriedade vlida para todo , 2 , k k q < e para todo n > 1. Esta
suposio, mais o fato de que a propriedade vale tambm para k = 1, nos garante:
( 2) 1 2 1 n q n q n q
f f f f f
+
+
( 1) 1 1 n q n q n q
f f f f f
+
+
Somando membro a membro essas igualdades e levando em considerao a frmula recursiva que
define ( ) :
n
f
1 1 n q n q n q
f f f f f
+ +
+
Ou seja, a frmula vale tambm para q, sempre que n > 1. O princpio da induo nos garante ento
que vale para todo 1 m e qualquer n > 1.
(III) Dois nmeros de Fibonacci consecutivos
n
f e
1 n
f
+
so primos entre si.
A prova fica como exerccio.
(IV) Se | , m n ento | .
m n
f f
Prova: Por hiptese n = mq, para algum
. q
Usaremos induo sobre r.
Se q = 1, ento m = n e fcil ver que | .
m n
f f Seja
1 q
e admitamos que
| .
m mq
f f

Ento, usando a propriedade (II):
( 1) 1 1 m q mq m mq m mq m
f f f f f f
+ + +
+
Como
1
|
m mq m
f f f

e
1
|
m mq m
f f f
+
(pois, pela hiptese de induo, fm divide
),
mq
f
ento
m
f
divide a soma desses dois produtos. Ou seja:
( 1)
| .
m m q
f f
+
(V) Seja d = mdc(m, n), ento mdc ( , ) .
m n d
f f f
Prova: Induo em m + n. Se m = 1, mdc(m, n) = 1 e mdc(fm, fn) = mdc(1, fn) = 1 = f1. Se m + n = 2
trivial. Se m = n no h o que provar.
Se 2 , m n <
( ) 1 1
( , )
n m n m m n m m n m m n
f f f f f f mdc f f
+ +
+
(III)
1
( , ) ( , ),
m m n m m n m
mdc f f f mdc f f

que igual, por hiptese de induo a

( , ) ( , )
.
mdc m n m mdc m n
f f

Veja tambm a soluo do problema proposto No. 92 na Eureka! 20, pp 55 57.
(VI) Seja
2
1, x x + ento, para n = 2, 3, ns temos que
1
.
n
n n
x f x f

+
Prova: trivial o caso n = 2. E se
1
n
n n
x f x f

+ para algum 2, n ento
1
1
( )
n n
n n
x x x f x f x
+

+
2
1 n n
f x f x

+
1
( 1)
n n
f x f x

+ +
1
( )
n n n
f f x f

+ +
1
,
n n
f x f
+
+
como desejado!
Vejamos que as razes de
2
1 x x + so os nmeros
1 5
2
+

e
1 5
.
2

Ento, para todo n = 2, 3, ns temos

1
n
n n
f f

+
e
1
.
n
n n
f f

+
Subtraindo as duas ltimas equaes temos que ( ),
n n
n
f e notando que 5 ,
ns encontramos a frmula de Binet
.
n n
n
f

Problema 1
Seja
1 5
.
2
+

Determine todos os n tais que

2 n
n seja inteiro.
Soluo:
Note que

raiz do polinmio
2
( ) 1, p x x x com isso e usando a expresso da propriedade
(V) temos que:
2 2 2
1 1
( ) .
n
n n n n
n f f n f n f

+ +
Uma vez que

irracional, segue da igualdade acima que

2 n
n s ser inteiro quando
2
0,
n
f n e nosso problema equivale a determinar todos os n tais que
2
.
n
f n Para tanto,
observe que:
1 2 3 4 5 6 7
1, 1, 2, 3, 5, 8, 13, f f f f f f f
8 9 10 11 12 13 14
21, 34, 55, 89, 144, 233, 377. f f f f f f f
Assim,
2 2 2
12 13 14
12 e 13 , 14 . f f f > > Por outro lado, se
2
n
f n > e
2
1
( 1) ,
n
f n
+
> + ento
2 2 2
2 1
( 1) ( 2) ,
n n n
f f f n n n
+ +
+ > + + > + desde que 3, n >
donde segue por induo que
2
n
f n > para 13. n > Assim, as nicas solues so n = 1 e n = 12.
Problema 2:
Sejam n e k dois inteiros positivos quaisquer. Ento entre duas potncias consecutivas
k
n e
1 k
n
+

no podemos ter mais que n nmeros de Finonacci.
Sugesto: use a propriedade (I)
Problema 3:
Seja
n
f a seqncia de Fibonacci
1 2 1 1
( 1, 1, ).
n n n
f f f f f
+
+ Calcule a srie
2
1 1
.
n
n
n n
f
f f

Problema 4:
Ache a, se a e b so nmeros inteiros tais que
2
1 x x um fator de
17 16
1. ax bx + +
Fortemente ligada seqncia de Fibonacci, e to interessante quanto, a seqncia de Lucas que
definida da seguinte maneira:
1 1 n n n
L f f
+
+
1 2 3
1, 3, 4,... L L L
Obs: fcil perceber que de acordo com a definio da seqncia de Lucas temos que
0
2. L
Usando a frmula de Binet temos que:
1 1 1 1
1 1
n n n n
n n n
L f f
+ +
+

+ +

1 1 1
.
n n
1 _
_
+ +
1

,
, ]
Como
1 5
2
+
e
1 5
,
2

ento
1
5 +

e
1
5. +

Portanto, .
n n
n
L +
Problema 5:
Prove que
2
.
n n n
f f L
Problema 6:
Sejam
0 1
2, 1, L L e
2 1
,
n n n
L L L
+ +
+ para 0, n a seqncia de Lucas.
Prove que, para todo 1, m
1
2 2
1
,
k m
m
k
L f
+

onde
n
f a seqncia de Fibonacci.
Problema 7:
Achar o termo geral
n
p se
0
1 p e
3
1
5 3 ,
n n n
p p p
+
para 0. n
Problema 8:
Todo natural pode ser unicamente escrito como soma de nmeros de Fibonacci distintos, de ndices
no consecutivos e maiores que 1. (Teorema de Zeckendorff).
Problema 9:
Sejam a e b inteiros positivos tais que
93
b divisvel por
19
a e
93
a divisvel por
19
. b Prove que
1
4 8
( )
n
f
a b
+
+ divisvel por ( )
n
f
ab para todo n > 1.
Problema 10:
Prove que nenhum nmero de Fibonacci potncia de 7.
Problema 11:
Sejam ( )
n
f a seqncia de Fibonacci e, para todo inteiro positivo n,
2 2
2
.
n n n
V f f
+
+
Prove que, para todo inteiro positivo n, ,
n
V
1
,
n
V
+ 2 n
V
+
so lados de um tringulo de rea
1
.
2
REFERNCIAS:
[1] Ross Honsberger, Mathematical Gems III, MAA, 1985.
[2] Hygino H. Domingues, Fundamentos da Aritmtica, Atual, 1991.