Le problème ne vient pas de l´identité remarquable, je pense qu´il l´avait remarquée ^^
On a :
|z+z´| <= |z| + |z´|
Soit :
|z+z´|² <= (|z| + |z´|)²
Soit :
|z|² + 2|z||z´| + |z´| <= |z|² + 2|z||z´| + |z´|
Soit (au choix)
2|z||z´| <= 2|z||z´|
0 <= 0
Donc |z+z´|² = (|z| + |z´|)².