柯西不等式各种形式的证明及其应用.docx

《柯西不等式各种形式的证明及其应用.docx》由会员分享，可在线阅读，更多相关《柯西不等式各种形式的证明及其应用.docx（34页珍藏版）》请在三一办公上搜索。

1、柯西不等式各种形式的证明及其应用柯西不等式各种形式的证明及其应用 2nn柯西不等式是由大数学家柯西(Cauchy)在研究数学分nak2bk2akbk析中的“流数”问题时得到的。但从历史的角度讲，该不等k=1k=1k=1式应当称为Cauchy-Buniakowsky-Schwarz不等式，因为，正是后两位数学家彼此独立地在积分学中推而广之，才将这一不等式应用到近乎完善的地步。 柯西不等式非常重要，灵活巧妙地应用它，可以使一些较为困难的问题迎刃而解。 柯西不等式在证明不等式、解三角形、求函数最值、解方程等问题的方面得到应用。 一、柯西不等式的各种形式及其证明 二维形式 在一般形式中，令n=2,a1

2、=a,a2=b,b1=c,b2=d，得二维形式 (a2+b2c2+d2(ac+bd) 2)()等号成立条件：ad=bc(a/b=c/d) 扩展：a1+a2+a3+an(2222)(b12+b22+b32+bn2)(a1b1+a2b2+a3b3+anbn) 2当ai=0或bi=0时，ai和bi都等于0，等号成立条件：a1:b1=a2:b2=an:bn 不考虑a:b,i=1,2,3,nii二维形式的证明： (a2+b2)(c2+d2)(a,b,c,dR)=a2c2+b2d2+a2d2+b2c2=a2c2+2abcd+b2d2+a2d2-2abcd+b2c2=(ac+bd)+(ad-bc)(ac+b

3、d)222等号在且仅在ad-bc=0即ad=bc时成立三角形式 a2+b2+c2+d2三角形式的证明： (a-c)+(b-d)22等号成立条件：ad=bca2+b2+c2+d2=a2+b2+c2+d2+2a2+b2c2+d2a2+b2+c2+d2+2ac+bd 注：表示绝对值a2-2ac+c2+b2-2bd+d2=(a-c)+(b-d)222两边开根号，得a2+b2+c2+d2向量形式 (a-c)+(b-d)22abab，a=(a1,a2,a3,an),b=(b1,b2,b3,bn)(nN,n2)等号成立条件：b为零向量，或a=lb(lR)向量形式的证明： 令m=(a1,a2,a3,an),n

4、=(b1,b2,b3,bn)mn=a1b1+a2b2+a3b3+22=a12+a2+a3+anbn=mncosm,n2+bncosm,n22+anb12+b2+b32+cosm,n1a1b1+a2b2+a3b3+一般形式 nn22+anbna12+a2+a3+22+anb12+b2+b32+2+bnn22ababkkkk k=1k=1k=1等号成立条件：a1:b1=a2:b2=an:bn，或 ai、bi均为零。 一般形式的证明： 22n22ababkkkk k=1k=1k=1证明： 22不等式左边=(ai2b2j+ajbi)+nn+共n2/2项+不等式右边=(aibi)(ajbj)+(ajbj

5、)(aibi)+共n2/2项用均值不等式容易证明，不等式左边不等式右边，得证。推广形式(卡尔松不等式)： 卡尔松不等式表述为：在m*n矩阵中，各行元素之和的几何平均数不小于各列元素 之积的几何平均之和。 m(x12+x12+m1mx1n)(x21+x21+m1mmx2n)1m(xm1+xm1+xini=1m1mxmn)xi1+xi2+xi3+i=1i=1i=1其中，m,nN+或者： 1m1mxijxij i=1i=1j=1j=1其中，m,nN+，xijR+mnnm或者 (x1+y1+)(x2+y2+)(xn+yn+)11(x)n+(y)n+ 注：x表示x1，y1，xn的乘积，其余同理n推广形式

6、的证明： 推广形式证法一： 记A1=x1+y1+,A2=x2+y2+,An=xn+yn+由平均不等式得xx1x211+nA1A2Anx1x2xnnxn=AAAnAAAnn1212yy1y21+nA1A2Any1y2ynny同理可得=AAAnAAAnn1212上述n个不等式叠加，得xy1+AAAAAAnn1212(x)+(y)+11nn即(A1A2An)(x)+(y)+即(x1+y1+)(x2+y2+)(xn+yn+1n11n(x)+(y)n+n1n1n1n1n+1n)，证毕n或者 推广形式证法二： 事实上涉及平均值不等式都可以用均值不等式来证， 这个不等式并不难，可以简单证明如下： 1mxj1

7、由均值不等式nnmj=1mj=1xjixjimi=1i=1xj11mxj2同理有nnmj=1mj=1xjixjimi=1i=1xj21mxjnnmnmj=1j=1xjixjimi=1i=1xjnnmxjk以上各式相加得nk=1j=1xjii=1m1m11mxjknj=11,该式整理，得：上式也即mnk=1xji j=1i=1m1mnxxjkjimk=1j=1j=1i=1得卡尔松不等式，证毕n1m付：柯西不等式相关证明方法： (a1b1+a2b2+L+anbn)a1+a2+L+an222(22)(b2122+b2+L+bn)(abR,i=1,2Ln) 2ii等号当且仅当a1=a2=L=an=0或

8、bi=kai时成立现将它的证明介绍如下： 证明1：构造二次函数 f(x)=(a1x+b1)+(a2x+b2)+L+(anx+bn) 222=a1+a2+2a12+a2+(22n+an)x2+2(a1b1+a2b2+2+anbn)x+(b12+b2+n+bn) n+an0 f(x)0恒成立 D=4(a1b1+a2b2+即(a1b1+a2b2+2+anbn)-4(a12+a2+22n+an)(b12+b22+n+bn) n+bn)0 2+anbn)(a12+a2+n+an)(b12+b22+当且仅当aix+bix=0(i=1,2证明数学归纳法 n) 即a1a2=b1b2=an时等号成立 bn 当n

9、=1时 左式=(a1b1) 右式=(a1b1) 显然 左式=右式 当 2n=2时， 右式 =(a12+a2)(b12+b22)=(a1b1)+(a2b2)+a22b12+a12b22 2222(a1b1)+(a2b2)+2a1a2b1b2=(a1b2+a2b2)=右式 仅当即 a2b1=a1b2 即222a1a2=时等号成立 b1b2故n=1,2时 不等式成立 假设n=k(kN,k2)时，不等式成立 即 (a1b1+a2b2+2+akbk)(a12+a2+2k+ak)(b12+b22+bkk) 当 bi=kai，k为常数，i=1,222设A=a1=a2=n 或a1=a2=bk2 =ak=0时等

10、号成立 222=ak B=b1=b2=C=a1b1+a2b2+则A+ak+1+akbk 2k+12k+122+ak+1bk+1 2(2)(B+b)=AB+Ab222C2+2Cak+1bk+1+ak+1bk+1=(C+ak+1bk+1) a1+a2+(2222+ab+k+ak+)(112b+22k+b2+k)b 21(a1b1+a2b2+akbk+ak+1bk+1) n 或a1=a2=ak=0时等号成立 当 bi=kai，k为常数，i=1,2即 n=k+1时不等式成立 综合可知不等式成立 二、柯西不等式的应用 1、巧拆常数证不等式 例1：设a、b、c为正数且互不相等。求证：. 222+a+bb+

11、ca+c2a+b+ca、b、c均为正数 为证结论正确，只需证: 2(a+b+c)111+9为证结论正确，只需证： a+bb+ca+c而2(a+b+c)=(a+b)+(b+c)+(a+c)9=(1+1+1)2只需证: 又1112(a+b+c)+=a+bb+ca+c111a+b+b+c+a+c+()()()a+bb+ca+c (1+1+1)=9又2a、b、c互不相等，所以不能取等 原不等式成立，证毕。 2、求某些特殊函数最值 例2：求函数y=3x-5+49-x的最大值。 函数的定义域为5，9,y0 y=3x-5+49-x(32+42)2x-5+29-x=5*2=10函数仅在4x-5=39-x，即x

12、=6.44时取到3、用柯西不等式推导点到直线的距离公式。 已知点R(x0,y0)及直线l: Ax+By+C=0 A+B0 22()设点p是直线l上的任意一点， 则 Ax+Bx+C=0 p1p2=(x0-x1)+(y0-y1)22点p1p2两点间的距离p1p2就是点p到直线l的距离，求式有最小值，有 A2+B2(x0-x1)+(y0-y1)22A(x0-x1)+B(y0-y1) Ax0+By0+C-(Ax1+By1+C) 由得： A2+B2p1p2Ax0+By0+C 即 p1p2Ax0+By0+CA+B22当且仅当 (y0-y1):(x0-x)1= BAp1p2l 式取等号 即点到直线的距离公式

13、 即 p1p2=Ax0+By0+CA+B224、 证明不等式 a2+b2+c2例 3已知正数a,b,c满足a+b+c=1 证明 a+b+c 3333证明：利用柯西不等式 (a2+b2+c22)1313132222=aa+bb+c2c2 2323232a2+b2+c2a+b+c =(a3+b3+c3)(a+b+c) 2222(a+b+c=1) 222+ ca又因为 a+b+cab+bc在此不等式两边同乘以2，再加上a+b+c得：(a+b+c)3a+b+c222(2) (a2+b2+c2)(a3+b3+c3)3(a2+b2+c2) a2+b2+c2故a+b+c 33335、 解三角形的相关问题 例

14、 4设p是ABC内的一点，x,y,z是p到三边a,b,c的距离，R是ABC外接圆的半径，证明x+y+z1a2+b2+c2 2R证明：由柯西不等式得， x+y+z=ax111+by+czax+by+czabc111+ abc记S为ABC的面积，则 ax+by+cz=2S=2abcabc =4R2Rx+y+z故不等式成立。 6、 求最值 1abcab+bc+ca1a2+b2+c2 =ab+bc+ca2Rabc2R2R例5已知实数a,b,c,d满足a+b+c+d=3， a+2b+3c+6d=5试求a的最值 解：由柯西不等式得，有 222211222212b+3c+6d+(b+c+d) ()236即2

15、b+3c+6d(b+c+d) 2222由条件可得， 5-a(3-a) 22解得，1a2当且仅当2b3c6d 时等号成立， =12131611,d=时， amax=2 3621 b=1,c=,d=时 amin=1 33代入b=1,c=7、利用柯西不等式解方程 例6在实数集内解方程 9222x+y+z= 4-8x+6y-24y=39解：由柯西不等式，得 2222222x+y+z-8+6+-24-8x+6y-24y ()()()() x+y+z(222-8)()22+62+(-24) 9=(64+36+4144)=392 4又(-8x+6y-24y)=39 22(x2222+y2+z2)(-8)+6

16、2+(-24)=(-8x+6y-24z) 即不等式中只有等号成立 从而由柯西不等式中等号成立的条件，得 xyz =-86-24它与-8x+6y-24y=39联立，可得 x=-6918 y= z=- 1326138、用柯西不等式解释样本线性相关系数 在线性回归中，有样本相关系数r=(x-x)(y-y)iii=1n(xi-x)2(yi-y)i=1i=1nn，并指出r1且r越接近2于1，相关程度越大，r越接近于0，则相关程度越小。现在可用柯西不等式解释样本线性相关系数。 现记ai=xi-x，bi=yi-y，则， r=abi=1n2ini=1nii，由柯西不等式有，r1 2iabi=1当r=1时，(a

17、b)=abii2ii=1i=1i=1n2nn2i此时，(yi-y)=bi(xi-x)ai=k，k为常数。点(xi,yi) i=1,2Ln均在直线 y-y=k(x-x)上，r 当r1时，(ab)iii=1n2inn2ai=12in2ibi=1n2i即(ab)-abiii=1nn20 2i=1ni=1n而(aibi)-abi2=-(aibj-ajbi)22ii=1i=1i=11ijn1ijn(abij-ajbi)0aibj-ajbi0 2bik,k为常数。 ai此时，此时，(yi-y)=bi(xi-x)ai=k，k为常数 点(xi,yi)均在直线y-y=k(x-x)附近，所以r越接近于1，相关程度

18、越大 当r0时，(ai,bi)不具备上述特征，从而，找不到合适的常数k，使得点(xi,yi)都在直线y-y=k(x-x)附近。所以，r越接近于0，则相关程度越小。 9、关于不等式(a+b)(c+d)(ac+bd)的几何背景 几何背景：如图，在三角形OPQ中，P(a,b),Q(c,d),QOP=q， 则 OP=22222a2+b2,OQ=c2+d2, Q PQ=(a-c)2+(b-d)2. O P 将以上三式代入余弦定理PQ=OP+OQ-2OPOQcosq，并化简，可得 222cosq=(ac+bd)2或cosq=2. 2222222(a+b)(c+d)a+bc+dac+bd22(ac+bd)2

19、因为0cosq1，所以，21， 222(a+b)(c+d)于是 (a+b)(c+d)(ac+bd). 柯西不等式的相关内容简介 赫尔德(Holder)不等式 (a1+a2+L+an)(b1+b2+L+bn)a1b1+a2b2+L+anbn(ppp1pqqq1q2222211+=1) pq 当p=q=2时，即为柯西不等式。因此，赫尔德不等式是柯西不等式更为一般的形式，在分析学中有着较为广泛的应用。 平面三角不等式 a1+a2+L+an+b1+b2+L+bn(a1+b1)2+(a2+b2)2+L+(an+bn)2222222 可以借助其二维形式a1+a2+b1+b22222根据(a1+b1)2+(

20、a2+b2)2来理解，三角形的两边之和大于第三边，很容易验证这一不等式的正确性。 该不等式的一般形式 (a1+a2+L+an)+(b1+b2+L+bn)(a1+b1)p+(a2+b2)p+L+(an+bn)p 称为闵可夫斯基不等式。它是由闵可夫斯基在对n维空间中的对称凸几何体定义了一种“距离”的基础上得到的，即对于点x=(x1,x2,L,xn),y=(y1,y2,L,yn)，定义其距离为 r(x,y)=(ppp1pppp1p1pxini-yi). p1p闵可夫斯基立足于这一不等式确立了相应的几何，建立了一种类似于现代度量空间的理论，即实变函数中的赋范空间基础。这从另一个侧面体现了柯西不等式的丰富数学背景。