柯西-施瓦茨不等式

向量形式

两个向量的模的乘积大于等于这两个向量的点乘的绝对值

级数形式

推广到级数形式，N 维的向量

积分形式