bonsoir,
pour l'autre sens, tu peux dire:
|z+z'| = |z|+|z'| <=> |z+z'|² = ( |z|+|z'| )² , |z| et |z'| étant positifs,
donc (z+z')(z+z'[barre]) = |z|² + |z'|² + 2|z||z'|
donc |z|²+ |z'|² + zz'[barre] + z[barre]z' = |z|² + |z'|² + 2|z||z'|
donc zz'[barre] + z[barre]z' = 2|z||z'|
maintenant tu utilises la relation zz'[barre] + z[barre]z' = 2 Re(zz'[barre])
donc ca te donne Re(zz'[barre]) = |z||z'|
d'où Re(zz'[barre]) = |z||z'[barre]|
donc zz'[barre] est réel, d'où il vient que arg(zz'[barre]) = 0 [2pi]
donc arg(z) = -arg(z'[barre]) = arg(z') [2pi]
voilà j'espère que mes " [barre] " ne rendent pas la lecture trop pénible !