Module d'un nombre complexe
En mathématiques, le module d'un nombre complexe est le nombre réel positif qui mesure sa « taille » et généralise la valeur absolue d'un nombre réel. Cette notion est notamment utile pour définir une distance sur le plan complexe.

Le module d'un nombre complexe z est noté |z|. Si le complexe z s'exprime sous sa forme algébrique, a + b, où  est l'unité imaginaire, a est la partie réelle de z et b sa partie imaginaire, ce module est la racine carrée de la somme des carrés de a et b  :

Le terme module a été introduit par Jean-Robert Argand, exposant une manière de représenter les quantités imaginaires par des constructions géométriques.

Exemples 
 Le module de 0 est 0. Le module d'un nombre complexe non nul est non nul.
 Le module d'un réel est sa valeur absolue.
 Le module de 1 +  est .
  a pour module 1.

Propriétés 
Pour tous réels  et  de valeurs absolues respectives  et  et pour tous nombres complexes z, z1, z2, …, zn :

, où  désigne le conjugué du nombre complexe 

 (inégalité triangulaire, qui se généralise en )
 (se déduit de l'inégalité triangulaire)
Cas d'égalité dans l'inégalité triangulaire :  si et seulement si , ou encore si et seulement s’il existe un réel positif   tel que  ou .

Interprétation géométrique

Si on interprète z comme un point dans le plan, c'est-à-dire si on considère son image, alors |z| est la distance de (l'image de) z à l'origine.

Il est utile d'interpréter l'expression  |x - y| comme la distance entre les (images des) deux nombres complexes x et y  dans le plan complexe.

D'un point de vue algébrique, le module est une valeur absolue, qui confère à l'ensemble des nombres complexes la structure de corps valué.

C'est en particulier une norme, de sorte que le plan complexe est un espace vectoriel normé (de dimension 2). Il en résulte que c'est un espace métrique (donc un espace topologique). En effet, l'application : ,  est une distance.

Nombres complexes de module 1 

L'application  de  dans  est un morphisme de groupes. Son noyau n'est autre que l'ensemble  des nombres complexes de module 1, qui est donc un sous-groupe de . On l'appelle le groupe des unités de . 

L'application  est un morphisme de groupes de  dans . Ce morphisme est périodique et on note  sa période. Cette définition du nombre  est due au collectif Nicolas Bourbaki.

Notes et références

Articles connexes 
 Coordonnées polaires
 Argument d'un nombre complexe

Nombre complexe