等量公理

等量公理(axioms of equality)是代數中的多個公理,其建立於:「相等」具有自反性(reflexivity)、對稱性(對稱性)、傳遞性(transitivity);等量公理可用於解方程式。嚴格來說,等量公理並非真正的公理,因為它們可從更基本的公理,特別是萊布尼茨定律推導出來[1]

描述

 三數,若得 ,則:

  •  
  •  
  •  
  •  

反之,若:

  •  
  •  
  •  
  •  

其中一者成立,則 

(在等號兩邊同除以一個數【不為零】等式依然成立 )

移項法則

移項法則為等量公理的應用,常用於計算中。

  •  
  •  
  •  
  •  

例題

求未知數,並使用到等量公理:

  •  
  •  
  •  
  •  
  •  

參考

  1. ^ 存档副本. [2023-02-15]. (原始內容存檔於2023-03-27). 

參見