恒等：无论原式中变量取什么数，原式大小不变。

恒等变形：等号两边进行整理后相同。

数学上，恒等式是无论其变量如何取值，等式永远成立的算式。两个解析式之间的一种关系。给定两个解析式，如果对于它们的定义域的公共部分（或公共部分的子集）的任一数或数组，都有相等的值，就称这两个解析式是恒等的。