Dans cet article, nous allons démontrer l’identité du parallélogramme sur les complexes. Cela permet de travailler la notion de module.
Enoncé
Soit z_1 et z_2 des complexes. Démontrer que
|z_1+z_2|^2 + |z_1-z_2|^2 = 2 (|z_1|^2+|z_2|^2)
Corrigé
Pour faire la démonstration, nous allons utiliser la formule suivante :
z\overline{z} = |z|^2
On a alors :
\begin{array}{ll} &|z_1+z_2|^2 + |z_1-z_2|^2 \\ = & (z_1+z_2)(\overline{z_1+z_2}) + (z_1-z_2)(\overline{z_1-z_2})\\ = & (z_1+z_2)(\overline{z_1}+\overline{z_2}) + (z_1-z_2)(\overline{z_1}-\overline{z_2})\\ = & z_1\overline{z_1}+z_1\overline{z_2}+z_2\overline{z_1}+z_2\overline{z_2} + z_1\overline{z_1}-z_1\overline{z_2}-z_2\overline{z_1}+z_2\overline{z_2}\\ = & 2z_1\overline{z_1}+2z_2\overline{z_2}\\ = & 2(z_1\overline{z_1}+z_2\overline{z_2})\\ = & 2(|z_1|^2+|z_2|^2)\\ \end{array}
Ce qui conclut cette courte démonstration.