所含的未知量用任意数代替，等号两边的数值永远相等的式子。如cos2x+sin2x=1， （a+b）2=a2+2ab+b2。
亦作“恒等式”。数学方程中等号两边所含的未知量，无论用任何数代替，两边数值永远相等，这样的方程叫恒等式。