Le plan complexe est muni d’un repère orthonormé direct $(O;\vec{u};\vec{v})$.
Dans le plan complexe, nous utiliserons le repère orthonormé direct $(O;\vec{u};\vec{v})$ et non pas $(O;\vec{\imath};\vec{\jmath})$ pour éviter les confusions possibles entre le vecteur $\vec{\imath}$ et le nombre complexe $i$, $i^2=-1$.

1. Module d’un nombre complexe

Exemples

  1. Si $z_1=2+3\i$, alors $\abs{z_1}=\sqrt{2^2+3^2}$, donc $\abs{z_1}=\sqrt{13}$
  2. Si $z_2=-5$, alors $\abs{z_2}=\sqrt{(-5)^2+0^2}=\sqrt{25}=5=\abs{5}$, la valeur absolue de $(-5)$.
  3. Si $z_3=-3\i=0-3\i$, alors $\abs{z_3}=\sqrt{0^2+(-3)^2}=\sqrt{9}=3=\abs{-3}$.

2. Propriétés du module d’un nombre complexe

2. a) Premières propriétés

En effet : Si $z=a+\i b$, alors $\overline{z}=a-\i b$. Donc : $z\overline{z}=(a+\i b)(a-\i b)$. On reconnaît une identité remarquable IRn°3. Donc :
$z\overline{z}=a^2-(\i b)^2=a^2-\i^2b^2=a^2+b^2$ $=(\sqrt{a^2+b^2})^2=\abs{z}^2$. CQFD.$\blacktriangle$

2. b) Module d’un produit, de l’inverse et de quotient de nombres complexes

3. Module et distance entre deux points, norme d’un vecteur

Le plan complexe est muni d’un repère orthonormé direct $(O;\vec{u};\vec{v})$.

4. Exercices résolus

Exercice résolu n°1.
Démontrer que pour tous $z_1, z_2\in\C$ : $$\abs{z_1z_2}=\abs{z_1}\abs{z_2}$$

1°) Soient $z_1$, $z_2\in\C$.
$\begin{array}{rl}
\abs{z_1z_2} &=z_1z_2\times \overline{z_1z_2}\\
&=z_1z_2\times \overline{z_1}\overline{z_2}\\
&=z_1\overline{z_1}\times z_2\overline{z_2}\\
&=(z_1\overline{z_1})\times (z_2\overline{z_2})\\
\abs{z_1z_2} &=\abs{z_1} \abs{z_2} \\ \end{array}$
CQFD.$\blacktriangle$


Exercice résolu n°2.
Démontrer que pour tous $z\in\C$ et tout entier $n\in\N^{*}$ : $\abs{z^n}=\abs{z}^n$

On fait une démonstration par récurrence.
Pour tout entier $n\in\N^{*}$, on appelle $P_n$ la proposition logique :
$$P_n~:~{\large[}\abs{z^n}=\abs{z}^n{\large]}$$
Montrons par récurrence que pour tout entier $n\in\N^{*}$ : [$P_n$ est vraie].

a) Initialisation.
Pour $n=1$, on a : $\abs{z^1}=\abs{z}=\abs{z}^1$.
Donc, $P_1$ est vraie.

b) Hérédité.
Soit $n\in\N^{*}$. Supposons que $P_n$ est vraie. Donc : $${\large[}\abs{z^n}=\abs{z}^n{\large]}~~\text{(HR)}$$
Montrons que la propriété est vraie au rang $n+1$
Or, on sait que $\abs{z_1z_2}=\abs{z_1}\abs{z_2}$.
Donc, d’après l’hypothèse de récurrence (HR), on obtient $$\begin{array}{rl}\abs{z^{n+1}}
&=\abs{z^n\times z} \\
&=\abs{z^n}\times\abs{z} \\
&= \abs{z}^n\times\abs{z} \\
\abs{z^{n+1}}&=\abs{z}^{n+1} \\ \end{array}$$ Ce qui montre que $P_{n+1}$ est vraie. Et par suite la propriété $P_n$ est héréditaire.

c) Conclusion.
Nous avons démontré que $P_n$ est vraie au rang $n=1$ et qu’elle est héréditaire.
Donc, d’après le principe de récurrence, la proposition logique est vraie pour tout entier non nul $n$.
CQFD.$\blacktriangle$


Exercice résolu n°3.
1°) Démontrer que pour tous $z\in\C$, $z\not=0$ : $$\left|\dfrac{1}{z}\right|=\dfrac{1}{\abs{z}}$$ 2°) En déduire que pour tous $z_1$, $z_2\in\C$, $z_2\not=0$ : $$\left|\dfrac{z_1}{z_2}\right|=\dfrac{\abs{z_1}}{\abs{z_2}}$$

Soit $z\in\C$, $z\not=0$.
1ère méthode : (directe)
$z\not=0$, donc : $z\times\dfrac{1}{z}=1$. Donc : $\left|z\times\dfrac{1}{z}\right|=1$. Et par suite : $\abs{z}\times\left|\dfrac{1}{z}\right|=1$.
Maintenat, en divisant les deux côtés par $\abs{z}\not=0$, on obtient : $$\left|\dfrac{1}{z}\right|=\dfrac{1}{\abs{z}}$$ CQFD.$\blacktriangle$

2°) Soient $z_1$, $z_2\in\C$, $z_2\not=0$.
On sait que : $$\dfrac{z_1}{z_2}= z_1\times\dfrac{1}{z_2}$$ On utilise les propriétés précédentes. Donc : $$\begin{array}{rl}
\left|\dfrac{z_1}{z_2}\right|&=\abs{z_1}\times\left|\dfrac{1}{z_2}\right|\\
&=\abs{z_1}\times\dfrac{1}{\abs{z_2}}\\
\left|\dfrac{z_1}{z_2}\right|&=\dfrac{\abs{z_1}}{\abs{z_2}}\\ \end{array}$$
Par conséquent. $$\boxed{~~\arg\left(\dfrac{z_1}{z_2}\right)=\arg(z_1)-\arg(z_2)~[2\pi]~~}$$ CQFD.$\blacktriangle$