Ik las dat het wiskundige probleem van Gerver's sofa mogelijk een oplossing heeft. (https://www.livescience.com/physics-mat ... a-solution). Het sofaprobleem, geïntroduceerd door Leo Moser in 1966, vraagt naar de grootste tweedimensionale vorm die door een eenheidsbrede L-vormige gang kan worden verplaatst. In 1992 stelde Joseph Gerver een complexe vorm voor met een oppervlakte van ongeveer 2,2195 eenheden, wat lange tijd de beste benadering was.
Recentelijk, op 2 december 2024, heeft Jineon Baek, een postdoctoraal onderzoeker aan de Yonsei University in Zuid-Korea, een oplossing gepresenteerd die bevestigt dat de maximale oppervlakte inderdaad 2,2195 eenheden is. Baek's bewijs, dat meer dan 100 pagina's aan wiskundige bewijzen omvat, suggereert dat Gerver's vorm optimaal is. Dit resultaat is echter nog niet peer-reviewed en wacht op bevestiging door de wiskundige gemeenschap.
Als Baek's bevindingen standhouden, betekent dit dat het decennialange sofaprobleem eindelijk is opgelost, met Gerver's vorm als de grootste mogelijke sofa die door een eenheidsbrede hoek kan bewegen.
Wat zijn de mogelijke implicaties voor meetkundige toepassingen in bijvoorbeeld robotica en bewegingsplannning?