EisatoponAI: 🚪 Το Πρόβλημα του Καναπέ: Μια Γεωμετρική Σπαζοκεφαλιά 60 Ετών

🚪 Το Πρόβλημα του Καναπέ: Πώς στρίβει το μεγαλύτερο δυνατό σχήμα;

Το 1966, ο μαθηματικός Leo Moser έθεσε ένα φαινομενικά απλό γεωμετρικό ερώτημα:

Ποιο είναι το επίπεδο σχήμα με το μεγαλύτερο δυνατό εμβαδόν που μπορεί να περάσει από έναν διάδρομο πλάτους 1 και να στρίψει γύρω από μια ορθή γωνία;

Το ερώτημα έγινε γνωστό ως «πρόβλημα του κινούμενου καναπέ» (moving sofa problem). Ο όρος «καναπές» είναι βέβαια παραστατικός: μαθηματικά αναζητούμε ένα άκαμπτο επίπεδο σχήμα, το οποίο μπορεί να μετακινηθεί και να περιστραφεί μέσα σε έναν διάδρομο σχήματος Γ.

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

📐 Από το τετράγωνο στο ημικύκλιο

Ένα τετράγωνο πλευράς 1 μπορεί προφανώς να περάσει από τον διάδρομο και έχει εμβαδόν

Ε = 1.

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

Ε = π/2 ≈ 1,571.

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

🛋️ Ο περίπλοκος καναπές του Gerver

Το 1992, ο μαθηματικός Joseph Gerver κατασκεύασε ένα εξαιρετικά περίπλοκο σχήμα, το οποίο μπορούσε να περάσει από τη γωνία και είχε εμβαδόν

μ_G = 2,219531…

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

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

📏 Πόσο μεγάλο θα μπορούσε να είναι;

Το 2018, οι μαθηματικοί Yoav Kallus και Dan Romik χρησιμοποίησαν μια αυστηρή υπολογιστικά υποβοηθούμενη μέθοδο και απέδειξαν ότι το μέγιστο εμβαδόν δεν μπορούσε να ξεπερνά το 2,37.

Έτσι, η άγνωστη σταθερά του καναπέ περιορίστηκε στο διάστημα

2,219531… ≤ μ ≤ 2,37.

Η διαφορά είχε μειωθεί σημαντικά, αλλά εξακολουθούσε να λείπει η απόδειξη ότι το κάτω άκρο —το εμβαδόν του καναπέ του Gerver— ήταν πράγματι η τελική απάντηση.

🧩 Η απόδειξη του Jineon Baek

Τον Νοέμβριο του 2024, ο μαθηματικός Jineon Baek ανάρτησε στο arXiv μια εκτενή προδημοσίευση 119 σελίδων, στην οποία υποστηρίζει ότι απέδειξε πως η κατασκευή του Gerver έχει το μεγαλύτερο δυνατό εμβαδόν.

Σύμφωνα με την απόδειξη του Baek, κανένα επίπεδο σχήμα με εμβαδόν μεγαλύτερο από 2,219531… δεν μπορεί να στρίψει γύρω από την ορθή γωνία του διαδρόμου.

Η εργασία παρουσιάζει συνεπώς ως απάντηση στη σταθερά του καναπέ την τιμή

μ = 2,219531…

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

🔄 Ο «αμφιδέξιος» καναπές

Υπάρχει και μια ακόμη πιο περιοριστική παραλλαγή του προβλήματος, την οποία είχαν μελετήσει ήδη από τη δεκαετία του 1960 ο John Conway και άλλοι μαθηματικοί.

Σε αυτήν αναζητούμε ένα σχήμα που μπορεί να στρίψει σε ορθές γωνίες και προς τα αριστερά και προς τα δεξιά. Η παραλλαγή ονομάζεται «αμφιδέξιο πρόβλημα του καναπέ» (ambidextrous moving sofa problem).

Το 2016, ο Dan Romik παρουσίασε ένα εντυπωσιακό συμμετρικό σχήμα που θυμίζει διπλό βαρίδι. Το σύνορό του αποτελείται επίσης από 18 επιμέρους τμήματα και μπορεί να περιγραφεί σε κλειστή αναλυτική μορφή.

Το εμβαδόν του είναι

Ε = X + arctan(Y) ≈ 1,644955218,

όπου οι αριθμοί X και Y ικανοποιούν τις κυβικές εξισώσεις

X²(X + 3) = 8

Y(4Y² + 3) = 1.

Το σχήμα του Romik αποτελεί τον καλύτερο γνωστό υποψήφιο για την αμφιδέξια παραλλαγή. Δεν έχει όμως αποδειχθεί ότι είναι το μεγαλύτερο δυνατό. Επομένως, η κατασκευή του μας δίνει προς το παρόν μόνο το κάτω φράγμα

μ_αμφ. ≥ 1,644955218…

💡 Γιατί είναι τόσο δύσκολο;

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

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

Η γοητεία του προβλήματος

Ένας πραγματικός καναπές έχει πάχος, ύψος και βάρος. Ο μαθηματικός καναπές δεν έχει τίποτε από αυτά. Κι όμως, ακόμη και σε έναν ιδανικό δισδιάστατο κόσμο, το να στρίψει γύρω από μια απλή γωνία αποδείχθηκε ένα από τα δυσκολότερα προβλήματα της σύγχρονης γεωμετρίας.