1

Notas de Aula

A SEQNCIA DE FIBONACCI



Leonardo de Pisa (1180-1250)


1. INTRODUO

Fibonacci - que significa filho de Bonacci- era o pseudnimo de Leonardo de Pisa, que
considerado o maior matemtico da Idade Mdia. Como mercador, viajou pelo Oriente. No seu
regresso, escreveu os livros Liber Abaci (1202) e Practica Geometricae (1220). No
primeiro livro, descreveu fatos de aritmtica e lgebra recolhidos durante sua viagem. No
segundo, descreveu o que tinha descoberto na geometria e na trigonometria, [ 3 ] pgina 138.

O Liber Abaci foi um veculo que permitiu difundir na Europa ocidental o sistema de
numerao indo-rabe, que era usado ocasionalmente j alguns sculos antes de Leonardo de
Pisa, e que foi trazido pelos mercadores, embaixadores, eruditos, peregrinos e soldados vindo da
Espanha e do Oriente, [3] pgina 139.

Fibonacci ficou conhecido entre ns no exatamente por seus livros, mas porque no
sculo XIX o matemtico francs F. Edouard A. Lucas, na sua coleo Rcreations
mathmatique (4 volumes, Gauthier-Villars,Paris 1891-1896 ; reeditado em Paris 1960), ligou o
nome de Fibonacci sequncia que aparece num problema do livro Liber Abaci. O problema,
relacionado com o nmero de casais de coelhos obtidos a partir de um nico casal, era :

Quantos casais de coelhos podem ser produzidos a partir de um nico casal durante
um ano se:

2
(a) cada casal originar um novo casal em cada ms, o qual se torna frtil a partir do
segundo ms ;
(b) no ocorrerem mortes ?

Nessas condies, um casal nasce no primeiro ms, totalizando-se assim 2 casais. Durante o
segundo ms, o casal original produz um novo casal. Um ms depois, o casal original e o que
nasceu imediatamente aps o seu acasalamento, produzem novos casais. Nessa altura, j existem
3 casais adultos e dois casais filhotes. E assim por diante. Veja o quadro abaixo :


Ms Casais Adultos Casais Jovens TOTAL
1 1 1 2
2 2 1 3
3 3 2 5
4 5 3 8
5 8 5 13
6 13 8 21
7 21 13 34
8 34 21 55


A seqncia de Fibonacci constituda pelos totais de casais, isto , os nmeros

1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, .....

Algumas questes:

- possvel encontrar uma frmula simples para a soma dos n primeiros termos da seqncia de
Fibonacci?
- possvel encontrar uma relao simples entre os termos da seqncia de Fibonacci?
- Que relao existe entre os termos consecutivos da seqncia de Fibonacci?
- Existe uma frmula para descrever os termos da seqncia de Fibonacci?

Essa e outras questes sero abordas na prxima seo.


2. PROPRIEDADES ELEMENTARES

2.1 . A Igualdade Fundamental

Vamos denotar os nmeros da seqncia de Fibonacci por:

f
1
= 1, f
2
= 1, f
3
= 2, f
4
= 3, f
5
= 5, f
6
= 8, f
7
= 13, ......

3

Com essa notao, a seqncia de Fibonacci exibe uma propriedade interessante:

f
3
= f
1
+ f
2
; f
4
= f
2
+ f
3
; f
5
= f
3
+ f
4
; f
6
= f
4
+ f
5

De uma maneira geral, f
n
= f
n-1
+ f
n-2
, para n 3. Isto , cada termo da seqncia, a partir do
terceiro, a soma dos dois imediatamente inferiores. Desse modo, descreve-se a seqncia de
Fibonacci como uma seqncia recursiva, ou seja, uma seqncia na qual todo termo pode ser
representado como uma combinao linear dos termos precedentes. Isto ,

f
1
= 1, f
2
= 1, f
n
= f
n-1
+ f
n-2
, para n 3.

A seqncia de Fibonacci a primeira seqncia recursiva conhecida na literatura matemtica
(Por volta de 1634, a partir dos trabalhos de Albert Girard [1], pgina 287 ).


