Představte si to: Stěhujete se. Před vámi je úzká chodba zahýbající v pravém úhlu. Víte, že do zatáčky nedostanete všechno. Ale jak velký může být ve skutečnosti ten největší předmět, který touto zatáčkou vejde?

Tohle není jen otravná situace z reálného života. To je pohyblivý gaučový problém (Moving Sofa Problem), rébus, který od 60. let trápil největší matematické mozky světa. Proč by vás na českém internetu mělo zajímat, že ho právě vyřešil 29letý Jihokorejec?

Protože tento zdánlivě jednoduchý problém z geometrie demonstruje, že některé hranice v naší realitě nejsou tak pevné, jak si myslíme. Navíc, techniky, které použil k jeho vyřešení, mohou mít brzy dopad v oblastech, jako je robotika nebo 3D modelování, s nimiž se dnes a denně setkáváte.

Proč se k tomuto „gauči“ vracelo šest desetiletí?

Gaučový problém zní směšně snadně, ale právě v tom je jeho záludnost. Leo Moser ho definoval v roce 1966: Představte si chodbu širokou jednu jednotku (např. jeden metr), která se na konci stočí o 90 stupňů a pokračuje dál se stejnou šířkou. Cílem je najít největší možný 2D tvar (pohovku), který tou zatáčkou projde bez zvedání, ohýbání nebo uvíznutí. Maximální velikost (plocha) je hledaná hodnota, které se říká „konstanta gauče“.

Proč se nepoužily počítače a simulace? Byly použity. Ale simulace říká, co funguje, ne proč by něco většího už fungovat nemohlo.

Problém s intuicí: Intuitivně byste možná zkusili půlkruh. Ten sice projde, ale není největší.
Problém s důkazem: Matematika vyžaduje důkaz, ne odhad. Bylo sice známo, jak velký by gauč mohl být (přibližně 2.2195 čtverečních jednotek), ale nikdo to nedokázal plně potvrdit.
Problém s tvarem: Optimální tvar je extrémně složitý a nesymetrický.

Takže zatímco všichni věděli, jak ten tvar vypadá – složitě zakřivená pohovka s 18 částmi, kterou navrhl profesor Joseph Gerver v roce 1992 – nikdo neměl definitivní důkaz, že to je skutečně ten absolutně největší možný tvar.

Přelom: 119 stran a žádné počítače

Do hry vstoupil Baek Jin-eon, postdoktorand Korejského institutu pro pokročilá studia. V roce 2024 (zpráva se objevila koncem roku) publikoval na arXiv dokument s názvem “The Optimality of Gerver’s Sofa”.

Tím nejpřekvapivějším je způsob, jakým k řešení dospěl. Místo spoléhání se na výpočetní aproximace, které jsou náchylné k chybám, použil Baek čistou symbolickou logiku a analytickou geometrii. Vytvořil zcela nové matematické nástroje, které umožňují řešit optimalizační problémy s tak složitým pohybem.

Můžeme to přirovnat k situaci, kdy byste v Praze nebo Brně potřebovali zaparkovat v nejužším místě naší dlážděné uličky: Nejde jen o to, jak se auto natočí, ale také o tvar, který potřebuje pro optimální manévr. Baekův důkaz ukazuje, že Gerverova pohovka P (o ploše přibližně 2.2195) je maximální.

Baekův přínos není v objevu nového tvaru, ale v tom, že definitivně dokázal, že nic většího už projít nemůže. Tento typ důkazu je v moderní geometrii vzácný a vyžaduje neuvěřitelnou soustředěnost. Studoval ho sedm let.

Co z toho plyne pro vás? (Life Hack)

Možná si říkáte, proč má tento akademický rébus takový ohlas. To proto, že problémy s optimalizací pohybu a omezením jsou neustále přítomné v naší technologii.

Když se dívám na Baekovu práci, vidím jasné paralely s tím, jak se v dnešní době řeší efektivita. Ať už navrhujete software, který musí minimalizovat datový tok, nebo plánujete stěhování v typicky úzkém panelákovém bytě v České republice, vždy se snažíte maximalizovat výsledek pod daným (geometrickým) omezením.

Praktická hodnota: Principy pohybu ve stísněném prostoru (Metoda „Sofa“):

Při skutečném stěhování gauče do úzké chodby platí přesně ty geometrické principy, které Baek potvrzuje. Nejde jen o točitelnou délku, ale o správné načasování rotace.

Nenechte se zmást středem: Mnoho lidí se pokouší udržet střed gauče co nejblíže vnitřnímu rohu. Naopak: Povolte vnějšímu rohu zajet co nejdále k vnější zdi, když začínáte rotovat.
Použijte úhlopříčku efektivně: Ve chvíli, kdy se dostanete do pravého úhlu, musíte využít celou délku úhlopříčky chodby. Zkušený stěhovák začne otáčet dříve a pomalu, aby se vyhnul zaseknutí.
Kouzlo s kobercem: Věřte nebo ne, ale i v tomto abstraktním problému by pomohlo, kdyby „gauč“ mohl po zemi klouzat. Pokud stěhujete v reálu, kluzný koberec nebo speciální podložky pod nohy výrazně sníží tření a umožní vám mikropohyby nezbytné pro správné zatočení.

Baekův důkaz ukazuje, že v každém omezení existuje optimální forma, která ho dokáže překonat. Musíte jen najít ten správný vzorec.

Závěr

Korejský matematik vyřešil rébus, který byl pro vědce jakousi „matematickou hračkou“ po desetiletí. Ale výsledkem jeho práce jsou nové metody, které teď geometrii optimalizace posouvají na novou úroveň.

Je fascinující vidět, že i v digitálním věku stále existují staré problémy, které se dají prolomit pouze čistou silou lidského intelektu, a ne hrubou sílou počítačů.

Jaký geometrický problém vás ve vašem každodenním životě trápí nejvíce – snadno definovatelný, ale těžko řešitelný?