Conjecture du sofa : quel grand canapé passe le virage ?

Intervenant 10:00

Bienvenue pour ce nouveau décryptage, le podcast du magazine Tangente. C'est toujours un vrai plaisir de plonger dans les très fonds de la géométrie aujourd'hui. Alors on va parler d'un truc que quiconque a déjà transpiré à grosses gouttes en essayant de faire passer un meuble récalcitrant dans un couloir étroit connaît bien.

Intervenant 20:17

Ah ouais, le fameux cauchemar du déménagement dans un immeuble sans ascenseur, c'est clair.

Intervenant 10:22

Exactement. Et du coup, on s'est posé cette question. Existe-t-il une forme mathématiquement parfaite pour ça ? Parce que, eh bien, on a exploré une série de publications et deux conjectures géométriques hyper célèbres viennent tout juste de tomber.

Intervenant 20:36

C'est ça. Et ce qui est fascinant, c'est qu'on part vraiment d'une petite frustration du quotidien pour arriver à un niveau de complexité mathématique complètement dingue. En fait, le problème du couloir, il a été formalisé en 1966 par un mathématicien, Léo Mauser. Un virage à angle droit dans un couloir d'un mètre de large.

Intervenant 10:53

Ok, donc si on y va un peu par intuition, je me dis qu'un simple carré d'un mètre sur un mètre, ça passe. Ou alors peut-être un demi-cercle pour que ça pivote plus facilement ?

Intervenant 21:03

Ouais, le carré ça passe et ça te donne une aire de 1. Le demi-disque fait mieux, on arrive à 1,57. Mais en fait, les choses sérieuses ont commencé en 1968 quand John Hammersley a imaginé une forme assez astucieuse avec deux quarts de disque et un rectangle creusé au milieu.

Intervenant 11:19

Ah oui, on gratte un peu d'espace avec la courbe.

Intervenant 21:21

Voilà, là, on fait un bond à 2,207 d'air. Mais la forme la plus folle, c'est Joseph Gervais en 1992 qui l'a proposé. Ça ressemble, tu vois, à un vieux combiné téléphonique.

Intervenant 11:31

Oui, tout à fait.

Intervenant 21:32

C'est fait de trois segments droits et de 15 arcs de courbe.

Intervenant 11:36

Attends, 15 arcs de courbe. C'est une vraie pièce de Tetris ultime, mais tout en rondeur quoi. Et avec ça, on arrive à quel air ?

Intervenant 21:44

On atteint, disons, 2,2195. C'est hyper optimisé.