2.2. A Soma dos primeiros n termos da seqncia de Fibonacci

f
1
+ f
2
+ f
3
+ ...+ f
n
= f
n+2
-1

Prova : Comeamos escrevendo a igualdade fundamental

f
k+2
= f
k
+ f
k+1
.

Da segue que f
k
= f
k+2
- f
k+1
. Agora, fazendo k = 1, 2, 3, 4,...,n e somando termo a termo,
obtemos

f
1
+ f
2
+ f
3
+ ...+ f
n
= (f
3
- f
2
) + (f
4
- f
3
) + (f
5
- f
4
) + ...+ (f
n+2
- f
n+1)
=

= f
n+2
- f
2
= f
n+2
-1.


2.3. Os Termos Consecutivos So Relativamente Primos

Observando-se os nmeros iniciais da seqncia de Fibonacci, podemos notar que
termos consecutivos (f
1
e

f
2
; f
2
e f
3
; f
3
e f
4
; assim por diante ) so relativamente primos (i.e. tm
Mximo Divisor Comum igual a 1).

Isso se verifica para todo n ? Isto , f
n
e f
n-1
so relativamente primos ?

A resposta afirmativa:

Teorema 1

4
Na seqncia de Fibonacci, MDC (f
n
, f
n-1
) = 1, para todo n 1.

Prova :
O caso em que n for igual a 1 ou 2 trivialmente verdadeiro. Para n 3, faremos por reduo
ao absurdo. Suponha que MDC(f
n
,f
n-1
) seja um inteiro d maior do que 1. Nesse caso, d divide
f
n
e d divide f
n-1
. Como f
n
= f
n-1
+ f
n-2
, para n 3, segue que d divide f
n-2
. Do fato de que f
n-
2
= f
n-1
+ f
n-3
, segue que d divide f
n-3
. Prosseguindo-se deste modo, d dividir f
1
= 1.
Contradio. Logo MDC( f
n
, f
n-1
) = 1.


Outra questo: Como f
3
= 2, f
5
= 5, f
7
= 13 e f
11
= 89 so todos primos, f
n
primo sempre
que n primo ?

A resposta no. Para ilustrar, veja o contra-exemplo :
f
19
= 4181 = 37 x 113. Voc capaz de encontrar um outro contra-exemplo ?

No se conseguiu ainda determinar quais so todos os n para os quais f
n
primo. Voc pode
resolver esse problema e tornar-se um matemtico famoso! Tambm no se sabe ainda se o
nmero de primos na seqncia de Fibonacci infinito. Esse outro problema intrigante !

2.4. O Algortmo de Euclides e a Seqncia de Fibonacci

um fato conhecido: o Mximo Divisor Comum de dois inteiros positivos pode ser
calculado a partir do algortmo de Euclides, depois de um nmero finito de divises. Por exemplo,
para calcular o MDC(32,12) comeamos dividindo 32 por 12 :
32 = 2 x 12 + 8, onde 8 o resto da diviso e 2 o quociente.
Em seguida, fazemos a diviso do quociente pelo resto da diviso anterior: 12 = 1 x 8 + 4.
Finalmente, dividimos 8 por 4: 8 = 2 x 4 + 0. Como o resto da ltima diviso zero, dizemos
que MDC(32,12) = 4. Nesse caso, foi preciso 3 divises para encontrarmos o Mximo Divisor
Comum. Por uma escolha conveniente dos inteiros, o nmero de divises pode ser
arbitrariamente grande. Voc capaz de dar exemplos dessa situao ? Nessa altura, uma
questo aparece naturalmente :

Dado um inteiro positivo n, existem inteiros positivos a e b tais que, para se calcular
MDC(a,b) usando o algortmo de Euclides necessita-se de exatamente n divises ?

A resposta afirmativa e foi dada, em 1844, por Gabriel Lam (1725-1871), um matemtico
francs. Lam, ao responder a questo, descobriu uma surpreendente ligao entre os nmeros
de Fibonacci e o algortmo de Euclides. A resposta foi dada tomando a = f
n+2
e b = f
n+1
.
Nesse caso, o uso do Algortmo de Euclides para a obteno do MDC(f
n+2
,f
n+1
) leva-nos ao
sistema de equaes :

