Inégalités de A à Y : à quoi servent-elles ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on entame une exploration qui franchement a de grandes chances de renverser complètement la perception qu'on peut avoir du monde des mathématiques.

Intervenant 20:10

Ah ça c'est sûr, on va un peu casser un mythe là.

Intervenant 10:13

Totalement, parce que depuis l'école primaire, on nous conditionne à traquer une seule et unique chose, le fameux signe égal.

Intervenant 20:21

Ouais, on veut une solution exacte.

Intervenant 10:23

C'est ça, on veut que l'équation tombe juste, sans aucune décimale qui dépasse. Mais l'ironie fascinante de notre plongée d'aujourd'hui, c'est que la véritable puissance des mathématiques, celle qui permet vraiment de décrire notre réalité physique, elle repose très souvent sur ce qui est profondément inégal.

Intervenant 20:40

C'est vraiment le grand paradoxe de cette discipline. On entretient souvent cette espèce d'illusion que les maths c'est la science exclusive de l'exactitude parfaite.

Intervenant 10:49

Bah oui, les chiffres ronds, les vérités absolues quoi.

Intervenant 20:52

Voilà. Pourtant, dès qu'on s'attaque à des problèmes véritablement complexes, l'égalité pure devient une chimère. C'est une anomalie qui est presque impossible à observer dans la nature. En fait, se contenter d'une approximation encadrée…

Intervenant 11:06

Donc, définir qu'une valeur est strictement plus petite ou plus grande qu'une autre ?

Intervenant 21:11

Exactement. Eh bien, ça devient la clé maîtresse pour comprendre le monde.

Intervenant 11:15

Et pour décortiquer ce renversement de perspective, on s'appuie aujourd'hui sur un article foisonnant qui s'intitule « Un petit florilège » et c'est une compilation impressionnante des inégalités les plus puissantes, les plus célèbres et surtout les plus structurantes de l'histoire des sciences.

Intervenant 21:29

Ouais, parce qu'il faut bien comprendre que ce ne sont pas de simples curiosités pour théoriciens isolés dans leur bureau, ce sont des outils monumentaux.

Intervenant 11:36

Loin de là, ouais. C'est vraiment le cœur de notre émission. Comprendre pourquoi une barrière mathématique, une limite infranchissable, offre paradoxalement beaucoup plus de liberté et d'information qu'un chiffre exact.

Intervenant 21:48

C'est fou quand on y pense. Ce sont ces fameux encadrements qui ont permis par exemple aux astronomes de l'Antiquité de comprendre l'architecture du système solaire. Et ça, des siècles avant Copernic.

Intervenant 11:59

Et c'est pas fini, parce que ce sont eux aussi qui sécurisent les modèles financiers depuis le XVIIe siècle.

Intervenant 22:04

C'est clair. Et on verra même que ce sont ces mêmes inégalités qui ont fourni le socle géométrique indispensable à Albert Einstein pour formuler sa théorie de la relativité générale. Rien que

Intervenant 12:14

ça. Juste vertigineux. Mais avant de parler de la courbure de l'espace-temps ou des confins de l'univers, je propose qu'on commence par ce qu'on peut voir, ce qu'on peut toucher et arpenter, disons.

Intervenant 22:23

L'espace physique du quotidien.

Intervenant 12:25

Voilà, la base de la géométrie classique.

Intervenant 22:27

D'ailleurs, l'article place sur le trône celle qu'il appelle la reine des inégalités.

Intervenant 12:32

L'inégalité triangulaire.

Intervenant 22:34

C'est littéralement la fondation de notre rapport à l'espace. En fait, elle est formalisée vers l'an 300 avant notre ère dans les célèbres éléments d'Euclide.

Intervenant 12:42

Les fameux éléments, oui.

Intervenant 22:43

Et le concept est d'une pureté absolue. Si tu places trois points dans l'espace, la distance directe entre le premier et le troisième point sera toujours obligatoirement inférieure ou égale à la somme des détours par le deuxième point.

Intervenant 12:57

C'est implacable.

Intervenant 22:58

Totalement. Et c'est grâce à cette règle que la notion même de distance peut exister. Sans elle, l'espace n'a plus aucune cohérence géométrique.

Intervenant 13:07

