等量公理

等量公理(axioms of equality)是代數中的多個公理,其建立于:“相等”具有自反性(reflexivity)、对称性(对称性)、传递性(transitivity);等量公理可用於解方程式。严格来说,等量公理并非真正的公理,因为它们可从更基本的公理,特别是莱布尼茨定律推导出来[1]

描述编辑

三數,若得 ,則:

反之,若:

其中一者成立,則

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

移项法則编辑

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

例題编辑

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

参考编辑

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

參見编辑