方程式等号两边的未知数，无论以何值代入，两边的值永远相等，称为「恒等式」。