柯西不等式是由大数学家柯西(Cauchy)在研究数学分析中的“流数”问题时得到的。但从历史的角度讲，该不等式应当称为Cauchy-Buniakowsky-Schwarz不等式，因为，正是后两位数学家彼此独立地在积分学中推而广之，才能将这一不等式应用到近乎完善的地步。

• 中文名 柯西不等式
• 外文名 Cauchy-Buniakowsky-Schwarz Inequality
• 应用学科 数学
• 适用领域范围 数学-积分学
• 推广者 维克托·布尼亚科夫斯基

基本简介

　　柯西不等式是由大数学家柯西(Cauchy)在研究数学分析中的“流数”问题时得到的。但从历史的角度讲，该不等式应当称为Cau来自chy-Buniakowsky-Schwarz不等式，因为，正是后两位数学家彼此独立地在积分学中推而广之，才将这一不等式应用到散造苗武巴丰激利构近乎完善的地步。 360百科柯西不等式非常重要，灵活巧妙地应用它，可以使一些较为困难的问题迎刃而解。 柯西运去由不等式在证明不等式、解三角形、求函数最值、解方程等问题的方面得到应用。

二维形式

　　(a^2+b^2+c^2)*(1+1+1)>=(a+b绿场+c)^2=1 (柯西不等式) 所以(a^2+b^2+c^2)>=1/3 (1式) 又a^3+b^3+c^3=(a^3+b^3+c^...（平方的和的乘积不小于乘积的和的平方）

证明

　　|a|*|b|≥|a*b| ,a=（x1，y1），b=（x2，y2）

　　(x1x2+y1y2)^2板≤(x1^2+y1来自^2)(x2^2+y2^2)[1]

推广

　　(a1·b1+a2·b360百科2+a3·b3+...+a宽差城北县层n·bn)^2≤ ((a1^2)+(a2^2)+(a3^2)+.的排空..+(an^2))((b亮州些先宽神场1^2)+(b2^步受训夜前举贵十整2)+(b3^2)+...(bn^2))

三角形式

　　√(a^2+b^2)+√(c^2+d^2)≥√[(a+c)^2+(b+d)^2]

　　等架联象而查此件系散好号成立条件：ad=bc

　　　注：“√”表示表促亚盐火根

向量形式

　　|α||β|≥|α·β|，α=(a1，a2，…，an)，β=(b1，b2，...，bn)(n∈N，担n≥2)

　　等号成立条件：β为零向量，或α=λβ响终类层切班(λ∈R)。

一般形式

　　(∑(ai^2))(∑(bi^2)) ≥ (∑ai·bi)^2

　　等号成立条件：a1：b1=a2:b2=…=an：bn，或时属端田判氧盟发状成句ai、bi均为零。

　　上述不等式等同于图片卫把适今争边本干顺中的不等式。

推广形式

　领才编验对连给飞　(x1+y1+…)(x2+y2+…)…(xn+yn…)≥[(Π的知究那社宁了开明x)^(1/n)粉酸础+(Πy)^(1庆须胶故/n)+…]^n

　　注：须也查神角陆“Πx”表示x1，x2，…，xn的乘积，其余同理。此推广形式又称卡尔松不等式，其表述是：在m*n矩阵中，各行元素之和的几何平均

　　不小于各列元素之和的几何平均之积。（应为之积的几何平均之和)

概率论形式

　　√E(X) √告营露我E(Y)≥∣E(XY)∣

二维形式的证明

　　(a²+b²)(c²+d²)　 (a,b,c,d∈R)

　　=a²·c²+b²哪负右表记片杆·d²+a²·d²+b²·c²

　　=a²·c² +2abcd+b²·d²+a²·d²－2abcd+b²·c²

　　=(ac+bd)²+(ad－bc)²

　　≥(ac+bd)²，等号在且仅在ad－bc=0即ad=bc时成立。

三角形式的证明

　　√(a²+b²)+√(c²+d²)≥√[(a+c)²+(b+d)²]

　　证明：[√(a²+b²)+√(c²+d²)]²=a²+b²+c²+d²+2·√(a²+b²)·√(c²+d²)

　　≥a²+b²+c²+d²+2|ac+bd|

　　≥a²+b²+c²+d²+2(ac+bd)

　　=a²+2ac+c²+b²+2bd+d²

　　=(a+c)²+(b+d)²

　　两边开根号即得 √(a²+b²)+√(c²+d²)≥√[(a+c)²+(b+d)²]

　　注：| |表示绝对值。

向量形式的证明

　　令m=(a1,a2，…，an)，n=(b1,b2，…，bn)

　　m·n=a1b1+a2b2+…+anbn=|m||n|cos<m,n>=√(a1^2+a2^2+…+an^2) ×√(b1^2+b2^2+…+bn^2) ×cos<m,n>

　　∵cos<m,n>≤1

　　∴a1b1+a2b2+…+anbn≤√(a1^2+a2^2+…+an^2) ×√(b1^2+b2^2+…+bn^2) 

　　注：“√”表示平方根。

一般形式的证明

　　(∑(ai^2))(∑(bi^2)) ≥ (∑ai·bi) ^2

　　证明：

　　等式左边=(ai·bj+aj·bi)+.................... 共n2 /2项

　　等式右边=(ai·bi)·(aj·bj)+(aj·bj)·(ai·bi)+...................共n2 /2项

　　用均值不等式容易证明 等式左边≥等式右边 得证

　　其中，当且仅当ai : bi = aj : bj(i, j∈[1, n])

推广形式的证明

　　推广形式为 (x1+y1+…)(x2+y2+…)…(xn+yn+…)≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n (*)

　　证明如下

　　记A1=x1+y1+…，A2=x2+y2+…，….

　　由平均值不等式得

　　(1/n)(x1/A1+x2/A2+…+xn/An)≥[x1*x2*…*xn/(A1*A2*…*An)]^(1/n)=[(Πx)/(A1*A2*…*An)]^(1/n)

　　(1/n)(y1/A1+y2/A2+…+yn/An)≥[y1*y2*…*yn/(A1*A2*…*An)]^(1/n)=[(Πy)/(A1*A2*…*An)]^(1/n)

　　……

　　上述m个不等式叠加得

　　1≥[(Πx)/(A1*A2*…*An)]^(1/n)+[(Πy)/(A1*A2*…*An)]^(1/n)+…

　　即(A1*A2*…*An)^(1/n)≥(Πx)^(1/n)+(Πy)^(1/n)+…

　　即 A1*A2*…*An≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n

　　即(x1+y1+…)(x2+y2+…)…(xn+yn+…)≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n

　　因此，不等式(*)成立.

　　（注：推广形式即为卡尔松不等式）

代数形式

　　设a1，a2，...an及b1，b2，...bn为任意实数

　　则(a1b1+a2b2+...+anbn)①，当且仅当a1/b1=a2/b2=...=an/bn（规定ai=0时，bi=0）时等号成立。

　　注：以上仅是柯西不等式部分形式的证明。

应用

　　柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据，我们在教学中应给予极大的重视。

　　　　巧拆常数证不等式

　　例：设a、b、c为正数且互不相等。求证：2/(a+b)+2/(b+c)+2/(c+a)>9/(a+b+c)

　　∵a 、b 、c 均为正数

　　∴为证结论正确，只需证：2(a+b+c)[1/(a+b)+1/(b+c)+1/(c+a)]>9

　　而2(a+b+c)=(a+b)+(a+c)+(c+b)

　　又9=3(1+1+1) ∴只需证：

　　2(a+b+c)[1/(a+b)+1/(b+c)+1/(c+a)]=[(a+b)+(a+c)+(b+c)][1/(a+b)+1/(b+c)+1/(c+a)]≥3(1+1+1)=9

　　又∵a、b 、c互不相等，故等号成立条件无法满足

　　∴原不等式成立

　　求某些函数最值

　　例：求函数y=3√(x－5)+4√(9－x)的最大值。（注：“√”表示平方根）

　　函数的定义域为[5,9]，y>0

　　y=3√(x－5)+4√(9－x)≤√(3^2;+4^2;)×√{ [√(x－5)] ^2;+ [√(9－x)]^2; }=5×2=10

　　函数仅在4√(x－5)=3√(9－x)，即x=6.44时取到。

　　以上只是柯西不等式的部分示例。

　　更多示例请参考有关文献。

柯西简介

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

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

　　　　柯西在代数学、几何学、误差理论以及天体力学、光学、弹性力学诸方面都有出色的工作。特别是，他弄清了弹性理论的基本数学结构，为力学奠定了严格的理论基础。

其他不等式

　　卡尔松不等式

　　琴生不等式：

　　若f（x）在区间（a,b）中的函数图像呈下凸形，则对于x1、x2......xn,f[(x1+x2+......xn)/n]<=(f(x1)+f(x2)+......f(xn))/n，当且仅当x1=x2=......xn时取等号。（当为上凸时不等式的“<=”改为“>=”）

　　均值不等式

　　绝对值不等式

　　权方和不等式

　　赫尔德不等式

　　闵可夫斯基不等式

　　贝努利不等式

　　排序不等式

　　基本不等式