D'après l'une des identités de polarisation : .
Donc si est associée à un produit scalaire, il est unique.
Et son expression est : .
Donc est associée à un produit scalaire si et seulement si l'application est un produit scalaire.
Il faut donc que l'application soit une forme bilinéaire, symétrique, définie et positive et que la norme associée soit .
La symétrie est évidente.
, donc : et : .
Donc : , donc : .
Donc la forme est définie et positive, et la norme associée est .
Le seul problème est donc la bilinéarité de .
Conclusion : La norme est associée à un produit scalaire si et seulement si l'application est bilinéaire.