 Polarization identity

The polarization identity is a mathematical formula that allows one to express the inner product (or dot product) of two vectors in terms of the norms (lengths) of the vectors and their differences. It is particularly useful in functional analysis and vector space theory, especially in the context of Hilbert spaces.