Cauchy : trois querelles derrière des noms de maths

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente, ravi d'accueillir les auditeurs podcasteurs. Aujourd'hui, on s'attaque à Augustin-Louis Cauchy, le père de l'analyse complexe. Un génie d'une rigueur absolue, mais, et c'est ça qui est étonnant, son héritage est truffé de vols de théorèmes, d'un ego démesuré et même d'une équation qu'il n'a pas du tout inventée. On va décortiquer tout ça.

Intervenant 20:23

Et ce qui est fascinant ici, c'est ce contraste. Le contraste entre la froideur abstraite des équations et les passions très humaines de ceux qui les manipulent. Le cas de Cauchy illustre parfaitement ce paysage presque chaotique au milieu d'une science pourtant si exacte.

Intervenant 10:38

Totalement. Prenons le théorème de Lioville. Cauchy a posé toutes les fondations de l'analyse complexe, n'est-ce pas ?

Intervenant 20:44

C'est ça. Le socle théorique vient de lui.

Intervenant 10:45

Sauf que ce théorème incontournable du domaine, qui dit qu'une fonction holomorphe bornée, donc une fonction qui reste finie et sans comportement explosif, est forcément constante, il porte le nom de Lioville. C'est un peu comme bâtir les murs d'une maison de ses propres mains et laisser quelqu'un d'autre graver son nom sur la porte parce qu'on a oublié d'aller déclarer la toiture.

Intervenant 21:07

Ouais, c'est une excellente analogie. Et Cauchy a d'ailleurs âprement revendiqué la paternité de ce résultat par la suite. Mais la postérité est impitoyable.

Intervenant 11:16

Il ne l'avait jamais formulée, c'est bien ça !

Intervenant 21:18

Exactement. Bien que ça découle logiquement de ses propres travaux fondateurs, il ne l'a jamais énoncé formellement, en premier. Et l'ironie suprême de l'histoire ?

Intervenant 11:27

Ah, il y a pire !

Intervenant 21:28

Oh que oui !