但从历史的角度讲,该不等式应当称为Cauchy-Buniakowsky-Schwarz不等式,因为,正是后两位数学家彼此独立地在积分学中推而广之,才将这一不等式应用到近乎完善的地步。
柯西不等式非常重要,灵活巧妙地应用它,可以使一些较为困难的问题迎刃而解。
柯西不等式在证明不等式、解三角形、求函数最值、解方程等问题的方面得到应用。
目录 柯西不等式二维形式 柯西不等式的证明二维形式的证明 三角形式的证明 一般形式的证明 向量形式的证明 柯西简介 其他不等式柯西不等式二维形式 柯西不等式的证明二维形式的证明 三角形式的证明 一般形式的证明 向量形式的证明 柯西简介 其他不等式 展开编辑本段柯西不等式 二维形式 (a^2;
+b^2;
)(c^2;
+d^2;
)≥(ac+bd)^2;
等号成立条件:ad=bc扩展:((a1)^2;
+(a2)^2;
+(a3)^2;
+...+;
+(b2)^2;
+(b3)^2;
+...(bn)^2;
)≥(a1b1+a2b2+a3b3+..+anbn)^2;
等号成立条件:a1:b1=a2:b2=…=an:bn(当ai=0或bi=0时ai和bi都等于0,不考虑3,…,n)三角形式√(a^2;
+b;
+d^2;
)≥√[(a-c^2]等号成立条件:ad=bc注:“√”表示平方根,向量形式|α||β|≥|α·β|,α=(a1,a,…,an)(n∈N,n≥2)等号成立条件:β为,或α=λβ(λ∈R)。
一般形式(∑(ai^2;
))(∑(bi^2;
))≥(∑ai·bi)^2;
等号成立条件:a1:b1=a2:b2=…i、bi均为零。
上述不等式等同于图片中的不等式。
推广形式(x1+y1+…)xn+yn…)≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n注:“Πx”表示x1,x2,…,xn的乘积,其余同理。
此推广形式又称卡尔松不等式矩阵中,各行元素之和的几何平均不小于各列元素之和的几何平均之积。
(应为之积的几何平均之和 编辑本段柯西不等式的证明 二维形式的证明 (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^2+b^2)+√(c^2+d^2)≥√[(a-c)^2+(b-d)^2]证明:[√(a^2+b^2)+√(c^2+d^2)]^2=a^2+b^2+c^2+d^2+2*√(a^2+b^2)*√(c^2+d^2)≥a^2+b^2+c^2+d^2+2*|a*c+b*d|注:||表示。
*表示乘≥a^2+b^2+c^2+d^2-2(a*c+b*d)=a^2-2*a*c+c^2+b^2-2bd+d^2=(a-c)^2+(b-d)^2两边开即得√(a^2+b^2)+√(c^2+d^2)≥√[(a-c)^2+(b-d)^2] 一般形式的证明 求证:(∑ai^2)(∑bi^2)≥(∑ai·bi)^2证明:等式左边=(ai^2·bj^2+bj^2·ai^2)+....................共n^2/2项等式右边=(ai·bi)·(aj·bj)+(aj·bj)·(ai·bi)+...................共n^2/2项用均值不等式容易证明等式左边≥等式右边得证 向量形式的证明 令m=(a1,a2,…,an),n=(b1,b2,…,bn)m·n=a1b1+a2b2+…+anbn=|m||n|cos
注:以上仅是柯西不等式部分形式的证明。
【柯西不等式的应用】柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的根据,我们在中应给予极大的重视。
巧拆证不等式例:设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=(1+1+1)^2∴只需证: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)]≥(1+1+1)^2=9又a、b、c互不相等,故等号成立条件无法满足∴原不等式成立求某些函数最值例:求函数y=3√(x-5)+4√(9-x)的最大值。
(注:“√”表示平方根)函数的为[5,9],y>0y=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时取到。
以上只是柯西不等式的部分示例。
更多示例请参考有关。
三角形式证明:两边同时平方,展开,消去同样的项,剩余部分再平方,消去同样的项,得一,大于或等于0,得证代数形式设a1,a2,...an及b1,b2,...bn为任意,则(a1b1+a2b2+...+anbn)①,a1/b1=a2/b2=...=an/bn(规定ai=0时,bi=0)时等号成立.推广形式的证明推广形式为(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,因此,不等式(*)成立.(注:推广形式即为卡尔松不等式) 以上来自于 内容来自网友回答
是排列组合中的哥西不等式