#polarizationidentity is any one of a family of formulas that express the inner product of two vectors in terms of the norm of a normed vector space. Equivalently polarization identity describes when a norm can be assumed to arise from an #innerproduct