Le problème du canapé mobile est une énigme mathématique fascinante qui intrigue chercheurs et amateurs de casse-têtes depuis plus de cinquante ans. Posé en 1966 par Leo Moser, ce problème consiste à déterminer quelles sont la forme et la taille maximales d’un canapé pouvant être déplacé autour d’un coin droit dans un couloir d’une unité de largeur. Récemment, Jineon Baek, mathématicien de l’université Yonsei en Corée, a proposé une preuve de 100 pages pour résoudre cette énigme.
Les règles sont simples, mais les implications sont vastes. Le canapé doit être plat, capable de pivoter dans un coin à angle droit et ne pas dépasser la largeur du couloir. Malgré ces contraintes apparentes, trouver une solution optimale s’est avéré extrêmement difficile. Les mathématiciens ont exploré des formes variées, mais aucun consensus définitif n’a été atteint.