f
n+2
= 1 x f
n+1
+ f
n


5
f
n+1
= 1 x f
n
+ f
n-1

f
n
= 1 x f
n-1
+ f
n-2
..............................
f
4
= 1 x f
3
+ f
2

f
3
= 2 x f
2
+ 0

Do sistema de equaes acima, fica claro que MDC( f
n+2
, f
n+1
) = f
2
= 1 e que o nmero de
divises n.
Uma conseqncia surpreendente :

O nmero de divises necessrias para achar o Maior Divisor Comum de dois
inteiros positivos, usando o algortmo de Euclides, no excede a cinco vezes o nmero de
algarismos (na base decimal) do menor dos nmeros

De fato, sejam a e b esses nmeros, com a b, e a possuindo k algarismos na base dez.
Nesse caso, a < 10
k
. Usando o algortmo de Euclides para calcular o MDC(a,b), necessitamos
de n divises, ento a f
n+1
. Portanto, temos 10
k
> f
n+1
Usando induo podemos mostrar que f
m
> (8/5)
m-2
, para todo m > 2, e, portanto, segue que
10
k
> (8/5)
n-1
Elevando cada lado a potncia 5 obtemos: 10
5k
> [(8/5)
5
]
n-1
> 10
n-1

Assim, 5k > n-1, e, como k inteiro, n 5k, como queramos.
Sobre essa questo uma interessante referncia em portugus [2].

Um fato interessante a respeito da seqncia de Fibonacci que os termos satisfazem a
identidade :

f
m+n
= f
m-1
f
n
+ f
m
f
n+1


Por exemplo, para calcular f
9
basta aplicar a identidade :
f
9
= f
6+3
= f
5
f
3
+ f
6
f
4
= 5 x 2 + 8 x 3 = 34. Mas, como saber se a identidade acima vlida
para todo inteiro m e n ? Para responder a essa questo vamos fazer uma prova da veracidade da
identidade. Provaremos por induo sobre n. Para isso, fixemos m. Se n = 1, a identidade
torna-se f
m+1
= f
m-1
f
1
+ f
m
f
2
= f
m-1
.1 + f
m
.1 =

f
m-1
+ f
m
,
que verdadeira, por ser a relao fundamental da seqncia de Fibonacci. Suponha que a
identidade acima seja verdadeira quando n um dos inteiros 1, 2, 3, 4,..., k. Assim, tem-se:
f
m+k
= f
m-1
f
k
+ f
m
f
k+1
e tambm f
m+(k-1)
= f
m-1
f
k-1
+ f
m
f
k


Somando-se as duas igualdades e aplicando-se a igualdade fundamental mostra-se que f
m+(k+1)
=
f
m-1
f
k+1
+ f
m
f
k+2
. O que conclui a prova.

2.5 . O Teorema de F.E.A. Lucas


6
Em 1876, F. Edouard A. Lucas provou que o Mximo Divisor Comum de dois
nmeros de Fibonacci era um outro nmero de Fibonacci. Mais precisamente,

MDC (f
m
, f
n
) = f
MDC(m,n)
.

Antes de demonstrarmos o Teorema de Lucas, vamos provar os seguintes lemas:

Lema 1
Para m,n inteiros maiores do que ou iguais a 1, temos que f
mn
divisvel por f
m
.

Prova : A prova por induo sobre n. Para n = 1 o resultado verdadeiro, pois f
mn
= f
m
.
Suponha que para n = 1, 2 , 3 ..., k , f
mn
seja divisvel por f
m
. O caso (n+1) verificado usando
a frmula fundamental: f
m(k+1)
= f
mk-1
f
m
+ f
mk
f
m+1
Como, por hiptese de induo, f
m
divide f
mk
, o lado direito da expresso acima divisvel por
f
m
, e, portanto, f
m(k+1)
divisvel por f
m
.


Lema 2
Se m e n so inteiros positivos (m n) com m = qn + r, 0 r < n, ento MDC(f
m
, f
n
) =
MDC(f
n
, f
r
).

