所含的未知量用任意数代替，等号两边的数值永远相等的式子。如cos2x+sin2x=1,(a+b)2=a2+2ab+b2.
方程式等号两边的未知数，无论以何值代入，两边的值永远相等，称为「恒等式」。
也称为「恒等方程式」。
恒等式
恒等式（identities），数学概念，恒等式是无论其变量如何取值，等式永远成立的算式。恒等式成立的范围是左右函数定义域的公共部分，两个独立的函数却各自有定义域，与x在非负实数集内是恒等的，而在实数集内是不恒等的。
恒等式有多个变量的，也有一个变量的，若恒等式两边就一个变量，恒等式就是两个 解析式之间的一种关系。它来源于e^ix=cosx+isinx(复数的三角表示),令x=π就得e^πi + 1 = 0。