Démonstration :
Soit M et N les points d'affixes respectives z et - z', d'après l'inégalité triangulaire :
NM
NO + OM.
Or, NM =
, ON =
et OM =
, d'où :
b) Produit
Propriétés :
Pour tous nombres complexes non nuls z et z' ,
.
=
et arg (zz') = arg z + arg z' + 2 kπ,
Démonstration :
Soit z = r (cos θ + i sin θ ) (r > 0) et z' = r' (cos θ '+ i sin θ ') (r' > 0),
alors zz' = rr' [(cos θ cos θ ' - sin θ sin θ ') + i (sin θ cos θ ' + cos θ sin θ ')], c'est-à-dire
zz' = rr' [cos (θ + θ ') + sin (θ + θ ')],or, rr' >0,donc :
Et
arg (zz') = θ + θ ' + 2 kπ ( k
ℤ ), soit arg (zz') = arg z + arg z' + 2 kπ .
. pour tout entier naturel non nul n,
=
et arg (zn) = n arg (z) + 2 kπ.
Démonstration :
On effectue un raisonnement par récurrence
1- . Pour n = 1, l'égalité est vérifiée.
. On suppose qu'il existe p de ℕ tel que
=
d'après la propriété précédente
Or,
, d'après l'hypothèse de récurrence, donc :
.
la propriété est démontrée au rang p+1
. Les axiomes de récurrence permettent de conclure que :
la propriété est donc vraie pour tout n de ℕ.
2- . Pour n = 1, arg(z1) = arg(z) (2π )
1 arg(z) = arg(z)
La propriété est vérifiée au rang 1