29letý jihokorejský matematik rozluští geometrickou hádanku nevyřešenou od roku 1966

americký časopis Scientific American nedávno jmenoval práci Dr. Baeka Jin-eona mezi 10 světovými matematickými průlomy roku 2025, což zdůrazňuje výsledek, o který se matematici hnali od 60. let 20. století.

Dr. Baek, nyní 31, je výzkumným pracovníkem v June E Huh Center for Mathematical Challenges v Korea Institute for Advanced Study (KIAS). Průlom dokončil, když mu bylo 29, The Straits Times hlášeno.

Hádanka známá jako „problém pohyblivé pohovky“ pokládá klamavě jednoduchou otázku: Jaký je největší možný tvar, který se může pohybovat kolem pravoúhlého rohu v chodbě ve tvaru L, která je široká 1 metr?

Tento problém, který poprvé představil v roce 1966 rakousko-kanadský matematik Leo Moser, se stal slavným, protože jej lze pochopit bez pokročilé matematiky. Objevila se v učebnicích a fascinovala generace badatelů.

V průběhu let matematici navrhovali stále efektivnější tvary a postupně zužovali škálu možných řešení. V roce 1968 představil britský matematik John Hammersley tvar o ploše asi 2,2074 m2. V roce 1992 profesor Rutgers University Joseph Gerver navrhl složitější zakřivený obrazec o ploše zhruba 2,2195 m2.

Gerverův návrh se stal vedoucím kandidátem, ale nikdo nedokázal, že větší tvar je nemožný.

To byla mezera, kterou se doktor Baek rozhodl uzavřít.

Po sedmi letech práce vydal koncem roku 2024 na předtiskový server 119stránkový papír arXivtvrdí, že Gerverova postava představuje přísnou horní hranici. Na rozdíl od dřívějších pokusů, které se do značné míry spoléhaly na počítačově podporované odhady, použil Dr. Baek ke stanovení výsledku logické uvažování.

Při popisu procesu řekl, že matematický výzkum často zahrnuje vytváření nápadů, jejich zahození a zahájení znovu.

„Neustále se držíte naděje, pak ji zlomíte a posouváte se vpřed tím, že sbíráte nápady z popela,“ řekl v rozhovoru, který zveřejnil KIAS.

„Matematický výzkum je pro mě opakováním snění a probouzení,“ dodal.

Článek je nyní posuzován v Annals of Mathematics, jednom z nejselektivnějších časopisů v oboru.

Dr. Baek řekl, že ho problém oslovil, protože postrádal jasný teoretický rámec.

„Nebylo ani jasné, zda je za tím teorie,“ řekl a dodal, že pracoval na propojení hádanky s existujícími nápady a přeformuloval ji jako optimalizační problém.

Dr. Baek získal doktorát na University of Michigan a předtím pracoval v Národním institutu pro matematické vědy. Problém vyřešil, když pracoval jako postdoktorský výzkumník na univerzitě Yonsei.