恒等式（identity）：数学上,恒等式是无论其变量如何取值,等式永远成立的算式.符号“≡”.
例如x^2－y^2与（x＋y）（x－y） ,对于任一组实数（a,b）,都有a^2－b^2＝（a＋b）(a－b),所以x^2－y^2与（ x＋y）（x－y）是恒等的.
两个解析式恒等与否不能脱离指定的数集来谈,因为同样的两个解析式,在一个数集内是恒等的,在另一个数集内可能是不恒等的.例如与x,在非负实数集内是恒等的,而在实数集内是不恒等的.
【著名恒等式】 欧拉恒等式：
e^iπ+1=0,e是自然对数的底,π是圆周率,i是虚数单位.它来源于e^ix=cosx+isinx(复数的三角表示),令x=π就得.