影的平方和也是小于等于它自身的长度的平方。这就是贝塞尔不等式。贝塞尔不等式的等号成立当且仅当正交序列是完全序列。这时贝塞尔不等式转化为帕塞瓦尔定理。
定理的叙述.设formula_1 是一个装备了内积：formula_2 的希尔伯特空间。考虑一组规范正交向量的序列：formula_3。那么，对于任意一个formula_1 中的元素，都有：formula_5其中的系数formula_6 是"x" 在一个正交向量序列中元素formula_7 上的投影的长度。Section::