柯西不等式各種形式的證明及其應(yīng)用

1、-作者xxxx-日期xxxx柯西不等式各種形式的證明及其應(yīng)用【精品文檔】柯西不等式各種形式的證明及其應(yīng)用柯西不等式是由大數(shù)學(xué)家柯西()在研究數(shù)學(xué)分析中的“流數(shù)”問題時得到的。但從歷史的角度講，該不等式應(yīng)當(dāng)稱為不等式，因為，正是后兩位數(shù)學(xué)家彼此獨立地在積分學(xué)中推而廣之，才將這一不等式應(yīng)用到近乎完善的地步。 柯西不等式非常重要，靈活巧妙地應(yīng)用它，可以使一些較為困難的問題迎刃而解。 柯西不等式在證明不等式、解三角形、求函數(shù)最值、解方程等問題的方面得到應(yīng)用。一、柯西不等式的各種形式及其證明二維形式在一般形式中，等號成立條件：擴展：等號成立條件：二維形式的證明：三角形式三角形式的證明：向量形式向量形式的

2、證明：一般形式一般形式的證明：證明：推廣形式(卡爾松不等式)：卡爾松不等式表述為：在m*n矩陣中，各行元素之和的幾何平均數(shù)不小于各列元素之積的幾何平均之和。或者：或者推廣形式的證明：推廣形式證法一：或者推廣形式證法二：事實上涉及平均值不等式都可以用均值不等式來證，這個不等式并不難，可以簡單證明如下：付：柯西（）不等式相關(guān)證明方法： 等號當(dāng)且僅當(dāng)或時成立（k為常數(shù)，）現(xiàn)將它的證明介紹如下：證明1：構(gòu)造二次函數(shù) = 恒成立即當(dāng)且僅當(dāng) 即時等號成立證明（2）數(shù)學(xué)歸納法 （1）當(dāng)時 左式= 右式=顯然 左式=右式當(dāng) 時， 右式 右式 僅當(dāng)即 即時等號成立故時 不等式成立 （2）假設(shè)時，不等式成立即 當(dāng)

3、 ，k為常數(shù)， 或時等號成立設(shè) 則 當(dāng) ，k為常數(shù)， 或時等號成立即 時不等式成立綜合（1）（2）可知不等式成立二、柯西不等式的應(yīng)用1、巧拆常數(shù)證不等式例1：設(shè)a、b、c為正數(shù)且互不相等。求證：. 均為正數(shù) 為證結(jié)論正確，只需證： 又 又互不相等，所以不能取等原不等式成立，證畢。2、求某些特殊函數(shù)最值例2：函數(shù)的定義域為5，9,3、用柯西不等式推導(dǎo)點到直線的距離公式。 已知點及直線 設(shè)點p是直線上的任意一點， 則 （1） （2）點兩點間的距離就是點到直線的距離，求（2）式有最小值，有由（1）（2）得： 即 （3）當(dāng)且僅當(dāng) （3）式取等號 即點到直線的距離公式即4、 證明不等式例 3已知正數(shù)滿足

4、 證明 證明：利用柯西不等式 又因為 在此不等式兩邊同乘以2，再加上得：故5、 解三角形的相關(guān)問題例 4設(shè)是內(nèi)的一點，是到三邊的距離，是外接圓的半徑，證明證明：由柯西不等式得，記為的面積，則故不等式成立。6、 求最值例5已知實數(shù)滿足， 試求的最值 解：由柯西不等式得，有即由條件可得， 解得，當(dāng)且僅當(dāng) 時等號成立，代入時， 時 7、利用柯西不等式解方程例6在實數(shù)集內(nèi)解方程解：由柯西不等式，得 又即不等式中只有等號成立從而由柯西不等式中等號成立的條件，得它與聯(lián)立，可得 8、用柯西不等式解釋樣本線性相關(guān)系數(shù)在線性回歸中，有樣本相關(guān)系數(shù)，并指出且越接近于1，相關(guān)程度越大，越接近于0，則相關(guān)程度越小。現(xiàn)

5、在可用柯西不等式解釋樣本線性相關(guān)系數(shù)?，F(xiàn)記，則，由柯西不等式有，當(dāng)時，此時，為常數(shù)。點 均在直線上，當(dāng)時，即而為常數(shù)。此時，此時，為常數(shù)點均在直線附近，所以越接近于1，相關(guān)程度越大當(dāng)時，不具備上述特征，從而，找不到合適的常數(shù)，使得點都在直線附近。所以，越接近于0，則相關(guān)程度越小。9、關(guān)于不等式的幾何背景 幾何背景：如圖，在三角形中，則 Q（c，d） O P（a，b）將以上三式代入余弦定理，并化簡，可得 或因為，所以，于是 .柯西不等式的相關(guān)內(nèi)容簡介（1） 赫爾德()不等式 當(dāng)時，即為柯西不等式。因此，赫爾德不等式是柯西不等式更為一般的形式，在分析學(xué)中有著較為廣泛的應(yīng)用。（2） 平面三角不等式（柯西不等式的等價形式） 可以借助其二維形式來理解，根據(jù)三角形的兩邊之和大于第三邊，很容易驗證這一不等式的正確性。該不等式的一般形式 稱為閔可夫斯基（）不等式。它是由閔可夫斯基在對n維空間中的對稱凸幾何體定義了一種“距離”的基礎(chǔ)上得到的，即對于點，定義其距離為