Et ce qui rend ce théorème si puissant, je trouve, c'est son évidence intuitive. Prenons l'exemple d'un vaste parc public. Tu vois, un parc traversé par des allées goudronnées qui forment des angles droits parfaits.

Intervenant 23:20

Ouais, le truc très à la française, très carré.

Intervenant 13:23

Exactement. Qu'est-ce qui se passe quand des piétons veulent aller d'une entrée à la sortie opposée en diagonale ? Presque personne ne va suivre sagement l'aller jusqu'au coin pour bifurquer à 90 degrés.

Intervenant 23:34

Ah bah non, l'instinct pousse tout le monde à couper à travers la pelouse.

Intervenant 13:37

Ah bah oui. Au bout de quelques semaines, on voit clairement un chemin de terre se creuser au milieu de l'herbe. Eh bien, c'est l'inégalité triangulaire dans la vraie vie. Le cerveau humain sait pertinemment que la ligne droite est le trajet le plus court.

Intervenant 23:50

C'est un excellent exemple.

Intervenant 13:51

Mais ce qui me questionne, c'est comment un constat aussi rudimentaire a pu engendrer toute la géométrie moderne ?

Intervenant 24:00

La subtilité, elle n'est pas dans le constat lui-même en fait, mais dans sa systématisation. C'est en posant cette règle comme une loi inébranlable de l'univers que les mathématiciens ont pu extrapoler. Par exemple, ça a mené très tôt à l'inégalité isopérimétrique.

Intervenant 14:14

Ah oui, celles qui remontent au IXe siècle avant notre ère.

Intervenant 24:17

C'est ça. Et elle, elle met en compétition le périmètre d'une forme et la surface qu'elle parvient à emprisonner. En gros, la formule démontre qu'une longueur de clôture donnée ne pourra jamais au grand jamais enfermer plus d'espace qu'une configuration bien précise.

Intervenant 14:32

Et ça, ça me rappelle tout de suite le mythe fondateur de Carthage, le fameux problème de la reine Didon.

Intervenant 24:37

Ah, la fameuse peau de bœuf.

Intervenant 14:39

Ouais, la légende raconte qu'on lui avait promis autant de terre qu'elle pourrait en entourer avec une seule peau de bœuf. Donc la ruse, c'est qu'elle a découpé la peau en lanières.

Intervenant 24:50

En lanières extrêmement fines.

Intervenant 14:52

Voilà, très fines pour faire une corde immense. Et du coup, elle a pu entourer une colline entière.

Intervenant 24:58

Et la question mathématique sous-jacente là-dedans, c'est de savoir quelle forme donner à cette corde pour maximiser le territoire capturé. L'inégalité isopérimétrique, elle prouve que le cadre d'égalité, le sommet absolu de l'efficacité spatiale, c'est le cercle parfait.

Intervenant 15:14

Donc n'importe quelle autre forme géométrique va enfermer une surface plus petite pour la même longueur de corde.

Intervenant 25:20

Exact. Le cercle est imbattable. Et on retrouve cette même idée d'idéal inaccessible avec l'inégalité de l'heure, formulée bien plus tard au XVIIIe siècle. Elle prouve que dans n'importe quel triangle, le rayon du cercle qui l'englobe sera toujours au minimum deux fois plus grand que le rayon du cercle dessiné à l'intérieur.

Intervenant 15:41

Et l'égalité pure ne survient que dans un seul cas précis, c'est ça ?

Intervenant 25:45

Le triangle équilatéral.

Intervenant 15:47

Absolument. C'est le seul cas où ça tombe juste.

Intervenant 25:49

C'est fascinant parce que ça suggère vraiment que l'égalité mathématique parfaite, c'est une sorte d'anomalie esthétique. Le cercle parfait ou le triangle équilatéral, ce sont des exceptions rarissimes dans la nature.

Intervenant 16:02

L'inégalité, la distorsion, l'asymétrie, c'est ça la norme du monde réel. Et d'ailleurs, le texte évoque aussi l'inégalité de Weizenbach qui lie l'air d'un triangle à la somme des carrés de ses côtés. Et tout ça en s'appuyant sur la formule antique de Héron d'Alexandrie. C'est tout un héritage qui s'empile pour contraindre les formes physiques.

