Histoire des nombres complexes

L’Algebra de Raphaël Bombelli où apparaissent les premières propriétés des nombres complexes (1572).

L'histoire des nombres complexes commence vers le milieu du Modèle:S avec une première apparition en 1545, dans l'œuvre de Cardan, d'une expression contenant la racine carrée d'un nombre négatif, nombre qu'il appelle sophistiqué. C'est Raphaël Bombelli qui met en place les règles de calcul sur ces quantités que l'on appelle alors impossibles avant de leur donner le nom d'imaginaires.

Durant trois siècles, ces nombres sont regardés avec méfiance, n'en étant pas vraiment mais permettant des raccourcis intéressants tant en algèbre que dans la toute nouvelle branche du calcul infinitésimal. Les mathématiciens du Modèle:S tentent avec audace de généraliser les fonctions de la variable réelle à la variable imaginaire, tantôt avec succès, comme pour l'exponentielle complexe, tantôt avec plus d'aléas, comme pour la fonction [[Racine d'un nombre|racine Modèle:Math-ième]] ou la fonction logarithme complexe.

Durant la première moitié du Modèle:S se succèdent les tentatives de légitimation des nombres complexes comme représentation du plan, ensemble de polynômes ou structure algébrique définie sur des couples de réels. Cependant leur utilité dans tous les domaines de l'algèbre et l'analyse et l'utilisation qu'en font les physiciens, tant en optique que dans le domaine de l'électricité, en avaient déjà fait des outils essentiels des sciences mathématiques et physiques.

Les nombres complexes comme objet algébrique

Girolamo Cardano est le premier mathématicien à imaginer l’existence de racines carrées de nombres négatifs (1545).

Les nombres complexes sont nés de confrontations avec des opérations impossibles comme les racines carrées de nombres négatifs. Un des premiers mathématiciens à en imaginer l'existence est Cardan en 1545 dans son Artis magnae sive regulis algebraicus à l'occasion de la résolution de l'équation

$x(10-x)=40$

dont il donne les solutions sous la forme suivante :

5. p. ℞. m. 15 et 5. m. ℞. m. 15

que l'on peut lire comme

$5+\sqrt{-15}\text{et}5-\sqrt{-15}$

et fait observer que le produit de ces deux nombres donne bien 40 tout en reconnaissant que l'équation est, en toute théorie, impossible à résoudre. Il demande au lecteur de faire preuve d'imagination et appelle ces nombres des quantités sophistiquées. Selon Remmert, on ne sait pas si Cardan, en inventant cette écriture, songe particulièrement à résoudre l'équation de degré trois. Mais cet outil va vite s'y révéler très utile. En effet, les formules de Cardan dans la résolution de l'équation

$x^3+px+q=0$

consistent à faire la somme des racines cubiques des deux solutions de l'équation du second degré

$X^2+qX-\frac{p^3}{27}=0.$

Cela nécessite que le discriminant de cette seconde équation soit positif. Or, justement dans le cas où l'équation initiale du troisième degré possède trois solutions réelles, ce discriminant est négatif. Ce qui conduit à la situation paradoxale suivante : quand il y a pléthore de racines, la méthode de Cardan ne peut pas s'appliquer, à moins d'accepter de quitter temporairement le domaine du possible et de travailler sur des nombres imaginaires utilisant des racines carrées de nombres négatifs.

La première formalisation avec règles de calcul sur ces quantités est l'œuvre de Raphaël Bombelli en 1572 dans son Algebra. C'est, selon Dominique Flament, le créateur indiscutable de la théorie des nombres imaginaires. À côté des signes + et – qu'il appelle Modèle:Lang et Modèle:Lang, il invente deux autres signes, sortes d'opérateurs qui symbolisent l'ajout ou le retrait d'une racine d'un nombre négatif : Modèle:Lang et Modèle:Lang. Ainsi l'expression que l'on note aujourd'hui Modèle:Math est notée par Bombelli 2 Modèle:Lang 121. Il évite ainsi la notation troublante que serait Modèle:Racine. Il définit alors une règle des signes sur le produit de deux quelconques de ces quatre signes. Ainsi, par exemple, Modèle:Lang (– par – donne +), Modèle:Lang (Modèle:Math par – donne Modèle:Math) et Modèle:Lang (Modèle:Math par Modèle:Math donne –). Il qualifie les quantités qu'il manipule de plus sophistiquées que réelles mais les utilise pour résoudre l'équation du troisième degré

$x^3=15x+4$

ce qui l'oblige à trouver les racines cubiques des quantités

$2\pm 11\mathrm{i}.$

C'est ainsi qu'il présente sans expliquer sa méthode Modèle:Math comme racine cubique de Modèle:Math. Selon Study, Bombelli aurait trouvé ce résultat par tâtonnements sans mettre au point de méthode générale.

René Descartes les baptise « nombres imaginaires » (1637).

Malgré le travail de ces deux précurseurs, à la fin du Modèle:S, ces quantités sophistiquées restent boudées par certains mathématiciens. Ainsi François Viète et Thomas Harriot refusent toute existence aux quantités tant négatives qu'imaginaires et c'est en utilisant la trisection de l'angle que Viète résout l'équation de degré 3. Simon Stevin, quant à lui, les juge inutiles.

Cependant la découverte de ces quantités semble lever l'obstacle des résolutions impossibles des équations de degré deux et de degré quatre. La question naturelle qui se pose est alors : peut-on, à condition d'accepter d'écrire des racines carrées de nombres négatifs, obtenir toujours Modèle:Math racines à un polynôme de degré Modèle:Math ? C'est la recherche d'une preuve du théorème fondamental de l'algèbre qui va durer deux siècles. Énoncé par Peter Rothe en 1608, par René Descartes et Albert Girard en 1627 et 1629, il est l'objet d'une démonstration qui semble aboutie chez Jean Le Rond d'Alembert en 1746 ; il ne sera démontré par Carl Friedrich Gauss de manière rigoureuse qu'en 1799.

Dans son Invention nouvelle, Girard utilise sans état d'âme ces quantités qu'il appelle solutions enveloppées pour résoudre l'équation Modèle:Math et, à la question « À quoi servent-elles ? », il répond qu'elles permettent de montrer la véracité de la règle (un polynôme de degré 4 possède exactement 4 racines). Quant à Descartes, s'il n'apporte pas de contribution significative à cette nouvelle théorie qu'il n'accepte qu'avec réticence, il joue un rôle marquant par sa notoriété : en les citant dans ses écrits, il leur confère un statut officiel à tel point que le qualificatif d’imaginaire dont il les baptise dès 1637 devient leur nom officiel jusqu'en 1831. Cependant, cet adjectif rend bien compte du statut de ces nombres au milieu du Modèle:S : ils sont, certes, utiles mais on s'en méfie car on ne leur accorde aucune réalité.

Calculs sur les nombres complexes

Un siècle après leur naissance, les quantités imaginaires commencent à être utilisées par de nombreux mathématiciens. On cherche alors à spécifier leurs règles de calcul et à en isoler la partie réelle. À cette époque encore, un nombre imaginaire se note Modèle:Math sans que soit privilégié Modèle:Racine et la notation rigoureuse de Bombelli n'a pas résisté à la mise en place de la notation symbolique de Viète et Descartes. Sous cette forme, les additions et les multiplications sont simples, les produits et quotients aussi quoique la présence d'une racine carrée négative puisse entraîner certaines erreurs : ainsi voit-on encore, sous la plume d'Euler en 1768 la règle suivante : Modèle:RacineModèle:Racine = Modèle:Racine alors que la notation de Bombelli piu di meno R.q. 1 via piu di meno R.q.4 aurait donné meno R.q.4.

La difficulté se présente dans l'extraction de la racine Modèle:Math-ième d'un nombre complexe. Cette opération est nécessaire, par exemple pour exhiber les solutions réelles d'une équation de degré 3. Or il se trouve qu'effectivement, il n'est pas possible, en général, d'exprimer les racines d'un polynôme de degré trois en utilisant des radicaux réels et que le passage par une trisection d'angle se révèle souvent utile. Gottfried Wilhelm Leibniz se méfie beaucoup de ces Modèle:Citation et cherche à les faire disparaître dans des expressions comme Modèle:Racine + Modèle:Racine en utilisant sa formule du binôme dès 1675. Son idée est reprise et développée en 1738 par François Nicole, qui donne ainsi la formule suivante :

$\begin{array}{cc}\frac{1}{2}(\sqrt[3]{\frac{a}{b}+\mathrm{i}}+\sqrt[3]{\frac{a}{b}-\mathrm{i}})=& {\left(\frac{a}{b}\right)}^{1/3}-\frac{(1).(-2)}{2!.3^2}{\left(\frac{a}{b}\right)}^{-5/3}\\ & +\frac{(1).(-2).(-5).(-8)}{4!.3^4}{\left(\frac{a}{b}\right)}^{-11/3}-\frac{(1).(-2).(-5).(-8).(-11).(-14)}{6!.3^6}{\left(\frac{a}{b}\right)}^{-17/3}+\cdots \end{array}$.

À cette époque, on ne se préoccupe pas de la convergence des séries proposées et on généralise les formules vues sur des quantités réelles selon le principe de permanence.

La démarche suivie par Abraham de Moivre en 1706 est autre : il établit un lien entre l'extraction d'une racine Modèle:Math-ième et la division d'un arc en Modèle:Math parties égales, publie en 1730 la formule

$\cos B=\frac{1}{2}(\sqrt[n]{\cos (nB)+\mathrm{i}\sin (nB)}+\sqrt[n]{\cos (nB)-\mathrm{i}\sin (nB)})$

et affirme, dès 1738, que Modèle:Racine possède Modèle:Math valeurs distinctes, s'appuyant sur les Modèle:Math valeurs de Modèle:Racine obtenues sous la forme Modèle:Math où Modèle:Math est une circonférence complète. Il met également en pratique cette technique pour résoudre l'équation de degré 5 : Modèle:Math = Modèle:Frac.

Le cas de l'exponentielle d'un complexe se révèle moins problématique. Euler, en 1740, par calcul de limite, établit que :

$\cos (x)=\frac{\exp (\mathrm{i}x)+\exp (-\mathrm{i}x)}{2}\text{et}\sin (x)=\frac{\exp (\mathrm{i}x)-\exp (-\mathrm{i}x)}{2\mathrm{i}}$

Modèle:Boîte déroulante puis en 1748, énonce sa formule :

$\cos (x)+\mathrm{i}\sin (x)={\mathrm{e}}^{\mathrm{i}x}.$

Dans la foulée, il exprime ce que vaudrait l'exponentielle d'un nombre complexe, le sinus, le cosinus et la tangente d'un complexe ainsi que leurs fonctions réciproques.

Leonhard Euler fait l’inventaire de tous les calculs réalisables avec les nombres complexes. Il est à l’origine de la notation Modèle:Math (1777).

Le cas du logarithme d'un nombre complexe va occuper les mathématiciens [[Jean Bernoulli|Jean IModèle:Er Bernoulli]], Leibniz, Euler et d'Alembert pendant près d'un demi-siècle. En 1702, Bernoulli et Leibniz décomposent les fonctions rationnelles en éléments simples et les intègrent grâce à la fonction logarithme. Ainsi, pour Modèle:Math,

$\int \frac{2}{x^2-1}\mathrm{d}x=\int (\frac{1}{x-1}-\frac{1}{x+1})\mathrm{d}x=\ln (x-1)-\ln (x+1)+C=\ln \left(\frac{x-1}{x+1}\right)+C.$

La tentation est grande de généraliser le processus à des dénominateurs dont les racines sont complexes :

$\begin{array}{cc}\int \frac{2}{x^2+1}\mathrm{d}x& =\frac{1}{\mathrm{i}}\int (\frac{1}{x-\mathrm{i}}-\frac{1}{x+\mathrm{i}})\mathrm{d}x=\frac{1}{\mathrm{i}}(\ln (x-\mathrm{i})-\ln (x+\mathrm{i}))+C\\ & =\frac{1}{\mathrm{i}}\ln \left(\frac{x-\mathrm{i}}{x+\mathrm{i}}\right)+C=\frac{1}{\mathrm{i}}\ln (\frac{x^2-1}{x^2+1}-\mathrm{i}\frac{2x}{x^2+1})+C.\end{array}$

Encore faut-il savoir ce que peut valoir Modèle:Math. En 1714, Roger Cotes établit l'égalité :

$\mathrm{i}x=\ln (\cos x+\mathrm{i}\sin x)$

mais ces expressions, utilisées sans précaution selon le principe de permanence, produisent rapidement des incohérences, en particulier sur la définition de Modèle:Math, que Bernoulli s'obstine à vouloir nul malgré les remarques de Leibniz lui faisant remarquer que, Modèle:Math valant Modèle:Math, Modèle:Math devrait valoir Modèle:Math. Cette controverse est résolue par Euler, en 1749, dans un texte célèbre, De la controverse entre Mrs Leibniz et Bernoulli sur les logarithmes des nombres négatifs et imaginaires  : il existe une infinité de valeurs possibles pour le logarithme d'un nombre complexe, toutes différant de Modèle:Math où Modèle:Math est une circonférence complète. Seuls les réels positifs possèdent un de leurs logarithmes réel et celui-ci correspond au logarithme classique. La formule générale est plus précisément :

$\ln (a+\mathrm{i}b)=\ln (\sqrt{a^2+b^2})+\mathrm{i}\theta$

où Modèle:Math correspond à tout angle dont le cosinus vaut $a/\sqrt{a^2+b^2}$ et le sinus $b/\sqrt{a^2+b^2}$.

Cette définition lui permet de compléter la liste des calculs sur les nombres complexes par la puissance complexe d'un nombre complexe, expression multiforme comme l'est le logarithme d'un complexe :

$(a+\mathrm{i}b{)}^{u+\mathrm{i}v}={\mathrm{e}}^{(u+\mathrm{i}v)\cdot \ln (a+\mathrm{i}b)}.$

Ainsi précise-t-il que les valeurs de Modèle:Math sont toujours réelles pour Modèle:Math réel et valent Modèle:Math. Il précise une des valeurs de Modèle:Math :

${\mathrm{i}}^{\mathrm{i}}={\mathrm{e}}^{-\pi /2}.$

En 1777, Euler s'affranchit de la dernière notation ambiguë en remplaçant Modèle:Racine par la lettre Modèle:Math. Euler pense ainsi avoir fait le tour de toutes les fonctions applicables à la variable complexe et avoir prouvé que le résultat de tout calcul sur des complexes à l'aide de fonctions connues à l'époque peut s'écrire sous forme Modèle:Math, normalisant ainsi l'écriture de ceux-ci. Il pense également avoir démontré le théorème fondamental de l'algèbre en prenant pour acquis deux résultats : un polynôme de degré impair possède toujours une racine réelle et toute racine d'un polynôme s'exprime à l'aide de radicaux à partir des coefficients du polynôme.

À la recherche d'une légitimité

À la fin du Modèle:S, on utilise les quantités imaginaires comme outils pratiques tant en analyse qu'en algèbre mais le caractère irréel de la racine carrée de –1 reste un problème. Les quantités imaginaires ne sont pas totalement acceptées par la communauté mathématique mais seulement tolérées. L'étape suivante consiste à établir une construction des complexes qui leur permette d'entrer de plain-pied dans le corpus mathématique. Elle va se faire dans plusieurs directions, l'une géométrique, l'autre par l'algèbre abstraite.

Représentation géométrique par des vecteurs ou des points du plan

Correspondance ligne et complexe :Modèle:Surligner ∼ a+Modèle:Mathb = r.Modèle:MathModèle:Exp

Cette association entre complexes et géométrie plane semble être dans l'air du temps dès le Modèle:S. Ainsi voit-on Euler indiquer, en 1749, pour la recherche d'un antécédent pour la fonction logarithme d'un nombre « simplement imaginaire » Modèle:Math, la méthode suivante : prendre un arc de cercle égal à Modèle:Math et de rayon 1, déterminer le sinus et le cosinus de Modèle:Math, le nombre cherché sera Modèle:Math. Selon Remmert, ceci est un indice très fort pour penser qu'Euler avait déjà fait le rapprochement entre point du plan et complexe. Certaines tentatives datent même du Modèle:S mais elles échouent toutes sur le sens à donner au produit de deux nombres complexes. John Wallis se heurte à ce problème dès 1685 dans A treatise of algebra et Heinrich Kühn (1690-1769) en 1750. En effet, selon Flament, imaginer que le produit de deux lignes puisse donner une ligne et non une surface est une idée révolutionnaire.

Définition de la somme : Modèle:Surligner=Modèle:Surligner+Modèle:Surligner si et seulement si OACB est un parallélogramme.

Les premières représentations des nombres complexes par des lignes dirigées sont les œuvres de deux praticiens : Caspar Wessel est un arpenteur et l'un de ses buts avoués est d'utiliser les complexes pour résoudre des triangles et manipuler des lignes possédant une longueur et une direction ; quant à Jean-Robert Argand, il consacre une grande partie de son essai à montrer les intérêts pratiques de sa méthode. Ils travaillent tous deux sur des lignes dirigées (on dirait aujourd'hui des vecteurs) avec une différence cependant : les lignes de Wessel ont toutes même origine alors qu'elles sont flottantes chez Argand. La somme de deux lignes dirigées se fait en utilisant la relation de Chasles et la multiplication se construit, une unité étant choisie, à l'aide de triangles semblables.

Mais les écrits de Wessel et d'Argand diffèrent dans leur esprit : Wessel construit une addition et une multiplication sur les lignes dirigées et a presque en tête la notion de structure algébrique, il associe à la ligne dirigée Modèle:Math le nombre 1 et trouve deux lignes dirigées Modèle:Math dont le carré vaut –1, la ligne dirigée obtenue en tournant dans le sens direct est appelée Modèle:Math, et c'est seulement ensuite qu'il associe à chaque ligne dirigée un complexe. Argand, quant à lui, construit Modèle:Math comme moyenne géométrique entre la ligne 1 et la ligne –1, il définit alors un axe principal, l'axe des réels, un axe secondaire, ou médian, et construit chaque complexe comme somme d'une ligne sur l'axe principal et d'une ligne sur l'axe médian. Il caractérise également chaque ligne dirigée par sa longueur, qu'il appelle module de Modèle:Math + Modèle:MathModèle:Racine et par l'angle qu'elle forme avec la ligne unité, et montre que le produit sur les complexes consiste à prendre la ligne dont la longueur est le produit des longueurs et l'angle la somme des angles. Tous deux tentent en vain de créer une correspondance analogue entre des objets de l'algèbre et les lignes dirigées de l'espace.

D'après Cauchy, Henri Dominique Truel aurait proposé une représentation géométriques des complexes dès 1786 mais le texte est perdu. Le papier de Wessel, daté de 1797, n'eut aucun succès parmi ses contemporains. Le travail de Wessel est totalement ignoré pendant près d'un siècle, mentionné seulement par Jürgensen en 1843 parmi d'autres mémoires de l'Académie jugés sans grande importance scientifique, et c'est quasiment par hasard qu'il est mentionné dans une thèse de Christensen (Mathematikens udrikling i danmark oy Norge i det 18-aarkundrede, Odense, 1896) qui le tire définitivement de l'oubli. Il est alors publié en français en 1897. Argand écrit le sien en 1806, ignorant les travaux de Wessel. Il envoie son essai à Adrien-Marie Legendre, qui l'envoie à François Français. Le texte est découvert par Jacques Frédéric Français, frère du précédent, qui le publie en 1813. Jacques Frédéric Français, grâce à davantage de formalisme, améliore la rigueur des résultats exposés par Argand. Il est également à l'origine d'une notation privilégiant les éléments caractéristiques de la ligne dirigée : si sa longueur est Modèle:Math et l'angle qu'elle forme avec la direction principale est θ, il la note Modèle:MathModèle:Ind – le complexe Modèle:Racine s'écrit alors Modèle:Math – puis il énonce les égalités : Modèle:MathModèle:Ind = Modèle:MathModèle:Exp = Modèle:Math Modèle:Racine. Dans les tentatives de cette époque, on peut également citer l'« algèbre langue » de l'abbé Adrien-Quentin Buée (1748-1826) en 1806 et les essais de John Warren et de C. V. Mourey en 1828, Vallès (1813), Bellavitis (1832), Faure, De Gap (1845), Saint-Venant, Modèle:Lien, Siebeck, Dillner…

Carl Friedrich Gauss popularise la représentation des complexes par des points et leur donne le nom de nombre complexe (1831).

Ces différents écrits rencontrent peu d'écho chez les mathématiciens de renom. Ainsi François-Joseph Servois écrit en 1813 qu'il n'y voit qu'un Modèle:Citation. Quant aux mathématiciens de l'école anglaise qui cherche, à cette époque, à faire sortir l'algèbre du carcan géométrique qui selon eux la pollue, ils ne peuvent que rejeter, par la voix de George Peacock, cette explication géométrique des complexes.

C'est grâce à Carl Friedrich Gauss que cet aspect des nombres complexes gagne ses lettres de noblesse. Gauss, mathématicien rigoureux et prudent, a publié avec parcimonie. Il est l'auteur de la première démonstration rigoureuse du théorème fondamental de l'algèbre. Dès 1797, il associe au point de coordonnées Modèle:Math le complexe Modèle:Math ce qui, selon Bourbaki, serait un signe que dès cette époque, il avait conscience de cette correspondance possible, soupçon que confirme une lettre de Gauss à Bessel datée de 1811 où il précise cette correspondance. C'est également lui qui popularise la notation d'Euler de Modèle:Math pour Modèle:Racine, symbole qu'il utilise dès 1801 dans ses Disquisitiones arithmeticae, et qu'il nomme « unité imaginaire ». C'est dans son ouvrage de 1831, Theoria residuorum biquadraticorum, qu'il présente son plan complexe qui est un plan formé de points et non de vecteurs. C'est aussi dans cet ouvrage qu'il rebaptise les nombres imaginaires en nombres complexes, qualificatif qui est encore en vigueur actuellement. Il pense ainsi avoir levé l'aura de mystère qui entourait ces nombres et qui était due en partie au vocabulaire choisi. Cet avis est partagé par ses contemporains : Modèle:Citation est la phrase du discours adressé à Gauss en 1849, lors du cinquantenaire de son doctorat au Collegium Carolinum de Brunswick. C'est également dans cet écrit de 1831 qu'il développe sa théorie sur les entiers de Gauss. On lui doit en outre la notion de norme qui, pour lui, correspond au carré du module : Modèle:Math, la propriété : Modèle:Math et la dénomination de complexe conjugué. Mais l'exigence de rigueur de Gauss ne se satisfait pas d'une justification purement géométrique des complexes et il remet à plus tard une justification plus objective de Modèle:Math. De nombreux mathématiciens reprennent ses travaux et contribuent à populariser la vision géométrique des complexes.

Hamilton et l'algèbre des couples de réels

William Rowan Hamilton, père des quaternions, traite les complexes comme des couples de réels munis d’une multiplication particulière (1833).

En Irlande, William Rowan Hamilton entreprend, lui, une démarche purement algébrique. Il s'inscrit dans un mouvement de l'école algébrique anglaise, qui prône la mise en place d'une algèbre symbolique et dont les grands noms sont George Peacock, Duncan Farquharson Gregory, George Boole et Auguste De Morgan. En 1833, il présente à l'Académie royale d'Irlande sa Theory of conjugates functions or algebraic couples, suivie deux ans plus tard d'une théorie plus générale sur l'algèbre, mais il travaillait sur cette notion depuis 1826. Hamilton s'appuie sur une définition des réels comme des intervalles de temps. Il présente alors une construction algébrique sur des couples de réels. Il définit l'addition comme l'addition terme à terme de chaque membre du couple :

$(a,b)+(a^{\prime },b^{\prime })=(a+a^{\prime },b+b^{\prime }).$

Il définit une multiplication externe par un réel :

$\lambda (a,b)=(\lambda a,\lambda b).$

Il identifie alors Modèle:Math au couple Modèle:Math et cherche à construire une multiplication sur les couples qui soit distributive. Il démontre alors que

$(\alpha ,\beta )(a,b)=(\alpha a,\alpha b)+(0,\beta a)+(0,\beta )(0,b).$

Il lui reste alors à définir le dernier terme, qui pour des raisons d'homogénéité doit être proportionnel à Modèle:Math et Modèle:Math

$(0,\beta )(0,b)=(k\beta b,l\beta b).$

Il obtient alors pour le produit

$(\alpha ,\beta )(a,b)=(\alpha a+k\beta b,\alpha b+\beta a+l\beta b).$

Si, de plus, tout élément non nul doit être inversible, une condition supplémentaire doit s'ajouter

$l^2+4k<0$

nécessaire et suffisante pour que le déterminant du système d'inconnues Modèle:Math

$\{\begin{array}{c}\alpha a+k\beta b=1\\ \alpha b+\beta a+l\beta b=0\end{array}$

soit non nul pour tout couple Modèle:Math différent du couple Modèle:Math.

Hamilton choisit alors les valeurs les plus simples réalisant ces conditions : Modèle:Math et Modèle:Math. En réalité ces valeurs sont surtout les seules qui permettent au produit d'être compatible avec la norme définie par Modèle:Math et Hamilton vérifie très vite que, pour les valeurs choisies :

$N((\alpha ,\beta )(a,b))=N(\alpha ,\beta )N(a,b).$

Selon Remmert, le choix de Hamilton est grandement influencé par le désir de cette compatibilité. Hamilton appelle le couple (1, 0) l'unité principale et (0, 1) l'unité secondaire. Il démontre ensuite qu'il existe une détermination principale du logarithme, que cette détermination principale induit une détermination principale de la racine Modèle:Math-ième et donc une détermination principale de la racine carrée de –1 qui se trouve coïncider avec l'unité secondaire. Donc, selon Hamilton, il est tout à fait légitime de parler de la racine carrée de –1 et d'écrire le couple Modèle:Math sous la forme Modèle:Math + Modèle:Racine Modèle:Math.

Hamilton tente également de construire des opérations sur des triplets de réels avec un produit qui conserverait la norme, mais en vain. Cette impossibilité sera démontrée par Ferdinand Georg Frobenius en 1877. Mais il a plus de chance avec les quadruplets de réels : c'est la création en 1843 du corps des quaternions.

Cauchy et la nouvelle définition de Modèle:Math

Augustin Louis Cauchy présente les complexes comme des polynômes (1847).

Augustin Louis Cauchy reste méfiant concernant les nombres complexes qui ne sont, selon lui, que des expressions symboliques, Modèle:Citation mais qui permet d'Modèle:Citation. Par souci de rigueur, il veut établir l'existence des quantités imaginaires dans un corpus algébrique ne faisant pas appel à l'intuition qui entraîne les paradoxes qui ont agité le siècle précédent (racine carrée, logarithme). Il craint que l'appel à la représentation géométrique ne fasse qu'ajouter d'autres paradoxes et d'autres intuitions fausses. Il ne se résout que très tard (1844) à accepter la représentation géométrique des complexes et continue à voir dans le signe √–1 un simple outil destiné à faciliter les calculs.

Il faut attendre son écrit de 1847, Mémoire sur une nouvelle théorie des imaginaires et sur les racines symboliques des équations et des équivalences, pour le voir accepter les complexes comme des quantités et pas seulement comme des expressions symboliques. Dans ce mémoire, il travaille sur les restes des polynômes dans la division par le polynôme Modèle:Math. Pour indiquer qu'il travaille seulement sur les restes et non les polynômes eux-mêmes, il substitue à la variable Modèle:Math la variable Modèle:Math. Le polynôme Modèle:Math ayant un reste nul dans la division par Modèle:Math, il peut se permettre d'écrire Modèle:Math en toute légitimité. La quantité indéterminée Modèle:Math sera appelée par lui une racine symbolique du polynôme Modèle:Math. Le fait de considérer Modèle:Math comme la variable d'un polynôme lui permet d'écrire l'équivalence

$a+b\mathrm{i}=c+d\mathrm{i}\iff a=c\text{ et }b=d.$

Il reconstitue alors toutes les opérations connues sur les complexes à l'aide de l'algèbre des polynômes. C'est la première esquisse d'une théorie sur les extensions algébriques de corps, qui mène à la définition de Bourbaki du corps des complexes comme l'anneau des polynômes à coefficients dans $ℝ$ quotienté par le polynôme Modèle:Math.

Quelques mois plus tard, dans son Mémoire sur les quantités géométriques, il reconnaît pleinement l'aspect géométrique des complexes. C'est lui qui baptise l'angle polaire de rayon OA argument de la quantité géométrique correspondante. C'est également lui qui nomme affixe du point A le complexe Modèle:Math si Modèle:Math sont les coordonnées de A.

La prudence et les réticences de Cauchy ne l'empêchent cependant pas de travailler durant toute la première moitié du Modèle:S à développer la théorie des fonctions de la variable complexe ainsi que la théorie des résidus.

Complexe comme matrice de similitude

Plus tardivement apparaît une nouvelle présentation des nombres complexes comme matrices de similitudes directes planes. Cette présentation est inspirée par les idées de Wessel et Argand qui voient dans une multiplication d'un complexe par un autre une rotation suivie d'une homothétie. Une telle présentation apparaît en 1935 dans le livre d'Edward Thomas Copson, An introduction to the theory of functions of a complex variable. C'est également le choix fait par les programmes de mathématiques de l'enseignement français de 1971. Cette présentation évite de faire allusion à une quelconque extension du corps des réels, et d'introduire une multiplication sur les couples de réels qui semble arbitrairement créée. Elle s'appuie sur un savoir des élèves concernant les matrices carrées et les similitudes vectorielles directes planes. On démontre que l'ensemble des matrices de la forme

$\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)$

où Modèle:Math et Modèle:Math sont des réels quelconques, muni de l'addition et de la multiplication usuelle sur les matrices, est un corps commutatif. Les identifications

$\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)=1\text{ et }\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)=\mathrm{i}$

permettent l'écriture du complexe sous la forme Modèle:Math avec la remarque Modèle:Math.

Un outil qui se révèle puissant

Dès le milieu du Modèle:S, les complexes ont définitivement intégré le corpus des mathématiques rigoureuses. Leur utilité indéniable a contribué à leur survie tant dans le domaine mathématique que dans le domaine physique.

Usages en mathématiques

Exemple de fractale : un ensemble de Julia (Modèle:S).

Les nombres complexes se révèlent très tôt utiles dans la résolution des équations polynomiales, ainsi que l'expose Bombelli dès 1572. Ils permettent également aux mathématiciens de s'intéresser dès 1608 au théorème fondamental de l'algèbre. Ils sont utilisés dès le début du Modèle:S dans le calcul intégral. Leur interprétation géométrique permet de démontrer plus simplement de nombreuses identités trigonométriques et de nombreux théorèmes de géométrie plane comme le théorème de Ptolémée, le théorème de Cotes et la résolution d'un polygone, la droite de Wallace ou le théorème de Napoléon.

Ils permettent un développement du calcul sur les intégrales elliptiques dès 1827. Dans l’œuvre de Cauchy, père de l'analyse complexe et de la théorie des résidus, dès 1821, c'est un instrument de calcul qui permet de Modèle:Citation. Ils sont également à l’œuvre dans les équations algébriques, dans la démonstration du théorème d'Abel et dans la théorie de Galois.

