| \vec{a} \cdot \vec{b} | \leq | \vec{a} | \cdot | \vec{b} |
$$
其中，$\vec{a}$ 和 $\vec{b}$ 是两个向量，$\cdot$ 表示向量的点积，$
\cdot | $ 表示向量的模长。 | 当且仅当 $\vec{a}$ 与 $\vec{b}$ 共线时，等号成立。
2. 序列形式（离散形式）
对于任意实数 $a_1, a_2, \dots, a_n$ 和 $b_1, b_2, \dots, b_n$，有：
$$
\left( \sum_{i=1}^{n} a_i b_i \right)^2 \leq \left( \sum_{i=1}^{n} a_i^2 \right) \left( \sum_{i=1}^{n} b_i^2 \right)
$$
等号成立当且仅当存在常数 $k$，使得 $a_i = k b_i$ 对所有 $i$ 成立。
3. 积分形式
在函数空间中，柯西不等式可以推广为：
$$
\left
\int_a^b f(x)g(x) \, dx \right | \leq \sqrt{ \int_a^b f(x)^2 \, dx } \cdot \sqrt{ \int_a^b g(x)^2 \, dx } | $$
等号成立当且仅当 $f(x)$ 与 $g(x)$ 在区间 $[a,b]$ 上线性相关。
二、三种形式对比表
| 形式名称 | 数学表达式 | 适用范围 | 等号成立条件 |
| 向量形式 | $ | \vec{a} \cdot \vec{b} | \leq | \vec{a} | \cdot | \vec{b} | $ | 向量空间、几何问题 | $\vec{a}$ 与 $\vec{b}$ 共线 |
| 序列形式 | $\left( \sum_{i=1}^{n} a_i b_i \right)^2 \leq \left( \sum_{i=1}^{n} a_i^2 \right) \left( \sum_{i=1}^{n} b_i^2 \right)$ | 数列、代数问题 | 存在常数 $k$，使 $a_i = k b_i$ |
| 积分形式 | $\left | \int_a^b f(x)g(x) \, dx \right | \leq \sqrt{ \int_a^b f(x)^2 \, dx } \cdot \sqrt{ \int_a^b g(x)^2 \, dx }$ | 函数空间、积分问题 | $f(x)$ 与 $g(x)$ 线性相关 |
三、总结
柯西不等式是连接不同数学结构的重要桥梁，无论是向量、数列还是函数，都能找到它的身影。理解这三种形式有助于更深入地掌握其应用方法和适用场景。在实际问题中，合理选择适合的形式往往能简化计算、提升解题效率。
通过上述表格可以看出，尽管三种形式的表现形式不同，但它们的核心思想是一致的：即两个“乘积”之和不超过各自平方和的乘积。这种统一性体现了数学中深刻的内在联系。