Prova: Pela igualdade fundamental temos : MDC(f
m
, f
n
) = MDC(f
qn+r
, f
n
) = MDC(f
qn-1
f
r
+ f
qn
f
r+1
,
f
n
). Usando o Lema 1 e o fato de que MDC( a+b, c) = MDC(a, c), sempre que c dividir b,
temos: MDC( f
qn-1
f
r
+ f
qn
f
r+1
, f
n
) = MDC( f
qn-1
f
r
, f
n
)
Agora vamos mostrar que d = MDC( f
qn-1
, f
n
) = 1 . As relaes d divide f
n
e f
n
divide f
qn

implicam que d divide f
qn
, portanto d um inteiro positivo que divide dois termos
consecutivos, f
qn
e f
qn-1
, da seqncia de Fibonacci. Logo d = 1. Por outro lado,

MDC( f
m
, f
n
) = MDC( f
qn-1
f
r
, f
n
) = MDC( f
r
, f
n
)

A ltima igualdade decorre do fato: sempre que MDC(a,b) = 1, temos MDC( a, bc ) =
MDC(a,c). O que finaliza a prova.

Agora estamos em condies de demonstrar o Teorema Lucas: MDC(f
m
, f
n
) = f
MDC(m, n)
.

Suponha que m n. Aplicando o algoritmo de Euclides para m e n, obtemos o seguinte sistema
de equaes :

m = q
1
n + r
1
, 0 r
1
n
n = q
2
r
1
+ r
2
, 0 r
2
r
1

r
1
= q
3
r
2
+ r
3
, 0 r
3
r
2

...........................................
r
n-2
= q
n
r
n-1
+ r
n
, 0 r
n
r
n-1


7
r
n-1
= q
n+1
r
n
+ 0

De acordo com o Lema 2 temos

MDC(f
m
, f
n
) = MDC(f
n
, f
r
1
) = .... = MDC(f
r
n
, f
r
n1
)

Como r
n
divide r
n-1
o Lema 1 garante que f
r
n
divide f
r
n1
, portanto
MDC(f
r
n1
, f
r
n
) = f
r
n
. Mas, r
n
sendo o ltimo resto no nulo no Algortmo Euclides para m e n,
ele o MDC(m, n). O que encerra a prova.

2.6. A Frmula de Binet

A questo:

Existe uma frmula geral que expresse o n-simo termo da seqncia de Fibonacci?

tem resposta afirmativa e a frmula foi descoberta em 1718 pelo matemtico francs De
Moivre. Mas, a frmula ficou conhecida pelo nome de Frmula de Binet, em homenagem ao
matemtico francs que a resdescobriu mais de um sculo depois (1843).

Antes de apresentarmos a frmula de Binet, vamos fazer algumas observaes. A
seqncia de Fibonacci no a nica seqncia que satisfaz a frmula recursiva

f
n +2
= f
n
+ f
n+1
(*)

De fato, a chamada seqncia de Lucas: 1, 3, 4, 7, 11, 18, ... tambm satisfaz a relao
(*). Na verdade, existem uma infinidade de seqncias satisfazendo a relao (*). O lema
seguinte mostra como podemos produzir novas solues de (*).

Lema 3
(a) Se A = (a
1
, a
2
, a
3
,...) uma seqncia soluo de (*) e se c um nmero real qualquer,
ento a seqncia cA = (ca
1
, ca
2
, ca
3
,...) tambm soluo de (*).
(b) Se as seqncias A = (a
1
, a
2
, a
3
,...) e B = (b
1
, b
2
, b
3
,...) satisfazem (*), ento a soma
A + B = (a
1
+ b
1
, a
2
+ b
2
, a
3
+ b
3
, ... ) tambm satisfaz a relao (*).

Prova : Exerccio

Frmula de Binet. O n-simo termo da seqncia de Fibonacci dado pela frmula


8

f
n
n n

_
,

_
,

1
]
1
1
1
5
1 5
2
1 5
2


( interessante observar que uma seqncia extremamente fcil de definir recursivamente tenha,
para cada termo, uma frmula complicada. Observe que: apesar de no ser fcil visualizar, o
lado direito da frmula acima um inteiro!)