Intervenant 26:22

Ouais, et cet héritage terrestre, il va rapidement servir de tremplin pour mesurer l'inaccessible. Parce qu'une fois que les règles de l'espace terrestre sont sécurisées par ces garde-fous, qu'est-ce qu'on fait ? Eh ben, on lève les yeux vers le ciel.

Intervenant 16:35

On s'attaque au cosmos, voilà.

Intervenant 26:36

Voilà. Et là, le défi change de nature. On ne peut plus tirer des cordes sur le sol pour mesurer des champs. Il faut mesurer des angles. Et c'est comme ça que naît la trigonométrie.

Intervenant 16:46

Et le passage de l'article sur l'astronomie, c'est une pépite absolue. On y découvre l'inégalité d'Aristarque de Samos, un savant grec de l'Antiquité. Le document détaille comment il a utilisé des encadrements impliquant des sinus et des tangentes.

Intervenant 27:01

Tout à fait.

Intervenant 17:01

Mais ce qui est spectaculaire là-dedans, ce n'est pas l'équation en elle-même. C'est ce qu'elle a permis de prouver.

Intervenant 27:07

C'est tout l'enjeu des encadrements. Harry Stark a formulé une chaîne d'inégalités qui prouve que le rapport entre deux angles est toujours coincé, pris en sandwich, entre le rapport de leur sinus et le rapport de leur tangente. Et Camille Jordan, bien plus tard, proposera une version très visuelle de ce principe. Il montre que la courbe ondulante de la fonction sinus Pour les petites valeurs, elle est mathématiquement prisonnière entre deux droites oubliques. C'est comme une rampe invisible dont la courbe ne peut jamais s'échapper.

Intervenant 17:40

Mais attends, il faut qu'on m'explique. Comment on fait le saut entre une courbe coincée entre deux droites, aussi élégante soit-elle, et l'organisation de tout le système solaire ? Comment un astronome avec de simples papyrus, 17 siècles avant les travaux de Copernic, a-t-il pu déduire que la Terre tournait autour du Soleil et non l'inverse ? Et ça sans le moindre télescope.

Intervenant 28:01

C'est ça qui est génial. C'est parce que l'inégalité vient combler le vide laissé par l'absence d'instruments précis. Harry Stark s'intéressait aux phases de la Lune et plus particulièrement au moment de la demi-lune exacte.

Intervenant 18:13

Ok, le premier ou le dernier quartier.

Intervenant 28:15

C'est ça. À cet instant précis, la Terre, la Lune et le Soleil forment un gigantesque triangle rectangle dans l'espace. Son but, c'était de mesurer l'angle entre la Lune et le Soleil vu depuis la Terre. S'il avait eu l'angle exact, un calcul trigonométrique de base lui aurait donné la distance exacte du Soleil.

Intervenant 18:35

Sauf qu'à l'œil nu, mesurer cet angle, c'est mission impossible. Le Soleil éblouit, l'atmosphère brouille tout.

Intervenant 28:40

Exactement. Il ne pouvait absolument pas obtenir le fameux signe égal. Mais, et c'est là son coup de génie, il pouvait garantir un plus grand que. Il a estimé que l'angle était très proche de 90°, disons autour de 87°. En appliquant son inégalité sur les encadrements de sinus dont on parlait, il n'a pas trouvé la distance parfaite, mais il a prouvé de manière irréfutable une limite basse. Le Soleil devait être au moins 18 à 20 fois plus éloigné de nous que la

Intervenant 19:11

Lune.

Intervenant 29:12

Et donc, par simple proportionnalité, il a prouvé que le Soleil était d'une taille colossale par rapport à la Terre.

Intervenant 19:19

Et là, la logique purement mécanique prend le relais. C'est complètement irrationnel d'imaginer un corps gigantesque orbiter autour d'une poussière de roche. Le petit doit forcément tourner autour du grand. C'est magistral. Une simple borne inférieure, un plancher mathématique a suffi à pulvériser le géocentrisme.

Intervenant 29:37

C'est vraiment le triomphe de la déduction sur la mesure directe. Et cette logique de la borne garantie, figure-toi qu'elle va s'exporter dans un domaine beaucoup plus trivial mais tout aussi vital pour le développement humain.

