The identity states that
for a orthonormal basis x1, x2, …, xn of a finite-dimensional inner product space X and x∈X. This is a generalization of Pythagoras’ Theorem. The identity holds for an orthonormal sequence in an infinite-dimensional Hilbert space if and only if the sequence is complete, or equivalently, a Schauder basis. Compare Bessel’s inequality.