Theorem [polarization identity] - Let be an inner product space over . The following identity holds for every :

If is an inner product space over instead, the identity becomes

Remark - This result shows that the inner product of is determined by the norm. Moreover, it can be shown that if a normed space satisfies the parallelogram law, the above formulas define an inner product compatible with the norm of .