柯西不等式：定义、公式、应用及证明

柯西不等式（Cauchy's inequality）是数学中的一条重要不等式，它是由法国数学家奥古斯丁·路易·柯西（Augustin-Louis Cauchy）在1821年提出的。/n/n柯西不等式适用于任意两个实数序列或复数序列之间的内积关系。设有两个实数序列（或复数序列）${a_1, a_2, ..., a_n}$和${b_1, b_2, ..., b_n}$，则柯西不等式可以表述为：/n/n$$(a_1b_1 + a_2b_2 + ... + a_nb_n)^2 /leq (a_1^2 + a_2^2 + ... + a_n^2)(b_1^2 + b_2^2 + ... + b_n^2)$$/n/n其中，等号成立的条件是存在一个常数$k$使得$a_i = kb_i$（或$b_i = ka_i$）对于所有$i$成立。/n/n从几何上来看，柯西不等式表明两个向量的内积的平方不会超过向量的模的平方乘积之和。/n/n柯西不等式在数学中有广泛的应用，特别是在线性代数、概率论、信号处理等领域。它是很多其他重要不等式的基础，如霍尔德不等式、明可夫斯基不等式等。