Intervenant 19:49

Le commerce, l'accumulation des richesses et l'étude des taux de croissance. L'algèbre de la vie réelle en somme.

Intervenant 29:55

C'est ça.

Intervenant 19:56

Là, on fait un bond dans le temps jusqu'en 1689 avec le mathématicien suisse Jacques Bernoulli. Il publie une inégalité qui répond à un problème d'une grande modernité. Le calcul des intérêts composés.

Intervenant 210:09

L'argent qui fait de l'argent.

Intervenant 110:10

Exactement. Le principe est simple. Si on prend une base de richesse et qu'on lui applique une petite croissance répétée un grand nombre de fois, l'inégalité de Bernoulli nous donne un raccourci foudroyant pour en estimer le résultat minimum.

Intervenant 210:23

La mécanique de cette inégalité est redoutable d'efficacité. Elle stipule qu'au lieu de calculer péniblement la multiplication d'un taux de croissance par lui-même des dizaines de fois ce que donnent des puissances astronomiques hyper difficiles à manipuler à la main sans ordinateur, on peut simplement multiplier ce taux par le nombre d'années.

Intervenant 110:42

Et ça donne un encadrement sûr.

Intervenant 210:43

Oui, le résultat réel de la croissance complexe sera toujours supérieur ou égal à ce raccourci très simple. Mais ce qui fascine les mathématiciens ici, ce n'est pas seulement l'application bancaire ou financière. C'est la méthode de preuve qui a été utilisée, le fameux raisonnement par récurrence.

Intervenant 111:00

Ah, le principe de récurrence. C'est un peu la bête noire des étudiants en maths, c'est un nom. Mais l'idée de base est pourtant très ancrée dans le réel. Comment on pourrait vulgariser ça sans la trahir ?

Intervenant 211:11

L'image classique et honnêtement la plus efficace, c'est celle d'une file infinie de dominos. Comment prouver qu'une infinité de dominos va s'effondrer sans avoir à les vérifier un par un ?

Intervenant 111:21

C'est vrai que tester l'infini, ça prendrait un peu de temps.

Intervenant 211:23

Un peu, ouais. Donc le raisonnement par récurrence, il se fait en deux étapes. D'abord, on s'assure qu'on peut pousser le tout premier domino. C'est ce qu'on appelle l'initialisation. On vérifie que l'inégalité fonctionne pour la valeur la plus petite, comme le chiffre 1 ou 2.

Intervenant 111:41

Donc on s'assure que le premier coup part bien.

Intervenant 211:43

Voilà. Et ensuite, la deuxième étape, c'est l'hérédité. On prend un domino au hasard, n'importe où dans la file, et on prouve logiquement que si ce domino tombe, sa chute garantit mathématiquement la chute de celui qui est juste derrière lui.

Intervenant 111:57

Et donc, si ces deux conditions sont remplies, on vient de prouver que la règle s'applique jusqu'à l'infini sans avoir besoin de tester tous les nombres de l'univers.

Intervenant 212:05

C'est exactement ça. Et c'est ce qui a permis de sceller la validité de la formule de Bernoulli pour toutes les puissances.

Intervenant 112:12

C'est une garantie absolue. Pour un financier de l'époque, c'est vraiment l'équivalent d'un filet de sécurité inébranlable. Plutôt que de chercher à connaître au centime près le rendement de son investissement sur 30 ans, il obtient instantanément le plancher, la valeur minimale en dessous de laquelle il ne descendra jamais.

Intervenant 212:30

On troque l'illusion de l'exactitude absolue contre une certitude sécurisée en fait.

Intervenant 112:35

C'est beau. Et ce besoin de hiérarchiser le chaos, de mettre de l'ordre, on le retrouve dans d'autres théorèmes fondamentaux abordés par le texte, comme l'inégalité arithmético-géométrique.

Intervenant 212:46

Ah oui, la fameuse IAG. Elle, elle instaure une loi stricte. La moyenne géométrique d'un ensemble de données ne pourra jamais, jamais dépasser leur moyenne arithmétique classique.

Intervenant 112:56

