Moguće Rešenje Zagonetke Iz 'Friends': Baek Dokazuje Optimalnost Gerverove Sofe

Matematička zagonetka poznata kao „moving sofa problem“ mogla bi konačno da dobije rešavanje: Baek Jin-eon, istraživač u Korea Institute for Advanced Study, objavio je preprint u kojem dokazuje da nijedan kruti dvodimenzionalni oblik sa površinom većom od približno 2.2195 kvadratnih jedinica (u skali hodnika širine jedne jedinice) ne može proći kroz pravougli ugao.

Šta je moving sofa problem?

Prvog ga je 1966. postavio Leo Moser. U pitanju je vrlo jednostavno formulisana, ali izuzetno zahtevna optimizaciona geometrijska zagonetka: koji je najveći kruti oblik koji se može klizno pomerati i rotirati kroz L-oblik hodnika konstantne širine (u standardnoj formulaciji širina je 1)? Interpretacija problema postala je poznata široj publici zahvaljujući šali iz epizode serije Friends (1999), gde se pokušava uneti kauč kroz usko stepenište.

Novi doprinos: Baekov rad

Baek Jin-eon je svoj dokaz izložio u 119-straničnom preprintu pod naslovom Optimality of Gerver’s Sofa (objavljenom krajem 2024.). U radu on gradi strogi matematički okvir i pokazuje gornju granicu površine: nijedan oblik који prelazi približno 2.2195 ne može bez kršenja uslova kretanja da prođe kroz pravougli ugao u hodniku širine jedne jedinice. Drugim rečima, Baekov rezultat tvrdi da je Gerverova konstrukcija iz 1992. — do sada najbolji poznati kandidat — optimalna.

Baek (u prevodu): "Ovaj problem nema bogatu istoriju i nije bilo jasno da li iza njega postoji šira teorija. Pokušao sam da ga povežem sa postojećim idejama, formulišem kao optimizacioni problem i razvijem alate prilagođene pitanju."

Zašto je ovo značajno?

Joseph Gerver je 1992. konstruisao složenu zakrivljenu figuru koja uspešno prolazi kroz ugao i ima površinu oko 2.2195. Pre Baekovog rada niko nije rigorozno dokazao da veći oblik ne postoji. Ako Baekov dokaz prođe proces recenzije — na šta autor i urednici naučnih časopisa obraćaju pažnju — to bi zatvorilo dugogodišnju otvorenu matematičku temu: pokazalo bi da Gerverova sofa zapravo daje maksimalnu moguću površinu.

Stanje verifikacije i implikacije

Rad je objavljen kao preprint i trenutno prolazi standardni proces recenzije. Čak i kao preprint, njegovi rezultati su već prepoznati: Scientific American svrstao je ovu vest među deset najvećih matematičkih proboja 2025. godine. Rešenje takvog tipa ima pretežno teorijsko značenje u oblastima geometrije i optimizacije, ali je i snažan primer kako jednostavna pitanja često skrivaju duboku matematiku.

Napomena za čitaoce: Dokle god rad ne prođe potpuni postupak recenzije i verifikacije od strane zajednice, preporučljivo je pratiti dalji razvoj događaja. Ako se dokaz potvrdi, radiće se o važnom i elegantnom zatvaranju više dekada stare matematičke misterije.