等量公理

来自testwiki
imported>InternetArchiveBot2023年9月18日 (一) 20:19的版本 (补救1个来源,并将0个来源标记为失效。) #IABot (v2.0.9.5)
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

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

描述

a,b,c三數,若得a=b,則:

  • a+c=b+c
  • ac=bc
  • ac=bc
  • ac=bc(c0)

反之,若:

  • a+c=b+c
  • ac=bc
  • ac=bc(c0)
  • ac=bc(c0)

其中一者成立,則a=b

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

移项法則

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

  • a+b=ca=cb
  • ab=ca=c+b
  • ab=ca=cb(b0)
  • ab=ca=bc(b0)

例題

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

  • x+25=69x=x+2525=6925=44
  • x13=6x=x13+13=6+13=19
  • 15x=30x=15x÷15=30÷15=2
  • x÷5=87x=x÷5×5=87×5=435
  • 2x+16=402x=2x+1616=4016=24x=2x÷2=24÷2=12

参考

參見

Template:Math-stub