Voir la source de Unité imaginaire

En [[mathématiques]], l’'''unité imaginaire''' est un [[nombre complexe]], noté <math>\mathrm i</math>  (parfois <math>\mathrm j</math> en physique afin de ne pas le confondre avec la notation de l'[[intensité électrique]]), dont le [[carré (algèbre)|carré]] vaut [[−1 (nombre)|–1]]. Ses multiples par des [[nombre réel|nombres réels]] constituent les nombres [[nombre imaginaire pur|imaginaires purs]].

L'appellation d'« imaginaire »<ref group=note name=imaginaire/> est due à [[René Descartes]]<ref>{{Lien web|url=http://lenombreimaginaire.net/descartes.htm|titre=René Descartes|site=lenombreimaginaire.net}}.</ref> et celle d'« unité imaginaire » à [[Carl Friedrich Gauss]]. Sans avoir disparu, cette appellation n'est pas d'un usage très généralisé chez les mathématiciens, qui se contentent souvent de parler du '''nombre {{math|i}}'''.

== Constructions ==

Puisque tous les nombres réels ont un carré positif, l'unité imaginaire ne peut être considérée comme un point de la droite réelle. Il existe plusieurs façons de la définir.

Sa première apparition était sous la forme de <math> \sqrt{-1} </math>, écriture qui n'a pas de sens dans les nombres réels et qui signifie seulement que l'on « imagine » un nombre dont le carré vaudrait –1. 

Plusieurs approches sont possibles pour proposer une construction formelle de {{math|i}}. 

On peut considérer les complexes comme la [[anneau quotient|structure quotient]] de l'[[anneau commutatif]] ℝ[''X''] des [[polynôme]]s réels par l'[[idéal]] engendré par le polynôme {{nobr|''X''{{2}} + 1}} : 
*il s'agit en fait de ne conserver dans un polynôme que son reste dans la [[division euclidienne]] par {{nobr|''X''{{2}} + 1}}. Ainsi, par exemple, {{nobr|''X''{{3}} + 3''X''{{2}} + 2''X'' + 1}} sera identique à {{nobr|''X'' – 2}} car {{nobr|''X''{{3}} + 3''X''{{2}} + 2''X'' + 1 {{=}} (''X'' + 3)(''X''{{2}} + 1) + ''X'' – 2}} ;
*on remarque alors que dans cet ensemble, {{nobr|''X''{{2}} {{=}} –1}} car {{nobr|''X''{{2}} {{=}} (''X''{{2}} + 1) – 1}}. On pose alors {{math|i {{=}} ''X''}} ;
*tous les autres restes qui s'écrivent {{nobr|''a'' + ''bX''}}  s'écrivent alors {{nobr|''a'' + ''b''{{math|i}}.}}
[[File:Complex numbers imaginary unit.svg|thumb|upright=1.3|Représentation de {{math|i}} dans le plan complexe.]]
On peut également considérer l'ensemble des complexes comme l'ensemble des [[couple (mathématiques)|couples]] de réels, muni de l'addition terme à terme et d'une multiplication plus sophistiquée : {{nobr|(''a'', ''b'')  × (''c'', ''d'') {{=}} (''ac – bd'', ''ad + bc'')}}. Avec cette multiplication, le couple {{nobr|(0, 1)}} vérifie  {{nobr|(0, 1){{2}} {{=}} (–1, 0).}} On assimile tous les couples {{nobr|(''x'', 0)}} aux réels ''x'' ; on a alors {{nobr|(0, 1){{2}} {{=}} –1}} et  le couple {{nobr|(0, 1)}} est choisi comme représentation de l'unité imaginaire.

Enfin, dans un plan muni d'un [[Repère affine|repère]] [[Base orthonormée|orthonormé]] (O, U, V), on peut associer l'ensemble des complexes à l'ensemble des vecteurs du plan muni de l'addition usuelle et d'une multiplication plus sophistiquée :
<center> <math> \overrightarrow{OA} \times  \overrightarrow{OB} =\overrightarrow{OC}</math></center>
où C est le point tel que les triangles OUA et OBC soient directement semblables.
* À tout vecteur de l'axe (OU) , on associe son abscisse ''x''. L'axe (OU) est alors appelé l'axe des réels.
* On remarque alors que <center> <math> \overrightarrow{OV}\times \overrightarrow{OV} = -1</math>.</center>
* On note alors {{math|i}} ce vecteur. À tout vecteur de l'axe (OV) d'abscisse ''y'', on associe l'imaginaire pur {{math|i}}''y''.
* Ainsi, à chaque vecteur d'origine O et d'extrémité A, puis à chaque point A de coordonnées {{nobr|(''x'', ''y'')}} on associe le complexe {{nobr|''x'' + {{math|i}}''y''.}} On parle alors du [[plan complexe]] ℂ.

Le nombre imaginaire {{math|i}} est un outil mathématique utile pour apporter des « solutions supplémentaires » à certaines équations, en ajoutant une dimension aux nombres réels (remplacement d'une droite par un plan) ; les nombres comportant un multiple de cette unité imaginaire sont appelés « nombres complexes ».

== Propriétés ==

Son opposé est à la fois son [[inverse]] et son [[conjugué]] : {{nobr|<math>\frac1{\mathrm i} = -\mathrm i= \overline{\mathrm i}</math>}}. Son module est égal à 1. Il vérifie aussi l'égalité {{nobr|(–{{math|i}}){{2}} {{=}} –1}}. Il n'y a aucune manière de distinguer {{math|i}} de {{math|–i}} dans la définition, mais cette indétermination ne pose aucun problème.

Ses [[image (mathématiques)|images]] par les [[trigonométrie complexe|fonctions trigonométriques]] s'écrivent :
* <math>\cos(\mathrm i)= \cosh 1=\frac{\mathrm e^{-1}+\mathrm e}2\simeq1{,}54308063481524</math> ;
* <math>\sin(\mathrm i)=\mathrm i\, \sinh 1=\frac{\mathrm e^{-1}-\mathrm e}{2\mathrm i}\simeq1{,}17520119364379\,\mathrm i</math> ;
* <math>\tan(\mathrm i)=-\mathrm i\,\frac{\mathrm e^{-1}-\mathrm e}{\mathrm e^{-1}+\mathrm e}\simeq0{,}761594155955762\,\mathrm i</math>.

{{math|i}} est une [[racine de l'unité]] d'ordre 4, donc ses puissances sont :
<center><math>\begin{matrix}
\mathrm i^0=1, &\mathrm i^1=\mathrm i, & \mathrm i^2=-1, & \mathrm i^3=-\mathrm i,\\
\mathrm i^4=1, & \mathrm i^5=\mathrm i, & \mathrm i^6=-1, & \ldots\\
\end{matrix}</math></center>

Le complexe {{math|i}} a pour [[Module d'un nombre complexe|module]] {{math|1}} et pour [[Argument d'un nombre complexe|arguments]] <math>\frac{\pi}2+2k\pi</math>.

Les images de {{math|i}} par la [[fonction multivaluée]] [[logarithme complexe]] sont donc <math>\ln(\mathrm i)=\mathrm i\left(\frac{\pi}2+2k\pi\right)</math>. Sa [[Détermination d'une fonction multivaluée|détermination principale]] est <math>L(\mathrm i)=\mathrm i\frac{\pi}2</math>.

On peut aussi définir une détermination principale pour l'expression <math>\mathrm i^{\mathrm i}</math>, [[Fonction puissance#Fonction de la variable complexe|puissance complexe]] de {{math|i}} : <math>\mathrm i^{\mathrm i}=\mathrm e^{\mathrm i L(\mathrm i)}=\mathrm e^{-\frac{\pi}2}\approx0{,}2078795763</math><ref>{{Ouvrage|langue=en|langue originale=de|auteur1=[[Reinhold Remmert]]|traducteur=R. B. Burckel|titre=Theory of Complex Functions|titre original=Funktionentheorie I|éditeur=Springer|collection=[[Graduate Texts in Mathematics|GTM]]|numéro dans collection=122|année=1991|pages totales=453|passage=162|isbn=978-0-387-97195-7|lire en ligne={{Google Livres|uP8SF4jf7GEC|page=162}}}}.</ref>.

== Notations ==
{{Article détaillé|Histoire des nombres complexes}}
Lorsque [[Girolamo Cardano]] présente en 1545 le premier nombre utilisant la [[racine carrée]] d'un nombre négatif<ref>{{harvsp|Flament|2003|p=22}}.</ref>, il s'agit de {{math|5 + {{racine|–15}}}}, qui ne privilégie pas l'unité imaginaire. Un quart de siècle plus tard, [[Rafaele Bombelli]] met en place les règles de calcul sur les « quantités sophistiquées ». Il isole alors le caractère imaginaire de l'expression {{racine|–15}} à l'aide de deux « signes » : ''{{lang|it|più di meno}}'' si la quantité est ajoutée et ''{{lang|it|meno di meno}}'' si celle-ci est retranchée. Ainsi, l'expression {{math|5 + {{racine|–15}}}} sera notée « 5 più di meno R.q. 15 ». [[Nicolas Bourbaki]]<ref>{{harvsp|Bourbaki|p=97 (note)}}.</ref> y voit la première apparition des nombres complexes sous forme d'une [[combinaison linéaire]] à coefficients positifs des quatre éléments de base : +1, –1, +i (''{{lang|it|più di meno}}'') et –i (''{{lang|it|meno di meno}}'') mais Dominique Flament pense qu'il s'agit là d'une interprétation qui ne serait pas dans l'esprit de Bombelli : pour lui, ''{{lang|it|più di meno}}'' ne correspondrait pas au nombre +i mais davantage à un signe opératoire<ref>{{harvsp|Flament|2003|p=26}}.</ref>.

Jusqu'à [[Leonhard Euler]], les quantités « imaginaires »<ref group=note name=imaginaire>C'est le nom que portent les nombres complexes {{refsou|date=novembre 2017|de 1637 à 1831}}.</ref> s'écrivent indifféremment<ref>{{harvsp|Cajori|1928|p=127}}, par. 497.</ref> sous forme {{math|2 + {{racine|–25}}}} ou {{math|2 + 5{{racine|–1}}}}. Mais, petit à petit, la seconde expression est privilégiée, donnant ainsi une importance particulière à {{math|{{racine|–1}}}}.

Cependant, cette présentation sous forme de racine carrée laisse la porte ouverte à la tentation d'appliquer à celle-ci les règles connues sur les nombres positifs<ref>C'est ce que Study appelle le principe de permanence ([http://math.unice.fr/~coppo/Cartan-Study%20%28copy%29.pdf Study] p. 334).</ref> en particulier celle sur le produit<ref group=note>Voir, par exemple, la [https://books.google.fr/books?id=zcsGAAAAcAAJ&pg=PA107 règle 148] des ''Éléments d'algèbre'' de Leonhard Euler, qualifiée d'erreur par Flament {{harv|Flament|2003|p=312}}, d'erreur de typographie par Cajori {{harv|Cajori|1928|p=127 par. 496}} alors qu'Hamon (Gérard Hamon, « Une approche structurelle », dans ''Images, Imaginaires, Imaginations'', 1998, p. 254) n'y voit que l'utilisation d'une fonction multivaluée.</ref> : {{racine|{{math|''a''}}}}×{{racine|{{math|''b''}}}} = {{racine|{{math|''ab''}}}}, ce qui donnerait, appliqué sans discernement à {{math|{{racine|–1}}}}, l'égalité paradoxale {{math|{{racine|–1}}×{{racine|–1}} {{=}} {{racine|1}} {{=}} 1}}.

Plusieurs tentatives sont faites pour remplacer cette quantité par une lettre. Euler, en 1777, l'appelle i ; [[Caspar Wessel]], en 1797, la note ε ; [[Jean-Robert Argand]] choisit de lui associer le signe opératoire ~ pour +i ; [[Jacques Frédéric Français]] choisit la notation 1<sub>π/2</sub>, indiquant par là qu'il s'agit de l'unité réelle ayant tourné d'un angle droit. Mais petit à petit, la notation d'Euler s'impose ; elle est utilisée par [[Carl Friedrich Gauss]] en 1801 ; elle est reprise en 1847 par [[Augustin Louis Cauchy]], qui associe i à la variable ''X'' des polynômes<ref>{{harvsp|Cajori|1928|p=128-130}}.</ref>. Chez les physiciens cependant, l'existence de la notation ''i'' pour l'intensité du courant oriente les choix vers la notation ''j'' pour {{math|{{racine|–1}}}}.

Quant à son nom, on la voit qualifiée d'« unité imaginaire » puis d'« unité latérale » par Gauss<ref>{{harvsp|Flament|2003|p=271}}.</ref>, d'« unité secondaire » par [[William Rowan Hamilton]]<ref>{{harvsp|Flament|2003|p=401}}.</ref> qui l'associe au couple (0, 1), de « symbole inexpliqué » par de Morgan<ref>{{harvsp|Cajori|1928|p=130}}.</ref>. Le terme d'« unité imaginaire », entre guillemets, est repris par Bourbaki<ref>{{harvsp|Bourbaki|p=84}}.</ref>.

En 1833, Hamilton cherche à donner une légitimité à l'écriture {{math|{{racine|–1}}}} en définissant ce que serait la mesure principale du logarithme d'un complexe, puis de sa racine ''n''-ième et démontre que (0, 1) correspond alors bien à la mesure principale de {{math|{{racine|–1}}}}<ref>{{harvsp|Flament|2003|p=410}}.</ref>.

On peut aussi représenter <math>a+\mathrm i\,b</math> par la [[Matrice (mathématiques)|matrice]] <math>\begin{pmatrix}a&-b\\b&a\end{pmatrix}</math>, égale à <math>=a\,I+b\,J</math> avec <math>I=\begin{pmatrix}1&0\\0&1\end{pmatrix}</math> et <math>J=\begin{pmatrix}0&-1\\1&0\end{pmatrix}</math>, avec conservation des propriétés de multiplication, addition{{etc.}} (<math>I^2=I</math> et <math>J^2=-I</math>). Voir « [[Histoire des nombres complexes#Complexe comme matrice de similitude|Histoire des nombres complexes comme matrice de similitude]] ».

== Formule d'Euler ==
La [[formule d'Euler]] donne :

:<math>\mathrm e^{\mathrm ix}=\cos x+\mathrm i\sin x</math>

où {{math|''x''}} est un nombre réel.

Remplaçons {{math|''x''}} par {{math|π}}
:<math>\mathrm e^{\mathrm i\pi}=\cos\pi+\mathrm i\sin\pi=-1+0 \times\mathrm i</math>

et on obtient donc l'[[identité d'Euler]] :

:<math>\mathrm e^{\mathrm i\pi} + 1 = 0</math>.
C'est une égalité remarquablement simple mettant en scène cinq nombres mathématiques très importants ([[Zéro|0]], [[1 (nombre)|1]], [[Pi|{{math|π}}]], [[e (nombre)|{{math|e}}]] et {{math|i}}) reliés uniquement par des additions, multiplications et exponentiations.

== Notes et références ==
=== Notes ===
{{Références|group=note}}

=== Références ===
{{Références|colonnes=3}}
===Bibliographie===
* {{Flament}}
* {{Ouvrage|langue=en|prénom1=Florian|nom1=Cajori|lien auteur1=Florian Cajori|titre=A History of Mathematical Notations|volume=2|éditeur=Open Court Company|année=1928}}
* {{Bourbaki}}

==Voir aussi==
===Articles connexes===
*[[Corps totalement ordonné]]
*[[Histoire des nombres complexes]]

===Lien externe===
{{MathWorld|nom_url=i|titre=i}}

{{Palette|Notion de nombre}}

{{Portail|mathématiques}}

[[Catégorie:Nombre complexe]]
[[Catégorie:Racine carrée]]
[[Catégorie:Constante mathématique]]