Et dans cette même volonté d'ordonner le réel, on croise aussi l'inégalité de Chebyshev. Là, il s'agit d'une règle d'algèbre pure qui permet de prévoir le comportement de deux séries de nombres selon qu'elles sont triées dans le même ordre croissant ou dans un ordre opposé. C'est vraiment un outil qui crée de la prévisibilité dans des ensembles de données complètement disparates.

Intervenant 213:17

Mais on voit bien avec ces outils comment ils limitent les incertitudes sur des données fixes. Seulement, la grande révolution des sciences, c'est l'étude du mouvement, des variations continues, des choses qui évoluent à chaque fraction de seconde. Et là, on quitte l'algèbre classique pour entrer dans l'arène de l'analyse mathématique.

Intervenant 113:35

Et c'est là qu'on rencontre ce que l'article décrit comme les véritables poids lourds.

Intervenant 213:39

À ce que l'analyse mathématique, c'est le langage du changement. Et la porte d'entrée de ce monde, c'est l'inégalité des accroissements finis. Elle prend racine avec le théorème de Rolle à la fin du XVIIe siècle, puis elle est vraiment sublimée par Augustin Louis Cauchy vers 1823.

Intervenant 113:55

D'accord, mais concrètement, ça dit quoi ? Parce que le jargon des accroissements finis, ça peut faire peur.

Intervenant 214:01

En fait, le concept fondamental, c'est de lier le comportement global d'un phénomène à sa capacité de variation instantanée, ce qu'on appelle la dérivée. En clair, cette inégalité affirme que la variation totale d'une courbe, entre un point de départ et un point d'arrivée, est strictement plafonnée par la pente la plus raide qu'elle puisse atteindre sur ce

Intervenant 114:22

parcours. Pour sortir de l'abstraction des courbes et des dérivées, je propose un exemple très pragmatique. Imaginons un véhicule. Une voiture qui circule sur une autoroute parfaitement rectiligne entre deux péages séparés de 100 km. Le trajet dure exactement une heure. La vitesse moyenne globale de la voiture est donc de 100 km par heure. Ça, c'est l'accroissement fini. C'est ce déplacement total. Le théorème nous garantit que si on a fait cette moyenne globale, l'aiguille du compteur de vitesse a obligatoirement affiché exactement 100 km par heure à au moins un instant T durant le voyage. C'est mathématiquement impossible autrement.

Intervenant 215:03

C'est limpide, oui.

Intervenant 115:04

Et surtout, l'inégalité prouve que la distance totale qu'il est physiquement possible de parcourir est prise en otage par la vitesse maximale de pointe du véhicule. En gros, on borne le mouvement global par la limite locale.

Intervenant 215:16

C'est l'illustration parfaite. Le mouvement est contraint par ses propres règles internes. Et cette idée de contraindre l'espace, ça va ouvrir la voie à des concepts vraiment vertigineux. Cauchy ouvre le bal et il est suivi par des géants comme l'allemand Hermann Schwarz ou le russe Viktor Bouniakovsky qui vont étendre ses règles aux produits de fonction continue.

Intervenant 115:39

Une belle lignée.

Intervenant 215:40

Puis arrivent Otto Helder et le britannique William Henry Young dans les années 1880 qui utilisent des puissances pour généraliser encore ses majorations. Mais la véritable rupture, le point de bascule de l'histoire moderne qui est mentionné dans ce florilège, c'est Hermann Minkowski.

Intervenant 115:56

Minkowski, c'est là que les mathématiques abstraites percutent violemment la structure même de notre univers, n'est-ce pas ? On ne parle plus de simples outils pour tracer des courbes, on parle de redéfinir la notion d'espace physique.

Intervenant 216:08

Complètement. Les travaux de Minkowski portent sur la généralisation de ces inégalités, non plus en deux ou trois dimensions euclidiennes classiques qu'on connaît bien, mais dans des espaces abstraits, des géométries étranges où les règles usuelles sont tordues. Il a notamment conceptualisé un espace à quatre dimensions.

Intervenant 116:26

Et c'est là que l'histoire avec un grand H s'écrit. Parce que cet espace non euclidien, structuré et sécurisé par les limites mathématiques de Minkowski, eh bien il a fourni l'armature géométrique indispensable à un de ses anciens élèves, un certain Albert Einstein. Le lien est

Intervenant 216:42

saisissant. Mais

Intervenant 116:43

