Στα μαθηματικά, οι Αριθμοί Φιμπονάτσι είναι οι αριθμοί της παρακάτω ακέραιας ακολουθίας:

${\displaystyle 0,\;1,\;1,\;2,\;3,\;5,\;8,\;13,\;21,\;34,\;55,\;89,\;144,\;\ldots \;}$

Εξ ορισμού, οι πρώτοι δύο αριθμοί Φιμπονάτσι είναι το 0 και το 1, και κάθε επόμενος αριθμός είναι το άθροισμα των δύο προηγούμενων αριθμών.

Σε μαθηματικούς όρους, η ακολουθία F_n των αριθμών Φιμπονάτσι ορίζεται από τον εξής αναδρομικό τύπο:

${\displaystyle \,F_{n}=F_{n-1}+F_{n-2}}$

με ${\displaystyle \,F_{0}=0}$ και ${\displaystyle \,F_{1}=1}$. ^[1]

Η Ακολουθία Φιμπονάτσι ονομάστηκε έτσι από τον Λεονάρντο της Πίζας, γνωστό και ως Φιμπονάτσι. Το βιβλίο του Φιμπονάτσι, το 1202, με τίτλο Liber Abaci, εισήγαγε την ακολουθία στα Μαθηματικά της Δυτικής Ευρώπης,^[2] αν και η ακολουθία είχε περιγραφεί και πιο πριν, από τους Ινδούς.^[3][4][5] (Κατά μία πιο σύγχρονη σύμβαση, η ακολουθία ξεκινάει με F₀=0. Στο Liber Abaci, όμως, η ακολουθία ξεκινάει με F₁=1, παραλείποντας το αρχικό 0, κάτι που ακολουθείται από κάποιους ακόμη και σήμερα).

Οι Αριθμοί Φιμπονάτσι σχετίζονται με τους Αριθμούς Λούκας δεδομένου ότι είναι συμπληρωματικό ζεύγος της Ακολουθίας Λούκας, ενώ είναι άρρηκτα συνδεδεμένοι και με τη χρυσή αναλογία. Έχει αρκετές εφαρμογές σε υπολογιστικούς αλγόριθμους, όπως για παράδειγμα η τεχνική αναζήτησης Φιμπονάτσι και η δομή δεδομένων σωρός Φιμπονάτσι. Επιπλέον υπάρχουν γραφικές παραστάσεις οι οποίες ονομάζονται κύβοι Φιμπονάτσι και χρησιμοποιούνται στις παράλληλες διασυνδέσεις και στα κατανεμημένα συστήματα. Τέλος, οι Αριθμοί Φιμπονάτσι, εμφανίζονται και στη Βιολογία, όπως για παράδειγμα η διακλάδωση στα δέντρα, η διάταξη των φύλλων σε ένα στέλεχος, τα στόμια του καρπού ενός ανανά, η ανάπτυξη της αγκινάρας και πολλά άλλα.

Η Ακολουθία Φιμπονάτσι εμφανίζεται στα Μαθηματικά των Ινδών και συγκεκριμένα σε Σανσκριτικές Προσωδίες.^[4] Στην Σανσκριτική προφορική παράδοση, δίνονταν μεγάλη έμφαση κατά πόσο οι μακρόσυρτες συλλαβές (Μ) συνέπιπταν με τις σύντομες (Σ), και μετρούσαν τα διαφορετικά πρότυπα των Μ και των Σ μέσα σε ένα προκαθορισμένο διάστημα, κάτι που οδήγησε στους αριθμούς Φιμπονάτσι. Ο αριθμός των προτύπων που γίνονται m σύντομες συλλαβές μακρόσυρτες είναι ο αριθμός Φιμπονάτσι F_m+1.^[5]

Η ανάπτυξη τη ακολουθίας αποδίδεται στον Πινγκάλα (200 π.Χ.), αλλά η πρώτη ξεκάθαρη αναφορά στην Ακολουθία γίνεται στα έργα του Βιραχάνκα (700 μ.Χ.), τα έργα του οποίου δε σώζονται, αλλά μεταφέρθηκαν αυτούσια στα έργα του Γκοπάλα (1153 μ.Χ.).

