Introdução à Combinatória - Monitoria 1

Monitor Juan Pablo Lins

2023.2

Números de Fibonacci
Definição 1. Dados F1 = F2 = 1, definimos a sequência de Fibonacci (Fn ) por

Fn+2 = Fn+1 + Fn , n ≥ 1.

Calculando alguns de seus termos iniciais, (Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, . . . ).

A sequência se mostra interessante por suas propriedades, algumas das quais seguem abaixo como
exercı́cios, além de surpreendentes aparições em outros contextos como na natureza ou na geometria.

Observação: Em alguns exercı́cios será conveniente (ou necessário) definir F0 = 0.

Exercı́cio 1 (Fórmula de Binet). Prove a seguinte fórmula fechada para os números de Fibonacci

αn − β n
Fn = √ ,
5
√ √
1+ 5 1− 5
onde α = 2 eβ= 2 , para todo n ≥ 1.

Exercı́cio 2. Prove que, para todo n ∈ N, as seguintes identidades são verdadeiras.

n
X
(a) Fk = F1 + F2 + · · · + Fn = Fn+2 − 1
k=1
n
X
(b) Fk2 = F12 + F22 + · · · + Fn2 = Fn Fn+1
k=1
n
X
(c) F2k−1 = F1 + F3 + · · · + F2n−1 = F2n
k=1
n
X
(d) F2k = F2 + F4 + · · · + F2n = F2n+1 − 1
k=1

2n−1
X
2
(e) Fk Fk+1 = F1 F2 + F2 F3 + · · · + F2n−1 F2n = F2n
k=1

2n
X
2
(f) Fk Fk+1 = F1 F2 + F2 F3 + · · · + F2n F2n+1 = F2n+1 −1
k=1

(g) Fn+1 Fn − Fn−1 Fn−2 = F2n−1

(h) Fn2 + Fn+1

2 = F2n+1

1
Introdução à Combinatória - 2023.2 Juan Pablo Lins

 n  
1 1 Fn+1 Fn
(i) =
1 0 Fn Fn−1
√
1+ 5
Exercı́cio 3. Dado α = , prove que αn = Fn · α + Fn−1 , para todo inteiro n ≥ 1.
2
Exercı́cio 4. Seja (an )n≥1 uma sequência tal que a1 = 1, a2 = a e an+2 = an+1 + an para n ≥ 1.
Mostre que
an = Fn−1 · a + Fn−2
para n ≥ 3.

Exercı́cio 5 (Identidade de Cassini). Para todo n ≥ 2, prove que

Fn+1 Fn−1 − Fn2 = (−1)n

Exercı́cio 6 (Identidade de Honsberger). Para todos m, n > 0 naturais, prove que

Fm+n = Fm−1 Fn + Fm Fn+1 .

Exercı́cio 7 (Teorema de Zeckendorf). Prove que todo número natural pode ser unicamente escrito
como soma de números de Fibonacci com ı́ndices não consecutivos. Isto é, para todo m ∈ N, existem
únicos naturais 1 ≤ n1 < n2 < · · · < nk não consecutivos tais que

m = Fn1 + Fn2 + · · · + Fnk .