所謂恆等式者,代數關系也。設一代數等式,毋論各變量之值何也,皆立,謂之恆等式。
例:
2x+y+6=5x−2y{\displaystyle 2x+y+6=5x-2y} 非恆等式也,緣有 x,y{\displaystyle x,y} 之值不符此式;
(x−y+z)2=x2+y2+z2−2xy+2xz−2yz{\displaystyle (x-y+z)^{2}=x^{2}+y^{2}+z^{2}-2xy+2xz-2yz} 乃一恆等式,緣毋論 x,y,z{\displaystyle x,y,z} 為何值,此式具立。
諸如此類,不便盡說。