柯西不等式各种形式的证明及其应用柯西不等式是由大数学家柯西(Cauchy)在研究数学分析中的“流数”问题时得到的。但从历史的角度讲，该不等式应当称为Cauchy-Buniakowsky-Schwarz不等式，因为，正是后两位数学家彼此独立地在积分学中推而广之，才将这一不等式应用到近乎完善的地步。柯西不等式非常重要，灵活巧妙地应用它，可以使一些较为困难的问题迎刃而解。柯西不等式在证明不等式、解三角形、求函数最值、解方程等问题的方面得到应用。一、柯西不等式的各种形式及其证明二维形式在一般形式中，12122,,,,naaabbcbd令，得二维形式22222bdacdcba等号成立条件：dcbabcad//扩展：222222222123123112233nnnnaaaabbbbabababab等号成立条件：1122000::::,1,2,3,,iiiinniiababababababin当或时，和都等于，不考虑二维形式的证明：22222222222222222222222,,,220=abcdabcdRacbdadbcacabcdbdadabcdbcacbdadbcacbdadbcadbc等号在且仅在即时成立三角形式222222abcdacbdadbc等号成立条件：三角形式的证明：222111nnnkkkkkkkabab22222222222222222222222222222222-2abcdabcdabcdabcdacbdaaccbbddacbdabcdacbd注：表示绝对值两边开根号，得向量形式123123=,,,,,,,,2=nnaaaabbbbnNnR，等号成立条件：为零向量，或向量形式的证明：1231231122332222222212312322222222112233123123=,,,,,,,,,cos,cos,cos,1nnnnnnnnnnmaaaanbbbbmnababababmnmnaaaabbbbmnmnababababaaaabbbburrLLurrurrurrLurrLLurrQLLL令一般形式211212nkkknkknkkbaba1122:::nniiabababab等号成立条件：，或、均为零。一般形式的证明：211212nkkknkknkkbaba证明：222222=/2=/2ijjiiijjjjiiababnababababnLLLL不等式左边共项不等式右边共项用均值不等式容易证明，不等式左边不等式右边，得证。推广形式(卡尔松不等式)：卡尔松不等式表述为：在m*n矩阵中，各行元素之和的几何平均数不小于各列元素之积的几何平均之和。12121212121111111231111,mnnmmmnmmmmmmmmiiiiniiiixxxxxxxxxxxxxmnNLLLLL其中，或者：111111,mmmnnmijijjijiijxxmnNxR其中，，或者11221111nnnnnnxyxyxyxyxxyLLLLLL注：表示，，，x的乘积，其余同理推广形式的证明：推广形式证法一：111222112112121212112112121212112,,+nnnnnnnnnnnnnnnnnnnAxyAxyAxyxxxxAAAxxxnAAAAAAyyyyAAAyyynAAAAAAnxAAALLLLLLLLLLLLLLL记由平均不等式得同理可得上述个不等式叠加，得11121111112112211+nnnnnnnnnnnnnnyAAAxyAAAxyxyxyxyxyLLLLLLLLLL即即，证毕或者推广形式证法二：事实上涉及平均值不等式都可以用均值不等式来证，这个不等式并不难，可以简单证明如下：111111221111111111111111111mmjjnnmjjjiiimmjjnnmjjjiiimmjnjnnnmjjjijiiimmnjknkjjiimjkjmnjiijxxmxxjixxmxxjixxmxxxxxxLL由均值不等式同理有以上各式相加得上式也即11111111,1mnkmmnnmjkjikijjxxm该式整理，得：得卡尔松不等式，证毕付：柯西（Cauchy）不等式相关证明方法：22211nnbababa222221222221nnbbbaaaniRbaii2,1,等号当且仅当021naaa或iikab时成立（k为常数，ni2,1）现将它的证明介绍如下：证明1：构造二次函数2222211)(nnbxabxabxaxf=22222121122122nnnnnnaaaxabababxbbbLLL22120nnaaaQL0fx恒成立2222211221212440nnnnnnabababaaabbbQLLL即2222211221212nnnnnnabababaaabbbLLL当且仅当01,2iiaxbxinL即1212nnaaabbbL时等号成立证明（2）数学归纳法（1）当1n时左式=211ab右式=211ab显然左式=右式当2n时，右式2222222222121211222112aabbabababab2221122121212222ababaabbabab右式仅当即2112abab即1212aabb时等号成立故1,2n时不等式成立（2）假设nk,2kk时，不等式成立即2222211221212kkkkkkabababaaabbbLLL当iikab，k为常数，1,2inL或120kaaaL时等号成立设22212kaaaL22212kbbbL1122kkCabababL则2222211111kkkkkabbab22221111112kkkkkkCCababCab22222222121121kkkkaaaabbbbLL2112211kkkkababababL当iikab，k为常数，1,2inL或120kaaaL时等号成立即1nk时不等式成立综合（1）（2）可知不等式成立二、柯西不等式的应用1、巧拆常数证不等式例1：设a、b、c为正数且互不相等。求证：2222abbcacabcf.abcQ、、均为正数11129...
