1.比較法比較法是證明不等式的最基本、最重要的方法之一，它是兩個實數大小順序和運算性質的直接應用，比較法可分為差值比較法(簡稱為求差法)和商值比較法(簡稱為求商法)。 (1)差值比較法的理論依據是不等式的基本性質：
「a-b≥0a≥b；a-b≤0a≤b」。其一般步驟為：①作差：
考察不等式左右兩邊構成的差式，將其看作乙個整體；②變形：把不等式兩邊的差進行變形，或變形為乙個常數，或變形為若干個因式的積，或變形為乙個或幾個平方的和等等，其中變形是求差法的關鍵，配方和因式分解是經常使用的變形手段；③判斷：根據已知條件與上述變形結果，判斷不等式兩邊差的正負號，最後肯定所求證不等式成立的結論。
應用範圍：當被證的不等式兩端是多項式、分式或對數式時一般使用差值比較法。 (2)商值比較法的理論依據是：
「若a，b∈r+，a/b≥1a≥b；a/b≤1a≤b」。其一般步驟為：①作商：
將左右兩端作商；②變形：化簡商式到最簡形式；③判斷商與1的大小關係，就是判定商大於1或小於1。應用範圍：
當被證的不等式兩端含有冪、指數式時，一般使用商值比較法。
2.綜合法利用已知事實(已知條件、重要不等式或已證明的不等式)作為基礎，借助不等式的性質和有關定理，經過逐步的邏輯推理，最後推出所要證明的不等式，其特點和思路是「由因導果」，從「已知」看「需知」，逐步推出「結論」。其邏輯關係為：
ab1 b2 b3… bnb，即從已知a逐步推演不等式成立的必要條件從而得出結論b。
3.分析法分析法是指從需證的不等式出發，分析這個不等式成立的充分條件，進而轉化為判定那個條件是否具備，其特點和思路是「執果索因」，即從「未知」看「需知」，逐步靠攏「已知」。用分析法證明ab的邏輯關係為：
bb1b1 b3 … bna，書寫的模式是：為了證明命題b成立，只需證明命題b1為真，從而有…，這只需證明b2為真，從而又有…，……這只需證明a為真，而已知a為真，故b必為真。這種證題模式告訴我們，分析法證題是步步尋求上一步成立的充分條件。
4.反證法有些不等式的證明，從正面證不好說清楚，可以從正難則反的角度考慮，即要證明不等式a>b，先假設a≤b，由題設及其它性質，推出矛盾，從而肯定a>b。凡涉及到的證明不等式為否定命題、惟一性命題或含有「至多」、「至少」、「不存在」、「不可能」等詞語時，可以考慮用反證法。
5.換元法換元法是對一些結構比較複雜，變數較多，變數之間的關係不甚明了的不等式可引入乙個或多個變數進行代換，以便簡化原有的結構或實現某種轉化與變通，給證明帶來新的啟迪和方法。主要有兩種換元形式。
(1)三角代換法：多用於條件不等式的證明，當所給條件較複雜，乙個變數不易用另乙個變數表示，這時可考慮三角代換，將兩個變數都有同乙個引數表示。此法如果運用恰當，可溝通三角與代數的聯絡，將複雜的代數問題轉化為三角問題根據具體問題，實施的三角代換方法有：
①若x2+y2=1，可設x=cosθ，y=sinθ；②若x2+y2≤1，可設x=rcosθ，y=rsinθ(0≤r≤1)；③對於含有的不等式，由於|x|≤1，可設x=cosθ；④若x+y+z=xyz，由tana+tanb+tanc=tanatan-btanc知，可設x=taaa，y=tanb，z=tanc，其中a+b+c=π。(2)增量換元法：在對稱式(任意交換兩個字母，代數式不變)和給定字母順序(如a>b>c等)的不等式，考慮用增量法進行換元，其目的是通過換元達到減元，使問題化難為易，化繁為簡。
如a+b=1，可以用a=1-t，b=t或a=1/2+t，b=1/2-t進行換元。
6.放縮法放縮法是要證明不等式a編輯本段重要不等式
柯西不等式
對於2n個任意實數x1，x2，…，xn和y1，y2，…，yn，恒有
（x1y1＋x2y2＋…＋xnyn)^2≤（x1^2＋x2^2＋…＋xn^2）（y1^2＋y2^2＋…＋yn^2）
柯西不等式的幾種變形形式
1.設aiîr,bi>0 (i=1,2,…,n)則，當且僅當bi=lai (1£i£n)時取等號
2.設ai,bi同號且不為零(i=1,2,…,n)，則，當且僅當b1=b2=…=bn時取等
柯西不等式的一般證法有以下幾種： ①cauchy不等式的形式化寫法就是：記兩列數分別是ai, bi，則有 (∑ai^2) * (∑bi^2) ≥ (∑ai * bi)^2.
我們令 f(x) = ∑(ai + x * bi)^2 = (∑bi^2) * x^2 + 2 * (∑ai * bi) * x + (∑ai^2) 則我們知道恒有 f(x) ≥ 0. 用二次函式無實根或只有乙個實根的條件，就有 δ = 4 * (∑ai * bi)^2 - 4 * (∑ai^2) * (∑bi^2) ≤ 0. 於是移項得到結論。
②用向量來證. m=(a1,a2......an) n=(b1,b2......
bn) mn=a1b1+a2b2+......+anbn=(a1^+a2^+......+an^)^1/2乘以(b1^+b2^+......
+bn^)^1/2乘以cosx． 因為cosx小於等於1，所以：a1b1+a2b2+......+anbn小於等於a1^+a2^+......
+an^)^1/2乘以(b1^+b2^+......+bn^)^1/2 這就證明了不等式． 柯西不等式還有很多種，這裡只取兩種較常用的證法． 【柯西不等式的應用】 柯西不等式在求某些函式最值中和證明某些不等式時是經常使用的理論根據，我們在教學中應給予極大的重視。 巧拆常數：
例：設a、b、c 為正數且各不相等。 求證：
(2/a+c)+(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 各不相等，故等號不能成立 ∴原不等式成立。 [2]
排序不等式
對於兩組有序的實數x1≤x2≤…≤xn，y1≤y2≤…≤yn，設yi1，yi2，…，yin是後一組的任意乙個排列，
記s＝x1yn＋x2yn-1＋…＋xny1，m＝x1yi1＋x2yi2＋…＋xnyin，l＝x1y1＋x2y2＋…＋xnyn，那麼恒有s≤m≤l。
編輯本段其他重要不等式
琴生不等式
均值不等式
絕對值不等式
權方和不等式
赫爾德不等式
閔可夫斯基不等式
貝努利不等式
不等式的證明方法
不等式性質的應用 1 不等式性質成立的條件 運用不等式的基本性質解答不等式問題，要注意不等式成立的條件，否則將會出現一些錯誤。對表達不等式性質的各不等式，要注意 箭頭 是單向的還是雙向的，也就是說每條性質是否具有可逆性。例1 若，則下列不等關係中不能成立的是 a b c d 解 由，a 成立。由，c...
不等式證明常用方法
17世紀之後，不等式的理論成為數學理論的重要組成部分。經過高斯 柯西 切貝曉夫等對不等式問題的研究，該理論得到非常快的發展，人們也一直在對不等式進行不斷的完善，取得許多重要成果。不等式不僅有重要的理論意義，在實踐方面運用於工程技術領域對它的生產有很大的作用。證明不等式的方法不僅有豐富的邏輯推理 也很...
不等式的證明方法
不等式性質的應用 1 不等式性質成立的條件 運用不等式的基本性質解答不等式問題，要注意不等式成立的條件，否則將會出現一些錯誤。對表達不等式性質的各不等式，要注意 箭頭 是單向的還是雙向的，也就是說每條性質是否具有可逆性。例1 若，則下列不等關係中不能成立的是 a b c d 解 由，a 成立。由，c...