GENERALIZZAZIONE DI UNA FORMULA DI BINET PER IL

CALOCOLO DEI TERMINI DELLA SERIE DI FIBONACCI

PREMESSA
La formula proposta vuole essere una generalizzazione alla già conosciuta formula di Binet per il
calcolo dei termini della serie di Fibonacci.

DESCRIZIONE DELLA FORMULA

Data una serie S, composta da 2 basi S0 e S1 e da successivi termini Sn formati dal precedente Sn-1
moltiplicato per un fattore β più il precedente del precedente Sn-2 moltiplicato per un fattore α.
Sn = αSn-2 + βSn-1.
La formula descritta in seguito servirà per il calcolo di ciascun termine della suddetta serie, basi
comprese.
Sn = [αS0(δn-1 - εn-1) + S1(δn - εn)] / (δ - ε)
I valori δ ed ε corrispondono alle radici del rapporto tra Sn / Sn-1 per n → ∞.
Poniamo lim(n→∞)(Sn / Sn-1) = x
lim(n→∞)(Sn / Sn-1) = lim(n→∞)[(αSn-2 + βSn-1)/ Sn-1]
lim(n→∞)(Sn / Sn-1) = αlim(n→∞)(Sn-2 / Sn-1) + β
x=α/x+β
x2 - βx - α = 0
x = (β ± √β2 + 4α) / 2

DIMOSTRAZIONE
Si vuole dimostrare che
∀ n ∈ N ∃ α, β, S0, S1 ∈ ℜ
Sn = αSn-2 + βSn-1 = [αS0(δn-1 - εn-1) + S1(δn - εn)] / (δ - ε)
dove δ = (β + √β2 + 4α) / 2 e ε = (β - √β2 + 4α) / 2
NOTA
E’ semplice verificare per sostituzione che α = - δε e β = δ + ε
Applicando il principio di induzione matematica :
1) Dimostriamo l’uguaglianza per n = 0 e per n = 1
S0 = [αS0(1/δ - 1/ε)] / (δ - ε) = {αS0[(δ - ε) / α]} / (δ - ε) = S0 VERA
S1 = [S1(δ - ε)] / (δ - ε) = S1 VERA
2) Dimostriamo che
Sn+1 = [αS0(δn - εn) + S1(δn+1 - εn+1)] / (δ - ε)
Ipotesi induttiva
Sn+1 = αSn-1 + βSn
Sn = [αS0(δn-1 - εn-1) + S1(δn - εn)] / (δ - ε)
Sn-1 = [αS0(δn-2 - εn-2) + S1(δn-1 - εn-1)] / (δ - ε)
Sn+1 = α{[αS0(δn-2 - εn-2) + S1(δn-1 - εn-1)] / (δ - ε)} + β{[αS0(δn-1 - εn-1) + S1(δn - εn)] / (δ - ε)} =
= [α2S0(δn-2 - εn-2) + αS1(δn-1 - εn-1) + αβS0(δn-1 - εn-1) + βS1(δn - εn)] / (δ - ε) =
= [α2S0(δn-2 - εn-2) + αβS0(δn-1 - εn-1) + αS1(δn-1 - εn-1) + βS1(δn - εn)] / (δ - ε) =
= {[αS0[α(δn-2 - εn-2) + β(δn-1 - εn-1)] + S1[α(δn-1 - εn-1) + β(δn - εn)]} / (δ - ε) =
α(δn-2 - εn-2) + β(δn-1 - εn-1) = - δε(δn-2 - εn-2) + (δ + ε)(δn-1 - εn-1) =
= - δn-1ε + δεn-1 + δn - δεn-1 + δn-1ε - εn = δn - εn
= {[αS0(δn - εn) + S1[α(δn-1 - εn-1) + β(δn - εn)]} / (δ - ε) =
α(δn-1 - εn-1) + β(δn - εn) = - δε(δn-1 - εn-1) + (δ + ε)(δn - εn) =
= - δnε + δεn + δn+1 - δεn + δnε - εn+1 = δn+1 - εn+1
= [αS0(δn - εn) + S1(δn+1 - εn+1)] / (δ - ε) C.V.D.

APPLICAZIONI
Questa formula trova impiego in numerosi contesti, soprattutto matematici. Ad esempio il calcolo
della serie Fibonacci nella biologia (corrispondenze naturali con il numero aureo, riproduzione dei
conigli), informatica (“Fibonacci heap” del processore Pentium), economia (previsioni della borsa
azionistica di Milano), e il calcolo della sequenza di Lucas utilizzata per il famoso test Lucas-
Lehmer per la primalità di un numero primo di Mersenne e nella crittografia a chiave pubblica.

NOTE
Assegnando ad S0 il valore 0 ed a S1, α, β il valore 1 otteniamo le serie di Fibonacci, mentre
assegnando ad S0 il valore 2 e lasciando invariati S1, α, β otteniamo la sequenza di Lucas.

Eugenio Amitrano