Η Ακολουθία-Μυστήριο που Κρύβει τους Πρώτους Αριθμούς Fibonacci

🔍 Μια ακολουθία που δεν είναι αυτό που φαίνεται

Ποιος κανόνας παράγει την ακόλουθη εξαιρετικά δύσκολη ακολουθία;

3, 4, 5, 7, 11, 13, 17, 23, 29, 43, 47, 83, 131, 137, 359,
431, 433, 449, 509, 569, 571, 2971, 4723, 5387, …

Οι περισσότεροι όροι είναι πρώτοι αριθμοί. Υπάρχει όμως ανάμεσά τους το (4), ενώ οι αποστάσεις τους δεν ακολουθούν κάποιο εμφανές μοτίβο. Το μυστικό είναι ότι οι αριθμοί που βλέπουμε δεν είναι οι πρωταγωνιστές της ιστορίας. Είναι οι θέσεις τους σε μια άλλη, πολύ γνωστή ακολουθία.

💡 Εμφάνιση της λύσης

Οι όροι είναι ακριβώς οι δείκτες (n) για τους οποίους ο αριθμός Fibonacci (F_n) είναι πρώτος.

F_n \text{ πρώτος} \quad\Longrightarrow\quad n=3,4,5,7,11,13,17,\ldots

Με τη σύμβαση (F_1=F_2=1) και (F_n=F_{n-1}+F_{n-2}), παίρνουμε:

Δείκτης (n)	Αριθμός (F_n)	Πρώτος;
3	2	Ναι
4	3	Ναι
5	5	Ναι
7	13	Ναι
11	89	Ναι
13	233	Ναι
17	1597	Ναι
23	28657	Ναι

Γιατί εμφανίζεται το 4;

Το (4) είναι ο μοναδικός σύνθετος δείκτης της λίστας, επειδή (F_4=3), που είναι πρώτος. Για κάθε (n>4), αν (F_n) είναι πρώτος, τότε ο δείκτης (n) πρέπει να είναι πρώτος.

Η ιδέα της απόδειξης

Οι αριθμοί Fibonacci έχουν την ιδιότητα

a\mid n \quad\Longrightarrow\quad F_a\mid F_n.

Αν λοιπόν (n=ab) είναι σύνθετος, με (a,b>1), τότε ο (F_a) διαιρεί τον (F_n). Για (n>4), αυτό δίνει έναν μη τετριμμένο διαιρέτη και ο (F_n) δεν μπορεί να είναι πρώτος. Η εξαίρεση (n=4) οφείλεται στο ότι ο σχετικός μικρότερος όρος είναι (F_2=1), ο οποίος δεν δημιουργεί γνήσια παραγοντοποίηση.

⚠️ Η αντίστροφη πρόταση είναι λάθος

Το ότι ο δείκτης (n) είναι πρώτος αποτελεί αναγκαία, όχι όμως επαρκή συνθήκη. Για παράδειγμα, το (19) είναι πρώτος, αλλά

F_{19}=4181=37\times113.

Δύο διαφορετικές ακολουθίες

Δεν πρέπει να συγχέουμε τους πρώτους αριθμούς Fibonacci

2, 3, 5, 13, 89, 233, 1597, 28657, …

με τους δείκτες τους

3, 4, 5, 7, 11, 13, 17, 23, …

Η ακολουθία του γρίφου είναι η δεύτερη. Η καταχώρισή της στην OEIS είναι η A001605, ενώ οι ίδιοι οι πρώτοι αριθμοί Fibonacci καταγράφονται ως A005478.

Ένα πρόβλημα που παραμένει ανοιχτό

Δεν γνωρίζουμε αν υπάρχουν άπειροι πρώτοι αριθμοί Fibonacci. Έτσι, μια φαινομενικά αυθαίρετη ακολουθία-γρίφος μάς οδηγεί απευθείας σε ένα πραγματικό ανοικτό ερώτημα της Θεωρίας Αριθμών.

Πηγές: OEIS A001605 · Wolfram MathWorld — Fibonacci Prime.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →