Voir la source de Nombre complexe

{{Voir homonymes|complexe}}
[[File:Complex picture.svg|thumb|Représentation graphique du complexe {{math|''x'' + i ''y'' {{=}} ''r'' e{{exp|i''φ''}}}} à l'aide d'un [[vecteur]]. Mise en évidence de l'interprétation graphique de son [[module d'un nombre complexe|module]] {{math|''r''}} et d'un de ses [[Argument d'un nombre complexe|arguments]] ''φ''.]]

En [[mathématiques]], l'ensemble des '''nombres complexes''' est actuellement défini comme une [[Extension de corps|extension]] de l'ensemble des [[nombre réel|nombres réels]], contenant en particulier un ''[[nombre imaginaire pur|nombre imaginaire]]'' noté {{math|i}}<ref group="alpha">Le nombre {{math|i}} est normalement représenté par un caractère [[Romain (typographie)|romain]], l'[[Italique (typographie)|italique]] étant réservé aux noms de [[Variable (mathématiques)|variables]].</ref>{{,}}<ref name="j" group="alpha">En électricité et en électronique, l'[[unité imaginaire]] est généralement notée {{mvar|j}} au lieu de {{math|i}}, pour éviter le risque de confusion entre {{math|i}} et {{mvar|i}}, symbole habituel de l'intensité d'un courant électrique. Il existe par ailleurs un nombre complexe, fréquemment noté [[J (nombre complexe)|{{math|j}}]] en mathématiques, qui correspond à l'unique racine cubique de 1 dont la partie imaginaire est positive.</ref> tel que {{math|1=i{{2}} = −1}}. Le carré de {{math|(−i)}} est aussi égal à −1 : {{math|1=(−i){{2}} = −1}}. Tout nombre complexe peut s'écrire sous la forme {{math|''x'' + i ''y''}} où {{math|''x''}} et {{math|''y''}} sont des [[nombre réel|nombres réels]].

Les nombres complexes ont été progressivement introduits au {{XVIe siècle}} par l’école mathématique italienne ([[Jérôme Cardan]], [[Raphaël Bombelli]], [[Niccolò Fontana Tartaglia|Tartaglia]]) afin d'exprimer les solutions des [[Équation cubique|équations du troisième degré]] en toute généralité par les [[Méthode de Cardan|formules de Cardan]], en utilisant notamment des « nombres » de [[carré (algèbre)|carré]] [[Nombre négatif|négatif]].

On peut munir l'ensemble des nombres complexes d'une addition et d'une multiplication qui en font un [[corps commutatif]] contenant le corps des nombres réels. Il est appelé '''corps des nombres complexes''' et se note '''ℂ'''. La notion de [[valeur absolue]] définie sur l'ensemble des nombres réels peut être étendue à l'ensemble des nombres complexes et prend alors le nom de [[module d'un nombre complexe|module]]. Mais on ne peut pas munir l'ensemble des nombres complexes d'une [[relation d'ordre]] qui en ferait un [[corps ordonné#corps totalement ordonné|corps totalement ordonné]], c'est-à-dire qu'il n'est pas possible de comparer deux complexes en respectant les règles opératoires valables pour les nombres réels.

Ce n'est qu'à partir du {{XIXe siècle}}, sous l'impulsion de l'[[Adrien-Quentin Buée|abbé Buée]] et de [[Jean-Robert Argand]] ([[Plan complexe|plan d'Argand]]), puis avec les travaux de [[Carl Friedrich Gauss|Gauss]] et de [[Augustin Louis Cauchy|Cauchy]], que se développe l'aspect géométrique des nombres complexes. On les associe à des [[vecteur]]s ou des [[point (géométrie)|point]]s du plan. Les [[Transformation géométrique|transformations]] du [[Plan complexe|plan]] s'expriment alors sous forme de transformations complexes.

En algèbre, le [[Théorème fondamental de l'algèbre|théorème fondamental de l’algèbre]] énonce qu'un [[polynôme]] complexe non constant possède toujours au moins une [[Racine d'un polynôme|racine]] complexe. Le corps des nombres complexes est dit [[Clôture algébrique|algébriquement clos]]. On peut ainsi identifier le [[degré d'un polynôme|degré]] d'un polynôme complexe non nul au nombre de ses [[Racine d'un polynôme|racines]] comptées avec leur [[Fonction polynôme#Ordre de multiplicité d'une racine|ordre de multiplicité]].

En analyse, l'[[exponentielle complexe]] permet de simplifier l'étude des [[série de Fourier|séries de Fourier]], puis de définir la [[Transformation de Fourier|transformée de Fourier]]. La branche de l'[[analyse complexe]] concerne l'étude des fonctions [[Dérivée|dérivables]] au sens complexe, appelées fonctions [[Fonction holomorphe|holomorphes]].

En [[physique]], les nombres complexes sont utilisés pour décrire le comportement d'[[Circuit RLC|oscillateurs électriques]] ou les phénomènes [[Onde|ondulatoires]] en [[électromagnétisme]]<ref name="j" group="alpha"/>. Ils sont aussi essentiels dans la formulation mathématique de la [[mécanique quantique]].

== Présentation informelle ==
En guise de présentation informelle, on s'appuie sur la représentation géométrique des nombres complexes, comme expliquée dans le chapitre 5 de ''[[À la découverte des lois de l'univers : La prodigieuse histoire des mathématiques et de la physique]]'' de [[Roger Penrose]].

=== Passage d'une dimension à deux dimensions ===
Un nombre réel est un nombre que l'on peut représenter comme un point sur un axe à une dimension. On trouve le zéro, les nombres [[Entier naturel|entiers naturels]] comme le zéro, 1, 2, 3..., les nombres relatifs négatifs comme -1, -2, -3,..., les [[Nombre rationnel|nombres rationnels]] comme 2/3, 4/9, -8/11, etc., et d'autres nombres réels comme <math>\sqrt 2</math> (racine de 2). Vu que l'espace est en une dimension (c'est une ligne), un tel nombre réel se représente par une seule coordonnée : le nombre lui-même.
[[Fichier:Real number line.svg|centré|vignette|Les nombres réels se placent sur une ligne, un axe à une dimension.]]

La notion de nombre complexe étend la notion de nombre pour représenter un point dans le plan. Un tel point se représente par deux coordonnées : une abscisse {{mvar|x}} et une ordonnée {{mvar|y}}. Les nombres  {{mvar|x}} et {{mvar|y}} sont des nombres réels. Ce point dans le plan représente alors un '''nombre complexe'''. Un nombre réel {{mvar|x}} est représenté par un point d'abscisse {{mvar|x}} et d'ordonnée nulle. Bref, l'axe à une dimension des nombres réels est l'axe des abscisses dans le plan.
[[Fichier:Cartesian-coordinate-system.svg|centré|vignette|Un nombre complexe peut se voir comme un point du plan. Les points situés sur l'axe des abscisses (axe des ''x'') sont les nombres réels.]]

=== Le nombre i ===
Additionner 1 et 2 donne 3. En additionnant deux nombres réels on obtient toujours un nombre réel. On reste sur l'axe des abscisses. Afin de sortir de cet axe, on a besoin d'au moins d'un nombre qui sort de cet axe : par exemple, le nombre qui correspond au point d'abscisse 0 et d'ordonnée 1. On note ce nombre {{math|i}}.

=== Notation x + yi ===
Le nombre réel 2 peut s'écrire 2×1. C'est-à-dire que l'on vient doubler la longueur du vecteur correspondant à la flèche partant de l'origine finissant au point correspondant à 1. On obtient un point qui est sur l'axe des abscisses. De la même façon, on peut allonger/rétrécir le vecteur correspondant à i. Par exemple 3×i est le point d’abscisse nulle et d'ordonnée 3. On obtient un point qui est sur l'axe des ordonnées. En faisant une addition, on peut obtenir n'importe quel point du plan. Par exemple, 2,5+3i est le point d’abscisse 2,5 et d'ordonnée 3 ; -3-4i est le point d'abscisse -3 et d'ordonnée -4.
[[Fichier:Complex numbers intheplane.svg|centré|vignette|Quelques nombres complexes dans le plan.]]

=== Addition ===
L'addition d'un nombre complexe ''z'' et d'un autre nombre complexe ''w'' s'obtient, en prenant le point pour ''z'', et en le [[Translation|translatant]] par le vecteur correspondant à la flèche partant de l'origine et finissant au point ''w''.

=== Multiplication ===
Considérons 2+3i. Multiplier par 2 ce nombre consiste à doubler le vecteur partant de l'origine finissant au point d’abscisse 2 et d'ordonnée 3. On obtient le nombre complexe 4+6i. Bref, multiplier par un nombre réel revient à allonger/rétrécir/changer de sens le vecteur associé au point. Multiplier par un nombre complexe est plus subtil. Cela revient non seulement à allonger/rétrécir le vecteur mais aussi à le pivoter. Plus précisément, pour chaque nombre complexe (i.e. un point du plan), on considère l'angle entre l'axe des abscisses et le vecteur correspondant à la flèche partant de l'origine finissant en ce point. L'exemple ci-dessous considère deux nombres complexes. L'un est obtenu en avançant d'une distance de 2 avec un angle de 30°, et l'autre en avançant de 3 avec un angle de 20°. Le produit de ces deux nombres est le point obtenu en avançant de 6 (2 fois 3) avec un angle de 50° (20° + 30°). 
[[Fichier:Complex numbers multiplication example.svg|centré|vignette|660x660px|La multiplication de deux nombres complexes multiplient les distances à l'origine, mais additionnent les angles formés avec l'axe des abscisses. ]]

=== Pourquoi {{math|1=i{{2}} = −1}} ? ===
Le nombre {{math|i}}<sup>2</sup> vaut  {{math|i×i}} : on multiplie {{math|i}} par {{math|i}}. Le nombre {{math|i}} correspond au point d’abscisse nulle et d'ordonnée 1. On remarque un angle de 90° entre l'axe des abscisses et le vecteur correspondant au nombre {{math|i}} (c'est l'angle entre l'axe des abscisses et des ordonnées). Faire la multiplication de  {{math|i}} par  {{math|i}} revient à additionner les angles : {{nobr|90° + 90° {{=}} 180°}}. On se trouve donc dans l'autre sens sur l'axe des abscisses et on obtient le point d’abscisse −1 et d'ordonnée 0, qui n'est autre que la représentation du nombre −1.
[[Fichier:Complex numbers multiplication example isquare.svg|centré|vignette|660x660px|Multiplication de i par lui-même. La distance à l'origine est de 1. Les angles formés avec l'axe des abscisses s'additionnent.]]
[[Fichier:Mandel zoom 00 mandelbrot set.jpg|thumb|L'[[ensemble de Mandelbrot]] (en noir), illustration d'un système dynamique dans le plan complexe.]]

== Motivation ==
La [[méthode de Cardan]] fournit une solution des [[Équation cubique|équations du troisième degré]], à condition de pouvoir résoudre une équation auxiliaire du second degré. Or cela est impossible lorsque son [[discriminant]] est négatif, alors qu’on sait que l’équation initiale admet des solutions. Cardan lui-même s’est enhardi à introduire dans ce cas des nombres « imaginaires » de carré négatif, constatant qu’alors sa méthode fonctionnait et produisait bien les solutions de l’équation initiale. Il est clair que si l’on admet l’existence de {{math|i}} tel que {{math|i}}{{2}} = –1, on doit aussi introduire tous les « nombres » de la forme {{math|''a'' + ''b'' i}} (où ''a'' et ''b'' sont des nombres ordinaires). Il aura fallu deux siècles pour que les mathématiciens se convainquent que ces nombres « absurdes », loin d’amener à des résultats contradictoires, étaient au contraire d’une grande utilité dans de nombreux domaines fort éloignés des questions algébriques qui leur avaient donné naissance.

== Présentation ==
Les nombres complexes, notés habituellement {{math|''z''}}, peuvent être présentés sous plusieurs formes, algébriques, polaires, ou géométriques.
=== Forme algébrique ===
Un nombre complexe {{math|''z''}} se présente en général sous forme algébrique comme une somme '''{{math|''a'' + i''b''}}''', où {{math|''a''}} et {{math|''b''}} sont des [[nombre réel|nombres réels]] quelconques et où {{math|i}} (l’[[unité imaginaire]]) est un nombre particulier tel que {{math|i}}{{2}} = –1. Le réel {{math|''a''}} est appelé '''[[partie réelle]]''' de {{math|''z''}} et se note {{math|Re(''z'')}} ou {{math|ℜ(''z'')}}, le réel {{math|''b''}} est sa '''[[partie imaginaire]]''' et se note {{math|Im(''z'')}} ou {{math|ℑ(''z'')}}. Deux nombres complexes sont égaux si et seulement s'ils ont la même partie réelle et la même partie imaginaire.

Un nombre complexe {{math|''z''}} est dit '''[[nombre imaginaire pur|imaginaire pur]]''' ou '''totalement imaginaire''' si sa partie réelle est nulle, dans ce cas il s'écrit sous la forme {{math|''z'' {{=}}i''b''}}. Un nombre complexe dont la partie imaginaire est nulle est dit réel. Le nombre réel 0 est le seul qui soit à la fois réel et imaginaire pur. Bien sûr, la plupart des nombres complexes ne sont ni réels ni imaginaires purs. Dans les textes anciens, de tels nombres, avant de s'appeler « complexes », s'appelaient « imaginaires », ce qui explique l'habitude persistante d'appeler « imaginaires purs » ceux ne comportant pas de partie réelle.

=== Forme polaire ===
Pour tout couple de réels {{math|(''a'' , ''b'')}} différent du couple (0,0), il existe un réel positif {{math|''r''}} et une famille d'angles {{math |''θ''}} déterminés à un multiple de 2π près tels que {{math |''a'' {{=}} ''r'' cos(''θ'')}} et {{math |''b'' {{=}} ''r'' sin(''θ'')}}. Tout nombre complexe non nul peut donc s'écrire sous une '''forme trigonométrique''' : {{math|''z {{=}} r ''(cos(''θ'') + i sin(''θ''))}} avec {{math|''r ''> 0}}.

Le réel positif {{math|''r''}} est appelé le '''module''' du complexe {{math|''z''}} et est noté |{{math|''z''}}|.

Le réel {{math|''θ''}} est appelé un '''argument''' du complexe {{math|''z''}} et est noté {{math|arg(''z'')}}.

On écrit parfois ce même complexe sous les formes suivantes :
* {{math|''z ''{{=}} ''r''e{{exp|i''θ''}}}}, '''forme exponentielle''' utilisant la [[formule d'Euler]]
* {{math|''z ''{{=}} (''r'', ''θ'') {{=}} ''r''{{ind|∠}}''θ''}}, '''forme polaire'''
* {{math|''z ''{{=}} ''r'' (cos''θ'' + i sin''θ'') {{=}} r cis(θ)}} (ce qui définit la [[Formule d'Euler#Description|notation cis]]<ref>{{en}} Alan Sultan et Alice F. Artzt, ''The mathematics that every secondary school math teacher needs to know'', Studies in Mathematical Thinking and Learning, Taylor & Francis, 2010, [https://books.google.fr/books?id=N16lz_AsU4AC&pg=PA326 p. 326]</ref>)

Le module du complexe {{math|''z''}} est la [[racine carrée]] de la somme des carrés des parties réelles et imaginaires :{{retrait|<math>|z|=\sqrt{a^2+b^2}</math>}}

Pour calculer un argument θ à partir de la forme algébrique {{math|''a'' + i''b''}}, on peut utiliser les fonctions [[Arc cosinus|arccos]], [[Arc sinus|arcsin]] ou [[Arc tangente|arctan]] :
<center><math>
\theta=\begin{cases}
\arccos\left(\tfrac ar\right)&\text{si }b\ge0\\
-\arccos\left(\tfrac ar\right)&\text{si }b<0,
\end{cases}
\quad
\theta=\begin{cases}
\arcsin\left(\tfrac br\right)&\text{si }a\ge0\\
\pi-\arcsin\left(\tfrac br\right)&\text{si }a<0
\end{cases}
\quad\text{et}\quad
\theta=\begin{cases}
\arctan\left(\tfrac ba\right)&\text{si }a>0\\
\arctan\left(\tfrac ba\right)+\pi&\text{si }a<0\\
\mathrm{sgn}(b) \tfrac{\pi}{2}&\text{si }a=0.
\end{cases}
</math></center>
Par exemple, les réels strictement positifs ont un argument multiple de {{math|2π}}, les réels strictement négatifs ont pour argument un multiple impair de {{math|π}}.

Les imaginaires purs non nuls ont un argument congru à {{math|π/2}} ou –{{math|π/2}} modulo {{math|2π}}, selon le signe de leur partie imaginaire.

=== Forme géométrique ===
[[Fichier:Complex number.svg|thumb|Représentation géométrique d'un nombre complexe.]]
Dans un [[plan complexe]] <math>\mathcal P</math> muni d'un [[repère (mathématiques)|repère]] orthonormé <math>(O; \vec{u}, \vec{v})</math>, l''''image''' d'un nombre complexe {{math|''z {{=}} a'' + i''b''}} est le point ''M'' de coordonnées (''a'', ''b''), son '''image vectorielle''' est le vecteur <math>\overrightarrow{OM}</math>. Le nombre {{math|''z''}} est appelé '''affixe'''<ref>{{Ouvrage|auteur=[[Jean Dieudonné]]|titre=Calcul infinitésimal|passage=24|éditeur=[[Hermann (éditions)|Hermann]]|date=1980|isbn=978-2-7056-5907-3|oclc=6787042}}.</ref>{{,}}<ref>{{Article|titre=Programme de l'enseignement optionnel de mathématiques expertes de la classe terminale de la voie générale|revue=[[Bulletin officiel (France)|Bulletin officiel]] spécial|numéro=8|date=25/7/2019|url=https://cache.media.education.gouv.fr/file/SPE8_MENJ_25_7_2019/82/5/spe264_annexe_1158825.pdf|consulté le=20/7/2022}}.</ref> du point ''M'' ou du vecteur <math>\overrightarrow{OM}</math> (dans ce contexte, affixe est féminin : une affixe).

Le module |{{math|''z''}}| est alors la [[longueur]] du segment [''OM''] : c'est la distance de l'origine ''O'' du repère au point ''M''.

Si ''z'' est différent de 0, son image est distincte de l'origine ''O'' du repère. On appelle argument de {{math|''z''}} n'importe quelle mesure {{math|θ}} en radians de l'[[angle]] <math>\left(\vec{u},\overrightarrow{OM}\right)</math>, bien définie à un multiple de {{math|2π}} près.

Puisque tous les plans complexes sont [[Canonique (mathématiques)|canoniquement]] [[isomorphisme|isomorphes]], on parle du plan complexe sans préciser davantage.

Une extension de cette représentation graphique des nombres complexes est la [[coloration de régions]]<ref>{{Lien web |langue=anglais |auteur1=Hans Lundmark |titre=Visualizing complex analytic functions using domain coloring |description=(Représentation de fonctions analytiques complexes en utilisant la coloration de régions) Lundmark se réfère à Farris pour l'invention du terme "domain coloring" |url=http://users.mai.liu.se/hanlu09/complex/domain_coloring.html |site= |date=10/10/2017 |consulté le=16/06/2024}}</ref>. Celle-ci permet la représentation dans le plan complexe d'une [[Fonction holomorphe|fonction complexe]] f(z). La valeur d'une telle fonction étant elle-même un nombre complexe, nécessiterait une représentation à 4 dimensions. La coloration de régions utilise des moyens [[Infographie|infographiques]] pour associer l'argument à la [[Ton et teinte|couleur]] et le module à la [[Luminosité (colorimétrie)|luminosité]].

== Opérations et relations ==
=== Addition ===
==== Forme algébrique ====
Dans l'ensemble des nombres complexes, on définit l'addition de la manière suivante, en sommant les parties réelles d'une part, et les parties imaginaires d'autre part :
{{retrait| <math>(a+{\rm i}b)+(c + {\rm i}d)=(a+c)+{\rm i}(b+d)~;</math>}}
Cette opération est [[associativité|associative]], [[loi commutative|commutative]], possède un [[élément neutre]] (le complexe nul) et tout complexe possède un opposé : {{math|opp(''a'' + i''b'') {{=}} –''a'' +i (–''b'')}}
L'ensemble des nombres complexes muni de l'addition forme donc un [[groupe abélien|groupe commutatif]].

==== Interprétation géométrique ====
Si {{math|''M''}} et {{math|''M''}}' sont les points d'affixes {{math|''z''}} et {{math|''z''}}', l'image {{math|''M"''}} de la somme {{math|''z'' + ''z'''}} est définie par la relation
{{retrait|<math>\overrightarrow{OM''}=\overrightarrow{OM}+\overrightarrow{OM'}.</math>}}
Pour tout complexe {{math|''z''{{ind|0}}}}, la transformation qui, au point {{math|''M''}} d'affixe {{math|''z''}}, associe le point {{math|''M' ''}} d'affixe {{math|''z' ''{{=}} ''z'' + ''z''{{ind|0}}}} est une translation de vecteur {{math|'''u'''}} d'affixe {{math|''z''{{ind|0}}}}.

=== Multiplication ===
==== Forme algébrique ====
Dans l'ensemble des nombres complexes, on définit la multiplication de la manière suivante :
{{retrait|<math>(a+{\rm i}b)(c+{\rm i}d)=(ac-bd)+{\rm i}(ad+bc).</math>}}
Cette opération est associative, commutative, [[distributivité|distributive]] pour l'addition et possède un élément neutre 1. Puisque {{math|''r'' × i {{=}} i × ''r''}}, un complexe est noté indifféremment {{math| ''a'' + i''b''}} ou {{math|''a + b''i}}

Ces propriétés permettent d'obtenir l'égalité suivante :
{{retrait|<math>(a + {\rm i}b)(a - {\rm i}b) = a^2 + b^2.</math>}}
Puisque la somme {{math|''a''{{exp|2}} + ''b''{{exp|2}}}} de deux carrés de nombres réels est un nombre réel strictement positif (sauf si {{math|''a {{=}} b {{=}} ''0}}), il existe un inverse à tout nombre complexe non nul avec l'égalité :
{{retrait|<math>\frac1{a+{\rm i}b}=\frac{a-{\rm i}b}{a^2+b^2}.</math>}}

L'ensemble des nombres complexes munis de l'addition et de la multiplication est donc un [[corps commutatif]]. De plus, l'ensemble des nombres complexes muni de l'addition et de la multiplication par un réel est un [[espace vectoriel]] sur ℝ de [[dimension d'un espace vectoriel|dimension]] 2

==== Forme polaire ====
Cette écriture est adaptée au calcul du produit de deux nombres complexes du fait des [[Identité trigonométrique#Formules d'addition et de différence|formules d'addition]] :
* <math> \cos (\alpha + \beta) = \cos\alpha\cos\beta - \sin\alpha\sin\beta</math>
* <math> \sin (\alpha + \beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta</math>

Ces identités, appliquées à la forme trigonométrique des nombres complexes, permettent d'énoncer les règles suivantes :
* le produit de deux nombres complexes non nuls a pour module le produit des modules et pour argument la somme des arguments ;
* le quotient de deux nombres complexes non nuls a pour module le quotient des modules et pour argument la différence des arguments.

La forme exponentielle met en évidence ces propriétés
* <math>\left(r{\rm e}^{{\rm i}\theta}\right)\left(r'{\rm e}^{{\rm i}\theta'}\right) = (r r'){\rm e}^{{\rm i}(\theta + \theta')},</math>
* <math>\left(r{\rm e}^{{\rm i}\theta}\right)^{-1} = \tfrac1r{\rm e}^{-{\rm i}\theta}.</math>

La forme polaire est également bien adaptée pour calculer la puissance d'un nombre complexe par la [[formule de Moivre]] :
* <math> z^n = [r(\cos\theta+ {\rm i}\sin\theta)]^n=r^n(\cos n\theta + {\rm i}\sin n\theta).</math>

==== Interprétation géométrique ====
[[File:Complex multi.svg|right|thumb|'''Multiplication de {{math|3 + i}} (triangle rouge) par {{math|2 + i}} (triangle bleu)'''. Le triangle rouge tourne pour venir se positionner sur l'hypoténuse du triangle bleu puis est agrandi d'un facteur {{racine|5}} correspondant à la longueur de l'hypoténuse du triangle bleu.]]
Si {{math|''M''}} est le point d'affixe {{math|''z''}} et si {{math|λ}} est un réel, l'image {{math|''M''}}' du produit {{math|λ''z''}} est définie par la relation
{{retrait|<math>\overrightarrow{OM'}=\lambda \overrightarrow{OM}.</math>}}

L'action du nombre réel {{math|λ}} par multiplication scalaire s'interprète géométriquement comme une [[homothétie]] de centre ''O'' et de rapport {{math|λ}} sur le plan complexe.

Si {{math|''M''}} est le point d'affixe {{math|''z''}} et si {{math|''z''{{ind|0}}}} est un complexe de module 1 et d'argument {{math|''θ''}}, l'image {{math|''M''}}' du produit {{math|''z''{{ind|0}}''z''}} est définie par les relations
* <math>OM'=OM\,</math>
* <math>\left(\overrightarrow{OM},\overrightarrow{OM'}\right) = \theta</math>.
L'action d'un nombre complexe de module 1 par multiplication s'interprète géométriquement comme une [[Rotation plane|rotation]] de centre l'origine et d'angle l'argument.

Par composition d'une homothétie et d'une rotation, l'action d'un nombre complexe {{math|''z''}} non nul par multiplication s'interprète géométriquement comme une [[similitude (géométrie)|similitude directe]] de centre l'origine, de rapport |{{math|''z''}}| et d'angle {{math|arg(''z'')}}.

L'image de l'inverse {{math|1/''z''}} de {{math|''z''}} est l'image de {{math|''M''}} par l'[[inversion (géométrie)|inversion]] par rapport au cercle unité, composée avec la symétrie par rapport à l'axe des abscisses.

=== Conjugaison ===
{{article détaillé|Conjugué}}
[[File:Complex conjugate picture.svg|right|thumb|Représentation géométrique du complexe {{math|''z''}} et de son conjugué {{math|{{surligner|''z''}}}} dans le plan complexe.]]
Le [[conjugué|complexe conjugué]] du nombre complexe {{math|1=''z'' = ''a'' + i''b''}} est {{math|''a'' − i''b''}}. Il est noté {{math|{{surligner|''z''}}}} ou {{math|''z*''}}. Le conjugué d'un complexe a donc même partie réelle que le complexe de départ mais une partie imaginaire opposée. Le complexe conjugué d'un complexe non nul a même module que le complexe de départ mais un argument opposé.

Le conjugué d'une somme, d'une différence, d'un produit ou d'un quotient est respectivement la somme, la différence, le produit ou le quotient des conjugués. Le conjugué du conjugué d'un complexe est le complexe de départ. L'application de conjugaison est donc un [[automorphisme]] [[Involution (mathématiques)|involutif]].

Si {{math|''M''}} est le point d'affixe {{math|''z''}}, l'image du complexe {{math|{{surligner|''z''}}}} est le [[Symétrie axiale|symétrique]] de {{math|''M''}} par rapport à l'axe des abscisses.

Partie réelle, partie imaginaire et module d'un complexe peuvent se définir à l'aide du complexe et de son conjugué :
* <math>\operatorname{Re}\,(z) = \tfrac{1}{2}(z+\bar{z}), \,</math>
* <math>\operatorname{Im}\,(z) = \tfrac{1}{2\mathrm{i}}(z-\bar{z}). \,</math>
* <math>|z|=\sqrt{z\bar z}</math>

=== Module ===
{{article détaillé|Module d'un nombre complexe}}
Le module d'un nombre complexe s'interprète, dans le plan complexe comme la distance séparant l'image de ce complexe de l'origine du repère. Si {{mvar|M}} et {{mvar|M {{'}}}} sont les points d'affixes {{mvar|z}} et {{mvar|z{{'}}}}, {{math|{{absolu|''z' – z''}}}} est la distance {{mvar|M'M}}.

Le seul nombre complexe de module nul est le réel nul. Puisque le module du produit ou du quotient de deux complexes non nuls est respectivement le produit ou le quotient de leurs modules, l'application
:<math>\begin{matrix}\Complex^*&\to&\R^*_+\\z&\mapsto& |z| \end{matrix}</math>

est un [[morphisme de groupes]] multiplicatifs.

L'interprétation du module comme une [[Distance (mathématiques)|distance]] conduit à l'[[inégalité triangulaire]] suivante :{{retrait| <math>|z + z'| \le |z|+|z'|</math> }}L'application module est une [[Valeur absolue#Valeur absolue dans un corps|valeur absolue]] car elle est strictement positive en dehors de 0, [[Sous-additivité|sous-additive]] et multiplicative.

=== Relation d'ordre ===
Dans un [[corps ordonné#corps totalement ordonné|corps totalement ordonné]], tout carré est positif et l'opposé d'un nombre positif non nul est négatif. Ces deux propriétés sont en contradiction avec le fait que dans le corps des nombres complexes 1 et son opposé –1 sont tous deux des carrés (de 1 et de i) mais ne peuvent pas être tous deux positifs. Il n'est donc pas possible de munir le corps des complexes d'une relation d'ordre total compatible avec les deux opérations.

On peut cependant munir le corps des complexes d'un ordre partiel compatible avec la somme et le produit en posant :{{retrait|{{math|''a'' + i''b'' < ''a{{'}}'' + i ''b{{'}}''}} si et seulement si {{math|''a'' < ''a{{'}}''}} et {{math|1=''b'' = ''b{{'}}''}}.}}On peut également munir l'ensemble des complexes, considéré comme un espace vectoriel sur ℝ, d'une relation d'[[ordre total]], compatible avec l'addition, ainsi qu’avec la multiplication par des réels positifs, grâce à l'[[ordre lexicographique]] :{{retrait|{{math|''a'' + i''b'' < ''a' ''+ i''b{{'}}''}} si et seulement si {{math|''a'' < ''a{{'}}''}} ou {{math|1=''a'' = ''a{{'}}''}} et {{math|''b'' < ''b{{'}}''}}. }}

=== Racine ===
{{article détaillé|Racine d'un nombre complexe|Théorème fondamental de l'algèbre}}
La forme polaire d'un complexe permet de mettre en évidence le fait qu'un nombre complexe non nul possède exactement {{math|''n''}} racines nièmes, de même module égal à {{math|{{racine|''r''|n=''n''}}}} et d'argument {{math|{{sfrac|''θ'' + 2''k''π|''n''}}}}.

Pour tout entier naturel {{math|''n''}}, l'ensemble des racines nièmes de l'unité {{math|''U''{{ind|''n''}}}} est un [[Groupe (mathématiques)|groupe]] multiplicatif [[isomorphisme|isomorphe]] au [[Anneau ℤ/nℤ|groupe additif ℤ/''n''ℤ]] des congruences modulo {{math|''n''}}.

On peut démontrer que tout [[polynôme]] à coefficients complexes possède au moins une [[Racine d'un polynôme|racine]] complexe. C'est le [[théorème fondamental de l'algèbre]]. Cette propriété fait du corps des complexes un [[corps algébriquement clos]]. Un polynôme à coefficients complexes est donc entièrement factorisable en produit de polynômes de degré 1 et possède donc un nombre de racines (comptées avec leur [[fonction polynôme#ordre de multiplicité|ordre de multiplicité]]) égal au [[Fonction polynôme#Degré|degré du polynôme]].

=== Exponentiation et logarithme ===
{{article détaillé|Formule d'Euler|logarithme complexe}}
La [[formule d'Euler]] {{math|cos''θ'' + i sin''θ'' {{=}} e{{exp|i''θ''}}}} qui se démontre à l'aide de limite de suites, ou d'équation différentielle permet de justifier la notation exponentielle des nombres complexes.

La [[fonction exponentielle]] se prolonge en une fonction de la variable complexe de la manière suivante :{{retrait|<math>\exp(a + {\rm i}b) = \exp{a}\times (\cos b + {\rm i}\sin b),</math>}}en conservant les propriétés algébriques de l'exponentielle. L'exponentielle complexe est un morphisme du groupe additif (ℂ,+) dans le groupe multiplicatif (ℂ*,×), ℂ* ensemble des nombres complexes non nuls.

Cependant la [[logarithme naturel|fonction logarithme]] ne peut pas se prolonger en une fonction complexe en gardant ses propriétés. Dans l'[[histoire des nombres complexes]], cette découverte a fait l'objet de nombreux échanges de lettres entre mathématiciens tels [[Jean Bernoulli]], [[Gottfried Wilhelm Leibniz]] et [[Leonhard Euler]]. On peut le définir de manière [[Fonction multivaluée|multivaluée]] en posant{{retrait|<math>\ln z {{=}}\ln |z| + {\rm i} \arg (z),</math>}}formule dans laquelle {{math|arg(''z'')}} est défini à un multiple de 2{{mathPi}} près.

=== Structures ===
L'ensemble des nombres complexes est un [[corps commutatif]] [[Corps algébriquement clos|algébriquement clos]] non [[corps ordonné#corps totalement ordonné|totalement ordonnable]].

En fait, le corps des complexes est la [[clôture algébrique]] du corps des réels, c'est-à-dire le plus petit corps qui contienne le corps des réels et qui soit algébriquement clos. Du point de vue de la [[théorie de Galois]], on peut considérer les automorphismes du corps des complexes : l'identité et la conjugaison sont ses seuls automorphismes continus (on peut remplacer l'hypothèse « continu » par, au choix, « mesurable » ou « tel que l'image de tout réel est un réel »). En supposant l'axiome du choix on peut construire des automorphismes « exotiques » de ce corps : voir [[Automorphisme de corps non continu de C|Automorphismes de corps non continus de ℂ]].

C'est également un [[espace vectoriel]] sur ℝ totalement ordonné par l'[[ordre lexicographique]].

== Construction ==
Il existe plusieurs manières courantes de construire le corps des nombres complexes à partir de l'ensemble des nombres réels et de ses opérations arithmétiques élémentaires. Outre que les objets ainsi définis sont tous [[isomorphisme|isomorphes]], les constructions présentées ci-après mettent en lumière trois caractéristiques importantes :
# Le corps des réels est clairement identifié comme un sous-ensemble du corps des complexes et les opérations d'addition et de multiplication sont préservées dans la nouvelle structure. Le nombre réel 1 reste [[Élément neutre|neutre]] pour la multiplication.
# Il existe un nombre complexe {{math|i}} [[Canonique (mathématiques)|canoniquement]] choisi dont le carré vaut –1 (son opposé vérifie aussi cette propriété, et le choix fait dans chacune des constructions présentées est donc en fait arbitraire, mais cela n'a pas d'importance en pratique).
# Deux paramètres réels sont nécessaires et suffisants pour décrire tous les nombres complexes, ce qui souligne la structure d'espace vectoriel réel de dimension 2 avec une [[base canonique]].

=== Couples de réels ===
On peut définir un nombre complexe comme un couple (''a'', ''b'') de nombres réels. Sur l'ensemble ℝ{{2}} des couples de réels on définit une addition et une multiplication.

Cette construction est essentiellement la « théorie des couples algébriques » due au mathématicien [[William Rowan Hamilton]] qui l'ayant conçue vers 1826, l'expose devant l'Académie Royale d'Irlande en 1833, et la publie en 1835. [[Carl Friedrich Gauss]] arrive à des résultats voisins en 1831 qu'il publie en 1837. Hamilton se préoccupait de justifier l'« existence » des nombres complexes. Ce qui est présenté ci-dessous comme de simples définitions, justifiées implicitement par les règles de calcul sur les nombres complexes mais indépendantes d'une existence préalable de ceux-ci, est le fruit d'une longue analyse chez Hamilton<ref>{{harvsp|Flament|2003}}, chap. IV section 3, en particulier p. 386 et p. 413</ref>.

L'addition est celle des composantes terme à terme :
:<math>(a, b) + (c, d) = \left(a + c, b + d\right)</math>.
La multiplication est définie par :
:<math>(a, b)\times (c, d) = \left(ac - bd, ad + bc\right)</math>.
On vérifie alors que ℝ{{2}} muni de ces deux lois, avec (0, 0) comme neutre additif et (1, 0) comme neutre multiplicatif, est un corps ; en particulier, l'inverse d'un élément (''a'', ''b'') ≠ (0, 0) est {{math|(''a''/(''a''{{2}} + ''b''{{2}}), –''b''/(''a''{{2}} + ''b''{{2}})),}} et (0, 1)×(0, 1) = (–1, 0).

L'ensemble des réels s'identifie alors à la droite ℝ×{0} et l'élément {{math|i}} est le couple (0, 1).

L'ensemble ℝ{{2}} peut être muni de sa structure canonique de [[plan (mathématiques)|plan]] vectoriel euclidien.
Un nombre complexe est alors un vecteur du plan ℝ{{2}}. La somme complexe est la somme vectorielle. La base canonique est constituée de deux vecteurs correspondant pour le premier (1, 0) au nombre complexe 1 et pour le second au nombre complexe {{math|i}}.

On peut introduire enfin le [[module d'un nombre complexe]] qui correspond à la [[Norme (mathématiques)#Calcul|norme euclidienne]] du vecteur associé et l'[[Argument (mathématiques)|argument]] qui est une mesure de l'angle formé par le vecteur associé avec le premier [[vecteur de base]].

Cette définition présente l'avantage de la simplicité, puisqu'elle exige peu de prérequis mathématiques. Elle est en outre adaptée à la [[#Plan complexe|représentation géométrique]] des nombres complexes.

=== Matrice de similitude ===
Il est intéressant de définir un nombre complexe non nul comme une [[Matrice (mathématiques)|matrice]] de [[Similitude (géométrie)|similitude directe]] <math>
\left(
  \begin{matrix}
    a  & -b \\
    b & a \\
   \end{matrix}
\right)
</math> à coefficients réels, car les [[Matrice (mathématiques)#Espaces de matrices|opérations matricielles]] induisent précisément la structure algébrique voulue. En outre, le [[module d'un nombre complexe|module]] et l'[[Argument (mathématiques)|argument]] deviennent respectivement le rapport et une mesure de l'angle de la similitude.

Il faut cependant vérifier que l'ensemble de ces matrices, complété par la matrice nulle, est [[Sous-espace stable|stable]] par produit :
:<math>\begin{pmatrix}a&-b\\b&a\end{pmatrix}\begin{pmatrix}c&-d\\d&c\end{pmatrix}=\begin{pmatrix}ac-bd&-ad-bc\\ad+bc&ac-bd\end{pmatrix},</math>
ce qui justifie au passage la [[commutativité]] du produit et assure l'isomorphisme entre cette structure et [[#Plan complexe|celle définie précédemment]].

L'ensemble des réels s'identifie alors à l'ensemble des matrices diagonales de la forme
:<math>
\left(
  \begin{matrix}
    a & 0 \\
    0 & a \\
   \end{matrix}
\right)
</math>,
l'unité étant représentée par la matrice identité.
L'élément <math>\scriptstyle i</math> désigne classiquement la matrice <math>\left(  \begin{matrix}
    0  & -1 \\
    1 & 0 \\
   \end{matrix}\right)</math>.

Le [[Déterminant (mathématiques)#Déterminant d'une matrice|déterminant]] correspond au carré du [[Module d'un nombre complexe|module]], ce qui entraîne que tous les éléments non nuls sont inversibles et la [[Matrice inversible#Méthode des cofacteurs|méthode des cofacteurs]] démontre la stabilité par inverse.

Ce point de vue fournit une construction naturelle qui peut être adaptée pour obtenir l'algèbre réelle des [[quaternion]]s. Il donne en outre une interprétation géométrique de la multiplication des nombres complexes comme composition de [[Similitude (géométrie)|similitudes]] du plan. La conjugaison est enfin représentée par la transposition des matrices.

=== Classe d'équivalence de polynômes ===
Un nombre complexe peut enfin être vu comme un [[polynôme]] réel d'indéterminée {{math|i}}, où le carré {{math|i}}{{2}} est identifié avec le polynôme constant de valeur –1, donc avec les identifications {{math|i}}{{3}} = –{{math|i}}, {{math|i}}{{4}} = 1…

Formellement, cela revient à assimiler l'ensemble des nombres complexes à l'[[anneau quotient]] ℝ[''X'']/(''X''{{2}} + 1), dans lequel deux polynômes appartiennent à la même [[Relation d'équivalence|classe d'équivalence]] si et seulement s'ils ont le même reste de [[division euclidienne]] par {{nobr|''X''{{2}} + 1}}. Cette construction justifie l'écriture d'un nombre complexe sous la forme {{math|''a'' + i''b''}}, le polynôme {{math|''bX'' + ''a''}} pouvant s'obtenir comme le reste de la division euclidienne d'un polynôme par {{nobr|''X''{{2}} + 1}}.

Le caractère [[Polynôme#Divisibilité|irréductible]] du polynôme {{nobr|''X''{{2}} + 1}} assure directement la structure de corps. Les réels sont représentés par les polynômes constants et le degré 2 du polynôme diviseur est la dimension de l'ensemble comme espace vectoriel réel.

Cette conception correspond à l'invention des nombres complexes, {{math|i}} ayant été introduit comme l'une des racines de l'équation {{nobr|''X''{{2}} + 1 {{=}} 0}}. Elle est loin de la géométrie et nécessite un seul générateur algébrique et une seule relation. Le formalisme, plus récent, du quotient d'un [[anneau euclidien]], ici l'anneau des polynômes réels à une indéterminée, par un de ses [[idéal premier|idéaux premiers]] est à la base de la construction des [[extension algébrique|extensions algébriques]] de corps.

== Développements en mathématiques ==
=== Analyse complexe ===
{{Article détaillé|Analyse complexe}}
Les nombres complexes ont initialement été conçus pour répondre à un problème algébrique. Cependant, étendre les définitions de l'analyse au champ des nombres complexes s'avère tout aussi fécond. Par exemple la définition usuelle de la dérivée : <math>\lim_{h \rightarrow 0} \frac{f(z+h)-f(z)}{h}</math> (avec usage de la multiplication et de la soustraction complexes) permet d'obtenir une nouvelle notion de fonction dérivable, de variable complexe à valeurs complexes appelée '''[[fonction holomorphe]]'''. Cette notion s'avère plus restrictive que son pendant réel, notamment, toute fonction holomorphe voit sa dérivée être holomorphe, et même, toute fonction holomorphe est [[fonction analytique|analytique]], c'est-à-dire admet un [[série entière|développement en série entière]] en chacun des points de son domaine d'holomorphie.

En théorie de l'intégration, en utilisant la notion d'intégrale le long d'un chemin, on obtient le [[théorème intégral de Cauchy]], qui assure que l'intégrale d'une fonction holomorphe, sur un domaine vérifiant certaines propriétés topologiques, le long d'un chemin fermé, est nulle. Cette propriété cruciale permet d'obtenir la notion de primitive d'une fonction holomorphe, toujours sur un domaine adapté. Certaines de ces conditions topologiques peuvent être abandonnées, grâce à la notion de [[point singulier]], aboutissant au [[théorème des résidus]].

=== Dynamique holomorphe ===
{{Article détaillé|Dynamique holomorphe}}

La dynamique holomorphe à une variable consiste en l'étude du comportement des itérés d'une fonction holomorphe ''f ''définie sur une [[surface de Riemann]]. On distingue deux types de points sur ces surfaces : ceux où la famille des itérés est [[famille normale|normale]], en ces points la dynamique est assez simple (bassins d'attractions de cycles de points périodiques), dont l'ensemble est appelé [[ensemble de Fatou]] de ''f'', puis ceux où le comportement est [[système dynamique|chaotique]] et dont l'ensemble est appelé [[ensemble de Julia]] de ''f''.

Les propriétés de ces itérés sont particulièrement bien connues dans le cadre de la [[sphère de Riemann]] : classification complète des composantes connexes de l'ensemble de Fatou selon les propriétés de ''f'', propriétés de l'ensemble de Julia, étude des {{Lien|trad=Parametric family|texte=familles paramétrées}} de polynômes…

On étudie aussi la dynamique holomorphe à plusieurs variables, par exemple dans les espaces projectifs complexes où apparaissent de nouvelles difficultés par rapport à une variable telles que la présence d'ensembles de points où ''f ''n'est pas définie.

=== Équations différentielles dans le champ complexe ===
L'étude des [[Équation différentielle#Équation différentielle holomorphe|équations différentielles holomorphes]] a les mêmes résultats de base que celle des équations sur des fonctions de variable réelle, et notamment le [[théorème de Cauchy-Lipschitz]], qui donne l'existence et l'unicité d'une solution à un problème de Cauchy ; ou les résultats d'algèbre linéaire sur les espaces de solutions des équations différentielles linéaires.

Cependant, l'étude des équations aux points singuliers est nettement plus féconde que les simples études de raccord du cas réel : la topologie du plan complexe au voisinage d'un point singulier fait qu'il y a une infinité de manières de l'approcher, et l'étude des raccords des solutions obtenues avec toutes les méthodes d'approche amène à la notion de [[monodromie]]. Cette notion est ensuite utilisée dans un cadre plus général : la [[théorie de Galois différentielle]].

=== Analyse de Fourier ===
{{Article détaillé|Analyse harmonique}}

=== Nombres hypercomplexes ===
{{Article détaillé|Nombre hypercomplexe}}

Le corps <math>\mathbb{C}</math> des nombres complexes peut-être vu comme un sous-corps ou une sous-algèbre d’un corps ou d’une algèbre plus grande, dont les éléments sont alors qualifiés d’''hypercomplexes''. Par exemple <math>\mathbb{H}</math>, le corps non commutatif des [[quaternion]]s, ou <math>\mathbb{O}</math>, l’[[algèbre à division]], ni commutative ni associative, des [[octonion]]s.

=== En topologie ===
* En identifiant l'espace vectoriel ℝ{{exp|2''n''}} avec l'espace vectoriel ℂ{{exp|''n''}}, la multiplication par {{math|i}} définit une application sans [[point fixe]] sur les [[sphère]]s de dimension impaire.
* L'adjonction d'un « [[point à l'infini]] » au plan complexe définit la [[sphère de Riemann]] homéomorphe à la sphère usuelle S{{exp|2}}, qui peut être vue comme le premier [[espace projectif]] complexe.

La projection de la sphère S{{3}}, vue comme sphère unité de l'espace ℂ{{2}}, sur la sphère de Riemann par quotient de l'action du [[cercle unité]] S{{exp|1}} constitue alors la [[fibration de Hopf]].
* Les espaces projectifs complexes de dimension paire engendrent rationnellement l'anneau de [[cobordisme]] orienté<ref>{{en}} [[John Milnor|J. W. Milnor]] et [[James Stasheff|J. D. Stasheff]], ''Characteristic classes'', Annals of Math. Studies '''76''', Priceton University Press (1974)</ref>.

== Emploi en physique et ingénierie ==
=== Phénomènes périodiques et analyse de Fourier ===
La forme trigonométrique a permis de simplifier la modélisation et l’écriture de nombreux phénomènes, par exemple les phénomènes ondulatoires notamment à propos des [[électromagnétisme|ondes électromagnétiques]], ou en [[électronique (technique)|électronique]] et plus précisément dans le domaine de l'analyse électronique des circuits contenant des auto-inductances (selfs ou bobines) notées L, des capacités notées C et des résistances notées R (exemples : R + jLω ou R – j/(Cω))<ref name=j group=alpha/>. On peut tracer alors le diagramme de Fresnel, et ce quelle que soit l'expression.

En fait, on se sert du fait que ℂ contient ℝ pour simplifier les écritures. En effet, si l’on doit écrire qu’un paramètre vaut ''r'' cos(θ), il faut deux réels, ''r'' et θ. Mais avec des complexes, il suffit d’un seul nombre, ce qui est bien plus simple.

==== Électromagnétisme ====
En [[électromagnétisme]] toujours, mais dans un contexte différent, on peut écrire le champ électromagnétique comme une combinaison complexe du champ électrique et du champ magnétique. Pur artifice de calcul, on peut associer l'un ou l'autre de ces champs à la partie « imaginaire » du champ complexe obtenu : cela simplifie grandement les opérations.

[[Image:Euler's formula.svg|right|thumb|<center>Formule d'Euler :</center> <math>\mathrm e^{\mathrm i\varphi}=\cos(\varphi)+\mathrm i\sin(\varphi)</math>.]]
Un autre exemple en électromagnétisme est le [[courant alternatif]] : puisque le [[tension électrique|voltage]] d'un tel circuit [[onde|oscille]], il peut être représenté comme un nombre complexe via la [[formule d'Euler]] :
:<math> V = V_0{\rm e}^{{\rm i}\omega t} = V_0 \left (\cos \omega t +{\rm i}\sin\omega t \right ),</math>

Afin d'obtenir une quantité mesurable, on prend la partie réelle<ref group=alpha>Voir des exemples dans : ''Electromagnetism'' ({{2e}} édition), I.S. Grant, W.R. Phillips, Manchester Physics Series, 2008 {{ISBN|0-471-92712-0}}</ref> :
:<math> \mathrm{Re}(V) = \mathrm{Re}\left [ V_0{\rm e}^{{\rm i}\omega t} \right ] = V_0 \cos \omega t.</math>

==== Analyse de Fourier ====
On emploie également les complexes pour l'[[Série de Fourier|analyse de Fourier]], très utilisée dans de nombreux domaines, comme le traitement du signal. L'idée sous-jacente à l'introduction des séries de Fourier est de pouvoir obtenir une fonction admettant ''T'' pour période, par exemple continue, comme somme de fonctions sinusoïdales :
:<math>f(x)=\sum_{n=-\infty}^{+\infty}c_n (f){\rm e}^{{\rm i}2\pi\frac nTx}</math>
avec les coefficients ''c<sub>n</sub>''(''f''), appelés '''coefficients de Fourier''' de ''f'', définis par la formule :
:<math>c_n(f) = \frac1T\int_{-T/2}^{T/2} f(t){\rm e}^{-{\rm i}2\pi\frac n{T}t}\mathrm dt.</math>

=== Mécanique des fluides dans le plan ===
En [[mécanique des fluides]] (hydro/aérodynamique), on fait apparaître des potentiels{{Quoi|date=21 mai 2023}} et des vitesses complexes. En effet, pour un écoulement à deux dimensions, on peut décomposer la vitesse du fluide en ''V<sub>x</sub>'' et ''V<sub>y</sub>''. Or, on montre que :

<div align=center>
<math>V_x = \frac{\partial\phi}{\partial x} = \frac{\partial\psi}{\partial y}</math>
<br />
<math>V_y = \frac{\partial\phi}{\partial y} = -\frac{\partial\psi}{\partial x}</math>
</div>

Satisfaire à ces conditions (conditions de [[Augustin Louis Cauchy|Cauchy]]-[[Bernhard Riemann|Riemann]]) équivaut à dire qu'il existe une fonction analytique telle que
<div align=center>
<math>f(z) = \phi +{\rm i}\psi</math> où <math>z=x+{\rm i}y</math>
</div>
Ceci permet encore d’écrire :

<div align=center>
<math>\frac{{\rm d}f}{{\rm d}z}=\frac{\partial\phi}{\partial x} +{\rm i}\frac{\partial\psi}{\partial x} = V_x -{\rm i}V_y</math>
</div>

On appelle ''f''(''z'') le ''potentiel complexe'', et sa dérivée par rapport à ''z'', la ''vitesse complexe''. Grâce à cette fonction, on obtient directement le module de la vitesse, et sa direction (en prenant la forme trigonométrique). Surtout, on peut modéliser simplement un écoulement autour d'un obstacle, d'une manière simple et compacte. La fonction ψ doit être constante le long du profil de cet obstacle, ce qui permet une résolution simple de ''f'', grâce à des résultats simples d’analyse complexe.

=== Fonction de structure ===
Toujours dans l'analyse des phénomènes vibratoires, les propriétés des nombres complexes permettent non seulement de simplifier les calculs, mais aussi de déterminer des caractéristiques physiques d'un système oscillant, voire des propriétés fondamentales comme la [[causalité]]<ref name="SA138">Jacques Bros et Marc Lachièze-Rey, encadré "''De l'usage des nombres complexes en physique''", p. 55 Sciences et Avenir n°138 Avril-Mai 2004</ref>. Une ''fonction de structure'' est une certaine fonction complexe <math>F(\nu)</math> où <math>\nu</math> est la fréquence complexifiée, la partie réelle étant la fréquence au sens usuel et la partie imaginaire représentant un facteur d'[[amortissement physique|amortissement]] du phénomène oscillant.

Les valeurs complexes de <math>\nu</math> où <math>F(\nu)</math> diverge et tend vers l'infini sont nommés les [[Pôle (mathématiques)|pôles]] de <math>F</math>. Il s'avère qu'un pôle qui est d'un point de vue mathématique une [[Singularité (mathématiques)|singularité]], possède un sens physique et représente une fréquence de [[résonance]] du système. De plus, l'étude de l'[[fonction analytique|analyticité]] (en analyse complexe, il s'agit de l'[[holomorphisme|holomorphicité]]) de la fonction de structure permet de connaitre des relations de causalité et savoir si un phénomène dépend d'excitations extérieures ou intrinsèques<ref name="SA138"/>.

Il est possible également de définir une autre fonction de structure complexe <math>G(t)</math>, où t est un ''temps complexe''. L'analyticité de <math>G(t)</math> permet cette fois-ci d’analyser les propriétés de ''stabilité'' d'un système physique et les conditions de retour à un état d'équilibre<ref name="SA138"/>.

L'efficience et le pouvoir prédictif physique des fonctions de structure fait dire à [[Marc Lachièze-Rey]] que l'usage des nombres complexes dépasse le simple artifice de calcul et donne aux nombres complexes un degré de "réalité" physique comparable à celui des nombres réels<ref name="SA138"/>.

=== Mécanique quantique ===
{{Article détaillé|Postulats de la mécanique quantique}}
Les nombres complexes sont omniprésents et indispensables à la [[mécanique quantique]]. Celle-ci est décrite dans des [[espace de Hilbert|espaces vectoriels de Hilbert]] aux [[Scalaire (mathématiques)|scalaires]] complexes, et dont les vecteurs représentent des [[état quantique|états quantiques]]. Leur évolution est régie par l'[[équation de Schrödinger]] qui fait également intervenir des nombres complexes. Une [[grandeur physique]] est représentée par une [[observable]] qui est une [[application linéaire]] d'un espace de Hilbert dans lui-même.

La [[Projecteur (mathématiques)|projection]] du vecteur représentant l'état quantique sur un des [[Vecteur propre|vecteurs propres]] de cette observable donne une réalisation possible d'un état physique (une position donnée, une énergie donnée, etc.), et on quitte le domaine des nombres complexes en calculant la probabilité de réalisation de cet état physique, donnée par le [[Module d'un nombre complexe|module complexe]] au carré du vecteur projeté.

La ''fonction de structure'' complexe (voir ci-dessus) joue également un grand rôle en physique quantique, car par [[dualité onde corpuscule]] tout phénomène quantique se réduit à des phénomènes vibratoires ou oscillants. Ici, c'est l'''énergie'' d'un système qui est complexifiée avec la fréquence, via la [[relation de Planck-Einstein]] <math>E = h\nu</math>. Les pôles des fonctions de structure quantiques correspondent également à des phénomènes physiques essentiels comme l'apparition de nouvelles [[Particule élémentaire|particules élémentaires]] lors de collisions, et l'analyticité permet également d'exprimer une forme de causalité sous-jacente aux phénomènes quantiques<ref name="SA138"/>.

Selon [[Roger Penrose]], les propriétés mathématiques fondamentales des nombres complexes sous-tendent la physique du [[principe de superposition]] et de l'[[équation de Schrödinger]] et les conditions de quantification d'un champ physique dans la [[théorie quantique des champs]], ce qui lui fait apparaître les nombres complexes comme étant un des fondements de la physique, avec les principes de [[symétrie]]<ref name="Penrose">Roger Penrose, ''A la découverte des lois de l'univers'', 2007, Ed. Odile Jacob, 34.8</ref>. De son point de vue, la théorie quantique ne va pas assez loin dans le rôle fondamental donné aux nombres complexes car la théorie n'est totalement [[holomorphe]] qu'avec des conditions arbitraires d'[[Opérateur hermitien|hermiticité]] des opérateurs quantiques, et d'orthogonalité des résultats de mesure<ref name="Penrose"/>. Penrose va tenter de construire une théorie de [[gravité quantique]] entièrement fondée sur les propriétés des nombres complexes et entièrement holomorphe : la [[théorie des twisteurs]].

En janvier 2021, Miguel Navascués et ses collègues de l'Institut d'optique quantique et d'information quantique de [[Vienne (Autriche)|Vienne]] montrent par un raisonnement théorique que les nombres complexes sont indispensables à la mécanique quantique, pas seulement des outils commodes comme pour la représentation des phénomènes périodiques, par exemple. Ils proposent aussi un test expérimental permettant d'exclure les théories quantiques à valeurs réelles. Deux groupes de recherche mènent ensuite l'expérience et confirment cette prédiction théorique<ref>{{Article| langue=fr| titre=Le monde est-il imaginaire ?| auteur1=Marc-Olivier Renou| auteur2=Antonio Acín| auteur3=Miguel Navascués| périodique=[[Pour la science]]| numéro=551| date=septembre 2023| pages=22-33}}.</ref>{{,}}<ref>{{Article| langue=en| titre=Does quantum mechanics need imaginary numbers?| auteur1= Johanna L. Miller| périodique=[[Physics Today]]| volume=75| numéro=3| date=mars 2022| pages=14| doi=10.1063/PT.3.4955| lire en ligne=https://physicstoday.scitation.org/doi/10.1063/PT.3.4955| accès url=libre| consulté le=3 mars 2022}}.</ref>{{,}}<ref>{{Article| langue=en| titre=Testing Real Quantum Theory in an Optical Quantum Network| auteur1=Zheng-Da Li| auteur2=Ya-Li Mao| auteur3=Mirjam Weilenmann| auteur4=Armin Tavakoli| auteur5=Hu Chen| et al.=oui| périodique=[[Physical Review Letters]]| volume=128| numéro article=040402| date=24 janvier 2022| doi=10.1103/PhysRevLett.128.040402}}.</ref>{{,}}<ref>{{Article| langue=en| titre=Ruling Out Real-Valued Standard Formalism of Quantum Theory| auteur1=Ming-Cheng Chen| auteur2=Can Wang| auteur3=Feng-Ming Liu| auteur4=Jian-Wen Wang| auteur5=Chong Ying| et al.=oui| périodique=[[Physical Review Letters]]| volume=128| numéro article=040403| date=24 janvier 2022| doi=10.1103/PhysRevLett.128.040403}}.</ref>.

=== Relativité restreinte ===
{{Article détaillé|Espace de Minkowski}}
{{...}}

=== Gravité et cosmologie quantique ===
[[File:Big_bang_manifold.png|thumb|Selon l'hypothèse de Hawking-Hartle, la [[Singularité gravitationnelle|singularité]] initiale de l'univers, représentée ici par un pic, n'existe pas si on fait l'hypothèse que le temps aux alentours du [[Big Bang]] est un [[temps imaginaire]] complexe. La géométrie de cette région devient semblable à la surface lisse d'une sphère.]]
{{Article détaillé|Temps imaginaire}}
{{Article détaillé|Théorie des twisteurs}}
Pour résoudre le problème de la [[Singularité gravitationnelle|singularité]] qui selon le modèle du [[Big Bang]] est à l'origine de l'univers, [[Stephen Hawking]] et [[James Hartle]] ont proposé une hypothèse d'un ''univers sans bords'', où la singularité initiale serait absente. Cette hypothèse repose sur l'idée que le temps, près de l'origine, est un [[temps imaginaire]] <math>\tau = i.t</math>. Ce temps imaginaire permet de transformer la [[Géométrie lorentzienne|métrique lorentzienne]] usuelle de l'univers <math>dl^2 = dx^2+dy^2+dz^2-dt^2</math> (métrique de l'[[espace de Minkowski]]) en [[métrique riemannienne]] définie positive, ou pseudo-euclidienne, <math>dl^2 = dx^2+dy^2+dz^2+d\tau^2</math><ref name="Penrose28.9">Roger Penrose, ''À la découverte des lois de l'univers'', 2007, Éd. Odile Jacob, 28.9.</ref>.

Le pari de Hawking et Hartle est que ce temps imaginaire permet de décrire la [[fonction d'onde]] correcte de l'univers et sa véritable physique aux alentours du Big Bang, donnée par la somme des [[intégrale de chemin|intégrales de chemin]] calculées dans cette métrique où elles sont convergentes (tandis qu'elles sont divergentes et inexploitables en métrique lorentzienne). Cette fonction d'onde décrit la région de l'espace-temps du Big Bang comme une [[superposition quantique]] d'espaces sans singularité semblables à une surface sphérique à 4 dimensions, où — comme la surface d'une sphère normale — la courbure est partout finie et varie continument, et où on peut évoluer sans rencontrer de « bords »<ref name="Penrose28.9"/>{{,}}<ref name="FS">[http://www.futura-sciences.com/magazines/espace/infos/dico/d/univers-modele-hartle-hawking-78/ Modèle de Hartle-Hawking, Futura-Sciences].</ref>.

Contrairement à la [[rotation de Wick]] qui n'est qu'une astuce de calcul, si l'hypothèse de Hartle-Hawking est correcte elle signifie que la nature physique du temps change à l'approche du Big Bang et devient une dimension semblable à une dimension d'espace<ref name="FS"/>.

== Historique ==
{{Article détaillé|Histoire des nombres complexes}}
La première apparition d'une racine carrée de nombre négatif conçue comme une quantité impossible mais manipulable se trouve dans l’œuvre de [[Girolamo Cardano|Cardan]] en 1545. Mais c'est [[Raphaël Bombelli]] qui étudie ces quantités sophistiquées de manière rigoureuse en 1572 dans son ''Algebra'', ce qui en fait, selon Flament, le créateur indiscutable des nombres complexes<ref>{{harvsp|Flament|2003|p=24}}</ref>. C'est également Bombelli qui les utilise pour la résolution de l'équation de degré 3.

Les nombres complexes interviennent dans l’œuvre d'[[Albert Girard]] quand il tente de démontrer que toute équation de degré ''n ''possède ''n ''racines vers 1629. Ils sont appelés sophistiqués, impossibles ou inexplicables jusqu'à [[René Descartes]] qui les qualifie de quantités imaginaires en 1637. Ce qualificatif va leur rester jusqu'en 1831 où Gauss les appelle pour la première fois complexes.

Pour de nombreux mathématiciens du {{s|XVII|e}}, écrire des quantités imaginaires, c'est s'autoriser l'utilisation des racines carrées de nombres négatifs, mais peu à peu se dégage une écriture normalisée sous la forme <math>a+b\, \sqrt{-1}</math> . Les mathématiciens tentent d'appliquer à ces nouvelles quantités les fonctions qu'ils connaissaient pour les quantités réelles en utilisant un principe de permanence{{note| groupe=alpha|Principe consistant à généraliser aux complexes les propriétés connues sur l'ensemble des réels<ref>{{harv|Study|Cartan|1908|p=334}}</ref>.}}. Somme, produit, quotient ne posent pas de problème, mais la racine ''n''-ième se révèle une fonction non univoque. [[Abraham de Moivre]] démontre en 1738 l'égalité :
<center><math> \Big( \cos \theta+ \mathrm{i} \sin \theta \Big)^{1/n}= \cos\left(\frac{\theta}{n} + \frac{2k\pi}n\right)+\mathrm i\sin\left(\frac{\theta}{n} + \frac{2k\pi}n\right).</math></center>
L'[[exponentielle complexe|exponentielle]] ne pose pas de problème. Ainsi, dès 1748, Euler écrit sa [[formule d'Euler|formule]]
<center><math>\cos \theta + \mathrm i\sin \theta ={\rm e}^{\mathrm i\theta }.</math></center>

Mais la fonction [[logarithme complexe]] résiste longtemps à [[Jean Bernoulli]] et [[Gottfried Wilhelm Leibniz]] ; c'est [[Leonhard Euler]] qui les départage en 1749, en démontrant qu'elle prend une infinité de valeurs en un complexe donné<ref>[http://math.unice.fr/~coppo/N0006965_PDF_205_242%20(copy).pdf Communication d'Euler à l'académie des sciences de Berlin (en français, document PDF)]</ref>.

C'est à Euler également que l'on doit la notation i pour {{math|{{Racine|-1}}}} en 1777. Mais c'est surtout [[Carl Friedrich Gauss]] qui en popularise l'usage. Le qualificatif d'« [[unité imaginaire]] » lui a été attribué par Gauss qui la qualifie ensuite d'« unité latérale », tandis que [[Jean-Robert Argand]] lui préfère le terme d'« unité moyenne »<ref>{{harvsp|Flament|2003|p=177}}</ref> et [[William Rowan Hamilton]] celui d'« unité secondaire ».

L'association entre complexes et vecteurs ou points du plan est l’œuvre de nombreux mathématiciens dont [[Caspar Wessel]], Argand et Gauss à la fin du {{s|XVIII|e}} et dans la première moitié du {{s|XIX|e}}. L'interprétation d'un complexe comme couple de réels muni d'une multiplication spéciale est l’œuvre d'Hamilton en 1833. L'interprétation d'un complexe comme reste modulo {{math|''X''{{2}} + 1}} d'un polynôme à coefficient réel est l’œuvre d'[[Augustin Louis Cauchy]] en 1847. C'est également à Cauchy que l'on doit le développement de la [[analyse complexe|théorie des fonctions de la variable complexe]]<ref>{{harvsp|DahanPeiffer|p=233}}</ref>.

L'utilisation en physique apparait dès le début du {{s|XIX|e}} dans l’œuvre d'[[Augustin Fresnel]] (1823) dans son mémoire sur les lois de réflexion. En électricité, [[Arthur Edwin Kennelly]], dès 1893, montre comment on peut facilement généraliser la [[loi d'Ohm]] au courant alternatif grâce aux complexes<ref>{{harvsp|Friedelmeyer|1998|p=312}}.</ref>.

{|class="wikitable"
|+ Introduction du vocabulaire et des notations
|-
!scope="col"| Terme ou notation||Signification||Auteur||Date
|-
| ℞. m. 15 || Un nombre ''impossible'' dont le carré vaudrait −15<ref group="alpha">Cette quantité sera par la suite notée <math>\sqrt{-15}</math>.</ref>||[[Girolamo Cardano|Cardan]] ||1545
|-
|« Imaginaire »|| Toute quantité contenant la racine carrée d'un nombre négatif||[[René Descartes|Descartes]]||1637
|-
|{{math|i}}||<math>\sqrt{-1}</math> ||[[Leonhard Euler|Euler]]||1777
|-
|Module|| Le module du complexe {{math|''a'' + i''b''}} est <math>\sqrt{a^2+b^2}</math>||[[Jean-Robert Argand|Argand]]||1806
|-
|<math>|z|</math>|| Module de {{mvar|z}} (ou valeur absolue de {{mvar|z}}) || [[Karl Weierstrass]]|| 
|-
|Conjugué||Le conjugué de {{math|''a'' + i''b''}} est {{math|''a'' – i''b''}}||[[Augustin Louis Cauchy|Cauchy]]||1821
|-
|Nombre complexe|| {{math|''a'' + i''b''}}
| rowspan=3 | [[Carl Friedrich Gauss|Gauss]]
| rowspan=3 | 1831
|-
|Imaginaire pur||{{math| i''b''}}
|-
|« Norme »||Carré du module
|-
|Argument du complexe {{mvar|z}}|| Angle entre le vecteur associé à 1 et celui associé à {{mvar|z}}
| rowspan=2 | [[Augustin Louis Cauchy|Cauchy]]|| 1838
|-
|Affixe|| L'affixe du point A de coordonnées <math>(a,b)</math> est le complexe {{math|''a'' + i''b''}} ||1847
|}

== Les complexes dans les œuvres de fiction ==
Dans le livre ''[[Les Désarrois de l'élève Törless]]'' par [[Robert Musil]] et dans le film réalisé par [[Volker Schlöndorff]] ([[1966 au cinéma|1966]]), Törless exprime devant le conseil de discipline de l'école sa difficulté à saisir le concept.

== Notes et références ==
=== Notes ===
{{Références| groupe=alpha}}

=== Références ===
{{Références}}

== Voir aussi ==
{{Autres projets| wikibooks=Approfondissements de lycée/Nombres complexes| wikiversity=Nombres complexes| wikt=nombre complexe}}

=== Bibliographie ===
* {{DahanPeiffer}}
* {{Flament}}
* {{Chapitre|nom1=Friedelmeyer|prénom1=Jean-Pierre|titre chapitre=Le point de vue vectoriel, son application à la physique|titre ouvrage=Images, Imaginaires, Imaginations - Une perspective historique pour l'introduction de nombres complexes|année=1998}}
* Jean-Denis Eiden, [[Géométrie analytique]] classique, Calvage & Mounet, 2009, {{ISBN|978-2-91-635208-4}}
* {{Chapitre|nom1=Study|prénom1=E.|lien auteur1=Eduard Study|nom2=Cartan|prénom2=É.|lien auteur2=Élie Cartan|titre chapitre=Les nombres complexes|titre ouvrage = Ency. Sci. Math.|tome=1|volume=1|année=1908|lire en ligne = http://math.unice.fr/~coppo/Cartan-Study%20%28copy%29.pdf}}

=== Articles connexes ===
* [[Trigonométrie complexe]]
* [[Nombre complexe déployé]]
* [[Quaternion]]

=== Liens externes ===
{{Liens}}
* [http://villemin.gerard.free.fr/Wwwgvmm/Type/ImagComp.htm Nombres complexes], G. Villemin
*J.-R. Argand, ''[https://www.bibnum.education.fr/mathematiques/geometrie/essai-sur-une-maniere-de-representer-des-quantites-imaginaires-dans-les-cons Essai sur une manière de représenter des quantités imaginaires dans les constructions géométriques]'', 1806, en ligne et commenté par l'[[historien des sciences]] C. Gérini, sur le site [[bibnum]]
* [https://www.dailymotion.com/video/xe0aum_les-nombres-complexes-suite_tech Vidéo sur les complexes (série de 9 épisodes sur la représentation des dimensions dans l'espace)], [[Étienne Ghys]]

{{Palette|Notion de nombre|Nombres hypercomplexes}}
{{Portail|théorie des nombres}}

[[Catégorie:Nombre complexe| ]]
[[Catégorie:Nombre hypercomplexe]]
[[Catégorie:Analyse complexe]]