等量公理为代数中的一个公理，可用于解方程式。
描述.formula_1三数中，若formula_2，则：反之，若：其中一者成立，则formula_2。
移项法则.移项法则为等量公理的应用，常用于计算中。
例题.求未知数，并使用到等量公理：