不等式
| 不等式 |
 |
|
中文名；不等式 外文名；inequality 表達式；a≠b 應用學科；數學 分類；為嚴格不等式與非嚴格不等式 例子；X>Y,X<Y… |
用符號「>」「<」表示大小關係的式子，叫作不等式。用「≠」表示不等關係的式子也是不等式。
通常不等式中的數是實數，字母也代表實數，不等式的一般形式為F(x，y，……，z)≤G(x，y，……，z )（其中不等號也可以為 中某一個），兩邊的解析式的公共定義域稱為不等式的定義域，不等式既可以表達一個命題，也可以表示一個問題。[1]
目錄
定義
一般地，用純粹的大於號「>」、小於號「<」表示大小關係的式子，叫作不等式。用「≠」表示不等關係的式子也是不等式。
其中，兩邊的解析式的公共定義域稱為不等式的定義域。
整式不等式：
整式不等式兩邊都是整式（即未知數不在分母上）。
一元一次不等式：含有一個未知數(即一元),並且未知數的次數是1次(即一次)的不等式。如3-x>0
同理，二元一次不等式：含有兩個未知數(即二元),並且未知數的次數是1次(即一次)的不等式。
基本性質
①如果x>y，那麼y<x；如果y<x，那麼x>y；（對稱性）
②如果x>y，y>z；那麼x>z；（傳遞性）
③如果x>y，而z為任意實數或整式，那麼x+z>y+z；（加法原則，或叫同向不等式可加性）
④ 如果x>y，z>0，那麼xz>yz；如果x>y，z<0，那麼xz<yz；
（乘法原則）
⑤如果x>y，m>n，那麼x+m>y+n；(充分不必要條件)
⑥如果x>y>0，m>n>0，那麼xm>yn；
⑦如果x>y>0，xn>yn（n為正數)，xn<yn（n為負數）;
或者說，不等式的基本性質的另一種表達方式有：
①對稱性；
②傳遞性；
③加法單調性，即同向不等式可加性；
④乘法單調性；
⑤同向正值不等式可乘性；
⑥正值不等式可乘方；
⑦正值不等式可開方；
⑧倒數法則。
如果由不等式的基本性質出發，通過邏輯推理，可以論證大量的初等不等式。
另，不等式的特殊性質有以下三種：
①不等式性質1：不等式的兩邊同時加上（或減去）同一個數（或式子），不等號的方向不變；
②不等式性質2：不等式的兩邊同時乘（或除以）同一個正數，不等號的方向不變；
③不等式性質3：不等式的兩邊同時乘（或除以）同一個負數，不等號的方向變。 總結：當兩個正數的積為定值時，它們的和有最小值；當兩個正數的和為定值時，它們的積有最大值。
常用定理
①不等式F（x）< G（x）與不等式 G（x）>F（x）同解。
②如果不等式F（x） < G（x）的定義域被解析式H（ x ）的定義域所包含，那麼不等式 F（x）
③如果不等式F（x）定義域被解析式H（x）的定義域所包含，並且H（x）>0，那麼不等式F(x)H（x）G（x）同解。
④不等式F（x）G（x）>0與不等式同解；不等式F（x）G（x）
定理口訣
解不等式的途徑，利用函數的性質。對指無理不等式，化為有理不等式。
高次向着低次代，步步轉化要等價。數形之間互轉化，幫助解答作用大。
證不等式的方法，實數性質威力大。求差與0比大小，作商和1爭高下。
直接困難分析好，思路清晰綜合法。非負常用基本式，正面難則反證法。
還有重要不等式，以及數學歸納法。圖形函數來幫助，畫圖、建模、構造法。
不等式兩邊相加或相減同一個數或式子，不等號的方向不變。（移項要變號）
不等式兩邊相乘或相除同一個正數，不等號的方向不變。（相當係數化1，這是得正數才能使用）
不等式兩邊乘或除以同一個負數，不等號的方向改變。（÷或×1個負數的時候要變號）
解集
確定解集：
①比兩個值都大，就比大的還大(同大取大）；
②比兩個值都小，就比小的還小(同小取小）；
③比大的大，比小的小，無解（大大小小取不了）；
④比小的大，比大的小，有解在中間（小大大小取中間）。
三個或三個以上不等式組成的不等式組，可以類推。
數軸法
可以在數軸上確定解集：
把每個不等式的解集在數軸上表示出來，數軸上的點把數軸分成若干段，如果數軸的某一段上面表示解集的線的條數與不等式的個數一樣，那麼這段就是不等式組的解集。有幾個就要幾個。
在確定一元二次不等式時，a>0，Δ=b^2-4ac>0時，不等式解集可用"大於取兩邊，小於取中間"求出。
①作差比較法：根據a-b>0↔a>b，欲證a>b，只需證a-b>0；
②作商比較法：根據a/b=1，
當b>0時，得a>b，
當b>0時，欲證a>b，只需證a/b>1，
當b
綜合法
由因導果。證明不等式時，從已知的不等式及題設條件出發，運用不等式性質及適當變形推導出要證明的不等式. 合法又叫順推證法或因導果法。
分析法
執果索因。證明不等式時，從待證命題出發，尋找使其成立的充分條件. 由於」分析法「證題書寫不是太方便，所以有時我們可以利用分析法尋找證題的途徑，然後用」綜合法「進行表述。
放縮法
將不等式一側適當的放大或縮小以達到證題目的，已知A
數學歸納法
反證法
證明不等式時，首先假設要證明的命題的反面成立，把它作為條件和其他條件結合在一起，利用已知定義、定理、公理等基本原理逐步推證出一個與命題的條件或已證明的定理或公認的簡單事實相矛盾的結論，以此說明原假設的結論不成立，從而肯定原命題的結論成立的方法稱為反證法。
換元法
換元的目的就是減少不等式中變量的個數，以使問題化難為易，化繁為簡，常用的換元有三角換元和代數換元。
構造法
通過構造函數、圖形、方程、數列、向量等來證明不等式。
柯西不等式二維一般形式
等號的成立條件為：,i=1,2,3,...,n中至少一方全為零。
柯西不等式的幾種變形形式
1.設xi∈R,yi>0 (i=1,2,…,n)則，當且僅當bi=l*ai (i=1,2,3,…,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+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 各不相等，故等號不能成立 ∴原不等式成立。
排序不等式
排序不等式又稱排序原理。
對於兩組有序的實數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。
當且僅當x1=x2=……=xn且y1=y2=……yn時，等號成立。
即反序和≤亂序和≤順序和。
參考來源
參考資料
- ↑ 不等式知識點歸納大全, 360文庫, 2019年10月2日