(名)方程中所含的未知量，无论用任何数代替，等号两边的数值永远相等，这样的方程叫做恒等式。

如cos^2x+sin^2x=1，(a+b)^2=a^2+2ab+b^2。偏正式：恒（等（式