Teorema di Zeckendorf: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 24:
== Esistenza della rappresentazione di Zeckendorf e suo ottenimento tramite algoritmo ingordo ==
 
Di seguito dimostreremo che, fissato un qualunque intero positivo <math>N</math>, si può costruire una somma che soddisfa le condizioni di Zeckendorf usando un semplice [[algoritmo greedy|algoritmo ingordo]], ovvero scegliendo ada ogni passo il più grande numero di Fibonacci possibile.<br>
Iniziamo a formalizzare questa idea.
 
Riga 33:
A titolo di esempio, avvantaggiandoci dell'aver già studiato il caso nel capitolo precedente, possiamo calcolare la parte di Zeckendorf (o di Fibonacci) del numero cento, risulta:
:<math>P(100)=F_{11} =89 </math>
L'idea dell'algoritmo ingordo è che, preso un numero iniziale, ada esso si sottragga la sua parte di Zeckendorf. Così facendo si ottiene un secondo numero del quale si calcola la parte di Zeckendorf, poi nuovamente si sottrae e così via. L'insieme delle varie parti di Zeckendorf così ottenute costituirà la rappresentazione di Zeckendorf del numero <math>N</math>.
 
Riesponiamo questa idea appoggiandoci al formalismo delle successioni ricorrenti.<br>
Per amor di brevità e per disinteresse del nominalismo nel proseguoprosieguo ci riferiremo alle varie parti di Zeckendorf (o di Fibonacci) con il semplice nome di parti.
 
In particolare useremo i nomi: prima parte, seconda parte, terza parte, ecc ecc. Con l'usuale convenzione che fa si che l'ordinale sia funzione dell'indice della parte.
 
Costruiamo le due successioni:
Riga 84:
:<math>F_{(j_1)}>F_{(j_2)}>...>F_{(j_k)}>0 </math>
:<math>j_1>j_2>...>j_k>0 </math>
In particolare, l'ultima catena di disequazioni, garantisce che ogni numero di Fibonacci compaia una ede una sola volta.
 
=== L'algoritmo non produce mai come risultati <math>F_1</math> o <math>F_0</math> ===