Un casse-tête mathématique vieux de 60 ans résolu : la taille optimale du canapé

Un casse-tête mathématique vieux de 60 ans – le problème du canapé mobile – vient enfin d’être résolu ! Dans les années 1960, les mathématiciens ont posé une question géométrique apparemment simple : quelle est la plus grande surface d’un canapé pouvant traverser un couloir d’une largeur unitaire ? Récemment, Jineon Baek, chercheur postdoctoral à l’université Yonsei de Séoul, a prouvé dans un article de 119 pages que la forme de canapé proposée par Joseph Gerver en 1992 est la solution optimale, avec une surface d’environ 2,2195. La preuve de Baek est remarquable car elle ne s’appuie pas sur des ordinateurs, mais utilise des techniques mathématiques élégantes, offrant de nouvelles approches pour résoudre d’autres problèmes d’optimisation. Le résultat illustre également que même les problèmes d’optimisation les plus simples peuvent avoir des réponses étonnamment complexes.