不等式Inequality),通俗講法叫唔等如或者唔等於,係數學上一個基本概念,喺任何範疇入面都會出現或者用到,最常見嘅就係數學分析。不等式係嚟自於實數三叉性質,但係佢喺其他地方都係成立嘅。

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

  • 大過
  • 細過
  • 大過或者等於
  • 細過或者等於

基本例子

假設有 

得知 

得知 

同時間 都係啱嘅。

定義

三叉性質(Trichotomy Property)

考慮  嘅一個子集, 係一個整實數嘅子集,然後 符合以下三項特性:

  • 如果 ,咁樣 
  • 如果 ,咁樣 
  • 所有 入面嘅元素,叫 ,都係必定符合以下其中一項。
    •  
    •  
    •  

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

定義

假設有兩個數字 

  • 如果 ,就可以寫做 或者 
  • 如果 ,就可以寫做 或者 

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

喺邏輯上, 係合理無錯嘅。

性質

假設有任何三個數字 ,以下嘅性質都係啱既:

  • 如果 同埋 ,咁 
  • 如果 ,咁 
  • 如果 同埋 ,咁 
  • 如果 同埋 ,咁 

證明:

假設 同埋 ,咁樣 同埋 

將兩者相加,得出 

姐係 

假設 ,咁樣 

加一個零畀佢,令到 

即係 

假設 同埋 ,咁樣 同埋 

用常理得知 ,利用三叉性質得知, 

姐係 

假設 同埋 ,咁樣 同埋 

用常理得知 ,利用三叉性質得知, 

即係 

推論

推論一

如果 同埋 ,咁 

證明:

利用三叉性質得知,所有唔等於零嘅數字都係 或者 

如果 ,咁 

如果 ,咁 

推論二

 

證明:

因為 ,利用上面得知 

推論三

任何一個自然數  

「正正得正,正負得負,負正得正,負負得正」

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

假設 ,咁即係話:

  •  同埋 ;或者
  •  同埋 

承上題,假設 ,咁即係話:

  •  同埋 ;或者
  •  同埋 

睇埋