Théorème de Cauchy : pourquoi un polyèdre convexe est-il rigide ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente, un salut très chaleureux à toutes les personnes à l'écoute. Aujourd'hui, on plonge notre public dans une histoire mathématique assez incroyable.

Intervenant 20:12

Ah oui, l'histoire d'une démonstration tellement brillante, signée par un vrai génie de son temps, qu'elle a traversé un siècle avant qu'on y trouve une faille.

Intervenant 10:21

Exactement. Le but de cette exploration, c'est de comprendre comment le fameux théorème de rigidité d'Augustin Louis Cauchy, lu en 1812, fait le pont entre l'antiquité grecque et les mathématiques modernes.

Intervenant 20:33

Tout en cachant une sacrée péripétie académique, on va le voir.

Intervenant 10:37

Alors pour poser les bases, ce résultat sur les polyèdres, il dit quoi concrètement ?

Intervenant 20:41

En fait, le théorème affirme une chose qui semble presque intuitive. Deux polyèdres convexes sont égaux s'ils ont le même nombre de faces et que ces faces sont égales chacune à chacune.

Intervenant 10:52

D'accord. Alors, pour que notre public visualise bien, si on construit un polyèdre avec des barres métalliques super rigides pour les arêtes, tant que la forme fait une bosse vers l'extérieur, donc qu'elle reste convexe, la structure devient totalement indéformable.

Intervenant 21:09

Voilà, c'est exactement ça.

Intervenant 11:10

On ne peut pas modifier les angles sans briser la convexité ou sans devoir tordre les barres ?

Intervenant 21:16

C'est le cœur du mécanisme. La convexité, c'est ce qui verrouille la structure entière. Et dès qu'on enlève cette condition, la géométrie devient beaucoup plus souple.

Intervenant 11:26

Plus souple comment ? Les faces finissent par bouger et se traverser comme des fantômes ?

Intervenant 21:30

Ouais, dans certains modèles théoriques du XIXe siècle, on observe ça. Ce qu'on appelle des auto-intersections. Mais la recherche a fait encore plus fort au XXe siècle avec des objets réels, sans aucune intersection.

Intervenant 31:41

Ah, genre des formes qui bougent en vrai ?

Intervenant 21:44

Oui, prenez la sphère de Connelly, ou la très célèbre conjecture du soufflet.

Intervenant 11:49

La conjecture du soufflet, ça sonne presque poétique.

Intervenant 21:53

Totalement. Imaginez une forme géométrique en trois dimensions qui est capable de se plier et de changer de volume de façon continue.

Intervenant 12:01

Un peu comme le soufflet en cuir d'une cheminée qui respire.

Intervenant 22:04

C'est l'idée, mais tout en gardant des faces parfaitement rigides. Donc Cauchy avait fixé une limite de rigidité que les chercheurs ont mis des décennies à contourner avec ses soufflets.

Intervenant 12:13

C'est fascinant. Mais il faut dire que Cauchy, il partait pas de nulle part non plus. En fouillant dans nos documents, on voit qu'il dialoguait directement avec l'Antiquité.

Intervenant 22:21

Complètement. Il fait un énorme clin d'œil à Euclide. Chez ce savant grec, on trouvait déjà deux définitions, les numéros 9 et 10 du livre XI, qui disaient grosso modo la même chose.

Intervenant 12:33

Des définitions vieilles de 2000 ans donc.

Intervenant 22:35

Cauchy, avec une grande politesse mais beaucoup d'ambition, prend ces évidences et les transforme en véritables théorèmes prouvés.

Intervenant 32:43

C'est un sacré geste académique. Mais je me fais l'avocat du diable deux secondes. Est-ce que ce coup de maître a été unanime tout de suite ?

Intervenant 22:51

Eh bien non, figurez-vous, il y a eu de la tension. L'académicien Étienne-Louis Malus doutait fortement de la validité de ces nouvelles démonstrations.

Intervenant 33:00

Ah bon ? Pourtant, Cauchy a quand même été soutenu par des pointures de l'époque, comme Carnot, Légendre ou Biote, ce qui lui a d'ailleurs ouvert les portes de la société philomatique. Je me disais que Malus était peut-être juste un peu conservateur face aux jeunes prodiges.

Intervenant 23:15

Oui, on l'a cru pendant longtemps, ouais. Sauf que l'histoire donne finalement raison à Malus sur un point crucial.

Intervenant 33:20

Attendez,

Intervenant 23:21

un rebondissement ! Oui. Dans les années 1920, le mathématicien allemand Ernst Steinitz s'est replongé dans la preuve originale et il a trouvé une véritable erreur.

Intervenant 33:32

Une erreur qui est restée là sans que personne ne branche pendant un siècle.

Intervenant 23:36

C'est ça. Le problème venait d'une hypothèse cachée. Cauchy avait supposé, sans la prouver du tout, une certaine propriété sur la façon dont les signeux changent autour des sommets du polyèdre.

Intervenant 33:47

Une petite subtilité géométrique qu'il jugeait évidente, j'imagine.

Intervenant 23:51

Exactement, mais qui nécessitait une démonstration super formelle.

Intervenant 33:55

C'est fou qu'un raccourci mental passe inaperçu aussi longtemps. Mais du coup, comment Steinitz a réparé ça ?

Intervenant 24:00

Il a comblé le vide avec des arguments de topologie. C'est une branche qui étudie les déformations spatiales, mais qui n'était tout simplement pas développée au temps de Cauchy.

Intervenant 34:10

D'accord. Et malgré cette faille, le théorème garde son statut ?

Intervenant 24:13

Oui, tout à fait. Hans Reudenthal, un immense spécialiste de la topologie, considère toujours ce théorème comme la plus grande contribution géométrique de Cauchy.

Intervenant 34:23

L'idée de génie était bien là, elle attendait juste les outils du siècle suivant pour être blindée. Ce parcours d'Euclide à Cauchy, puis à Sténitz, ça montre vraiment à quel point les mathématiques sont une matière vivante.

Intervenant 24:35

C'est une longue chaîne humaine, une perpétuelle correction à travers les âges.

Intervenant 34:39

Ce qui amène une pensée assez vertigineuse pour clore notre exploration. Si une faille technique dans une preuve fondamentale signée par un esprit aussi brillant que Cauchy a pu dormir tranquillement au vu et au su de tous pendant plus d'un siècle, eh bien combien de preuves mathématiques solidement acceptées aujourd'hui cachent peut-être encore des angles morts invisibles, attendant patiemment le regard neuf de leur futur correcteur.