Prova da frmula de Binet.
Observe que , se r a raiz positiva da equao x
2
= x + 1, ento r = (1 + 5 )/2. Assim,
temos que r
2
= r + 1. Multiplicando cada lado por r
n
obtemos r
n+2
= r
n+1
+ r
n

para todo n = 1, 2, 3, 4,.... Assim, (r, r
2
, r
3
,....) uma seqncia satisfazendo (*).
Seja u = 1 - r a outra soluo da equao x
2
= x + 1. Logo, (u, u
2
, u
3
, ....) uma seqncia
satisfazendo (*). Pelo Lema 3, a seqncia ( r-u, r
2
-u
2
, r
3
-u
3
, ...) satisfaz (*). Mas os dois
primeiros termos (como r e u so solues de x
2
= x + 1) so iguais, pois

r
2
- u
2
= (r - u) (r + u) = 1. (r - u) = r - u,

e, portanto, a seqncia
r u
r u
n n

, para n = 1, 2, 3, .....

tem de ser a seqncia de Fibonacci. Logo,
r u
r u
n n

exatamente o valor da frmula de

Binet. Isso conclui a prova.

Observe, a partir da frmula de Binet, que f
n
aproximadamente igual a
r
n
5
, com
erro absoluto tendendo a zero quando n tende ao infinito.
De fato,

f
r
r
n
n
n

5
1
5
0


porque |1 - r| < 1. Ento os nmeros de Fibonacci crescem exponencialmente e, quando n
cresce, eles se aproximam dos termos de progresso geomtrica


9

r r r
5 5 5
2 3
, , ,...



O nmero r, soluo positiva da equao x
2
= x + 1, chamado razo urea.


3. Representao de Nmeros Naturais Como Soma de Nmeros de Fibonacci

Um fato surpreendente (ver [5] e [1] pag. 297) :

Teorema
Todo nmero natural N pode ser escrito como uma soma finita de nmeros de Fibonacci distintos
e no consecutivos.

Prova : Por induo sobre N. Para N = 1, 2, 3, 4, 5 temos:
1 = f1
2 = f
2

3 = f
3
+ f
1

4 = f
3
+ f
1

5 = f
5

Suponha que a afirmao seja verdadeira para todo nmero natural inferior a f
n
. Isto , cada um
dos nmeros naturais 1, 2, 3, 4, ..., k, com k = f
n
- 1, pode ser escrito como uma soma finita de
nmeros de Fibonacci distintos e no consecutivos do conjunto {f
1
, f
2
, f
3
,..., f
n-1
}. Vamos mostrar
que a afirmao verdadeira para todos os nmeros naturais inferiores a fn+1. Seja N tal que fn
N < f
n+1
e f
n
o maior termo na representao de N como soma de nmeros de Fibonacci.
Quando N > f
n
, podemos escrever N = f
n
+ r. Neste caso,

r = N - f
n
< f
n+1
- f
n
= f
n-1

Portanto, pela hiptese de induo, r pode ser representado como uma soma de nmeros de
Fibonacci distintos e no consecutivos pertencentes ao conjunto { f
1
, f
2
, f
3
,..., f
n-1
}. Desse modo,
N, e, como conseqncia, cada um dos inteiros 1, 2, 3,..., fn+1 - 1 pode ser expresso como uma
soma de nmeros, distintos e no consecutivo, do conjunto { f
1
, f
2
, ..., f
n-1
, f
n
}, pois na
representao de N no existir mais o termo f
n-1
dentre os termos da representao de r e o
termo f
n
. O que completa a induo e a prova.

Para exemplificar, N = 118 = 89 + 21 + 8 = f
10
+ f
7
+ f
5
.

Uma questo ocorre naturalmente : todo nmero natural escrito de maneira nica como
soma de nmeros de Fibonacci?


10
Para responder essa questo, vamos supor que dado N, a representao de N como soma de
nmeros de Fibonacci, colocados em ordem decrescente, seja

N = f
n
+ f
p
+ f
q
+ ... + f
z

