il suffit d'utiliser que :
|| + ||² = ( + ).( + ) et de développer comme un produit classique (tu as droit aux identités remarquables avec le produit scalaire)
tu vas voir qu'à la fin les norme s'éliminent et les doubles produits s'ajoutent