🧩 Το Σκοτεινό Μυστικό των Ακολουθιών Γιατί Κάθε Αριθμός Μπορεί να Είναι ο Επόμενος

🧩 Ποιος Είναι ο Επόμενος Όρος;

Τα προβλήματα αριθμητικών ακολουθιών είναι γνωστά: μας δίνονται μερικοί αριθμοί και καλούμαστε να ανακαλύψουμε τον «κανόνα» και να βρούμε τον επόμενο όρο.

Για παράδειγμα:

\[ 1,\;2,\;3,\;4,\;5,\ldots \]

Η φυσικότερη απάντηση είναι \(6\). Τι συμβαίνει όμως με την ακολουθία

\[ 3,\;5,\;7,\ldots\; ? \]

Ο επόμενος όρος θα μπορούσε να είναι \(9\), αν σκεφτούμε τους διαδοχικούς περιττούς αριθμούς. Θα μπορούσαμε όμως να επινοήσουμε πολλούς άλλους κανόνες που συμφωνούν απόλυτα με τους τρεις πρώτους όρους και στη συνέχεια δίνουν διαφορετική τιμή.

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

Η Παρεμβολή του Lagrange

Το παραπάνω δεν είναι απλώς ένα παιχνίδι ερμηνείας. Μπορούμε να το διατυπώσουμε με απόλυτη μαθηματική ακρίβεια χρησιμοποιώντας την πολυωνυμική παρεμβολή.

Αν έχουμε \(k+1\) σημεία

\[ (x_0,y_0),\;(x_1,y_1),\ldots,(x_k,y_k), \]

με διαφορετικές τετμημένες \(x_0,x_1,\ldots,x_k\), υπάρχει ένα και μοναδικό πολυώνυμο βαθμού το πολύ \(k\) που περνά από όλα αυτά τα σημεία.

Μια μορφή του είναι το πολυώνυμο παρεμβολής Lagrange:

\[ L(x)= \sum_{j=0}^{k} y_j \prod_{\substack{i=0\\i\ne j}}^{k} \frac{x-x_i}{x_j-x_i}. \]

Ας Επιστρέψουμε στα \(3,5,7\)

Θεωρούμε ότι οι τρεις πρώτοι όροι βρίσκονται στις θέσεις \(1,2,3\):

\[ P(1)=3,\qquad P(2)=5,\qquad P(3)=7. \]

Ας αποφασίσουμε τώρα ότι θέλουμε ο τέταρτος όρος να είναι ένας οποιοσδήποτε αριθμός \(K\):

\[ P(4)=K. \]

Η παρεμβολή εγγυάται ότι υπάρχει πολυώνυμο βαθμού το πολύ \(3\) που ικανοποιεί και τις τέσσερις αυτές συνθήκες.

Μάλιστα, στην προκειμένη περίπτωση μπορούμε να το γράψουμε ιδιαίτερα απλά:

\[ \boxed{ P_K(x)=2x+1+ \frac{K-9}{6}(x-1)(x-2)(x-3) } \]

Για \(x=1,2,3\), ο τελευταίος παράγοντας μηδενίζεται. Επομένως, ανεξάρτητα από την τιμή του \(K\),

\[ P_K(1)=3,\qquad P_K(2)=5,\qquad P_K(3)=7. \]

Όταν όμως θέσουμε \(x=4\), παίρνουμε

\[ P_K(4) = 9+ \frac{K-9}{6}\cdot3\cdot2\cdot1 = K. \]

Έτσι μπορούμε να έχουμε, για παράδειγμα,

\[ 3,\;5,\;7,\;\boxed{9} \]

ή

\[ 3,\;5,\;7,\;\boxed{14} \]

ή ακόμη

\[ 3,\;5,\;7,\;\boxed{1111}. \]

Σε κάθε περίπτωση υπάρχει πολυώνυμο που παίρνει ακριβώς αυτές τις τέσσερις τιμές.

Τι Αποδεικνύει Πραγματικά Αυτό;

Δεν σημαίνει ότι κάθε απάντηση σε ένα πρόβλημα ακολουθιών είναι εξίσου φυσική ή ότι δεν υπάρχουν σωστοί κανόνες όταν αυτοί έχουν καθοριστεί εκ των προτέρων.

Σημαίνει κάτι πιο συγκεκριμένο:

Από ένα πεπερασμένο πλήθος όρων και μόνο δεν μπορούμε να προσδιορίσουμε μοναδικά τον κανόνα που δημιούργησε την ακολουθία.

Όταν λοιπόν απαντάμε \(6\) στην ακολουθία

\[ 1,\;2,\;3,\;4,\;5,\ldots \]

δεν το κάνουμε επειδή τα πέντε δεδομένα επιβάλλουν μαθηματικά το \(6\). Το επιλέγουμε επειδή ο κανόνας

\[ a_n=n \]

είναι ο απλούστερος και φυσικότερος κανόνας που αναγνωρίζουμε.

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

🧠 Μικρή πρόκληση

Δίνεται η ακολουθία

\[ 1,\;2,\;3,\;4,\;5,\ldots \]

Μπορείτε να κατασκευάσετε έναν απλό μαθηματικό κανόνα για τον οποίο ο επόμενος όρος δεν είναι το \(6\);

Ιστορική σημείωση: ο τύπος της πολυωνυμικής παρεμβολής συνδέεται με το έργο των Edward Waring, Leonhard Euler και Joseph-Louis Lagrange κατά τον 18ο αιώνα.

📚

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

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

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

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