Στη Δύση, οι αριθμοί Φιμπονάτσι εμφανίζονται για πρώτη φορά στο βιβλίο Liber Abaci (1202) του Λεονάρντο της Πίζας, γνωστού και ως Φιμπονάτσι.^[2] Ο Φιμπονάτσι παίρνει ως δεδομένο ένα ιδανικό πληθυσμό κουνελιών και κάνει τις εξής υποθέσεις: έχουμε ένα νεογέννητο ζευγάρι κουνελιών (αρσενικό και θηλυκό) σε ένα χωράφι, τα κουνέλια είναι σε θέση να ζευγαρώσουν σε ηλικία ενός μήνα από τη γέννησή τους, έτσι ώστε στο τέλος του δεύτερου μήνα το θηλυκό να μπορεί να γεννήσει ένα ζευγάρι κουνελιών, τα κουνέλια δε πεθαίνουν ποτέ και κάθε ζευγάρι κουνελιών γεννάει ένα νέο ζευγάρι (ένα αρσενικό και ένα θηλυκό) κάθε μήνα από τον δεύτερο μήνα και μετά. Το ερώτημα που έθεσε ο Φιμπονάτσι ήταν: πόσα ζεύγη κουνελιών θα έχουν γεννηθεί μέσα σε ένα έτος;

• Στο τέλος του πρώτου μήνα, ζευγαρώνουν, αλλά ακόμη υπάρχει μόνο ένα ζεύγος.
• Στο τέλος του δεύτερου μήνα το θηλυκό γεννάει ένα νέο ζεύγος, οπότε στο χωράφι υπάρχουν δύο ζεύγη κουνελιών.
• Στο τέλος του τρίτου μήνα, το πρώτο θηλυκό γεννάει και δεύτερο ζεύγος, οπότε έχουμε τρία ζεύγη κουνελιών.
• Στο τέλος του τέταρτου μήνα, το πρώτο θηλυκό γεννάει ακόμη ένα ζεύγος, το θηλυκό που γεννήθηκε δύο μήνες πριν γεννάει το πρώτο της ζεύγος, οπότε έχουμε πέντε ζεύγη κουνελιών στο χωράφι.

Στο τέλος του νιοστού μήνα, το πλήθος των ζευγών των κουνελιών είναι ίσος με το πλήθος των νέων ζεύγων (n-2) προσθέτοντας το πλήθος ζεύγων που υπήρχαν στο χωράφι τον προηγούμενο μήνα (n-1). Αυτός είναι ο νιοστός αριθμός Φιμπονάτσι.^[6]

Ο Λεονάρντο της Πίζας ή Φιμπονάτσι έζησε κοντά στην πόλη της Μπεζάια, η οποία αποτελούσε ένα σημαντικό εξαγωγέα κεριού την εποχή του Φιμπονάτσι (από εκεί προέρχεται και η γαλλική εκδοχή του ονόματος της πόλης αυτής, “μπουζί" (bougie), που σημαίνει" κερί "στα γαλλικά). Μια πρόσφατη μαθηματικο-ιστορική ανάλυση της περιόδου και της περιοχής στην οποία έζησε ο Φιμπονάτσι προτείνει ότι στην πραγματικότητα οι μελισσοκόμοι της Μπεζάια και οι γνώσεις τους σχετικά με την αναπαραγωγή των μελισσών αποτέλεσαν την πηγή έμπνευσης της ακολουθίας Φιμπονάτσι και όχι το ευρύτερα ίσως γνωστό μοντέλο της αναπαραγωγής κουνελιών.^[7].

Ο όρος «Ακολουθία Φιμπονάτσι» χρησιμοποιήθηκε για πρώτη φορά τον 19ο αιώνα από τον Γάλλο μαθηματικό Εδουάρδο Λούκας. ^[8]

F0

F1

F2

F3

F4

F5

F6

F7

F8

F9

F10

F11

F12

F13

F14

F15

F16

F17

F18

F19

F20

F0={0}+1=1

F1={1}+1=2

F2={1}+2=3

F3={2}+3=5

F4={3}+5=8

F5={5}+8=13

F6={8}+13=21

F7={13}+21=34

F8={21}+34=55

F9={34}+55=89

F10={55}+89=144

F11={89}+144=233

F12={144}+233=377

F13={233}+377=610

F14={377}+610=987

F15={610}+987=1597

F16={987}+1597=2584

F17={1597}+2584=4181

F18={2584}+4181=6765

F19={4181}+6765=10946

F20={6765}+10946=17711

Οι πρώτοι 21 αριθμοί Φιμπονάτσι F_n για ν= 0, 1, 2, …, 20 είναι: ^[9]

F0	F1	F2	F3	F4	F5	F6	F7	F8	F9	F10	F11	F12	F13	F14	F15	F16	F17	F18	F19	F20
0	1	1	2	3	5	8	13	21	34	55	89	144	233	377	610	987	1597	2584	4181	6765

Η ακολουθία μπορεί να επεκταθεί και σε αρνητικό δείκτη ν χρησιμοποιώτας αναδιαταγμένη την αναδρομική σχέση

${\displaystyle F_{n-2}=F_{n}-F_{n-1},\,}$

που παράγει την ακολουθία των αρνητικών αριθμών Φιμπονάτσι και ικανοποιεί τη σχέση: ^[10]

${\displaystyle F_{-n}=(-1)^{n+1}F_{n}.\,}$

Οπότε η πλήρης ακολουθία είναι η εξής:

F−8

F−7

F−6

F−5

F−4

F−3

F−2

F−1

F0

F1

F2

F3

F4

F5

F6

F7

F8

−21

13

−8

5

−3

2

−1

1

0

1

1

2

3

5

8

13

21

Όπως κάθε ακολουθία, η οποία προσδιορίζεται από αναδρομική σχέση, έτσι και η ακολουθία Φιμπονάτσι έχει λύση κλειστής μορφής. Αυτή είναι γνωστή ως Φόρμουλα του Binet, αν και ήταν ήδη γνωστό από τον Αβραάμ ντε Μουάβρ

${\displaystyle F_{n}={\frac {\varphi ^{n}-\psi ^{n}}{\varphi -\psi }}={\frac {\varphi ^{n}-\psi ^{n}}{\sqrt {5}}}}$

όπου

${\displaystyle \varphi ={\frac {1+{\sqrt {5}}}{2}}\approx 1.61803\,39887\dots \,}$

είναι η χρυσή αναλογία, και

${\displaystyle \psi ={\frac {1-{\sqrt {5}}}{2}}=1-\varphi =-{1 \over \varphi }.}$^[11]

Για να το δούμε αυτό,^[12] θα πρέπει το φ και το ψ να είναι και τα δύο λύσεις της εξίσωσης

${\displaystyle x^{2}=x+1,\,x^{n}=x^{n-1}+x^{n-2},\,}$

οπότε οι δυνάμει των φ και ψ ικανοποιούν την αναδρομική σχέση Φιμπονάτσι. Δηλαδή

${\displaystyle \varphi ^{n}=\varphi ^{n-1}+\varphi ^{n-2}\,}$

και

${\displaystyle \psi ^{n}=\psi ^{n-1}+\psi ^{n-2}\,.}$

Αυτό ισχύει για κάθε τιμή των a και b και η ακολουθία ορίζεται από

${\displaystyle U_{n}=a\varphi ^{n}+b\psi ^{n}}$

και ικανοποιεί την ίδια αναδρομική σχέση

${\displaystyle U_{n}=a\varphi ^{n-1}+b\psi ^{n-1}+a\varphi ^{n-2}+b\psi ^{n-2}=U_{n-1}+U_{n-2}.\,}$

Εάν a και b επιλεγούν έτσι ώστε U₀ = 0 και U₁ = 1 τότε η ακολουθία U_n που προκύπτει είναι η ακολουθία Φιμπονάτσι. Αυτό είναι το ίδιο αν απαιτήσουμε τα a και b να ικανοποιούν το παρακάτω σύστημα εξισώσεων:

${\displaystyle a+b=0\,}$

${\displaystyle \varphi a+\psi b=1\,}$

το οποίο έχει λύση

${\displaystyle a=1/(\varphi -\psi )=1/{\sqrt {5}},\,b=-a}$

και παράγει την απαιτούμενη φόρμουλα.

Εάν

${\displaystyle |\psi |^{n}/{\sqrt {5}}<1/2}$

για κάθε n ≥ 0, ο αριθμός F_n είναι ο κοντινότερος ακέραιος του

${\displaystyle \varphi ^{n}/{\sqrt {5}}\,.}$

Επομένως μπορεί να βρεθεί στρογγυλοποιώντας

${\displaystyle F_{n}={\bigg \lfloor }{\frac {\varphi ^{n}}{\sqrt {5}}}+{\frac {1}{2}}{\bigg \rfloor },\ n\geq 0.}$

Ομοίως, εάν ήδη γνωρίζουμε ότι ο αριθμός F > 1 είναι αριθμός Φιμπονάτσι, μπορούμε να προσδιορίσουμε το δείκτη του μέσα στην ακολουθία με

${\displaystyle n(F)={\bigg \lfloor }\log _{\varphi }\left(F\cdot {\sqrt {5}}+{\frac {1}{2}}\right){\bigg \rfloor }}$

Ο Γιοχάνες Κέπλερ παρατήρησε ότι η αναλογία συνεχόμενων αριθμών Φιμπονάτσι συγκλίνει. Συγκεκριμένα έγραψε ότι "ότι είναι το 5 για το 8 είναι το 8 για το 13, πρακτικά, ότι είναι το 8 για το 13, είναι το 13 για το 21 σχεδόν" και κατέληξε ότι το όριο τείνει στη χρυσή αναλογία ${\displaystyle \varphi \,}$.^[13]

${\displaystyle \lim _{n\to \infty }{\frac {F_{n+1}}{F_{n}}}=\varphi }$

Η σύγκλιση αυτή δεν εξαρτάται από τις αρχικές τιμές, εξαιρώντας το 0, 0. Για παράδειγμα, οι αρχικές τιμές 19 και 31 παράγουν την ακολουθία 19, 31, 50, 81, 131, 212, 343, 555 ... κλπ. Η αναλογία συνεχόμενων όρων σε αυτή την ακολουθία παρουσιάζει την ίδια σύγκλιση προς τη χρυσή αναλογία.

Στην ουσία αυτό ισχύει για κάθε ακολουθία η οποία ικανοποιεί την αναδρομική σχέση Φιμπονάτσι, εκτός εκείνης που ξεκινάει με μηδέν. Αυτό προκύπτει από τη Φόρμουλα Binet.

Εφόσον η χρυσή αναλογία ικανοποιεί την εξίσωση

${\displaystyle \varphi ^{2}=\varphi +1,\,}$

η έκφραση αυτή μπορεί να χρησιμοποιηθεί για την ανάλυση μεγάλων δυνάμεων ${\displaystyle \varphi ^{n}}$ ως γραμμική εξίσωση μικρότερων δυνάμεων, η οποία με τη σειρά της μπορεί να αναλυθεί σε ένα γραμμικό συνδυασμό του ${\displaystyle \varphi \,}$ και του 1. Η σχέση που προκύπτει παράγει αριθμούς Φιμπονάτσι ως γραμμικούς συντελεστές:

${\displaystyle \varphi ^{n}=F(n)\varphi +F(n-1).}$

Η έκφραση αυτή είναι αληθής και για ${\displaystyle n\,<\,1\,}$ εάν η ακολουθία Φιμπονάτσι ${\displaystyle F(n)\,}$ επεκταθεί και σε αρνητικούς ακέραιους χρησιμοποιώντας τη σχέση ${\displaystyle F(n)=F(n-1)+F(n-2).\,}$

Ένα σύστημα διαφορικών εξισώσεων δύο διαστάσεων που περιγράφει την ακολουθία Φιμπονάτσι είναι το εξής:

${\displaystyle {F_{k+2} \choose F_{k+1}}={\begin{pmatrix}1&1\\1&0\end{pmatrix}}{F_{k+1} \choose F_{k}}}$

ή

${\displaystyle {\vec {F}}_{k+1}=A{\vec {F}}_{k}\,.}$

Οι ιδιοτιμές του πίνακα Α είναι ${\displaystyle \varphi \,\!}$ και ${\displaystyle (1-\varphi )\,\!}$, και τα ιδιοδιανύσματά του A, ${\displaystyle {\varphi \choose 1}}$ και ${\displaystyle {1 \choose -\varphi }}$, είναι σε αναλογίες ${\displaystyle \varphi \,\!}$ και ${\displaystyle (1-\varphi \,\!).}$ Έχοντας αυτά τα στοιχεία, και τις ιδιότητες των ιδιοτιμών, μπορούμε να βρούμε τη φόρμουλα του n-οστού στοιχείου στην ακόλουθη σειρά Φιμπονάτσι:

${\displaystyle F_{n}={\cfrac {1}{\sqrt {5}}}\cdot \left({\cfrac {1+{\sqrt {5}}}{2}}\right)^{n}-{\cfrac {1}{\sqrt {5}}}\cdot \left({\cfrac {1-{\sqrt {5}}}{2}}\right)^{n}.}$

Ο πίνακας έχει ορίζουσα -1, οπότε έχουμε έναν 2x2 πίνακα. Αυτό μπορεί να γίνει κατανοητό από το συνεχές κλάσμα της χρυσής αναλογίας:

${\displaystyle \varphi =1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{\;\;\ddots \,}}}}}}\;.}$

