不等式
(由不等跳轉過嚟)
不等式（英文：inequality），通俗講法叫唔等如或者唔等於，係數學上一個基本概念，喺任何數學領域入面都會出現或者用到，最常見嘅就係數學分析。不等式係嚟自於實數嘅三叉性質，但係佢推廣去好多其他地方。
不等式最基本嘅概念，係同等式或者叫等於相反，不等式可以分為四類：
- ，細過。
- ，大過。
- ，細過或者等於。
- ，大過或者等於。
基本例子
編輯假設有一個集 ，用返平時自然數嘅大細次序，咁就有 ，亦都有 ，同時 都係啱嘅。
定義
編輯三叉性質（Trichotomy Property）
編輯考慮 係 嘅一個子集， 係一個整實數嘅子集，然後 符合以下三項特性：
- 如果 ，咁樣 。
- 如果 ，咁樣 。
- 所有 入面嘅元素，叫 ，都係必定符合以下其中一項。
因為呢個三叉性質， 入面嘅數字可以分做正數、負數同埋零。就係因為噉，所以產生咗不等式。從而 入面嘅數字有大細之分。
定義
編輯假設有兩個數字 。
- 如果 ，就可以寫做 或者 。
- 如果 ，就可以寫做 或者 。
其實以上嘅定義只係將簡介所講嘅四類不等式用集合論嘅角色寫多次，其實係無太大分別。
喺邏輯上， 係合理無錯嘅。
性質
編輯假設有任何三個數字 ，以下嘅性質都係啱既：
- 如果 同埋 ，咁 。
- 如果 ，咁 。
- 如果 同埋 ，咁 。
- 如果 同埋 ，咁 。
證明：
假設 同埋 ，咁樣 同埋 。
將兩者相加，得出 。
姐係 。
假設 ，咁樣 。
加一個零畀佢，令到 。
即係 。
假設 同埋 ，咁樣 同埋 。
用常理得知 ，利用三叉性質得知， 。
姐係 。
假設 同埋 ，咁樣 同埋 。
用常理得知 ，利用三叉性質得知， 。
即係 。
推論
編輯推論一
編輯如果 同埋 ，咁
證明：
利用三叉性質得知，所有唔等於零嘅數字都係 或者 。
如果 ，咁 。
如果 ，咁 。
推論二
編輯
證明：
因為 ，利用上面得知 。
推論三
編輯任何一個自然數 ，
「正正得正，正負得負，負正得正，負負得正」
編輯「正正得正，正負得負，負正得正，負負得正」其實係嚟自不等式，而且係可以證明。
假設 ，咁即係話：
- 同埋 ；或者
- 同埋
承上題，假設 ，咁即係話：
- 同埋 ；或者
- 同埋