- 可乐
-
二维形式的证明
(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时取到。
以上只是柯西不等式的部分示例。更多示例请参考有关文献。
- max笔记
-
二维形式
(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)≥(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矩阵中,各行元素之和的几何平均
不小于各列元素之和的几何平均之积。(应为之积的几何平均之和)
- clou
-
(a二次方+b二次方)乘(c二次方+d二次方)大于等于(ac+bd)二次方…抱歉啊,手机上难以打出公式来…
- coco
-
* 回复内容中包含的链接未经审核,可能存在风险,暂不予完整展示!
- 苏州马小云
-
二维形式的证明
(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时取到。
以上只是柯西不等式的部分示例。更多示例请参考有关文献。