onde f
n
o maior nmero de Fibonacci nessa representao. E vamos supor tambm que exista
uma outra representao de N, com os nmeros de Fibonacci colocados em ordem decrescente.
Como f
n
N < f
n+1
, ento f
n+1
> N , e portanto, com maior razo, os termos f
m
com

m > n+1.
Assim, na outra representao de N, o maior termo tambm f
n
. Por outro lado, a maior soma
de termos no consecutivos e inferiores a f
n
ela prpria inferior a f
n
. De fato, ou n mpar e
esta soma no superior a f
n-1
+ f
n-2
+ f
n-3
+ ...+ f
3
= f
n
- f
2
, ou n par e esta soma no
superior a f
n-1
+ f
n-2
+ f
n-3
+ ...+ f
2
= f
n
- f
1
= f
n
- f
2
,
Como, por hiptese, existe duas maneiras de escrever o nmero N como soma de nmeros de
Fibonacci, deve existir duas maneiras distintas de escrever o nmero r = N - f
n
= f
p
+ f
q
+ ... + f
z
Como f
p
r < f
p+1
, usando o mesmo raciocnio, na representao de r, f
p
ser
necessariamente o termo maior. Prosseguindo deste modo, os outros termos sero todos iguais.
Portanto, N ser representado por uma nica soma de nmeros de Fibonacci no consecutivos
e em orden decrescente.

4. A Frmula de Lucas para f
n


Os coeficientes do Binmio de Newton (Isaac Newton-1642-1727) (x + y)
n

onde n um nmero natural, so os (n+1) inteiros


n
k
n
n k k

_
,

!
( )! !
, k = 0, 1, 2, 3, ..., n

O tringulo de Pascal (Blaise Pascal- 1623-1662) formado a partir desses nmeros,
fazendo n = 0, 1, 2, ... e k variando de 0 a n, e colocando-se esses nmeros como segue :

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
..................................

Se ns olharmos para o tringulo de Pascal, agora formando um tringulo retngulo, vamos ver
que, surpreendentemente, aparecem a os nmeros de Fibonacci ([4] pag.135) :


11
Soma das
diagonais

1 1

1 1 1

1 2 1 2

1 3 3 1 3

1 4 6 4 1 5

1 5 10 10 5 1 8


Em 1876, F. Edouard A. Lucas descobriu a seguinte frmula para os termos de
Fibonacci empregando os coeficientes binomiais:



Teorema (Lucas)
fn+1 =
n n n n j
j 0
1
1
2
2

_
,
+

_
,
+

_
,
+ +

_
,
...
,

onde j o maior inteiro menor do que ou igual a n/2.

Prova : Por induo sobre n. fcil ver para os casos n = 0, 1, 2. Suponhamos que a frmula
seja verdadeira para os inteiros 0, 1, 2, 3, ..., k-1. Da identidade fundamental e da hiptese de
induo temos :

f
k+1
= f
k
+ f
k-1
=
k k k k j
j

_
,
+

_
,
+

_
,
+ +

_
,

1
]
1
1
0
2
1
3
2
1
...
+

+
k k k k j
j

_
,
+

_
,
+

_
,
+ +

_
,

1
]
1
2
0
3
1
4
2
1
1
...


que pode ser reescrito como f
k+1 =



12
k k k k k k j
j
k j
j

_
,
+

_
,
+

_
,

1
]
1
+

_
,
+

_
,

1
]
1
+ +

_
,
+

_
,

1
]
1
1
0
2
1
2
0
3
2
3
1
1 1
1
...


Agora, aplicando a relao
m
i
m
i
m
i

_
,

_
,
+

_
,

1 1
1
, obtemos f
k+1


=
k k k k k j
j

_
,
+

_
,
+

_
,
+

_
,
+ +

_
,

1
0
1
1
2
2
3
3
...


Para concluir a prova, basta observar que a primeira parcela da soma acima igual a seguinte
expresso :
k
0

_
,
, para k > 1 .







5. A Razo urea

Considere a razo
r
f
f
n
n
n

+1
, n = 1, 2, 3, 4, ..., entre os nmeros de Fibonacci
consecutivos. A seqncia r
n
:


1
1
2
1
3
2
5
3
8
5
13
8
21
13
34
21
55
34
, , , , , , , , ,....


