什么是柯西不等式

二维形式的证明
　　　(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时取到。
　　
以上只是柯西不等式的部分示例。更多示例请参考有关文献。

(a二次方+b二次方)乘(c二次方+d二次方)大于等于(ac+bd)二次方…抱歉啊，手机上难以打出公式来…