Quand les solutions d’une équation deviennent une forme

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Je suis vraiment ravie de vous accueillir pour cette nouvelle exploration. Bonjour

Intervenant 20:06

tout le monde, très heureux d'être là comme d'habitude.

Intervenant 10:09

Alors aujourd'hui, on va parler d'un truc qui semble d'abord super abstrait, mais qui est fascinant. Tu sais, en mathématiques, on entend souvent dire qu'il est physiquement et même techniquement impossible de calculer la trajectoire exacte de chaque goutte d'eau dans un océan en mouvement.

Intervenant 20:24

Ah bah oui, la quantité d'interactions non linéaires est juste, enfin, beaucoup trop immense.

Intervenant 10:30

C'est ça. Mais l'exploration d'aujourd'hui, qui est tirée d'un article vraiment passionnant sur les équations différentielles, eh bien ça met en lumière une sorte de, disons, de faille dans la matrice.

Intervenant 20:39

Une faille mathématique,

Intervenant 10:41

ouais. En gros, c'est une méthode qui permet de comprendre la forme exacte de toutes les vagues possibles de cet océan, sans jamais avoir besoin de calculer la trajectoire d'une seule de ces gouttes d'eau.

Intervenant 20:52

C'est un changement de paradigme assez radical en fait. L'approche qu'on va examiner repose sur une rigueur mathématique absolue, ça c'est

Intervenant 10:58

sûr.

Intervenant 20:59

Mais ça demande avant tout un gros effort de visualisation. Ça démontre que face à un mur de calculs infinis, s'acharner, c'est pas la bonne solution. Faut

Intervenant 11:07

pas foncer dans le mur

Intervenant 21:08

quoi. Exactement. Parfois, se décaler d'un pas pour changer d'outil analytique, genre en passant de l'analyse pure à l'algèbre géométrique, c'est la stratégie la plus puissante pour contourner un problème qui semble complètement insoluble.

Intervenant 11:19

Bon, décortiquons tout ça. L'article part d'une image très forte. Celle du mathématicien géomètre qui est décrit comme, je cite, « un botaniste du jardin des mathématiques ».

Intervenant 21:31

C'est une belle

Intervenant 11:32

image. Ouais, j'aime beaucoup. En fait, le botaniste classe les feuilles selon leurs nervures. Et le géomètre, lui, il classe les formes selon leurs propriétés intrinsèques. Mais pour dépasser la simple observation visuelle d'une courbe ou d'une surface, faut un langage formel.

Intervenant 21:47

Oui, il faut passer par l'algèbre.

Intervenant 11:49

C'est ça. On sait que l'algèbre permet de traduire ses formes en équations. Une droite ou un cercle sur un plan cartésien, ça a des formules bien précises.

Intervenant 21:58

Typiquement, une droite, c'est y égale ax plus b. Et un cercle de rayon 1, c'est x² plus y² moins 1 égale 0.

Intervenant 12:07

Voilà. Mais ce qui m'a vraiment frappé dans le texte, c'est cette règle absolue imposée par la géométrie algébrique. En fait, on ne doit utiliser exclusivement que des fonctions polynomiales.

Intervenant 22:20

Exactement. C'est vraiment la frontière qui définit tout ce champ de recherche.

Intervenant 12:25

Mais juste pour être sûre, une fonction polynomiale, concrètement, c'est quoi ?

Intervenant 22:30

En gros, c'est une combinaison d'addition, de soustraction, de multiplication et de puissance entière. C'est tout.

Intervenant 12:37

D'accord, c'est tout. Mais pourquoi s'imposer une telle restriction en fait ?

Intervenant 22:42

C'est une très bonne question.

Intervenant 12:43

Parce que si on s'interdit d'utiliser des fonctions trigonométriques, genre les sinus ou les cosinus, ou même des logarithmes, on se prive d'outils hyper puissants pour décrire des courbes, non ?

Intervenant 22:54

Oui, tout à fait.

Intervenant 12:55

D'ailleurs, l'article fait remarquer l'ironie du truc. Avec cette règle super stricte, c'est carrément impossible de décrire un objet aussi simple qu'un triangle avec une seule équation polynomiale classique.

Intervenant 23:06

À cause des angles vifs du triangle, ouais. C'est impossible.

Intervenant 13:09

C'est fou. Du coup, je me dis que si les mathématiciens acceptent cette contrainte de fou, c'est parce qu'ils obtiennent une grosse garantie en retour. Est-ce que c'est une question de prédictibilité ?

Intervenant 23:19

Si l'on relie cela à une perspective plus large, c'est tout à fait ça. C'est une question de rigidité structurelle.

Intervenant 13:25

Ah, ok.

Intervenant 23:27

Par exemple, prends une fonction comme le sinus d'une variable qui égale 0. Ça, ça possède une infinité de solutions. Ça ondule indéfiniment.

Intervenant 13:34

Ouais, la fameuse vague infinie.

Intervenant 23:36

Prêmement contraint. Le théorème fondamental de l'algèbre nous garantit qu'un polynôme d'un certain degré possède un nombre précis et fini de racines complexes.

Intervenant 13:44

Donc on sait exactement où on va.

Intervenant 23:46

Voilà. En se limitant au polynôme, on fait le choix délibéré de s'appuyer sur des siècles de théorèmes hyper puissants.

Intervenant 13:52

Je vois le truc.

Intervenant 23:53

On accepte de ne pas pouvoir dessiner un simple triangle en une seule équation pour gagner en échange la capacité de manipuler, factoriser et déduire les propriétés d'objets multidimensionnels infiniment plus complexes. Et tout ça avec une certitude absolue.

Intervenant 14:05

C'est là que ça devient vraiment intéressant. Parce qu'on pourrait croire que cette limitation aux additions et aux multiplications, ça produit une géométrie froide, carrée, purement abstraite.

Intervenant 24:15

On pourrait croire ça, ouais.

Intervenant 14:16

Mais quand on regarde ce qui se passe lorsqu'on augmente le nombre de variables de ces polynômes, c'est carrément l'inverse qui se produit.

Intervenant 24:24

Ah bah oui. Le passage à plusieurs variables, c'est le point de bascule.

Intervenant 14:28

Dis-moi en plus.

Intervenant 24:29

Si l'on prend un polynôme à une seule variable, disons juste x, on cherche des points sur une ligne. Donc, l'espace des solutions est fini, discret. Ce sont juste quelques points d'intersection. D'accord. Mais dès que l'on introduit une deuxième variable, par exemple x et y, là l'espace des solutions s'ouvre.

Intervenant 14:49

On obtient un continuum en fait. L'équation lie les deux variables et la solution n'est plus un point isolé mais une courbe continue comme une ligne.

Intervenant 24:58

Absolument.