等式可以分为三类：①恒等式：等号两边代数式中的字母无论取什么样的值,都能使等号两边代数式的值相等,这样的等式叫做恒等式．例如,2＋3＝5,a＋a＝2a,（x＋y）（x－y）＝x2－y2等,都是恒等式．②条件等式：等号两边代数式中的字母只有取某些值时,才能使等号两边代数式的值相等,这样的等式叫做条件等式．例如,2x＝6,只有当x＝3时,等号两边的值才能相等；x2＋7x＋3＝3,只有当x＝0或x＝－7时．等号两边的值才能相等,所以它们是条件等式．③矛盾等式：在形式上用等号连接的式子,而实质上无法成为事实,或在指定的数的范围内,找不到文字符号所取的值,能使等号两边的值相等．这样的等式叫做矛盾等式．例如,a＋1＝a＋2就是矛盾等式．