En gåta från sextiotalets början, till synes oskyldig, har visat sig vara starkare än superdatorer och generationer av matematiker under decennier.
Vad som började som en lekfull pusselbit om en soffa i en smal korridor har vuxit till en milstolpe för ren matematik, buren av en ung forskare som vägrade gömma sig bakom programvara.
Mysteriet med ’soffan’: en enkel fråga med vassa hörn
År 1966 formulerade den österrikisk-kanadensiska matematikern Leo Moser ett problem som du kan förklara för en gymnasieelev på några sekunder. Föreställ dig en L-formad korridor, överallt exakt en meter bred. Vad är den största möjliga plana, stela form du kan vrida runt hörnet utan att lyfta eller böja den?
Det fick snabbt ett smeknamn som satt sig: ”soffproblemet”. Inte för att någon faktiskt ville flytta en soffa, utan för att bilden är så igenkännlig: alla har någon gång fastnat med ett skåp eller en madrass i ett trapphus.
Den enkelheten är förrädisk. I åratal försökte matematiker rita bättre och bättre former. 1968 nådde John Hammersley fram till en form på cirka 2,2074 kvadratmeter. 1992 designade Joseph Gerver en ännu mer invecklad, starkt böjd figur med en area på 2,2195 kvadratmeter.
Den stora frågan förblev: finns det en form som är större än Gervers, som fortfarande kan passera genom L-korridoren?
Simuleringar, datorteckningar och numerisk optimering gav allt stramare approximationer. Men ingen kunde hårt bevisa att Gerver verkligen hade hittat den maximala arean. Problemet gled sakta mot folklore: berömt, fascinerande, men obevisat.
En värnplikt, en idé och sju års envisa
För den sydkoreanske matematikern Baek Jin-eon började det hela under hans militärtjänst, som han genomförde vid ett nationellt institut för matematik. Mellan åtagandena stötte han på soffproblemet i en artikel. Det som träffade honom var inte bara svårigheten, utan framför allt bristen på ett solidt teoretiskt ramverk.
Det fanns ingen klar teori, ingen generell formel, bara former och uppskattningar. En lappverk av insikter istället för en tydlig struktur. Just det vakuumet utlöste Baek.
Han tog problemet med sig in i sin karriär: först under sin doktorandtid vid University of Michigan, senare vid June E. Huh Center for Mathematical Challenges på Korea Institute for Advanced Study. I sju år arbetade han med det, ofta ensam, med papper, blyertspenna och mycket suddgummi.
Inga simuleringar, ingen automatisk optimering, inte ens dynamisk geometriprogramvara: bara formler, resonemang och 119 sidor hantverk.
Sent 2024 dök hans manuskript upp på preprintservern arXiv. Kärnan: en fullständig, logisk bevisföring för att Gervers form faktiskt är optimal. Det finns ingen större stel form som kan manövrera genom den L-formade korridoren.
Hur gör man ett pussel till ett seriöst optimeringsproblem?
Styrkan i Baeks arbete ligger mindre i en spektakulär ny form och mer i det sätt han omformulerar frågan på. Han behandlar tankeövningen som ett strikt optimeringsproblem: du vill maximera en area under en rad geometriska och rörelsebegränsningar.
Från bild till stram matematik
Där tidigare forskare huvudsakligen tittade på former, tittade Baek på rörelse. Hur kan soffans mittpunkt röra sig genom korridoren? Vilka rotationer är möjliga vid vilken tidpunkt? Så översätter han det informella pusslet till ett system av olikheter och funktioner.
- Han beskriver alla möjliga positioner av formen under vridningen;
- Han fastställer matematiska villkor för ”kontaktpunkter” med väggarna;
- Han använder dessa villkor för att begränsa den maximala arean.
Från detta system rullar det ut att varje kandidatsoffa som når maximum måste ha samma kontaktmönster med väggarna som Gervers form. Därmed faller alternativen automatiskt bort: de skulle någonstans lämna för mycket eller för lite utrymme.
Den beryktade figuren av Gerver förvandlas i Baeks arbete från en stark gissning till den enda möjliga vinnaren.
Varför datorer inte räcker här
Datorer kan vara starka för att söka igenom former, men de levererar typiskt approximationer. En simulering som säger ”detta verkar vara det bästa hittills” är ännu inte ett bevis. Så snart du tillåter oändligt många möjliga former och rotationer, fastnar numeriska metoder i sina egna begränsningar.
Baeks tillvägagångssätt visar vad du får när du formaliserar problemet till kärnan: ett ja/nej-svar. Inte ”cirka 2,2195 m²”, utan ”det finns inga former med en större area”. Den sortens skärpa förblir sällsynt inom tillämpad geometri.
En 31-åring som polerar den rena matematikens ära
Baek är nu 31 år och arbetar vidare inom kombinatorisk geometri och optimering. Han ser sitt resultat inte som en slutpunkt, utan som början på nya frågor. I intervjuer beskriver han forskningsprocessen som ett växlande mellan hopp och sammanbrott, som om du konstant vaknar från en dröm och ändå fortsätter.
Hans artikel bedöms för närvarande av den prestigefyllda tidskriften Annals of Mathematics. Om den publiceras där får hans bevis den ultimata stämpeln från det internationella samfundet. Samtidigt visar arbetet något många forskare känner igen: djupa genombrott uppstår ofta från långsamt, koncentrerat tankearbete, långt från stora dataset och neurala nätverk.
| År | Forskare | Approximation av maximal soffarea (m²) |
|---|---|---|
| 1968 | John Hammersley | ≈ 2,2074 |
| 1992 | Joseph Gerver | ≈ 2,2195 |
| 2024 | Baek Jin-eon | Bevis för att Gerver är optimal |
Varför detta är mer än en kuriositet för matematiker
För icke-matematiker verkar soffproblemet kanske som ett lyxproblem. Ändå berör det frågor som är förvånansvärt nära. De som arbetar inom robotteknik, logistik eller chipdesign möter rutter genom trånga utrymmen, svängmanövrar och optimal utnyttjande av knappa areor.
Problemet lär ut något om ”gränser för rörelsefrihet”. I praktiken spelar det till exempel in vid:
- autonoma robotar som navigerar genom smala lagergångar;
- design av rullstolsramper och svängcirklar på sjukhus;
- packning av otympliga objekt i containrar eller lastbilar.
Baeks bevis självt kommer inte direkt att landa i programvara för robotarmar. Men det sätt han gjöt ett svårt rörelseproblem i strikt matematik erbjuder en tankeram. Det visar hur du omvandlar intuitiva ”det passar precis”-resonemang till bevisade gränser.
En inbjudan att pussla själv
Om du får lust att själv tackla den här sortens gåtor behöver du inte genast börja med 119 sidor bevis. Det finns enklare varianter du kan testa hemma med kartong eller ett ritprogram. Till exempel: vad är den största rektangeln du kan få genom en L-korridor med bredd 1? Eller vad förändras om korridoren inte är rak, utan bildar en trubbig vinkel?
Genom att skissa sådana varianter märker du direkt hur subtil interaktionen mellan form och rörelse blir. En liten avrundning vid ett hörn kan frigöra extra utrymme. En asymmetrisk form kan vrida bättre än en ”vacker” symmetrisk. Just den sortens oväntade vändningar gör att soffproblemet har fasthållit generationer av matematiker – tills en ung koreansk forskare bestämde sig för att inte längre acceptera det.