possui propriedades fascinantes:

(i) os termos de ordem par so decrescentes: r
2
> r
4
> r
6
> r
8
> r
10
> ....

(ii) os termos de ordem mpar so crescentes: r
1
< r
3
< r
5
< r
7
< r
9
< ....

(iii) os termos consecutivos aparecem em ordem alternada: r
1
< r
2
, r
2
> r
3
, r
3
< r
4
, r
4
> r
5
,...


13
(iv) a seqncia dos intervalos fechados: [r
1
, r
2
], [r
3
, r
4
], [r
5
, r
6
], [r
7
, r
8
],.... encaixante, isto ,
cada um est inteiramente contid o no anterior: [r
1
, r
2
] [r
3
, r
4
] [r
5
, r
6
] [r
7
, r
8
] ........ .
Alm disso, o limite dos comprimento desses intervalos tende a zero quando n tende ao infinito.
De fato, pela identidade de Cassini (exerccio N
o
2) temos
r
n
- r
n-1
=
( )

1
1
n
n n
f f


que tende para zero quando n tende para infinito.
O Princpio dos Intervalos Encaixantes (estudado na Anlise Real) afirma :

Se I
1
, I
2
, I
3,
, ... uma seqncia de intervalos fechados e limitados, e se o comprimento de I
n

tende a zero quando n tende ao infinito, ento existe um, e somente um, nmero real que pertence
a todos os intervalos da seqncia.

O Princpio dos Intervalos Encaixantes afirma, em outras palavras, que o sistema de nmeros
reais completo, isto , sem furo ou brecha ou lacuna.
No caso da seqncia de intervalos fechados definidos acima, conclumos que existe um nmero
real L comum a todo intervalo fechado
[r
2n-1
, r
2n
], para n = 1, 2, 3, 4, ....

e, portanto, L =
lim
n
f
f
n
n

+ 1


Sabendo-se que f
n+2
= f
n+1
+ f
n
e dividindo-se ambos os lados por f
n+1
temos: r
n+1
= 1 + 1/r
n

Agora, fazendo o limite quando n tende ao infinito, obtemos:
L
L
+ 1
1


Portanto, L a raiz positiva da equao L
2
= L + 1, ou seja
L
+ 1 5
2
, que a razo
urea - costumeiramente denotada por - e que j havamos encontrado antes quando
estudamos a frmula de Binet para os nmeros de Fibonacci. Uma aproximao: = 1,6180....

A razo urea tem origem na antiguidade cssica. Euclides (matemtico grego, diretor do famoso
Museu de Alexandria e autor de Os Elementos) chamou-a de mdia e extrema razo, que
significa a razo obtida quando um segmento de reta est dividido em duas partes desiguais de
modo que a razo do todo para o mais largo igual a razo da maior para a menor :

A B
C


14
=
AB
AC
AC CB
AC
CB
AC

+
+ + 1 1
1

Na Renascena, a razo urea era chamada a divina proporo.

A construo clssica de um polgono regular usando somente as ferramentas proposta por
Euclides, a rgua sem marcao e o compasso, depende da diviso de um segmento de reta na
razo : 1 . Vamos explicar esse fato. Observe inicialmente que para construir um pentgono
regular suficiente construirmos um decgono regular inscrito num circulo, pois o pentgono pode
ser formado conectando os vrtices alternadamente. Seguindo o mtodo dos gregos antigos,
suponha que o decgono j est construdo -portanto o ngulo central AOB, na figura abaixo,
mede /5 .Seja X o ponto sobre o raio OA tal que BX a bissetriz do ngulo OBA. Como o
tringulo OBA issceles, os ngulos da base medem 1/2(-/5) = 2/5. E

portanto, o ngulo OBX mede /5. O ngulo AXB, que externo, mede /5 + /5 = 2/5.
Logo, os tringulos ABX e OBX so tambm issceles. Portanto : OX = BX = AB.
Tomando o raio do crculo medindo 1, o lado do decgono AB = x, e como os tringulos ABO e
ABX so semelhantes, temos:


1
1 x
x
x

Portanto, o ponto X divide o raio em mdia e extrema razo. Segue que

