Wiskundige vindt de best verhuisbare vorm voor een bank

In dit artikel:

Een Zuid-Koreaanse wiskundige, Jineon Baek van de Yonsei-universiteit, heeft recentelijk het zogenaamde 'sofaprobleem' opgelost, dat al bijna zestig jaar de gemoederen onder wiskundigen bezighoudt. Dit vraagstuk draait om de vraag wat de grootste tweedimensionale bankvorm is die door een 90 graden hoekige gang kan worden verplaatst. Baek heeft bewezen dat de hoefijzervormige bank, eerder ontwikkeld door Joseph Gerver in 1992, de grootste is die kan worden verplaatst.

Baek begon zeven jaar geleden met zijn onderzoek en ontwikkelde een nieuw wiskundig concept dat het vraagstuk inzichtelijker maakte. Nadat hij beargumenteerde dat de grootste bank moet voldoen aan bepaalde geometrische eigenschappen, concludeerde hij dat Gerver's ontwerp de absolute limiet is. Gerver, nu 75 jaar oud, waardeert Baeks inspanningen als een waardevolle aanvulling op zijn eigen werk en is blij dat zijn probleem eindelijk definitief is opgelost.

Er is echter nog een belangrijke stap te nemen: Baeks bewijs moet worden gevalideerd door andere wiskundigen voordat het als definitief wordt erkend. Baek blijft optimistisch, maar is zich bewust van de mogelijkheid van fouten in zijn complexe werk.