Πάρε οποιονδήποτε θετικό ακέραιο. Αν είναι ζυγός, διαίρεσέ τον με το 2. Αν είναι μονός, πολλαπλασίασέ τον επί 3 και πρόσθεσε 1. Επανάλαβε. Θα φτάσεις πάντα στο 1; Η απάντηση φαίνεται προφανής — αλλά κανείς στον πλανήτη δεν μπορεί να την αποδείξει. Καλώς ήρθες στην εικασία Collatz.
Ο κανόνας
Αν n ζυγός → n / 2 | Αν n μονός → 3n + 1
Εικασία: Ανεξάρτητα από τον αρχικό αριθμό, η ακολουθία θα φτάσει τελικά στο 1.
Αυτό είναι. Ολόκληρο το πρόβλημα χωράει σε δύο γραμμές. Ένας μαθητής Γυμνασίου μπορεί να το κατανοήσει σε δευτερόλεπτα. Κι όμως, εδώ και σχεδόν 90 χρόνια, οι κορυφαίοι μαθηματικοί του κόσμου δεν μπορούν ούτε να το αποδείξουν ούτε να βρουν αντιπαράδειγμα.
Ας το δοκιμάσουμε
Χρειάστηκαν 16 βήματα. Ο αριθμός ανέβηκε μέχρι το 52, κατέβηκε, ξαναανέβηκε, και τελικά «κατέρρευσε» στο 1.
Ο αριθμός 27 είναι διάσημος στον κόσμο του Collatz. Η ακολουθία του χρειάζεται 111 βήματα για να φτάσει στο 1 και κατά τη διαδρομή εκτοξεύεται μέχρι το 9.232 — πάνω από 340 φορές τον αρχικό αριθμό! Σαν ένα αεροπλάνο που απογειώνεται από μόλις 27 μέτρα ύψος και φτάνει στα 9 χιλιόμετρα, πριν τελικά προσγειωθεί.
Γιατί λέγεται «χαλαζόπτωση»
Η ακολουθία Collatz ονομάζεται συχνά hailstone sequence (ακολουθία χαλαζόπτωσης) γιατί οι αριθμοί συμπεριφέρονται σαν χαλαζόκοκκοι: ανεβαίνουν ψηλά, πέφτουν, ξανανεβαίνουν απρόβλεπτα, μέχρι τελικά να «πέσουν στο έδαφος» — στο 1. Κάθε ακολουθία δημιουργεί μια μοναδική πορεία, χαοτική στην εμφάνιση αλλά (υποθετικά) σταθερή στο τέλος.
Μερικοί αριθμοί σε αριθμούς
| Αρχικός αριθμός | Μέγιστη τιμή | Βήματα μέχρι το 1 |
|---|---|---|
| 1 | 1 | 0 |
| 3 | 16 | 7 |
| 7 | 52 | 16 |
| 15 | 160 | 17 |
| 27 | 9.232 | 111 |
| 97 | 9.232 | 118 |
| 871 | 190.996 | 178 |
| 6.171 | 975.400 | 261 |
| 77.031 | 21.933.016 | 350 |
| 837.799 | 2.974.984.576 | 524 |
Παρατηρήστε: δεν υπάρχει κανένα μοτίβο ανάμεσα στον αρχικό αριθμό, το μέγιστο ύψος και τον αριθμό βημάτων. Ο 27 «πετάει» πιο ψηλά και για περισσότερο χρόνο από αριθμούς δεκαπλάσιούς του. Αυτή η απρόβλεπτη συμπεριφορά είναι που κάνει το πρόβλημα τόσο δύσκολο.
Ποιος ήταν ο Lothar Collatz
Ο Lothar Collatz (1910–1990) ήταν Γερμανός μαθηματικός που διατύπωσε την εικασία το 1937, όταν ήταν μόλις 27 ετών. Δεν τη δημοσίευσε αμέσως — κυκλοφόρησε αρχικά σαν πρόβλημα ανάμεσα σε συναδέλφους. Η εικασία ταξίδεψε προφορικά μέσω κορυφαίων μαθηματικών — Ulam, Kakutani, Erdős — και απέκτησε πολλά ονόματα: πρόβλημα 3n+1, εικασία Ulam, πρόβλημα Syracuse, ακολουθία χαλαζόπτωσης.
Ο Erdős — ένας από τους πιο παραγωγικούς μαθηματικούς του 20ού αιώνα — δεν έδινε εύκολα τέτοιες δηλώσεις. Πρόσφερε μάλιστα 500 δολάρια σε όποιον την αποδείξει, ένα ποσό ασυνήθιστα υψηλό για τα δεδομένα του (συνήθως πρόσφερε 25–50 δολάρια για μαθηματικά προβλήματα).
Πόσο μακριά έχουμε φτάσει
Χάρη στους υπολογιστές, η εικασία έχει επαληθευτεί για όλους τους αριθμούς μέχρι περίπου 268 — δηλαδή πάνω από 295 δισεκατομμύρια δισεκατομμύρια. Κάθε ένας από αυτούς τους αριθμούς, ακολουθώντας τον κανόνα, τελικά φτάνει στο 1. Αλλά η αριθμητική επαλήθευση δεν αποτελεί απόδειξη — υπάρχουν άπειροι ακέραιοι μετά.
Το 2019, ο βραβευμένος με Fields μαθηματικός Terence Tao πέτυχε ένα σημαντικό βήμα: απέδειξε ότι η εικασία ισχύει για «σχεδόν όλους» τους αριθμούς, με μια αυστηρά ορισμένη μαθηματική έννοια. Αλλά ακόμα και αυτό το αποτέλεσμα — ίσως η πιο σημαντική πρόοδος εδώ και δεκαετίες — αφήνει ανοιχτό αν υπάρχουν εξαιρέσεις.
Τι θα μπορούσε να πάει στραβά;
Αν η εικασία είναι λάθος, τότε υπάρχουν δύο πιθανότητες για κάποιον αρχικό αριθμό:
Η ακολουθία μπαίνει σε βρόχο που δεν περιλαμβάνει το 1. Για παράδειγμα, αν κάποια στιγμή η ακολουθία επέστρεφε σε τιμή που είχε ήδη επισκεφτεί, θα κυκλοφορούσε για πάντα. Ο μόνος γνωστός κύκλος σήμερα είναι ο τετριμμένος: 1 → 4 → 2 → 1.
Η ακολουθία αυξάνεται χωρίς όριο — ανεβαίνει για πάντα χωρίς ποτέ να ξανακατέβει. Κανένας αριθμός δεν έχει δείξει τέτοια συμπεριφορά, αλλά δεν μπορούμε να αποκλείσουμε ότι υπάρχει κάπου «εκεί έξω».
Γιατί είναι τόσο δύσκολο;
Η βαθιά δυσκολία κρύβεται στη σύγκρουση δύο πράξεων. Η διαίρεση με το 2 είναι πολλαπλασιαστική — λειτουργεί με δυνάμεις. Ο πολλαπλασιασμός επί 3 και πρόσθεση 1 μπλέκει πολλαπλασιαστική και προσθετική δομή. Η αλληλεπίδραση αυτών των δύο λογικών δημιουργεί ένα σύστημα που μοιάζει χαοτικό — η πρόβλεψη της μακροπρόθεσμης συμπεριφοράς ξεπερνά τα εργαλεία μας.
Πιο συγκεκριμένα: όταν ένας μονός αριθμός γίνεται 3n+1, το αποτέλεσμα είναι πάντα ζυγό (γιατί 3 × μονός + 1 = ζυγός), οπότε αμέσως μετά διαιρείται με 2. Αν η νέα τιμή είναι ξανά ζυγή, ξαναδιαιρείται. Η «μάχη» είναι ανάμεσα στο 3 (που τείνει να μεγαλώνει) και το 2 (που τείνει να μικραίνει). Στατιστικά, το 2 κερδίζει — αλλά «στατιστικά» δεν σημαίνει «πάντα».
Μια ματιά στο δέντρο Collatz
Μπορούμε να δούμε το πρόβλημα και ανάποδα: αντί να ρωτάμε «ποιοι αριθμοί φτάνουν στο 1», ρωτάμε «ξεκινώντας από το 1, ποιους αριθμούς μπορούμε να φτάσουμε;». Αυτό δημιουργεί ένα δέντρο — το δέντρο Collatz — που ξεκινά από το 1 και κλαδεύεται προς τα πάνω. Η εικασία ισχύει αν (και μόνο αν) κάθε θετικός ακέραιος εμφανίζεται κάπου σ’ αυτό το δέντρο.
Διάλεξε οποιονδήποτε αριθμό — τον αριθμό της ταυτότητάς σου, την ημερομηνία γεννήσεώς σου ως αριθμό, ή οποιονδήποτε αριθμό σκεφτείς. Εφάρμοσε τον κανόνα. Κράτα σημειώσεις. Θα φτάσεις στο 1. Πάντα. Τουλάχιστον… κανείς δεν βρήκε ακόμα κάποιον που να μη φτάνει.
Τι μας διδάσκει η εικασία Collatz
Πέρα από το μαθηματικό περιεχόμενο, η εικασία Collatz κρύβει ένα βαθύτερο μάθημα: η απλότητα ενός ερωτήματος δεν εγγυάται απλότητα στην απάντηση. Μερικές φορές οι πιο απλοί κανόνες δημιουργούν τα πιο πολύπλοκα αποτελέσματα — κάτι που συναντάμε και στη φύση, από τα φράκταλ ως τον καιρό.
Η εικασία Collatz δείχνει επίσης ότι τα μαθηματικά δεν είναι μια κλειστή υπόθεση, ένας κατάλογος τύπων και θεωρημάτων που κάποιος παλιά τα βρήκε. Είναι ένα ζωντανό πεδίο γεμάτο ανοιχτά ερωτήματα — και μερικά από αυτά μπορεί να τα κατανοήσεις πλήρως πριν ακόμα μπεις στο Πανεπιστήμιο.
• Lagarias, J.C. (2010). The Ultimate Challenge: The 3x+1 Problem, AMS.
• Tao, T. (2019). “Almost all orbits of the Collatz map attain almost bounded values”. arXiv:1909.03562.
• Wikipedia: Collatz conjecture
• Numberphile: The Simplest Math Problem No One Can Solve

Καθηγητής Μαθηματικών — Εκπαιδευτικός Αναλυτής
Δημιουργός site PaideiaNet.com
