Preuves sans mots : voir les maths, est-ce démontrer ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. C'est un immense plaisir d'accueillir tous les auditeurs aujourd'hui. Et pour commencer cette plongée, il faut imaginer une situation vraiment insolite.

Intervenant 20:11

J'adore les situations insolites, dis-moi

Intervenant 10:13

tout. Supposons qu'il faille prouver une vérité universelle, genre une loi fondamentale de la physique ou de la nature, à une forme de vie extraterrestre.

Intervenant 20:23

D'accord, le scénario de premier contact classique quoi.

Intervenant 10:26

Voilà. Et on ne partage aucune langue, aucun alphabet, aucun symbole mathématique en commun avec eux. Comment est-ce qu'on transmet cette vérité pure ?

Intervenant 20:34

Et bien la réponse la plus élégante, c'est de la dessiner.

Intervenant 10:38

Exactement. Et c'est vraiment l'essence même de notre sujet du jour. Prouver sans rien dire. C'est un paradoxe historique qui est captivant. Napoléon lui-même affirmait qu'un bon croquis vaut mieux qu'un long discours.

Intervenant 20:50

Ouais, mais paradoxalement, la tradition mathématique a très longtemps considéré les dessins comme une forme de tricherie intellectuelle en fait.

Intervenant 10:59

Totalement. C'était vu comme tabou, non ?

Intervenant 21:01

C'est un héritage très lourd, effectivement. Pendant des siècles, la communauté scientifique a carrément banni les illustrations des traités qu'on disait sérieux.

Intervenant 11:09

Mais pourquoi ? C'est tellement plus clair avec un schéma.

Intervenant 21:12

L'idée dominante, c'était que le dessin trompe l'œil, qu'il introduit des cas particuliers fallacieux et surtout qu'il pollue la pureté de la logique formelle. Tu sais, la rigueur pure des équations et des symboles.

Intervenant 11:21

Ah ouais, la fameuse tour d'ivoire de l'algèbre pur.

Intervenant 21:24

C'est ça. Mais aujourd'hui, il y a une véritable révolution en cours. Les mathématiciens modernes redécouvrent qu'une image ne se contente pas de juste vulgariser. En fait, elle structure la pensée.

Intervenant 11:35

Donc on assiste à la revanche du visuel,

Intervenant 21:37

quoi. Absolument. Mais attention, il y a une nuance cruciale à apporter d'entrée de jeu. Montrer, ce n'est pas démontrer. Un croquis ne remplacera jamais totalement l'ossature logique d'une preuve analytique.

Intervenant 11:49

D'accord, donc on ne jette pas les équations à la poubelle.

Intervenant 21:52

Non, bien sûr que non. Par contre, le dessin trace la voie. Il agit comme une carte qui permet au cerveau de trouver le chemin direct vers la preuve. C'est le moment eureka.

Intervenant 12:03

Ok, décortiquons tout ça. Parce que pour vraiment comprendre comment une simple forme géométrique peut remplacer des pages entières de calcul, il faut revenir aux racines.

Intervenant 22:12

Aux origines même de la géométrie.

Intervenant 12:13

Exactement. Avant même l'invention de l'algèbre telle qu'on la connaît, l'esprit humain mesurait le monde avec ses yeux. Prenons le mythique théorème de Pythagore.

Intervenant 22:22

Ah, la terreur ou le grand classique des années de collège, ça dépend des gens.

Intervenant 12:25

C'est clair. Eh bien, figure-toi qu'on a retrouvé un manuscrit chinois datant de plus de 200 ans avant notre ère qui prouve ce théorème. Et devine quoi ? Sans une seule équation.

Intervenant 22:36

Zéro variable, zéro lettre, juste une image.

Intervenant 12:40

Juste une image, oui. Et la mécanique visuelle est d'une élégance complètement folle. Et cette mécanique mérite vraiment qu'on s'y arrête, car elle ne relève pas de la magie, mais d'une manipulation spatiale très concrète. Imagine, on prend un très grand carré.

Intervenant 22:53

Un grand carré rouge, disons.

Intervenant 12:55

Voilà, un grand carré. Et à l'intérieur, dans les quatre coins, on vient déposer quatre triangles rectangles, qui sont strictement identiques.

Intervenant 23:03

D'accord, donc en plaçant ces quatre triangles dans les coins du grand carré, on crée un espace vide au centre.

Intervenant 13:08

Exactement, et cet espace vide prend la forme d'un carré qui se trouve être le carré de l'hypoténuse de nos triangles. Ah, je vois. Donc, le grand espace vide central correspond au terme AO carré de notre fameuse équation.

Intervenant 23:23

