数学上，恒等式是指等式中无论其变量如何取值，等号两边永远相等的数学式。恒等式中的等号可以用恒等号（≡）表示。