Nombres complexes (2/6)

Soit {z=x+iy} ({x} et {y} réels) un nombre complexe.
La quantité {\left|z\right|=\sqrt{x^2+y^2}} est appelée module de {z}.

On constate que {\left|z\right|^2=x^2+y^2=z\overline{z}}.
En particulier, si {z} est non nul : {\dfrac1z=\dfrac{\overline{z}}{\left|z\right|^2}}.
Si {z} est réel, le module de {z} est égal à sa valeur absolue.

• Pour tous {z} et {z'} de {\mathbb{C}}, on a : {\left|z\right|\ge0,\quad\left|z\right|=0\Leftrightarrow z=0,\quad\left|zz'\right|=\left|z\right|\,\left|z'\right|}
• Plus généralement : {\Bigl|\displaystyle\prod_{k=1}^nz_k\Big|=\displaystyle\prod_{k=1}^n\left|z_k\right|}.
  Notamment : {\forall\, n\in\mathbb{N},\left|z^n\right|=\left|z\right|^n}.
• Si {z\ne0}, alors: {\left|\dfrac{1}{z}\right|=\dfrac1{\left|z\right|}}, et {\left|\dfrac{z'}{z}\right|{}=\dfrac{\left|z'\right|}{\left|z\right|}}.

• Pour tous {z,z'} de {\mathbb{C}}, on a : {\left|z+z'\right|\le\left|z\right|+\left|z'\right|}
  (avec égalité {\Leftrightarrow\exists\,\lambda\in\mathbb{R}^+} tel que {z'=\lambda z} ou {z=\lambda z'}).
• Cette inégalité se complète en : {|\left|z\right|-\left|z'\right||\le\left|z\pm z'\right|}On peut donc écrire l’encadrement: {\big|\left|z\right|-\left|z'\right|\big|\le\left|z\pm z'\right|\le\left|z\right|+\left|z'\right|}
• Conséquence : si {\left|z\right|\le k\lt 1}, alors {1-k\le\left|1+z\right|\le1+k}
• Pour tout {z} de {\mathbb{C}}, on a aussi :{\max(\left|\text{Re}(z)\right|,\left|{\text{Im}(z)}\right|)\le\left|z\right|\le\left|{\text{Re}(z)}\right|+\left|{\text{Im}(z)}\right|}

On a la majorattion : {\Big|\displaystyle\sum_{k=1}^nz_k\Big|\le\displaystyle\sum_{k=1}^n\left|z_k\right|}.
L’inégalité précédente est une égalité si et seulement les {z_k} sont les produits de l’un d’entre eux par des réels positifs (c’est-à-dire, géométriquement, si les {M_k(z_k)} sont sur une même demi-droite issue de {O}).

Voici comment on peut développer le carré du module d’une somme (ou d’une différence) :
Pour tout {u} et {v} de {\mathbb{C}} :{\begin{cases}\left|{u+v}^2\right|=\left|{u}\right|^2+2\,\text{Re}(u\,\overline{v})+\left|{v}\right|^2\\\left|{u-v}^2\right|=\left|{u}\right|^2-2\,\text{Re}(u\,\overline{v})+\left|{v}\right|^2 \end{cases}}En ajoutant ces deux égalités, on obtient : {\left|{u+v}^2\right|+\left|{u-v}^2\right|=2\bigl(\left|{u}\right|^2+\left|{v}\right|^2\bigr)}Tout ça se généralise. On a en effet : {\Big|\displaystyle\sum_{k=1}^nz_k\Big|^2=\displaystyle\sum_{k=1}^n\left|z_k\right|^2+ 2\sum_{1\le j\lt k\le n}\text{Re}(z_j\,\overline{z_k})}