C'est exactement ça. Maintenant, la beauté absolue de la preuve chinoise, c'est le mouvement. Toujours dans ce même grand carré initial de base, on fait simplement glisser ces quatre mêmes triangles.

Intervenant 13:35

On les bouge comme des pièces de puzzle.

Intervenant 23:37

Ouais. On les regroupe différemment en les collant pour former deux petits rectangles à l'intérieur.

Intervenant 13:43

Et en changeant ces triangles de place, on a fatalement modifié la forme de l'espace vide qui reste.

Intervenant 23:48

Tu as tout compris. Il ne forme plus un seul grand carré incliné au milieu, mais deux carrés plus petits et bien distincts.

Intervenant 13:55

Et ces deux nouveaux carrés vides correspondent précisément aux carrés des deux autres côtés des triangles, les fameux B au carré et C au carré.

Intervenant 24:03

C'est ça ! Puisque l'air total du grand carré extérieur n'a absolument pas changé et que les quatre triangles qu'on a déplacés sont exactement les mêmes,

Intervenant 14:12

alors l'espace vide restant est obligatoirement équivalent.

Intervenant 24:15

Indéniablement, le grand carré vide du début est mathématiquement égal à la somme des deux petits carrés vides de la fin.

Intervenant 14:23

Mais c'est prodigieux. L'égalité a² égale b² plus c² devient un fait absolu que notre œil vient juste de valider, sans aucun calcul.

Intervenant 24:33

On utilise le vide pour prouver une vérité. C'est brillant.

Intervenant 14:36

Et cette manière de manipuler l'espace, ça a traversé toute l'histoire. Il y a un autre cas géométrique qui me fascine, c'est le théorème de

Intervenant 24:43

Viviani. Ah oui, 1649, un classique de la géométrie pure.

Intervenant 14:47

C'est ça. C'est un concept qui dit que si l'on prend n'importe quel point à l'intérieur d'un triangle équilatéral, la somme de ses distances vers les trois côtés sera toujours égale à la hauteur totale du triangle.

Intervenant 24:58

Dit comme ça, à haute voix, ça demande un effort de visualisation assez intense.

Intervenant 15:02

Complètement. Mais la preuve sans mots utilise simplement un code couleur. C'est magique.

Intervenant 25:06

Ce qui est fascinant ici, c'est l'économie de moyens. L'évolution a optimisé notre cerveau pour évaluer super rapidement si les objets physiques s'emboîtent.

Intervenant 15:14

Pour des raisons de survie ou de construction, j'imagine ?

Intervenant 25:16

Exactement, pour l'organisation spatiale. Et la preuve de Viviani, elle pirate cette capacité cognitive brute. On trace nos trois distances depuis le point vers les bords du triangle.

Intervenant 15:25

Et on les colorie en rouge, en bleu et en vert.

Intervenant 25:27

C'est ça. Et c'est là que ça ressemble carrément à un puzzle Tangram géant ou un jeu de Tetris.

Intervenant 15:31

Ouais, par un simple jeu de pliage virtuel ou de déplacement de ces petits segments colorés dans la figure, on les fait pivoter pour les aligner parfaitement à la verticale.

Intervenant 25:43

Le long de la ligne de hauteur du grand triangle, oui.

Intervenant 15:45

Et ils s'empilent avec une précision millimétrique quoi. Le segment rouge repose sur le bleu qui repose sur le vert et leur sommet touche exactement la pointe du triangle.

Intervenant 25:55

Il n'y a plus aucun doute possible. Les trois morceaux additionnés forment la hauteur. La barrière du langage formel est complètement pulvérisée par l'image.

Intervenant 16:05

Le cerveau n'a même pas besoin de décoder une syntaxe ou de lire des lettres.

Intervenant 26:09

Non, la validation passe directement de la rétine au cortex visuel. C'est instantané.

Intervenant 16:13

C'est bluffant. Mais soyons un peu prudents quand même. Prouver des propriétés géométriques avec des dessins géométriques, bon, c'est logique, ce sont des formes qui expliquent des formes.

Intervenant 26:24

Oui, on reste dans le même domaine, finalement.

Intervenant 16:27

Mais l'enjeu véritable, la grande rupture conceptuelle dont on parlait, c'est quand on utilise ces formes pour résoudre des problèmes de calcul pur.

Intervenant 26:35

Ce qu'on appelle l'arithmétisation de la géométrie.

Intervenant 16:38

Voilà. Et c'est là que je deviens un peu sceptique, je t'avoue.

Intervenant 26:41

Ah bon ? Pourquoi ?

Intervenant 16:43

Autant les aires et les longueurs, c'est super naturel pour un croquis, mais l'algèbre pur et dur, les équations trigonométriques qui font transpirer des générations d'étudiants…