Cauchy-Schwarz : comment des sommes ont-elles mené aux vecteurs ?

Intervenant 10:00

Imaginez inventer un outil mathématique hyper puissant, genre un truc qui est utilisé aujourd'hui dans l'intelligence artificielle, la physique quantique, l'analyse de

Intervenant 20:09

données. Un outil incontournable quoi.

Intervenant 10:12

C'est ça. Et puis paf, être complètement effacé de l'histoire internationale, juste parce qu'on a oublié de justifier ses calculs.

Intervenant 20:19

C'est un peu le cauchemar de tout scientifique.

Intervenant 10:21

Absolument. Eh bien, bienvenue dans le podcast du magazine Tangente et je suis ravie d'accueillir tous ceux qui nous font le plaisir d'écouter cette exploration. Aujourd'hui, on plonge dans le scandale et les intuitions géniales qui se cachent derrière la célèbre inégalité de Cauchy-Schwarz.

Intervenant 20:37

Ah, la fameuse !

Intervenant 10:38

Oui. Notre mission pour cette session, c'est vraiment de décortiquer comment cette formule a mis près d'un siècle à prendre sa forme définitive.

Intervenant 20:47

Franchement, c'est une épopée absolument fascinante. Parce qu'on a souvent tendance à croire qu'une formule mathématique, ça sort du cerveau d'un génie, parfaite, achevée en un claquement de doigts.

Intervenant 10:57

Alors que pas du tout.

Intervenant 20:58

Bah non, la réalité historique est beaucoup plus chaotique. Et surtout, beaucoup plus humaine.

Intervenant 11:03

C'est un point super important. En fait, on pourrait presque comparer les théorèmes mathématiques à des plats de très haute gastronomie.

Intervenant 21:10

J'aime bien cette idée.

Intervenant 11:11

Bah oui, quand on sert l'inégalité de Cauchy-Schwarz à l'université, on admire l'assiette parfaitement dressée. C'est immaculé, la logique est irréprochable. Mais aujourd'hui, le but, c'est de pousser la porte des cuisines pour notre audience.

Intervenant 21:25

On va aller voir en coulisses quoi.

Intervenant 11:26

Exactement, voir comment plusieurs générations de chefs ont bataillé avec les ingrédients, comment certains ont carrément trébuché, et comment la recette a dû évoluer face à de nouveaux défis.

Intervenant 21:37

D'autant plus que, et c'est là qu'est le vrai twist, le nom même du plat, Cauchy-Schwarz, occulte une injustice historique majeure.

Intervenant 11:45

Ah oui, le fameux scandale.

Intervenant 21:47

C'est ça. L'histoire de cette inégalité, elle est parsemée de sceaux logiques incroyables, de lacunes monumentales et surtout d'un mathématicien russe brillant qui a littéralement été rayé des manuels occidentaux.

Intervenant 12:00

C'est fou ! Voilà exactement le genre de mystère qui mérite qu'on s'y attarde. Du coup, reprenons depuis le début, là où la première étincelle s'allume. On est en France, en 1821.

Intervenant 22:11

Le décor est planté à l'école polytechnique, c'est le tout début du XIXe siècle. Et là, le mathématicien Augustin-Louis Cauchy est en train de révolutionner la rigueur mathématique.

Intervenant 12:22

Rien que ça.

Intervenant 22:23

Oui, il publie une note issue de son cours qui s'intitule « analyse géométrique ». Et c'est dans un chapitre très spécifique, sur les formules liées aux signes plus grand que ou plus petit que, qu'il va poser la première pierre.

Intervenant 12:35

Prenons juste un instant pour contextualiser pour ceux qui nous écoutent. Avant Cauchy, ce type d'inégalité, c'était pas vraiment un sujet d'étude en soi, si ?

Intervenant 22:43

Pas du tout. C'était plutôt une petite astuce de brouillon, un raccourci qu'on utilisait pour passer d'une ligne de calcul à une autre sans trop se poser de questions.

Intervenant 12:51

Donc un truc super banal.

Intervenant 22:52

