A simple-looking equation that resisted mathematicians for decades.
Η εξίσωση
όπου a, b, c είναι ακέραιοι αριθμοί, είναι γνωστή ως το πρόβλημα του αθροίσματος τριών κύβων. Παρότι η μορφή της είναι απλή, το ερώτημα αν υπάρχει λύση για κάθε ακέραιο k αποδείχθηκε εξαιρετικά δύσκολο.
Ένας βασικός περιορισμός (mod 9)
Κάθε ακέραιος κύβος, όταν ληφθεί modulo 9, μπορεί να δώσει μόνο τις τιμές 0, 1 ή −1. Επομένως, το άθροισμα τριών κύβων δεν μπορεί ποτέ να είναι ίσον με αριθμό που είναι ±4 (mod 9).
Αυτό σημαίνει ότι για τιμές όπως 4, 5, 13, 14, 22, 23, δεν υπάρχει καμία λύση.
Γιατί το 33 είναι ξεχωριστό
Ο αριθμός 33 δεν ανήκει στην απαγορευμένη κατηγορία (±4 mod 9). Άρα, θεωρητικά, μια λύση θα μπορούσε να υπάρχει. Ωστόσο, για δεκαετίες καμία λύση δεν ήταν γνωστή.
Το 2019, μετά από εκτεταμένη υπολογιστική αναζήτηση, βρέθηκε τελικά ότι:
Η ανακάλυψη αυτή δεν είναι εντυπωσιακή λόγω της αισθητικής της, αλλά επειδή δείχνει πόσο τεράστιοι μπορεί να είναι οι αριθμοί που απαιτούνται για να υπάρξει λύση.
Τι μας διδάσκει αυτό το πρόβλημα
- Απλές εξισώσεις μπορεί να κρύβουν βαθιά μαθηματική δυσκολία.
- Η θεωρία αριθμών συχνά συνδυάζεται με βαριά υπολογιστική ισχύ.
- Η ύπαρξη λύσης δεν σημαίνει ότι η λύση είναι «μικρή» ή πρακτική.
Το πρόβλημα των τριών κύβων αποτελεί χαρακτηριστικό παράδειγμα της σύγχρονης μαθηματικής έρευνας: θεωρία, αλγόριθμοι και υπολογιστές συνεργάζονται για να απαντήσουν σε ερωτήματα που φαίνονται παιδικά απλά.
The cases k = 33 and k = 42 were solved only in 2019–2020, using months of CPU time.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου