柯西不等式？

柯西不等式？

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

　　柯西不等式非常重要，灵活巧妙地应用它，可以使一些较为困难的问题迎刃而解。

　　柯西不等式在证明不等式、解三角形、求函数最值、解方程等问题的方面得到应用。

二维形式
　　(a^2＋b^2)(c^2 + d^2)≥(ac+bd)^2
　　等号成立条件：ad=bc
　　 三角形式
　　√(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/m)＋(Πy)^(1/m)＋…]^m
　　注：“Π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时成立。
　　 一般形式的证明
　　求证：(∑ai^2)(∑bi^2) ≥ (∑ai·bi)^2
　　证明：
　　当a1=a2=…=an=0或b1=b2=…=bn=0时，一般形式显然成立
　　令A=∑ai^2　B=∑ai·bi　C=∑bi^2
　　当a1，a2，…，an中至少有一个不为零时，可知A＞0
　　构造二次函数f(x)=Ax^2＋2Bx＋C，展开得：
　　f(x)＝∑(ai^2·x^2＋2ai·bi·x＋bi^2)＝∑ (ai·x＋bi)^2≥0
　　故f(x)的判别式△＝4B^2－4AC≤0，
　　移项得AC≥B^2，欲证不等式已得证。
　　 向量形式的证明
　　令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)
　　注：“√”表示平方根。
　　注：以上仅是柯西不等式部分形式的证明。 [编辑本段]【柯西不等式的应用】　　柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据，我们在教学中应给予极大的重视。
　　 巧拆常数证不等式
　　

例：设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＞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时取到。