Bonjour,
En fait, tu as démontré que |z+z'|<|z|+|z'|
Maintenant, on sait que z=z+z'-z' (en effet j'ai ajouté 0=z'-z' tout simplement).
Deux nombres complexes égaux implique l'égalité des modules. Par conséquent, on a:
|z|=|z+z'-z'|
Maintenant, si je regroupe les termes ainsi z+z'-z'=(z+z')+(-z'), on a:
|z|=|(z+z')+(-z')|
Si on applique l'inégalité triangulaire au membre de droite avec pour premier terme z+z' et pour deuxième terme -z', on a bien: |z|<|z+z'|+|-z'|
Or |-z'|=|z'| (je te laisse revoir cette propriété)
On a donc montré que |z|-|z'|<|z+z'|
Et nous cherchons à démontrer que | |z|-|z'| | < |z+z'| <=> -|z+z'|<|z|-|z'|<|z+z' (j'utilise simplement la définition de la valeur absolue là).
Est-ce que maintenant, tu pourrais conclure?
Bon courage!|