Közel 60 éve megoldatlan matematikai problémát fejtett meg egy dél-koreai kutató

Egy 31 éves dél-koreai matematikus tett pontot az egyik legrégebbi, sokáig megoldhatatlannak hitt geometriai probléma végére. Baek Jin-eon eredményét a Scientific American a 2025-ös év legnagyobb matematikai áttörései közé sorolta.

A „moving sofa problem”, vagyis a mozgó kanapé probléma egy látszólag egyszerű kérdést tesz fel: mekkora lehet az a lehető legnagyobb alakzat, amely felemelés nélkül képes befordulni egy derékszögű kanyarban egy L alakú, egységnyi szélességű folyosón?

A feladványt Leo Moser kanadai matematikus vetette fel még 1966-ban. Bár a probléma megértéséhez nincs szükség magas szintű matematikára, a bizonyítása évtizedeken át kifogott a kutatókon.

Gerver kanapéja sokáig verhetetlennek tűnt

A kutatók az évek során egyre összetettebb alakzatokat javasoltak. 1992-ben Joseph Gerver bemutatta az úgynevezett Gerver-kanapét, amely több ívből álló formájával akkoriban a legnagyobb ismert területet érte el.

Ez az alakzat hosszú időre a legesélyesebb megoldássá vált, ám senki sem tudta bizonyítani, hogy ennél nagyobb forma már nem férhet át a folyosón. Emiatt a probléma továbbra is nyitott maradt, és sok kutató számítógépes szimulációkkal próbálta szűkíteni a lehetséges megoldások körét.

Jineon Baek

Hét év munka, több mint száz oldal bizonyítás

A fordulatot Baek Jin-eon, a Korea Institute for Advanced Study (KIAS) June E. Huh Matematikai Kihívások Központjának kutatója hozta el, számolt be róla a Korea JoongAng Daily. Hét évnyi munka után, 2024 végén egy száz oldalt meghaladó tanulmányt tett közzé, amelyben bebizonyította: Gerver kanapéjánál nagyobb területű alakzat nem képes áthaladni a folyosón, bármilyen módon is próbálják mozgatni.

Míg a korábbi kutatások nagyrészt számítógépes próbálkozásokra épültek, Baek elméleti bizonyítást alkalmazott. A kanapé alakját és mozgását matematikai keretbe foglalta, majd optimalizációs módszerekkel igazolta, hogy Gerver megoldása eléri a probléma által megengedett felső határt.

Rangos szakmai elismerés előtt

A tanulmányt Baek benyújtotta az Annals of Mathematics című folyóirathoz, amely a matematikai tudományterület egyik legnagyobb presztízsű szaklapja. A cikk jelenleg szakmai bírálat alatt áll.

Baek tanulmányát a Scientific American a „2025 tíz legnagyobb matematikai áttörése” közé sorolta, ami ritka elismerésnek számít egy ennyire elméleti jellegű kutatás esetében.

 

Hozzászólások

Pukli István: „A szöveges értékelés önmagában nem oldja meg az osztályozás problémáját”

Christopher Nolan Csillagok között című filmjében Cooper egy iskolai beszélgetés során szembesül azzal, milyen abszurd következtetésekre juthatunk, ha egyetlen adattal próbálunk leírni valami összetettet. Az iskolában mégis nap mint nap ezt tesszük. Egy számot rendelünk a gyerek teljesítményéhez, majd úgy kezeljük, mintha az a tudásáról is teljes képet adna. Az ötös jó tanulót, a kettes gyengét jelent. A bizonyítvány lezárja a vitát. Ritkán kérdezzük meg, mit mond valójában az osztályzat, és mit takar el. Vélemény

Lannert Judit a jövő évi költségvetés részleteiről: a béremelések mellett iskolafelújításokat is terveznek

Korszerű tanulási tereket, a pedagógusok és az oktatást segítő dolgozók bérezésének javítását, az egyetemi bérkülönbségek csökkentését, valamint az ifjúságpolitikára fordított keret megduplázását is ígéri Lannert Judit. A 2027-es költségvetésben az oktatási egyenlőtlenségek mérséklésére és a diákok jóllétének javítására helyeznék a hangsúlyt.