carrément. Ça veut dire que sans cette inégalité de Minkowski qui dicte comment les distances se comportent dans des dimensions abstraites, Einstein n'aurait tout simplement pas pu formuler la théorie de la relativité générale.

Intervenant 216:55

Très probablement pas sous cette forme, non. Pour décrire la gravitation, Einstein avait besoin d'un univers où l'espace et le temps ne sont pas deux choses séparées. Il lui fallait un seul tissu flexible, l'espace-temps, capable de se courber sous le poids des étoiles et des planètes.

Intervenant 117:11

C'est le fameux drap tendu avec la boule de bowling au milieu.

Intervenant 217:14

Exactement. Mais le problème, c'est comment faire des mathématiques sur un tissu qui se déforme en permanence. Imagine un instant essayer de dessiner un triangle sur la surface d'une orange.

Intervenant 117:24

Ah oui, ça marche plus.

Intervenant 217:25

Bah non. Les règles plates de Clyde ne fonctionnent plus du tout, la somme des angles ne fait plus 180 degrés. Il fallait donc un nouvel ensemble de règles, de nouvelles inégalités pour borner ces déformations, pour s'assurer que même tordu, l'univers conserve une cohérence mathématique stricte. C'est ce cadre fourni par Minkowski qui a rendu la relativité calculable.

Intervenant 117:46

C'est un vertige intellectuel complet. Une équation d'apparence purement théorique sortie de l'esprit d'un mathématicien devient le squelette qui permet d'expliquer l'effondrement des trous noirs et la naissance de l'univers.

Intervenant 217:59

C'est la magie des maths appliquées à la physique.

Intervenant 118:01

Et justement, puisqu'on parle de tissus qui se tordent et de courbes, le dernier grand thème exploré par nos sources concerne l'art d'encadrer des formes fuyantes. La convexité et l'étude des polynômes.

Intervenant 218:13

C'est l'aboutissement de cette volonté tenace d'encadrer l'imprévisible. On entre dans l'analyse de courbes extrêmement mouvantes. Les mathématiciens Moïse Andrier et Vladimir Markov ont d'ailleurs accompli un travail titanesque dans les années 1890 sur les dérivés des polynômes.

Intervenant 118:27

Les frères Markov. Et attention, on parle bien des mathématiciens russes, pas des Marx Brothers du cinéma.

Intervenant 218:33

Bah oui, c'est sûr que ça n'a rien à voir. Même si les deux fratries avaient beaucoup de génie, c'est pas franchement le même domaine d'expertise.

Intervenant 118:40

C'est clair. Mais du coup, comment on peut vulgariser ce que les frères Markov ont accompli sur ces fonctions si complexes ?

Intervenant 218:48

Pense au tracé d'une montagne russe vraiment extrême. Un polynôme de haut degré, ça peut avoir d'innombrables creux, des bosses, des virages secs. Ce que les théorèmes de type Markov prouvent, c'est que si on force cette montagne russe à rester confinée à l'intérieur d'une boîte rectangulaire bien définie,

Intervenant 119:03

Genre on la met dans un hangar ?

Intervenant 219:05

Voilà. Eh bien, si elle reste dans ce hangar, alors la pente de ses descentes les plus raides est, elle aussi, automatiquement plafonnée. On ne connaît pas la trajectoire exacte du wagonnet à chaque seconde, mais on sait pertinemment qu'il ne pourra jamais chuter à la verticale absolue. On borne l'extrême par la simple contrainte globale de la boîte.

Intervenant 119:26

Toujours cette même logique, on n'a pas le tracé exact, mais on connaît les limites de la piste. Il n'y a pas de sortie de route possible. Le texte aborde aussi le concept de convexité avec Johan Jensen, un ingénieur danois du début du 20e siècle, ou encore Wilhelm Wirtinger, qui lit de façon assez étonnante une fonction à sa dérivée via leurs intégrales.

Intervenant 219:47

Oui. Et s'il y a une inégalité qui illustre brillamment ce concept de convexité, c'est bien celle d'Hermite Hadamard qui a été formulée à la fin du XIXe siècle.

Intervenant 119:57

Absolument.

Intervenant 219:57

