Un progresso discreto scuote un classico rompicapo geometrico degli anni '60
Lontano dai supercomputer e dall'intelligenza artificiale, un risultato inaspettato ha appena rivoluzionato un enigma di geometria che ha sfidato gli esperti per quasi sessant'anni.
Tra Seoul e Ann Arbor, distante dai riflettori della Silicon Valley, un matematico trentunenne ha pazientemente sciolto un nodo che ha tormentato i ricercatori per sei decenni: qual è la forma rigida più grande che può attraversare un corridoio ad angolo retto, senza sollevarla dal pavimento né piegarla?
Il puzzle del divano che ha resistito a generazioni di studiosi
Tutto inizia nel 1966, quando il matematico austro-canadese Leo Moser formulò quello che potrebbe sembrare un gioco da salotto. Immaginate un corridoio a forma di L, con ciascun braccio esattamente largo un metro. Ora pensate a un "divano" piatto e rigido che deve scivolare e ruotare attraverso la curva, rimanendo sempre a contatto con il pavimento, senza mai essere compresso o piegato.
La domanda posta da Moser era semplice da enunciare e tremendamente difficile da risolvere: quale può essere l'area massima di questo divano?
Il "problema del divano in movimento" cerca l'area massima possibile di una forma capace di attraversare un corridoio ad angolo retto, largo un metro, senza deformazioni.
Rapidamente, l'enigma è sfuggito alle riviste accademiche ed è entrato nei libri di puzzle e nei corsi universitari. È diventato una sorta di rito di passaggio per geometri ed appassionati di matematica applicata, grazie a una combinazione di eleganza e difficoltà ostinata.
Primi candidati: da rettangoli a forme straordinariamente curve
Il primo tentativo è di solito ovvio: un rettangolo, un semicerchio, una forma a croce. Tutte riescono a superare l'angolo, ma sprecano spazio nei punti critici della curva.
Nel 1968, il matematico britannico John Hammersley presentò un candidato molto migliore. La sua forma di divano, peculiare e parzialmente arrotondata, raggiungeva un'area di circa 2,2074 metri quadrati. Per un periodo, questo risultato sembrò impressionante.
Successivamente, nel 1992, il matematico americano Joseph Gerver andò oltre. Introdusse una forma con numerose curve calcolate meticolosamente – così complessa da essere definita da molteplici archi analitici, non da una formula semplice. Il divano di Gerver arrivò a circa 2,2195 metri quadrati, diventando il nuovo detentore del record.
Eppure persisteva un dubbio fastidioso: la forma di Gerver era davvero la migliore possibile, o soltanto un'approssimazione ingegnosa?
- Hammersley (1968): circa 2,2074 m²
- Gerver (1992): circa 2,2195 m²
- Sconosciuto: massimo teorico assoluto, fino al 2024
Con il tempo, i ricercatori hanno utilizzato simulazioni computerizzate per perfezionare le forme candidate. Gli algoritmi potevano spostare confini, aggiustare curve e cercare tra migliaia di varianti. Si consolidò il consenso che il design di Gerver fosse probabilmente ottimale – ma nessuno riusciva a dimostrare che nulla di più grande potesse passare.
Un giovane ricercatore scopre un problema leggendario
Entra in scena Baek Jin-eon, matematico sudcoreano che ha incontrato per la prima volta il problema del divano in movimento durante il servizio militare obbligatorio. Assegnato all'Istituto Nazionale di Scienze Matematiche, si è imbattuto nell'enigma quasi per caso.
Ciò che ha attirato la sua attenzione non è stata la fama, ma il vuoto. Dietro i diagrammi colorati e i tentativi, c'era pochissima teoria solida. Il problema era stato esplorato e "stuzzicato", ma mai veramente inquadrato in modo pulito e sistematico.
Baek rimase meno colpito dalla difficoltà del problema del divano in movimento che dalla mancanza di una struttura concettuale chiara intorno ad esso.
Questa assenza divenne la sua motivazione. Cominciò a costruire da zero la struttura mancante: definizioni, vincoli e un modo per codificare tutti i movimenti possibili di una forma attraverso il corridoio.
Sette anni, 119 pagine, zero simulazioni computerizzate
Il lavoro di Baek è proseguito durante il dottorato all'Università del Michigan e, successivamente, presso il June E. Huh Center for Mathematical Challenges di Seoul. Mentre molte dimostrazioni moderne in geometria e ottimizzazione si affidano al codice, lui ha fatto una scelta radicale: nessuna ottimizzazione numerica, nessuna simulazione, nemmeno software di geometria dinamica.
Invece, si è proposto di trasformare l'enigma del divano in un problema di ottimizzazione rigoroso, in cui tutti i percorsi e le orientazioni possibili del divano potessero, in linea di principio, essere descritti e confrontati solo mediante ragionamento.
Dopo sette anni, il risultato è emerso alla fine del 2024, in un preprint sul repository scientifico arXiv: una dimostrazione di 119 pagine che chiude il problema.
Baek dimostra che la forma di Gerver del 1992 non è semplicemente buona – è matematicamente ottimale. Nessuna forma rigida più grande può attraversare il corridoio a L largo un metro.
Questa affermazione risolve il mistero centrale: la costante del divano in movimento – l'area massima possibile – coincide con il valore di Gerver. Decenni di intuizioni ingegnose, ora sostenute da una dimostrazione completa, dettagliata, realizzata con carta e penna.
Una vittoria della carta e penna nell'era dell'IA
L'approccio di Baek ha attirato l'attenzione per andare controcorrente. In un'epoca dominata da dimostrazioni assistite da macchine e ricerca per forza bruta, ecco un risultato importante ottenuto con mezzi classici.
Il cuore della dimostrazione è una nuova formalizzazione del problema. Baek reinterpreta il movimento del divano come un percorso in uno spazio di configurazione ad alta dimensione: ogni punto codifica sia la posizione del divano che il suo orientamento nel corridoio. In questo spazio, i vincoli di movimento diventano disequazioni, e il compito si trasforma in una questione di ottimizzazione pulita.
Da lì, utilizza disequazioni geometriche e un'analisi attenta dei casi per ridurre le possibilità. Pezzo dopo pezzo, elimina qualsiasi forma che supererebbe il design di Gerver, mantenendo comunque tutti i vincoli di movimento.
Il lavoro è attualmente in revisione presso il prestigioso Annals of Mathematics. Se verrà accettato, entrerà in un piccolo gruppo di articoli fondamentali che hanno chiuso problemi aperti di lunga data con argomenti dettagliati e guidati da concetti, invece che da calcoli computerizzati.
Perché una domanda così "bizzarra" interessa la scienza seria
A prima vista, il problema del divano in movimento sembra capriccioso. Nessuno ha realmente bisogno di un divano ottimalmente grande da far passare in un corridoio. Eppure, domande di questo tipo svolgono un ruolo specifico nella matematica e nell'ingegneria.
Costringono i ricercatori a confrontarsi con i limiti dell'ottimizzazione delle forme sotto vincoli rigidi, un tema con echi nella robotica, nella logistica e persino nell'imaging medico.
| Settore | Connessione con il problema del divano |
|---|---|
| Robotica | Pianificare traiettorie per bracci robotici o droni in spazi ristretti |
| Manifattura | Progettare pezzi che devono essere trasportati in layout industriali con vincoli |
| Architettura | Comprendere le distanze e i passaggi necessari per spostare oggetti grandi negli edifici |
| Grafica computerizzata | Rilevamento delle collisioni e movimento di corpi rigidi in ambienti virtuali |
In tutti questi ambiti emergono gli stessi ingredienti: forme rigide, corridoi stretti e la necessità di muoversi senza collisioni o deformazioni. Il problema "giocattolo" riduce queste questioni al loro scheletro matematico.
Concetti chiave dietro l'enigma, decifrati
Per i non specialisti, alcuni termini aiutano a capire cosa Baek ha realizzato.
- Movimento rigido: il divano può traslare e ruotare, ma non può cambiare forma. Nessun allungamento né compressione.
- Spazio di configurazione: invece di seguire un divano in un corridoio, i matematici seguono un punto in uno spazio astratto che registra tutte le posizioni e gli orientamenti possibili.
- Ottimizzazione: tra tutte le forme e tutti i movimenti validi attraverso il corridoio, l'obiettivo è massimizzare l'area.
Questi concetti compaiono nei software di guida autonoma, nei magazzini automatizzati e persino nei motori dei videogiochi, che devono costantemente decidere se un oggetto in movimento collide con l'ambiente.
Cosa significa questo per i futuri puzzle matematici
Baek ha spesso descritto il suo processo di ricerca come un ciclo di speranza e crollo: un'idea sembra promettente, poi si sgretola, costringendolo a ricostruire dai frammenti. Questa esperienza rispecchia il modo in cui i problemi di lunga durata evolvono attraverso le generazioni.
Con il problema del divano in movimento ora risolto, l'attenzione si sta spostando sulle variazioni. Una deviazione famosa è il "problema dei traslocatori di pianoforti": come spostare una forma più complicata, come un oggetto allungato o un pianoforte non convesso, attraverso un labirinto di ostacoli. Un'altra variante modifica la larghezza del corridoio o permette che la forma sia flessibile, sollevando nuove domande sui compromessi tra rigidità e adattabilità.
C'è anche una lezione più ampia per i giovani ricercatori. La storia del divano in movimento mostra come una domanda semplice, quasi scherzosa, possa portare a nuove tecniche, nuove strutture e, infine, a una risposta definitiva che molti supponevano non sarebbe mai arrivata.
Per chi ama i puzzle, un modo facile per sentire questa difficoltà in prima persona è disegnare il proprio "divano" su carta quadrettata, segnare un corridoio a L largo un metro e provare a immaginare ogni torsione e scivolamento necessari per farlo passare senza sovrapposizioni. Questa destrezza mentale – la necessità di visualizzare forme e movimenti simultaneamente – è esattamente ciò che Baek ha catturato e domato con ragionamento astratto e meticoloso.
