**不等式**（英文：inequality），通俗講法叫**唔等如**或者**唔等於**，係數學上一個基本概念，喺任何數學領域入面都會出現或者用到，最常見嘅就係數學分析。不等式係嚟自於實數嘅三叉性質，但係佢推廣去好多其他地方。

不等式最基本嘅概念，係同等式或者叫等於相反，不等式可以分為四類：

* {\displaystyle a<b}，{\displaystyle a}細過{\displaystyle b}。
* {\displaystyle a>b}，{\displaystyle a}大過{\displaystyle b}。
* {\displaystyle a\leq b}，{\displaystyle a}細過或者等於{\displaystyle b}。
* {\displaystyle a\geq b}，{\displaystyle a}大過或者等於{\displaystyle b}。

基本例子
----

假設有一個集{\displaystyle \{1,2,3,4,5\}}，用返平時自然數嘅大細次序，咁就有{\displaystyle 1<2<3<4<5}，亦都有{\displaystyle 5>4>3>2>1}，同時{\displaystyle 1\leq 1\leq 2\leq 2\cdots \leq 5\leq 5}都係啱嘅。

定義
--

### 三叉性質（Trichotomy Property）

考慮{\displaystyle \mathrm {P} }係{\displaystyle \mathbb {R} }嘅一個子集，{\displaystyle \mathrm {P} }係一個整實數嘅子集，然後{\displaystyle \mathrm {P} }符合以下三項特性：

* 如果{\displaystyle a,b\in \mathrm {P} }，咁樣{\displaystyle a+b\in \mathrm {P} }。
* 如果{\displaystyle a,b\in \mathrm {P} }，咁樣{\displaystyle a\times b\in \mathrm {P} }。
* 所有{\displaystyle \mathbb {R} }入面嘅元素，叫{\displaystyle a\in \mathbb {R} }，都係必定符合以下其中一項。
	+ {\displaystyle a\in \mathrm {P} }
	+ {\displaystyle a=0}
	+ {\displaystyle -a\in \mathrm {P} }

因為呢個三叉性質，{\displaystyle \mathbb {R} }入面嘅數字可以分做正數、負數同埋零。就係因為噉，所以產生咗不等式。從而{\displaystyle \mathbb {R} }入面嘅數字有大細之分。

### 定義

假設有兩個數字{\displaystyle a,b\in \mathbb {R} }。

* 如果{\displaystyle a-b\in \mathrm {P} }，就可以寫做{\displaystyle a>b}或者{\displaystyle b<a}。
* 如果{\displaystyle a-b\in \mathrm {P} \cup \{0\}}，就可以寫做{\displaystyle a\geq b}或者{\displaystyle b\leq a}。

其實以上嘅定義只係將簡介所講嘅四類不等式用集合論嘅角色寫多次，其實係無太大分別。

喺邏輯上，{\displaystyle 1\leq 2}係合理無錯嘅。

性質
--

假設有任何三個數字{\displaystyle a,b,c\in \mathbb {R} }，以下嘅性質都係啱既：

* 如果{\displaystyle a>b}同埋{\displaystyle b>c}，咁{\displaystyle a>c}。
* 如果{\displaystyle a>b}，咁{\displaystyle a+c>b+c}。
* 如果{\displaystyle a>b}同埋{\displaystyle c>0}，咁{\displaystyle ca>cb}。
* 如果{\displaystyle a>b}同埋{\displaystyle c<0}，咁{\displaystyle ca<cb}。

**證明：**

假設{\displaystyle a>b}同埋{\displaystyle b>c}，咁樣{\displaystyle a-b\in \mathrm {P} }同埋{\displaystyle b-c\in \mathrm {P} }。

將兩者相加，得出{\displaystyle (a-b)+(b-c)=a+(-b+b)-c=a-c\in \mathrm {P} }。

姐係{\displaystyle a-c\in \mathrm {P} \implies a>c}。

假設{\displaystyle a>b}，咁樣{\displaystyle a-b\in \mathrm {P} }。

加一個零畀佢，令到{\displaystyle a-b+0=a-b+(c-c)=(a+c)-(b+c)\in \mathrm {P} }。

即係{\displaystyle (a+c)-(b+c)\in \mathrm {P} \implies a+c>b+c}。

假設{\displaystyle a>b}同埋{\displaystyle c>0}，咁樣{\displaystyle a-b\in \mathrm {P} }同埋{\displaystyle c\in \mathrm {P} }。

用常理得知{\displaystyle ca-cb=c(a-b)}，利用三叉性質得知，{\displaystyle ca-cb\in \mathrm {P} }。