Bernhard Riemann en fait une partie intégrante de son cours en 1851 et les utilise pour développer les surfaces de Riemann et la fonction zêta de Riemann. Au Modèle:S, ils interviennent dans des domaines aussi variés que les fractales ou les courbes elliptiques.

Représentations en physique

Augustin Fresnel fait usage des nombres complexes en optique (1823).

Mais l'utilisation des nombres complexes dépasse également le champ des mathématiques pour servir de représentations de phénomènes physiques et d'outil unificateur. Dès 1823, Augustin Fresnel, dans son Mémoire sur la loi de modification que la réflexion imprime à la lumière polarisée, remarque que dans la loi de Snell-Descartes donnant l'angle de rayon réfracté en fonction de l'angle du rayon incident

$n_1\cdot \sin ({\theta }_1)=n_2\cdot \sin ({\theta }_2),$

lorsque Modèle:Math, pour certaines valeurs de Modèle:Math, la valeur de Modèle:Math est plus grande que 1. Il obtient alors pour $\cos {\theta }_2=\sqrt{1-{\sin }^2{\theta }_2}$ une valeur imaginaire dont il réussit à interpréter le sens, unifiant ainsi en une seule formule ce qui se présentait jusqu'alors sous deux formes.

En 1860, c'est à l'aide des quaternions que James Clerk Maxwell écrit ses premières équations. En 1893, Arthur Edwin Kennelly remarque que l'on peut généraliser la loi d'Ohm au courant alternatif en utilisant les complexes et Charles Proteus Steinmetz fait l'inventaire de l'usage des complexes en électricité. Les complexes apparaissent également dans les séries de Fourier et dans la résolution des équations différentielles linéaires. Modèle:Clear

Notes et références

Bibliographie

• Modèle:Ouvrage
• Modèle:Chapitre (trad. de Zahlen, Springer-Verlag, 1983)
• Modèle:Ouvrage (collectif)
  • Modèle:Chapitre
  • Modèle:Chapitre
  • Modèle:Chapitre
  • Modèle:Chapitre
  • Modèle:Chapitre
• Modèle:DahanPeiffer
• Modèle:Ouvrage
• Modèle:Chapitre
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage