En gåde fra tresserne, tilsyneladende uskyldig, viser sig at have været stærkere end supercomputere og generationer af matematikere i årtier.
Det, der startede som en legende puslespil om en sofa i en smal gang, er vokset til en milepæl for ren matematik, båret af én ung forsker, der nægtede at gemme sig bag software.
Gåden om ‘sofaen’: et simpelt spørgsmål med skarpe kanter
I 1966 formulerede den østrigsk-canadiske matematiker Leo Moser et problem, som du kan forklare en gymnasieelev på få sekunder. Forestil dig en L-formet gang, overalt præcis én meter bred. Hvad er den størst mulige flade, stive form, du kan dreje rundt om hjørnet uden at løfte eller fordreje den?
Det fik hurtigt et øgenavn, der hænger ved: “sofa-problemet”. Ikke fordi nogen rent faktisk ville flytte en sofa, men fordi billedet er så genkendeligt: alle har engang siddet fast med et skab eller en madras i et trappehus.
Den enkelhed er forræderisk. I årevis forsøgte matematikere at tegne bedre og bedre former. I 1968 nåede John Hammersley frem til en form på cirka 2,2074 kvadratmeter. I 1992 designede Joseph Gerver en endnu mere indviklet, stærkt buet figur med et areal på 2,2195 kvadratmeter.
Det store spørgsmål forblev: findes der en form, der er større end Gervers, som stadig kan passe gennem L-gangen?
Simuleringer, computertegninger og numerisk optimering gav stadigt strammere tilnærmelser. Men ingen kunne hårdt bevise, at Gerver virkelig havde fundet det maksimale areal. Problemet gled langsomt mod folklore: berømt, fascinerende, men ubevist.
En værnepligt, en idé og syv års stædighed
For den sydkoreanske matematiker Baek Jin-eon begyndte det hele under hans militærtjeneste, som han udførte ved et nationalt institut for matematik. Mellem forpligtelserne stødte han på sofa-problemet i en artikel. Det, der ramte ham, var ikke kun vanskeligheden, men især manglen på en solid teoretisk ramme.
Der var ingen klar teori, ingen generel formel, kun former og estimater. Et lappetæppe af indsigter i stedet for en klar struktur. Netop det vakuum triggede Baek.
Han tog problemet med sig ind i sin karriere: først under sin doktorgrad ved University of Michigan, senere ved June E. Huh Center for Mathematical Challenges på Korea Institute for Advanced Study. I syv år arbejdede han på det, ofte alene, med papir, blyant og meget viskelæder.
Ingen simuleringer, ingen automatisk optimering, ikke engang dynamisk geometrisoftware: kun formler, ræsonnementer og 119 siders håndværk.
Sidst i 2024 fremkom hans manuskript på preprint-serveren arXiv. Kernen: en fuldstændig, logisk bevisførelse for, at Gervers form faktisk er optimal. Der findes ingen større stiv form, der kan manøvrere gennem den L-formede gang.
Hvordan gør man en puslespil til et seriøst optimeringsproblem?
Styrken i Baeks arbejde ligger mindre i en spektakulær ny form og mere i den måde, han omformulerer spørgsmålet på. Han behandler tankeøvelsen som et strengt optimeringsproblem: du vil maksimere et areal under en række geometriske og bevægelsesbegrænsninger.
Fra billede til stram matematik
Hvor tidligere forskere hovedsageligt kiggede på former, kiggede Baek på bevægelse. Hvordan kan sofaens midtpunkt bevæge sig gennem gangen? Hvilke rotationer er mulige på hvilket tidspunkt? Sådan oversætter han den uformelle puslespil til et system af uligheder og funktioner.
- Han beskriver alle mulige positioner af formen under drejningen;
- Han fastlægger matematiske betingelser for “kontaktpunkter” med væggene;
- Han bruger disse betingelser til at begrænse det maksimale areal.
Fra dette system ruller det ud, at enhver kandidat-sofa, der rammer maksimum, skal have de samme kontaktmønstre med væggene som Gervers form. Dermed falder alternativerne automatisk fra: de ville et eller andet sted efterlade for meget eller for lidt plads.
Den berygtede figur af Gerver ændres i Baeks arbejde fra et stærkt gæt til den eneste mulige vinder.
Hvorfor computere ikke er nok her
Computere kan være stærke til at gennemsøge former, men de leverer typisk tilnærmelser. En simulering, der siger “dette ser ud til at være det bedste indtil videre”, er endnu ikke et bevis. Så snart du tillader uendeligt mange mulige former og rotationer, løber numeriske metoder fast i deres egne begrænsninger.
Baeks tilgang viser, hvad du får, når du formaliserer problemet til kernen: et ja/nej-svar. Ikke “cirka 2,2195 m²”, men “der findes ingen former med et større areal”. Den slags skarphed forbliver sjælden i anvendt geometri.
En 31-årig, der polerer den rene matematiks ære
Baek er nu 31 år og arbejder videre inden for kombinatorisk geometri og optimering. Han ser sit resultat ikke som et slutpunkt, men som begyndelsen på nye spørgsmål. I interviews beskriver han forskningsprocessen som en vekslen mellem håb og sammenbrud, som om du konstant vågner fra en drøm og alligevel fortsætter.
Hans artikel bliver i øjeblikket bedømt af det prestigefyldte tidsskrift Annals of Mathematics. Hvis det udkommer der, får hans bevis det ultimative stempel fra det internationale samfund. Samtidig viser arbejdet noget, mange forskere genkender: dybe gennembrud opstår ofte fra langsomt, koncentreret tankearbejde, langt fra store datasæt og neurale netværk.
| År | Forsker | Tilnærmelse af maksimalt sofa-areal (m²) |
|---|---|---|
| 1968 | John Hammersley | ≈ 2,2074 |
| 1992 | Joseph Gerver | ≈ 2,2195 |
| 2024 | Baek Jin-eon | Bevis for at Gerver er optimal |
Hvorfor dette er mere end en kuriositet for matematikere
For ikke-matematikere virker sofa-problemet måske som et luksusproblem. Alligevel berører det spørgsmål, der er overraskende tæt på. Dem, der arbejder inden for robotteknologi, logistik eller chipdesign, møder ruter gennem trange rum, drejemanøvrer og optimal udnyttelse af knappe arealer.
Problemet lærer noget om “grænser for bevægelsesfrihed”. I praksis spiller det for eksempel ind ved:
- autonome robotter, der navigerer gennem smalle lagergange;
- design af kørestolsramper og drejningscirkler på hospitaler;
- pakning af uhåndterlige objekter i containere eller lastbiler.
Baeks bevis selv vil ikke direkte lande i software til robotarme. Men den måde, han støbte et vanskeligt bevægelsesproblem i streng matematik, tilbyder en tankeramme. Det viser, hvordan du omsætter intuitive “det passer lige akkurat”-ræsonnementer til påviselige grænser.
En invitation til selv at pusle
Hvis du får lyst til selv at tackle denne slags gåder, behøver du ikke straks at begynde med 119 siders beviser. Der findes enklere varianter, du kan teste derhjemme med pap eller et tegneprogram. For eksempel: hvad er det største rektangel, du kan få gennem en L-gang med bredde 1? Eller hvad ændrer sig, hvis gangen ikke er ret, men danner en stump vinkel?
Ved at skitsere sådanne varianter mærker du direkte, hvor subtil interaktionen mellem form og bevægelse bliver. En lille afrunding ved et hjørne kan frigøre ekstra plads. En asymmetrisk form kan dreje bedre end en “smuk” symmetrisk. Netop den slags uventede vendinger gør, at sofa-problemet har fastholdt generationer af matematikere – indtil en ung koreansk forsker besluttede sig for ikke længere at acceptere det.