Οι αριθμοί Φιμπονάτσι προκύπτουν από τα διαδοχικά πηλίκα του συνεχούς κλάσματος της χρυσής αναλογίας ${\displaystyle \varphi \,\!}$, και ο πίνακας δημιουργείται από τα συνεχή πηλίκα οποιουδήποτε συνεχούς κλάσματος που έχει ορίζουσα +1 ή -1.

Η αναπαράσταση σε πίνακα δίνει την ακόλουθη κλειστή έκφραση των αριθμών Φιμπονάτσι:

${\displaystyle {\begin{pmatrix}1&1\\1&0\end{pmatrix}}^{n}={\begin{pmatrix}F_{n+1}&F_{n}\\F_{n}&F_{n-1}\end{pmatrix}}.}$

Παίρνοντας τις ορίζουσες και των δύο μερών προκύπτει η ταυτότητα Κασίνι

${\displaystyle (-1)^{n}=F_{n+1}F_{n-1}-F_{n}^{2}\,.}$

Επιπρόσθετα, αν ${\displaystyle A^{n}A^{m}=A^{m+n}}$ για κάθε τετραγωνικό πίνακα A, προκύπτουν οι ακόλουθες ταυτότητες:

${\displaystyle {F_{m}}{F_{n}}+{F_{m-1}}{F_{n-1}}=F_{m+n-1}\,,}$

