Soient
z=a+\mathrm{i} b et
z^{\prime}=a^{\prime}+\mathrm{i} b^{\prime} deux nombres complexes avec
a,
b,
a^{\prime} et
b^{\prime} réels.
1. et
2. : Voir exercice
p. 39.
3. Soit
z \neq 0. Dans ce cas, on a également
\overline{z} \neq 0.
Par définition des inverses, on a
z \times \frac{1}{z}=1 \Leftrightarrow \overline{\left(z \times \frac{1}{z}\right)}=\overline{1}=1 car
1 est réel.
D'après
2., on obtient
\overline{z} \times \overline{\left(\frac{1}{z}\right)}=1 \Leftrightarrow \overline{\left(\frac{1}{z}\right)}=\frac{1}{\overline{z}} car
\overline{z} \neq 0.
D'où l'égalité, pour tout
z \in \mathbb{C}^{*},
\overline{\left(\frac{1}{z}\right)}=\frac{1}{\overline{z}}.
4. Voir exercice
p. 39.
5. Dans un premier temps, on démontre la propriété par récurrence pour
n entier naturel. Dans un deuxième temps, on démontre la propriété pour
n entier négatif. Voir exercice
p. 39.