姐係{\displaystyle ca-cb\in \mathrm {P} \implies ca>cb}。

假設{\displaystyle a>b}同埋{\displaystyle c<0}，咁樣{\displaystyle a-b\in \mathrm {P} }同埋{\displaystyle -c\in \mathrm {P} }。

用常理得知{\displaystyle (-c)a-(-c)b=(-c)(a-b)}，利用三叉性質得知，{\displaystyle (-c)a-(-c)b\in \mathrm {P} =cb-ca\in \mathrm {P} }。

即係{\displaystyle cb-ca\in \mathrm {P} \implies cb>ca}。

推論
--

### 推論一

如果{\displaystyle a\in \mathbb {R} }同埋{\displaystyle a\neq 0}，咁{\displaystyle a^{2}>0}

**證明：**

利用三叉性質得知，所有唔等於零嘅數字都係{\displaystyle a\in \mathrm {P} }或者{\displaystyle -a\in \mathrm {P} }。

如果{\displaystyle a\in \mathrm {P} }，咁{\displaystyle a\times a=a^{2}\in \mathrm {P} }。

如果{\displaystyle -a\in \mathrm {P} }，咁{\displaystyle -a\times -a=(-a)^{2}=a^{2}\in \mathrm {P} }。

### 推論二

{\displaystyle 1>0}

**證明：**

因為{\displaystyle 1=1^{2}}，利用上面得知{\displaystyle 1>0}。

### 推論三

任何一個自然數{\displaystyle n\in \mathbb {N} }，{\displaystyle n>0}

「正正得正，正負得負，負正得正，負負得正」
---------------------

「正正得正，正負得負，負正得正，負負得正」其實係嚟自不等式，而且係可以證明。

假設{\displaystyle ab>0}，咁即係話：

* {\displaystyle a>0}同埋{\displaystyle b>0}；或者
* {\displaystyle a<0}同埋{\displaystyle b<0}

承上題，假設{\displaystyle ab<0}，咁即係話：

* {\displaystyle a>0}同埋{\displaystyle b<0}；或者
* {\displaystyle a<0}同埋{\displaystyle b>0}

睇埋
--

* 等如
* 實數
* 絕對值
* 算幾不等式
* 三角不等式
* 加總平均不等式
* 乘積平均不等式
* 伯努尼不等式
* 不等號
* 不等式一覽

| * 睇
* 傾
* 改
現代數學同數學各領域 |
| --- |
| 純粹同應用數學 · 數學史 · 數學之美 |
| 數學證明 | 
* 直接證明
* 數學歸納法
* 否定證明
* 反證法
* 構造法
* 分類證明

 |  |
| 數學基礎 | 
* 數學哲學
* 數學邏輯
* 範疇論
* 集合論
* 類型論
* 資訊理論
* 數學符號
* 數學物體

 |
| 數論 | 
* 數（質數）
* 算術
* 代數數論
* 解析數論

 |
| 代數學 | 
* 基本代數
* 線性代數（多重）
* 抽象代數（交換代數 · 羣論 · 伽華理論）
* 場論
* 泛代數
* 同調代數

 |
| 幾何學 | 
* 歐幾里得幾何
* 代數幾何
* 解析幾何
* 微分幾何
* 離散幾何
* 拓撲學（代數拓撲）

 |
| 數學分析 | 
* 微積分
* 微分方程
* 實分析同複分析
* 測度
* 諧波分析
* 泛函分析

 |
| 離散數學 | 
* 組合數學
* 圖論
* 序理論
* 博弈論

 |
| 應用數學 | 

|  |
| --- |
| 
* 數理物理學
* 數理化學
* 數理生物學
* 數理心理學
* 數理社會學
* 控制理論

 |
| 　決策論 | 
* 概率論同統計學
* 數理經濟學
* 運籌學
* 數理金融學

 |

 |
| 運算數學 | 
* 電腦科學
* 運算理論
* 數值分析
* 最佳化
* 電腦代數

 |
| 拉雜相關 | 
* 邏輯
* 理論電腦科學
* 哲學（古希臘哲學 · 理性主義）
* 科學（形式 · 系統）
* 科技
* 藝術
* 樂理

 |
|  **數學主題** · 數學類 |

| * 睇
* 傾
* 改
數學分析 |
| --- |
| 實數分析 | 
* 實數性質、間距
* 數列及極限、子數列、增減數列、保西奴-華實斯定理
* 函數
	+ 極限
	+ 連續性
	+ 統一性
* 積分
* 微分
* 函數串列
* 無限串列

 |
| 虛數分析 | 
* 虛數

 |