${\displaystyle F_{n+1}F_{m}+F_{n}F_{m-1}=F_{m+n}\,.}$

Ιδιαίτερα, αν ${\displaystyle m=n}$,

${\displaystyle F_{2n-1}=F_{n}^{2}+F_{n-1}^{2}\,,}$

${\displaystyle F_{2n}=(F_{n-1}+F_{n+1})F_{n}=(2F_{n-1}+F_{n})F_{n}\,.}$

Το ερώτημα που προκύπτει είναι αν ένας θετικός ακέραιος αριθμός z είναι αριθμός Φιμπονάτσι. Εφόσον ${\displaystyle F(n)}$ είναι ο πιο κοντινός ακέραιος του ${\displaystyle \varphi ^{n}/{\sqrt {5}}}$, η πιο άμεση δοκιμή είναι η ταυτότητα:

${\displaystyle F{\bigg (}{\bigg \lfloor }\log _{\varphi }{\bigg (}z\cdot {\sqrt {5}}+{\frac {1}{2}}{\bigg )}{\bigg \rfloor }{\bigg )}=z,}$

Μία συνέπεια της παραπάνω σχέσης είναι ότι αν είναι γνωστό ότι ένας αριθμός z είναι αριθμός Φιμπονάτσι, μπορούμε να προσδιορίσουμε το n έτσι ώστε F(n) = z με το ακόλουθο:

${\displaystyle {\bigg \lfloor }\log _{\varphi }{\bigg (}z\cdot {\sqrt {5}}+{\frac {1}{2}}{\bigg )}{\bigg \rfloor }=n}$

Εναλλακτικά, ένας ακέραιος αριθμός z είναι αριθμός Φιμπονάτσι αν και μόνο αν μία από τις σχέσεις ${\displaystyle 5z^{2}+4}$ ή ${\displaystyle 5z^{2}-4}$ είναι τέλειο τετράγωνο.^[14]

Ένα ελαφρώς πιο πολύπλοκο τεστ χρησιμοποιεί το γεγονός ότι τα πηλίκα των διαδοχικών κλασμάτων που αναπαριστούν το ${\displaystyle \varphi \,}$ είναι αναλογίες διαδοχικών αριθμών Φιμπονάτσι. Δηλαδή, η ανισότητα

${\displaystyle {\bigg |}\varphi -{\frac {p}{q}}{\bigg |}<{\frac {1}{q^{2}}}}$

(με συνπρώτους ακέραιους αριθμούς p, q) είναι αληθής αν και μόνο αν τα p και q είναι διαδοχικοί αριθμοί Φιμπονάτσι. Από αυτό προκύπτει το κριτήριο ότι ο z είναι αριθμός Φιμποινάτσι αν και μόνο αν το κλειστό διάστημα

${\displaystyle {\bigg [}\varphi z-{\frac {1}{z}},\varphi z+{\frac {1}{z}}{\bigg ]}}$

περιέχει έναν θετικό ακέραιο.^[15] Για ${\displaystyle z\geq 2}$, είναι εύκολο να δείξουμε ότι αυτό το διάστημα περιέχει το πολύ έναν ακέραιο, και στην περίπτωση που το z είναι αριθμός Φιμπονάτσι, ο ακέραιος αυτός είναι ίσος με τον επόμενο διαδοχικό αριθμό Φιμπονάτσι μετά το z. Είναι εντυπωσιακό, ότι αυτό το αποτέλεσμα ισχύει και για την περίπτωση ${\displaystyle z=1}$, αλλά θα πρέπει να δηλωθεί επακριβώς γιατί το 1 εμφανίζεται δύο φορές στην ακολουθία Φιμπονάτσι και έχει δύο διαφορετικούς διαδοχικούς επόμενους αριθμούς στην ακολουθία.

• Fibonacci Quarterly Το επίσημο περιοδικό για τις εξελίξεις στους αριθμούς Φιμπονάτσι.

• «Η ακολουθία Fibonacci στη Χημεία». Ευκλείδης Β΄ (3): 4-6. 1977. http://www.hms.gr/apothema/?s=sa&i=3284. 
• «Οι αριθμοί Φιμπονάτσι-το αριθμητικό σύστημα της φύσης». Μαθητική μηνιαία εφημερίδα για τα μαθηματικά & τις θετικές επιστήμες (3): 1-5. 2017. 

• Gryszka, Karol (Δεκεμβρίου 2022). «Proof Without Words: Sum of Fibonacci Numbers and Beyond». The Mathematical Intelligencer 44 (4): 371–372. doi:10.1007/s00283-022-10193-y. 
• Stewart, Seán M. (Μαρτίου 2023). «107.01 A simple integral representation of the Fibonacci numbers». The Mathematical Gazette 107 (568): 120–123. doi:10.1017/mag.2023.15. 
• Glaister, Paul (1995). «Fibonacci Power Series». The Mathematical Gazette 79 (486): 521-525. doi:10.2307/3618079. https://www.jstor.org/stable/3618079. 
• S. Rinaldi; D. G. Rogers (2006). «How the Odd Terms in the Fibonacci Sequence Stack Up». The Mathematical Gazette 90 (519): 431-442. https://www.jstor.org/stable/40378191. 

• Λεονάρντο της Πίζας
• Ακολουθία

• Πολυμέσα σχετικά με το θέμα Fibonacci numbers στο Wikimedia Commons