Numero di Leonardo
I numeri di Leonardo sono una sequenza di numeri dati dalla relazione:

Edsger W. Dijkstra[1] li ha utilizzati come parte integrante del suo algoritmo di ordinamento Smoothsort, analizzandoli anche in alcuni dettagli[2].
Essi sono legati ai numeri di Fibonacci dalla relazione
.
Data la formula tipo Binet:

dove
e
sono le radici di
I primi numeri di Leonardo sono[3]:

Note