恒等式 就是在一定条件下 等号的左右2边总是相等的比如 2 = 2 是在任何条件下都相等的那么这就是个恒等式 （ 这里的一定条件 就是任何条件下）再比如a * 1/a= 1在a 不等于0 时 是恒等的那么这里的条件就是a不等于0 把等式中的代数式以其符合条件的恒等式代换，等到的还是等式 。

这是代数恒等变换的基础。