柯西-施瓦茨不等式，最初于1821年被柯西提出，故大多数时候被简称为“柯西不等式”。其积分形式在1859被布尼亚科夫斯基提出，其证明由施瓦兹于1888年给出。由于柯西不等式的积分形式在分析学中占有十分重要的地位，故历史上，该不等式又称为柯西-布尼亚科夫斯基-施瓦茨不等式。

柯西不等式的推导方法有许多。其作为代数式可以视为均值不等式的进一步推论，也可以用内积空间的观点来自然导出。除此以外，柯西不等式可以推广到如高维形式、积分形式、概率论形式等其它多种形式，并可以视为数学上的许多其它重要不等式（如赫尔德不等式）的特殊情形。

柯西不等式可以用于推导其它不等式、求极值、解方程等。

发展简史

定理发展

该不等式最初于1821年被柯西提出，其积分形式在1859被布尼亚克夫斯基提出，证明由施瓦兹于1888年给出。因而该不等式经常被称为“柯西不等式”，也被称为柯西-布尼亚科夫斯基-施瓦茨不等式。

该不等式可以推广到其它多种形式，并且可以应用于许多场景，在分析学中具有重要的地位。

柯西生平

柯西（Cauchy Augustin-Louis，1789－1857），法国数学家，1789年8月21日生于巴黎，他的父亲路易·弗朗索瓦·柯西是法国波旁王朝的官员，在法国动荡的政治漩涡中一直担任公职。由于家庭的原因，柯西本人属于拥护波旁王朝的正统派，是一位虔诚的天主教徒。

他在纯数学和应用数学的功底是相当深厚的，很多数学的定理、公式都以他的名字来称呼，如柯西不等式、柯西积分公式。他一生一共著作了789篇论文和几本书，被认为在写作数量上仅次于欧拉的人。在他的著作中，以《分析教程》（1821年）和《关于定积分理论的报告》（1827年）最为著名。然而，他曾被人批评“高产而轻率”，这是因为他并不是所有的创作都有着很高的质量。据说，法国科学院《会刊》创刊的时候，由于柯西的作品实在太多，以致于科学院要负担很大的印刷费用，超出科学院的预算，因此，科学院后来规定论文最长的只能够到四页。柯西较长的论文因而只得投稿到其它地方1。

定理内容

柯西不等式的原始形式描述了离散形式的变量的大小关系：

式中的各个变量均为实数。

柯西不等式的积分形式描述的是闭区间上实值连续函数的定积分值所遵循的大小关系。对于闭区间[a,b]上的连续函数f和g有：

定理证明

对于上述定理，可以采用多种不同的方法来证明。

离散形式证明

方法一：利用均值不等式

直接利用多项式乘法运算的规则，将式子两边展开成多项式。

式子左边

式子右边

由均值不等式，可知，从而原不等式得证。

方法二：作差

将待证不等式两侧作差，可以得到

于是原不等式得证。

方法三：利用平面向量数量积

给定两个平面向量

由平面向量的数量积运算规则可知

其中，

从而证明原不等式。当且仅当两向量共线时，即时，上式取等号。

方法四：构造非负的二次函数

令

由于其形式可以写为两个平方式的和，故对于任意的实数 ，有 恒成立。

再考虑其写成二次函数的形式。对于开口向上的非负二次函数，其判别式应满足

移项后即得原不等式成立。当且仅当 有解时，也即 时，上式取等号。

方法五：构造半正定的二次型

令

显然这是一个半正定二次型，故其系数矩阵的行列式是非负的，也即

从而原不等式得证。

积分形式证明

可以用下面的方法来证明柯西不等式的积分形式。

方法一：构造辅助函数求导证明

令

求导有

故F(x)在区间[a,b]上单调递减， ，移项后即证明了原不等式。

方法二：构造非负的二次函数

考虑关于实数 的二次函数

对于开口向上的非负二次函数，其判别式应满足

移项后即证原不等式。

方法三：利用重积分

利用式子展开后移项立得积分形式的柯西不等式。

定理拓展

本部分列举柯西不等式的推广形式若干例，并对部分形式给出简要的证明。

高维离散情形

柯西不等式的高维离散形式为

并且，当且仅当，或，或时，等号成立。

该形式的证明可以用前述的方法类似地完成。

方法一：利用均值不等式和数学归纳法

，在的前提下，可证：从而可以从二维情形开始，归纳地得到高维情形的柯西不等式。2

方法二：作差

可以直接对两边式子作差，由比内-柯西(Binet-Cauchy)公式得：

从而原不等式得证。

方法三：利用高维向量内积

令

由

立得原不等式成立。

方法四：构造非负二次函数

令类似二维情形下的证明，联系其判别式立得。

方法五：构造半正定二次型

令类似二维情形下的证明，联系其系数矩阵行列式立得。3

向量形式

在欧氏空间中，有

当且仅当两向量共线时等号成立。此即柯西不等式的向量形式。

更一般地，该式在一般的内积空间中也成立。对于其上给定的内积(x,y)及其诱导的范数 ，柯西不等式表述为：此即柯西不等式的内积空间形式。

三角形式

此即三角不等式，也被认为是柯西不等式的三角形式，其具有较为直观的几何意义——三角形的两边之和大于第三边。对于欧氏空间中的两向量，有

特别地，在二维情形下该式可以写为：一般地，该式在线性赋范空间中均成立。这是因为线性赋范空间以三角不等式作为公理。

概率论形式

对于两个随机变量，其期望满足：当两随机变量的概率密度函数均为连续函数时，该形式即为积分形式的柯西不等式的自然推论。证明该形式只需构造一个非负的随机变量，如下所示。

柯西-施瓦茨不等式的概率论形式的证明

对于任意实数 ，非负随机变量 的期望

因而关于的二次函数的判别式

移项

来源: 百度百科

内容资源由项目单位提供