![重要不等式[用於計算與證明問題的不等式]](/img/3/7ba/nBnauM3X3YDNwAjM5MTM5ITN1UTM1QDN5MjM5ADMwAjMwUzLzEzL4MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg "重要不等式[用於計算與證明問題的不等式]")
柯西不等式
柯西不等式的一般證法有以下幾種：
⑴Cauchy不等式的形式化寫法就是：記兩列數分別是a,b，則有 （∑a ） * （∑b ） ≥ （∑a * b) .
等號成立條件：a:b=a:b=…=a:b（當a=0或b=0時a和b都等於0，不考慮a:b，i=1,2,3,…,n)
我們令 f(x) = ∑（a + x * b) = （∑b ） * x + 2 * （∑a * b) * x + (∑a ）
則我們知道恆有 f(x) ≥ 0.
用二次函式無實根或只有一個實根的條件，就有 Δ = 4 * （∑a * b) - 4 * （∑a ） * （∑b ） ≤ 0.
於是移項得到結論。
⑵用向量來證.
m=(a,a......a) n=(b,b......b)
mn=ab+ab+......+ab=(a^+a^+......+a^)^1/2乘以（b^+b^+......+b^)^1/2乘以cosX．
因為cosX≤1，所以：ab+ab+......+ab≤a^+a^+......+a^)^1/2乘以（b^+b^+......+b^)^1/2
這就證明了不等式．
柯西不等式還有很多種，這裡只取兩種較常用的證法．
柯西不等式在求某些函式最值中和證明某些不等式時是經常使用的理論根據，我們在教學中應給予極大的重視。
巧拆常數：
例：設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=（1+1+1）×（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)]≥（1+1+1）（1+1+1）=9
又 a、b 、c 各不相等，故等號不能成立
∴原不等式成立。
像這樣的例子還有很多，詞條里不再一一列舉，大家可以在參考資料里找到柯西不等式的證明及套用的具體文獻．
排序不等式
排序不等式是高中數學競賽大綱要求的基本不等式。
設有兩組數 a,a，…… ab,b，…… b 滿足 a≤ a ≤……≤ ab ≤ b ≤……≤ b 則有 ab + ab +……+ a b≤ ab + ab +……+ ab ≤ ab + ab+……+ ab式中t，t，……，t是1，2，……，n的任意一個排列， 若且唯若 a = a =……= a 或 b = b =……= b時成立。
以上排序不等式也可簡記為：反序和≤亂序和≤同序和.
證明時可採用逐步調整法。
證明：其餘不變時，將ab + ab 調整為ab + ab ，值變小，只需作差證明（a -a）*（b -b）≥0，這由題意可知成立。
依次類推，根據逐步調整法，排序不等式得證。
亦可用以下方法：
設c，c，...,c是a，a，...,a的任意一個排列，S=c+c+...+cT=a+a+...+a，其中i≤n。
顯然，S≥T,a*b+a* b+...+a* b=(T-T）*b+(T-T）*b+...+(T-T）*b=T*b-T*(b-b）-...- T*(b-b）≤S*b-S*(b-b）-...-S*(b-b)=(S-S）*b+（S-S）*b+...+(S-S)*b=c*a+c*a+
...+c*a.這樣就證明了 反序和≤亂序和。
同理可證：亂序和≤同序和。
切比雪夫不等式
切比雪夫不等式有兩個
⑴設存在數列a,a,a.....a和b,b,b......b滿足a≤a≤a≤.....≤a和b≤b≤b≤......≤b
那么，∑ab≥（1/n）（∑a）（∑b）
⑵設存在數列a,a,a.....,a和b,b,b......,b滿足a≤a≤a≤.....≤a和b≥b≥b≥......≥b
那么，∑ab≤（1/n）（∑a）（∑b）
琴生不等式
設f(x）為上凸函式，則f[(x+x+……+x)/n]≥[f(x）+f(x）+……+f(x)]/n，稱為琴生不等式（冪平均）。
加權形式為：
f[(ax+ax+……+ax)]≥af(x）+af(x)+……+af(x)，其中
a≥0(i=1,2，……，n)，且a+a+……+a=1.
均值不等式
a + b ≥ 2ab （a與b的平方和不小於它們的乘積的2倍）
當a、b 分別大於0時，上式可變為a+b ≥2√ab
有可分以下幾種情況：
⑴對實數a,b，有a +b ≥2ab （若且唯若a=b時取“=”號），a +b ≥-2ab
⑵對非負實數a,b，有a+b≥2√ab≥0，即（a+b)/2≥√ab≥0
⑶對負實數a,b，有a+b<0<2√ab
⑷對實數a,b，有a(a-b）≥b(a-b)
⑸對非負數a,b，有a +b ≥2ab≥0
⑹對非負數a,b，有a +b ≥[(a+b) ]/2≥ab
⑺對非負數a,b,c，有a +b +c ≥[(a+b+c) ]/3
⑻對非負數a,b,c，有a +b +c ≥ab+bc+ac
⑼對非負數a,b，有a +ab+b ≥[3(a+b) ]/4
⑽對實數a,b,c，有（a+b+c)/3≥（abc)
完全均值不等式
√[(a + b )/2] ≥（a+b)/2 ≥√ab ≥2/(1/a+1/b)
（二次冪平均≥算術平均≥幾何平均≥調和平均）
證明：（證明過程引自他出）
設a，b是兩個正數，
M=√[(a +b )/2]，A=(a+b)/2，G=√ab，H=2/(1/a+1/b)
分別表示a，b兩元的二次冪平均，算術平均，幾何平均和調和平均。證明： M≥A≥G≥H。
證明 在梯形ABCD中，AB∥CD，記AB=b，CD=a。
EF(i=1,2,3,4）是平行於梯形ABCD的底邊且被梯形兩腰所截的線段。
如果EF分梯形為等積的兩部分，那么
EF=√[(a+b)/2]。
如果EF分梯形的中位線，那么
EF=(a+b)/2。
如果EF分梯形為兩相似圖形，那么
EF=√ab。
如果EF通過梯形兩對角線交點的線段，那么
EF=2/(1/a+1/b）。
從圖中直觀地證明EF≥EF≥EF≥EF，當a=b時取等號。
對於n元，√[(x +x +...+x ）/n]≥(x+x+...+x)/n≥(xx...x) ≥n/[(1/x)+(1/x)+...+(1/x)]
冪平均不等式
冪平均不等式：ai>0（1≤i≤n），且α>；β，則有（∑ai^α/n)^1/α≥（∑ai^β/n)^1/β成立
iff a1=a2=a3=……=an 時取等號
加權的形式：
設ai>0，pi>0（1≤i≤n），且α>；β，則有
（∑pi*ai^α/∑pi)^1/α≥（∑pi*ai^β/∑pi)^1/β
iff a1=a2=a3=……=an， p1=p2=p3=……=pn 時取等號。
特例：
- 調和平均（-1次冪）， -幾何平均（0次冪）， - 算術平均（1次冪）， ， - 二次平均（2次冪）
權方和不等式
1）
a1 ^ （m+1） / b1^m + a2 ^ （m+1） / b2^m + a3 ^ （m+1） / b3^m + …… + an ^ （m+1） / bn^m ≥ (a1+a2+a3+ …… +an) ^ （m+1） / (b1+b2+b3+ …… +bn)^m
其中
a,b,n為正整數，m>0 或 m<-1
當且僅僅當a1/b1=a2/b2=...=an/bn時，等號成立
2）
a1 ^ （m+1） / b1^m + a2 ^ （m+1） / b2^m + a3 ^ （m+1） / b3^m + …… + an ^ （m+1） / bn^m ≤ (a1+a2+a3+ …… +an) ^ （m+1） / (b1+b2+b3+ …… +bn)^m
其中
a,b,n為正整數，-1<m<0
當且只有當a1/b1=a2/b2=...=an/bn時，等號成立
權方和不等式的等價形式：
（Holder不等式）：∑[i=1，n]ai*bi≤（∑[i=1，n]ai^p）^（1/p) * （∑[i=1,n]bi^q)^（1/q)
上式中1/p+1/q=1,ai,bi為正實數
盤點高中數學名詞
| 高中是大學的過渡階段，學好高中數學，才能為學好大學數學打好基礎，那我們盤點下高中數學中有哪些名詞吧。 |
