再说一说柯西不等式的证明吧.

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/11 17:12:50

再说一说柯西不等式的证明吧.
再说一说柯西不等式的证明吧.

再说一说柯西不等式的证明吧.
一般形式的证明
(∑(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 
因此,不等式(*)成立.
(注:推广形式即为卡尔松不等式)