柯西不等式的证明_柯西不等式

来源:证明范本 时间:2019-08-02 17:30:11 阅读:

【www.bbjkw.net--证明范本】

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

  柯西不等式

  二维形式

  (a^2+b^2+c^2)*(1+1+1)>=(a+b+c)^2=1 (柯西不等式) 所以(a^2+b^2+c^2)>=1/3 (1式) 又a^3+b^3+c^3=(a^3+b^3+c^...(平方的和的乘积不小于乘积的和的平方)

  证明

  |a|*|b|≥|a*b| ,a=(x1,y1),b=(x2,y2)

  (x1x2+y1y2)^2≤(x1^2+y1^2)(x2^2+y2^2)[1]

  推广

  (a1·b1+a2·b2+a3·b3+...+an·bn)^2≤ (a1^2)+(a2^2)+(a3^2)+...+(an^2))((b1^2)+(b2^2)+(b3^2)+...(bn^2))

  三角形式

  √(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/n)+(Πy)^(1/n)+…]^n

  注:“Πx”表示x1,x2,…,xn的乘积,其余同理。此推广形式又称卡尔松不等式,其表述是:在m*n矩阵中,各行元素之和的几何平均

  不小于各列元素之和的几何平均之积。(应为之积的几何平均之和)

  概率论形式

  √E(X) √E(Y)≥∣E(XY)∣

  二维形式的证明

  (a²+b²)(c²+d²)  (a,b,c,d∈R)

  =a²·c²+b²·d²+a²·d²+b²·c²

  =a²·c² +2abcd+b²·d²+a²·d²-2abcd+b²·c²

  =(ac+bd)²+(ad-bc)²

  ≥(ac+bd)²,等号在且仅在ad-bc=0即ad=bc时成立。

  三角形式的证明

  √(a²+b²)+√(c²+d²)≥√[(a+c)²+(b+d)²]

  证明:[√(a²+b²)+√(c²+d²)]²=a²+b²+c²+d²+2·√(a²+b²)·√(c²+d²)

  ≥a²+b²+c²+d²+2|ac+bd|

  ≥a²+b²+c²+d²+2(ac+bd)

  =a²+2ac+c²+b²+2bd+d²

  =(a+c)²+(b+d)²

  两边开根号即得 √(a²+b²)+√(c²+d²)≥√[(a+c)²+(b+d)²]

  注:| |表示绝对值。

  向量形式的证明

  令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+a2+…+an) ×√(b1+b2+…+bn)

  注:“√”表示平方根。

  一般形式的证明

  (∑(ai^2))(∑(bi^2)) ≥ (∑ai·bi) ^2

  证明:

  等式左边=(ai·bj+aj·bi)+.................... 共n2 /2项

  等式右边=(ai·bi)·(aj·bj)+(aj·bj)·(ai·bi)+...................共n2 /2项

  用均值不等式容易证明 等式左边≥等式右边 得证

  其中,当且仅当ai : bi = aj : bj(i, j∈[1, n])

  推广形式的证明

  推广形式为 (x1+y1+…)(x2+y2+…)…(xn+yn+…)≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n (*)

  证明如下

  记A1=x1+y1+…,A2=x2+y2+…,….

  由平均值不等式得

  (1/n)(x1/A1+x2/A2+…+xn/An)≥[x1*x2*…*xn/(A1*A2*…*An)]^(1/n)=[(Πx)/(A1*A2*…*An)]^(1/n)

  (1/n)(y1/A1+y2/A2+…+yn/An)≥[y1*y2*…*yn/(A1*A2*…*An)]^(1/n)=[(Πy)/(A1*A2*…*An)]^(1/n)

  ……

  上述m个不等式叠加得

  1≥[(Πx)/(A1*A2*…*An)]^(1/n)+[(Πy)/(A1*A2*…*An)]^(1/n)+…

  即(A1*A2*…*An)^(1/n)≥(Πx)^(1/n)+(Πy)^(1/n)+…

  即 A1*A2*…*An≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n

  即(x1+y1+…)(x2+y2+…)…(xn+yn+…)≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n

  因此,不等式(*)成立.

  (注:推广形式即为卡尔松不等式)

  代数形式

  设a1,a2,...an及b1,b2,...bn为任意实数

  则(a1b1+a2b2+...+anbn)①,当且仅当a1/b1=a2/b2=...=an/bn(规定ai=0时,bi=0)时等号成立。

  注:以上仅是柯西不等式部分形式的证明。

  应用

  柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据,我们在教学中应给予极大的重视。

  巧拆常数证不等式

  例:设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=3(1+1+1) ∴只需证:

  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)]≥3(1+1+1)=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时取到。

  以上只是柯西不等式的部分示例。

  更多示例请参考有关文献。

  柯西简介

  柯西(Cauchy Augustin-Louis,1789-1857),法国数学家,8月21日生于巴黎,他的父亲路易·弗朗索瓦·柯西是法国波旁王朝的官员,在法国动荡的政治漩涡中一直担任公职。由于家庭的原因,柯西本人属于拥护波旁王朝的正统派,是一位虔诚的天主教徒。

  他在纯数学和应用数学的功底是相当深厚的,很多数学的定理、公式都以他的名字来称呼,如柯西不等式、柯西积分公式。在数学写作上,他被认为在数量上仅次于欧拉的人,他一生一共著作了789篇论文和几本书,以《分析教程》(1821年)和《关于定积分理论的报告》(1827年)最为著名。不过并不是他所有的创作质量都很高,因此他还曾被人批评“高产而轻率”,这点倒是与数学王子相反。据说,法国科学院《会刊》创刊的时候,由于柯西的作品实在太多,以致于科学院要负担很大的印刷费用,超出科学院的预算,因此,科学院后来规定论文最长的只能够到四页。柯西较长的论文因而只得投稿到其它地方。

  柯西在代数学、几何学、误差理论以及天体力学、光学、弹性力学诸方面都有出色的工作。特别是,他弄清了弹性理论的基本数学结构,为力学奠定了严格的理论基础。

本文来源:https://www.bbjkw.net/fanwen419527/

推荐访问:柯西不等式公式 柯西不等式的证明 柯西不等式ppt 均值不等式 基本不等式 柯西不等式教案 伯努利不等式 万能公式 泰勒公式 柯西不等式的应用 高中柯西不等式 柯西不等式论文 柯西不等式例题 反向柯西不等式 柯西不等式课件 三维柯西不等式 柯西不等式变形 柯西不等式视频 柯西不等式的意义 柯西不等式讲解 柯西不等式的推广 柯西不等式定义
扩展阅读文章
热门阅读文章