Une histoire de l'invention mathématique. Les démonstrations du théorème fondamental de l'algèbre da

Résumé :
Pour sa thèse qu'il débuta en 1797, Gauss a fourni une démonstration - difficile et topologiquement incomplète - du théorème qui arme l'existence d'au moins une racine complexe à tout polynôme réel non constant. Gauss ne supposait pas l'existence des entités qui avaient été imaginées par Descartes pour permettre la décomposition de tout polynôme en facteurs du premier degré. Laplace en 1795 avait en effet rigoureusement démontré que ces " imaginaires ", une fois supposées, se réduisaient aux nombres complexes, lesquels accaparaient le nom de " quantités imaginaires ". Une dizaine d'années après, en inventant des techniques de l'analyse instituant le plan topologique et aussi par la représentation géométrique des nombres complexes, s'inspirant par ailleurs de Legendre et d'un début de calcul des fonctions dérivables d'une variable complexe, Argand fournissait une démonstration aisée du théorème fondamental. Des démonstrations inventives différentes se succédèrent, de Gauss, de Cauchy, de Liouville, etc. , et trouvèrent une place variable dans les grands traités classiques des mathématiques européennes jusqu'à la fin du XIXe siècle, où l'analyse complexe restait séparée de l'analyse complexe. C'est cette période d'un siècle que le présent volume inventorie, en explicitant le contexte intellectuel des preuves, mais réservant pour un prochain et dernier volume les explications algébriques à la façon de Galois et les preuves données au XXe siècle.