Leonardo-tal är en sekvens av tal som ges av ett beroende:
Edsger Dijkstra [1] använde dem som en del av sin smidiga sorteringsalgoritm och studerade några av deras egenskaper. [2]
Leonardo-tal är relaterade till Fibonacci-tal genom en formel .
Denna formel innebär direkt ett uttryck för Leonardo-tal, liknande Binets formel för Fibonacci-tal:
där är det gyllene snittet , och dessutom och är rötterna till andragradsekvationen
De första tjugo termerna i Leonardos talsekvens är:
1, 1, 3, 5, 9, 15, 25, 41, 67, 109, 177, 287, 465, 753, 1219, 1973, 3193, 5167, 8361, 13529 — sekvens A001595 i OEISförhållandet mellan närliggande Leonardo-tal, såväl som närliggande fibonacci-tal, tenderar till det gyllene snittet