柯西不等式各种形式的证明及其应用柯西不等式是由大数学家柯西(Cauchy)在研究数学分析中的“流数”问题时得到的。
但从历史的角度讲,该不等式应当称为Cauchy-Buniakowsky-Schwarz 不等式,因为,正是后两位数学家彼此独立地在积分学中推而广之,才将这一不等式应用到近乎完善的地步。
柯西不等式非常重要,灵活巧妙地应用它,可以使一些较为困难的问题迎刃而解。
柯西不等式在证明不等式、解三角形、求函数最值、解方程等问题的方面得到应用。
一、柯西不等式的各种形式及其证明 二维形式在一般形式中,12122,,,,n a a a b b c b d =====令,得二维形式()()()22222bd ac d c b a+≥++等号成立条件:()d c b a bc ad //== 扩展:()()()222222222123123112233nn n n a a a a b b b b a b a b a b a b +++⋅⋅⋅++++⋅⋅⋅+≥+++⋅⋅⋅+等号成立条件:1122000::::,1,2,3,,i i i i n n i i a b a b a b a b a b a b i n ==⎛⎫==⋅⋅⋅= ⎪=⋅⋅⋅⎝⎭当或时,和都等于,不考虑二维形式的证明:()()()()()()22222222222222222222222,,,220=ab c d a b c d R a c b d a d b c a c abcd b d a d abcd b c ac bd ad bc ac bd ad bc ad bc ++∈=+++=+++-+=++-≥+-=等号在且仅在即时成立三角形式ad bc=等号成立条件:三角形式的证明:222111nn n k k k k k k k a b a b ===⎛⎫≥ ⎪⎝⎭∑∑∑()()22222222222222222-2a b c d a b c d ac bd a ac c b bd d a c b d =++++≥+++++≥-+++=-+-≥注:表示绝对值向量形式()()()()123123=,,,,,,,,2=n n a a a a b b b b n N n R αβαβαββαλβλ≥⋅⋅⋅⋅=⋅⋅⋅∈≥∈,等号成立条件:为零向量,或向量形式的证明:()()123123112233222222312322222222112233123123=,,,,,,,,,cos ,cos ,cos ,1n n n n n n n n n nm a a a a n b b b b m n a b a b a b a b m n m na a ab b b b m nm n a b a b a b a b a a a a b b b b =⋅=++++==++++++++≤∴++++≤++++++++令一般形式211212⎪⎭⎫ ⎝⎛≥∑∑∑===n k k k nk k nk k b a b a 1122:::n n i i a b a b a b a b ==⋅⋅⋅=等号成立条件:,或 、均为零。