柯西-施瓦茨不等式——相似系数值域[-1,1]的理论保证

定理 向量的内积满足
$$⟨\mathbf{x},\mathbf{y}{⟩}^2⩽⟨\mathbf{x},\mathbf{x}⟩⟨\mathbf{y},\mathbf{y}⟩$$

其中，等号成立的充要条件是向量$\mathbf{x}$和$\mathbf{y}$线性相关。该式称为柯西-施瓦茨不等式（Cauchy-Schwarz inequality）。

这条定理描述了向量内积的一个重要性质，即柯西-施瓦茨不等式。该不等式表明两个向量$\mathbf{x}$和$\mathbf{y}$的内积的平方不超过这两个向量各自内积的乘积。柯西-施瓦茨不等式的等号成立的条件，即当两个向量$\mathbf{x}$和$\mathbf{y}$线性相关时，等号成立。同时，它还给出了一个特例，即当向量$\mathbf{x}$为零向量时，等号显然成立。