柯西不等式.docVIP

柯西不等式 二维形式 　　(a^2+b^2)(c^2+ d^2)≥(ac+bd)^2 　　等号成立条件：ad=bc (a/b=c/d) 　　扩展：（（a1)^2;+(a2)^2;+(a3)^2;+...+(an)^2;)((b1)^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，不考虑ai:bi，i=1,2,3，…，n） 　　三角形式 　　√（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; 　　等号成立条件：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矩阵中，各行元素之和的几何平均 　　不小于各列元素之和的几何平均之积。（应为之积的几何平均之和） 编辑本段证明 　　二维形式的证明（a2+b2)(c2+d2）　（a,b,c,d∈R) =a2·c2 +b2·d2+a2·d2+b2·c2 =a2·c2 +2abcd+b2·d2+a2·d2－2abcd+b2·c2 =(ac+bd)2+(ad－bc)2 ≥（ac+bd)2，等号在且仅在ad－bc=0即ad=bc时成立。 三角形式的证明 　　√（a2+b2)+√（c2+d2）≥√[(a-c)2+(b-d)2] 　　证明：[√（a2+b2)+√（c2+d2)]^2=a2+b2+c2+d2+2*√（a2+b2)*√（c2+d2) 　　≥a2+b2+c2+d2+2*|a*c+b*d| 注：| |表示绝对值。*表示乘 　　≥a2+b2+c2+d2-2（a*c+b*d） 　　=a2-2*a*c+c2+b2-2bd+d2 　　=(a-c)2+(b-d)2 　　两边开根号即得 √（a2+b2)+√（c2+d1）≥√[(a-c)2+(b-d)2] 一般形式的证明 　　求证：（∑ai2）（∑bi2) ≥ （∑ai·bi)2 　　证明： 　　等式左边=(ai2·bj2+aj2·bi2)+.................... 共n2 /2项 　　等式右边=（ai·bi）·（aj·bj)+(aj·bj）·（ai·bi)+...................共n2 /2项 　　用均值不等式容易证明 等式左边≥等式右边 得证 向量形式的证明 　　令m=(a1,a2，…，an），n=(b1,b2，…，bn) 　　m·n=a1b1+a2b2+…+anbn=|m||n|cosm,n=√（a12+a22+…+an2) ×√（b12+b22+…+bn2) ×cosm,n 　　∵cosm,n；≤1 　　∴a1b1+a2b2+…+anbn≤√（a12+a22+…+an2) ×√（b12+b22+…+bn2) 　　注：“√”表示平方根。 　　注：以上仅是柯西不等式部分形式的证明。 　　【柯西不等式的应用】　柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据，我们在教学中应给予极大的重视。　 　　巧拆常数证不等式 　　例：设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）的最大值。（注：“√”表示平方根）　 　　函