C'est vraiment la consécration visuelle de l'encadrement mathématique. La convexité, pour la définir très simplement, c'est la propriété d'une courbe qui forme un creux, qui sourit en quelque sorte. L'inégalité d'Hermite Hadamard s'attaque à un problème ardu. Comment évaluer l'air situé exactement sous cette courbe souriante ?

Intervenant 120:17

Et la solution graphique est d'une élégance absolue. Je trouve ça génial. Plutôt que de s'acharner à trouver l'air parfaite, on la prend en sandwich.

Intervenant 220:25

C'est exactement le terme.

Intervenant 120:26

On dessine un premier trapèze à l'intérieur du creux, en reliant la courbe par son milieu. C'est un calcul d'air niveau collège, très simple, qui nous donne un socle. Une surface minimum garantie.

Intervenant 220:36

Le plancher ?

Intervenant 120:37

Voilà. Ensuite, on dessine un deuxième trapèze, à l'extérieur cette fois, qui vient s'appuyer sur la courbe par le dessus. On calcule son air tout aussi facilement, ce qui nous donne le plafond, la surface maximum, et voilà. L'air complexe de la courbe est littéralement coincé, piégé, entre ces deux formes basiques. C'est l'essence même de notre sujet depuis le début, l'approximation garantie.

Intervenant 221:04

Et cette méthode de l'encadrement par la convexité, il faut savoir que c'est la clé de voûte de l'optimisation moderne. Aujourd'hui, que ce soit pour entraîner des intelligences artificielles ou pour gérer des réseaux de télécommunications mondiaux, les ordinateurs n'essaient presque jamais de

Intervenant 121:18

trouver le signe égal parfait. Ah ouais ? Non.

Intervenant 221:21

Ils utilisent des principes dérivés d'Hermite Hadamard et de Jensen pour faire converger des algorithmes vers une zone de certitude encadrée. En fait, on sacrifie l'illusion de la perfection absolue au profit d'une fiabilité totale des limites.

Intervenant 121:36

C'est une synthèse implacable. Ce que ce parcours historique nous révèle, d'Aristarque de Samos à la courbure de l'espace-temps, c'est que notre obsession pour l'exactitude absolue, c'est probablement un immense biais cognitif. Dans un monde de données gigantesques, de bruits de fond, de complexités chaotiques, l'égalité pure, elle est super fragile. Si une seule décimale change, l'égalité s'effondre.

Intervenant 221:58

C'est ça. Alors qu'inverse, l'inégalité, elle, est robuste.

Intervenant 122:02

Complètement. Elle fournit les garde-fous de la réalité. Elle murmure à la science « écoute, je ne sais pas exactement où se trouve la vérité ultime, mais je peux te prouver de façon irréfutable qu'elle ne dépasse jamais cette ligne ». Et en termes de pouvoir d'analyse, c'est inestimable.

Intervenant 222:19

L'univers physique ne s'écrit pas avec des signes équivalents rigides. Il s'écrit avec des seuils, des limites de vitesse, comme celles de la lumière, et des barrières d'énergie. Les inégalités, en fait, c'est la véritable grammaire de la nature.

Intervenant 122:33

Une grammaire fondée sur les limites du possible plutôt que sur la chimère de la perfection. Eh bien, merci infiniment pour cet éclairage profond sur la mécanique secrète de nos mathématiques.

Intervenant 222:43

Mais de rien, c'était passionnant.

Intervenant 122:44

Et merci à ceux qui nous écoutent pour votre curiosité au fil de cette vertigineuse remise en question de nos certitudes numériques. Pour clore cette réflexion, il reste une image très forte à garder en tête. Si les plus grandes révolutions scientifiques de l'humanité sont nées en acceptant que les choses ne sont pas égales,

Intervenant 223:01

Et si l'univers lui-même fonctionne par seuil et par marge plutôt que par valeur exacte.

Intervenant 123:06

Voilà. On peut se demander pourquoi on continue si ardemment, dans nos vies ou dans nos sociétés, à exiger l'exactitude absolue. Si la science a trouvé sa véritable puissance dans l'art de l'encadrement et de la symétrie garantie, peut-être que la quête d'une perfection sans aucune marge d'erreur est fondamentalement la plus belle illusion que l'esprit humain ait jamais inventée. À méditer.