二维形式 (a^2+b^2)(c^2;+ d^2)≥(ac+bd)^2 等号成立条件:ad=bc 扩展:((a1)^2;+(a2)^2;+(a3)^2;+...+(an)^2;)((b1)^2;+(b2)^2;+(b3)^2;+...(bn)^2;)≥(a1b1+a2b2+a3b3+..+anbn)^2; 等号成立条件: 三角形式 √(a^2+b^2)+√(c^2+d^2)≥√[(a-c)^2+(b-d)^2] 等号成立条件:ad=bc 注:"√"表示平方根, 向量形式 |α||β|≥|α·β|,α=(a1,a..,an),β=(b1,b..,bn)(n∈n,n≥2) 等号成立条件:β为零向量,或α=λβ(λ∈r). 一般形式 (∑(ai^2;))(∑(bi^2;)) ≥ (∑ai·bi)^2; 等号成立条件: 上述不等式等同于图片中的不等式. 推广形式 (x1+y1+...)(x2+y2+...)...(xn+yn...)≥[(πx)^(1n)+(πy)^(1n)+...]^n 注:"πx"表示x1,x2..,xn的乘积,其余同理.此推广形式又称卡尔松不等式,其表述是:在m*n矩阵中,各行元素之和的几何平均 不小于各列元素之和的几何平均之积.(应为之积的几何平均之和) 编辑本段柯西不等式的证明 二维形式的证明(a^2+b^2)(c^2+d^2) (a,b,c,d∈r) =a^2·c^2 +b^2·d^2+a^2·d^2+b^2·c^2 =a^2·c^2 +2abcd+b^2·d^2+a^2·d^2-2abcd+b^2·c^2 =(ac+bd)^2+(ad-bc)^2 ≥(ac+bd)^2,等号在且仅在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|cosm, n=√(a1^2+a2^2+...+an^2) ×√(b1^2+b2^2+...+bn^2) ×cosm, n ∵cosm, n≤1 ∴a1b1+a2b2+...+anbn≤√(a1^2+a2^2+...+an^2) ×√(b1^2+b2^2+...+bn^2) 注:"√"表示平方根. 注:以上仅是柯西不等式部分形式的证明. [柯西不等式的应用] 柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据,我们在教学中应给予极大的重视. 巧拆常数证不等式 例:设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],y0 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时取到. 以上只是柯西不等式的部分示例. 更多示例请参考有关文献.