x
1 5 1
2


Como o segmento de comprimento 5 pode ser construdo, usando somente a rgua e o
compasso, tambm podemos construir o lado do decgono.


15



Exerccios

1) Mostre que a soma dos quadrados dos primeiros n nmeros de Fibonacci igual a f
n
f
n+1
.

2) Demonstre a identidade de Cassini: o quadrado de qualquer termo da seqncia de Fibonacci
difere do produto dos termos adjacentes por 1 ou -1 :

f
n-1
f
n+1
- f
n
2
= (-1)
n


[Sugesto : Em vez de fazer contas, verifique o resultado surpreendente


1 1
1 0
1
1

_
,

_
,

n
n n
n n
f f
f f


e use o fato de que para duas matrizes quadradas A e B, de mesma ordem, tem-se det(AB) =
det(A).det(B) ]

Nota : Jean-Dominique Cassini descobriu essa identidade em 1680, veja J.D. Cassini, Une
nouvelle progression de nombres, Histoire de lAcademie Royale des Sciences, Paris, 1
(1733) 496-201.

3) Mostre que a soma f
n
2
+ f
2
n+1
sempre um nmero de Fibonacci.

4) Mostre que a diferena f
2
n+1
- f
2
n-1


sempre um nmero de Fibonacci.

5) Mostre que f
1
f
2
+ f
2
f
3
+ ... + f
2n-1
f
2n
= f
2
2n

6) Encontre frmulas simples para as somas
(a) f
1
+ f
3
+ f
5
+ ... + f
2n-1

(b) f
2
+ f
4
+ f
6
+... + f
2n


7) De quantas maneiras possvel subir uma escada com n degraus pisando em um ou dois
degraus de cada vez ?

8) Ache o nmero possvel de seqncias de 0s e 1s, de comprimento n, tais que no
pode ter dois zeros consecutivos.

9) Prove que :
(a) se 2 divide f
n+1
ento 4 divide (f
n
2
- f
n-1
2
)

16
(b) se 3 divide f
n
, ento 9 divide (f
n+1
3
- f
n-1
3
)

10) Calcule :
(a) MDC (f
9
, f
12
)
(b) MDC (f
15
, f
20
)
(c) MDC (f
24
, f
36
)

11) Ache os nmeros de Fibonacci que dividem f
24
e f
36
.

12) Verificar que :
(a) 2 divide f
n
se, e somente se, 3 divide n.
(b) 3 divide f
n
se, e somente se, 4 divide n.
(c) 4 divide f
n
se, e somente se, 6 divide n.
(d) 5 divide f
n
se, e somente se, 5 divide n.

13) Represente os nmeros 50, 75, 100 e 125 como soma de nmeros de Fibonacci.

14) Prove que : (f
n
f
n+3
)
2
+ (2f
n+1
f
n+2
)
2
= (f
2n+3
)
2
e use isso para gerar 5 triplas Pitagricas.

15) Prove que o produto f
n
f
n+1
f
n+2
f
n+3
, de quaisquer quatro nmeros de Fibonacci
consecutivos, igual a rea de um tringulo retngulo de lados inteiros (tringulo pitagrico).

16) Mostre que para todo inteiro positivo n,
n
= f
n
+ f
n-1
(defina f
0
= o). Use esta relao para
dar uma outra prova da frmula de Binet.


BIBLIOGRAFIA

[1] BURTON, DAVID M., Elementary number theory, Allyn
Bacon and Bacon, Inc, 1976

[2] de CARVALHO, JOO. B. P., Euclides, Fibonacci e Lam,
RPM- SBM, No. 24, 1993, 32-40

[3] STRUICK, DIRK, J., Histria Concisa das Matemticas,
Gradiva, 1989

[4] YOUNG, ROBERT M., Excursions Calculus : An Interplay of
The Continous and the Discrete, Dolciani Mathematical
Exposition, MAA, 1992


17
[5] ZECKENDORF, E., Representation des nombres natureals par une somme de nombres
de Fibonacci ou de nombres de Lucas, Bull. de la Soc. Royale des Sci. de Liege, 41
(1972) 179-182