Exactement. Et c'est là que réside la grande prouesse de Cauchy. Il prend cet outil de l'ombre et paf, il en fait un théorème à part entière.

Intervenant 13:00

Et concrètement, il dit quoi ce théorème ?

Intervenant 23:02

Eh bien, il démontre formellement que si on prend deux listes de nombres, la somme de leur multiplication terme à terme sera toujours inférieure ou au maximum égale au produit des racines de la somme de leurs carrés.

Intervenant 13:15

Attendez, là il faut qu'on décortique un peu la mécanique parce que dit comme ça, ça peut sembler un peu abstrait.

Intervenant 23:20

Oui c'est vrai, c'est un peu dense.

Intervenant 13:22

Imaginons deux listes très simples. Une liste représente des quantités de fruits qu'on achète et l'autre liste représente les prix de ces fruits. D'accord, je visualise. Cauchy nous dit en gros que si on multiplie chaque quantité par son prix et qu'on additionne tout ça, le résultat sera toujours contraint, limité par une autre opération.

Intervenant 23:41

Une opération qui consisterait à mettre d'abord toutes les quantités et tous les prix au carré, c'est bien ça ?

Intervenant 13:47

Voilà, mais comment il arrive à prouver ça de manière indiscutable en 1821 ?

Intervenant 23:52

Sa méthode, elle est d'une rigueur implacable, basée sur l'algèbre pur. Son idée de génie, c'est de partir d'une évidence basique, un nombre au carré est toujours positif.

Intervenant 14:03

D'accord.

Intervenant 24:04

Donc, il prend la quantité qu'il veut évaluer et il lui ajoute intelligemment une autre somme gigantesque constituée uniquement de termes au carré.

Intervenant 14:11

Ah, je vois. Mathématiquement, ajouter des carrés, c'est forcément ajouter du positif. Donc on fait inévitablement grossir le résultat total.

Intervenant 24:20

Absolument. Et par un jeu d'équilibrage algébrique, cette nouvelle quantité gonflée retombe parfaitement sur l'expression qu'il cherchait à atteindre de l'autre côté de son équation.

Intervenant 14:29

C'est super malin. Tous les termes s'annulent de manière spectaculaire, c'est ça l'idée ?

Intervenant 24:33

C'est ça. Il ne reste plus qu'à extraire les racines carrées pour retomber sur l'inégalité finale. C'est un puzzle parfait, franchement.

Intervenant 14:40

Le mécanisme est superbe, mais il y a un détail historique dans cette publication de 1821 qui m'a fait sourire.

Intervenant 24:47

Lequel ?

Intervenant 14:48

Quand on regarde le texte original de Cauchy, on réalise qu'il n'utilise pas les fameuses petites barres verticales pour désigner la valeur absolue.

Intervenant 24:56

Ah oui, c'est vrai. Ça n'existait tout simplement pas à l'époque.

Intervenant 14:59

C'est ouf. Il est obligé d'écrire l'expression entière val.num pour valeur numérique.

Intervenant 25:05

Oui, la notation moderne n'était pas encore standardisée. Ça rappelle à notre audience à quel point le langage même des mathématiques est une technologie humaine en perpétuelle évolution.

Intervenant 15:14

Complètement. Mais du coup, une question se pose. Si Cauchy a posé une base aussi solide avec une démonstration totalement indiscutable, l'histoire aurait dû s'arrêter là, non ?

Intervenant 25:24

On pourrait le croire, oui.

Intervenant 15:25

Bah oui, pourquoi on a d'autres noms attachés à cette formule aujourd'hui ? Pourquoi c'est pas juste resté l'inégalité de Cauchy-Buniac ?

Intervenant 25:33

Et bien parce que Cauchy a travaillé dans un cadre très précis. Le monde discret. Le monde du fini, quoi. Ses listes de nombres ont un début et une fin.

Intervenant 15:40

D'accord, c'est très carré.

Intervenant 25:41

Voilà. Mais les mathématiques du XIXe siècle sont en pleine ébullition. Les chercheurs s'aventurent de plus en plus profondément dans le domaine du continu, le domaine de l'infini.