Mathématicien à l'Université Yonsei, en Corée, prétend avoir résolu le problème du canapé en mouvement. Jineon Baek a affiché une preuve de 100 + page du problème sur le arxiv serveur de préimprimée.
La plupart des gens qui ont déplacé leur lieu de résidence ont rencontré le problème du canapé en mouvement – cela revient lorsqu'il tente de transporter un canapé dans un coin. Quel est le plus grand canapé qui peut être transporté dans un coin donné sans rester coincé? Ce problème a été posé mathématiquement par le mathématicien Leo Moser en 1966, et jusqu'à présent, il n'est pas resté non résolu.
Les pensées initiales de Moser ont été centrées sur la possibilité de développer une preuve montrant comment les mathématiques pouvaient être utilisées pour résoudre un tel problème en utilisant une forme donnée d'un avion car il a été déplacé dans un coin droit d'un espace vide (comme un couloir) qui était une unité de largeur.
Dans son travail, Baek a choisi le canapé Gerver comme forme de démonstration. Le canapé Gerver est une construction mathématique développée par Joseph Gerver, professeur à l'Université Rutgers, en 1992. Il s'agit essentiellement d'un cuboïde avec un front en U, un dos plat avec des bords arrondis et des bras plats et frontaux.
Après d'abord, définissant clairement le problème, Baek applique des outils mathématiques pour se déplacer par étape par étape avant d'arriver finalement à la réponse: pour une salle de 1 unité, la zone maximale d'un canapé de Gerver ne peut être que de 2,2195 unités. Dans le cadre de la preuve, Baek a également défini de justesse la forme du canapé Gerver qu'il utilisait. Ainsi, différentes interprétations de la forme du canapé entraîneraient différentes réponses.
Parce que la forme du canapé est clairement définie au départ, la réponse que Baek a trouvée pourrait éventuellement être utilisée dans le monde réel par des gens qui tentent de déplacer un canapé dans un coin – bien qu'il devrait se conformer à l'interprétation d'un canapé de Gerver en tant que canapé de Gerver comme défini dans la preuve.
Comme pour toutes ces preuves mathématiques, Baek devra subir un examen minutieux par d'autres mathématiciens pour s'assurer que sa preuve est correcte et se traduit en fait par la solution optimale à un problème donné.
