恒等式(identities),数学概念,恒等式是无论其变量如何取值,等式永远成立的算式。恒等式成立的范围是左右函数定义域的公共部分,两个独立的函数却各自有定义域,与x在非负实数集内是恒等的,而在实数集内是不恒等的。