恒等式

　　恒等式（identity），两个解析式之间的一种关系。给定两个解析式，如果对于它们的定义域的公共部分（或公共部分的子集）的任一数或数组，都有相等的值，就称这两个解析式是恒等的。例如x²－y²与（x＋y）（x－y），对于任一组实数（a，b），都有a²－b²＝（a＋b）(a－b)，所以x²－y²与（x＋y）（x－y）是恒等的。

　　两个解析式恒等与否不能脱离指定的数集来谈，因为同样的两个解析式，在一个数集内是恒等的，在另一个数集内可能是不恒等的。