Leonardo siffror

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]

Förhållande med Fibonacci-nummer

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 OEIS

förhållandet mellan närliggande Leonardo-tal, såväl som närliggande fibonacci-tal, tenderar till det gyllene snittet

Anteckningar

  1. EWD797
  2. EWD796a