含有等号的式子叫做等式。等式可分为矛盾等式和条件等式。等式两边同时加上（或减去）同一个整式，或者等式两边同时乘或除以同一个不为0的整式，或是等式左右两边同时乘方，等式仍然成立。形式是把相等的两个数（或字母表示的数）用“=”连接起来。

把相等的式子(至少两个)通过等号连接形成的新式子叫做等式。

形式：把相等的式子（或字母表示的数）通过“=”连接起来。

等式分为含有未知数的等式和不含未知数的等式。

例如：

x+1=3——含有未知数的等式；

2+1=3——不含未知数的等式。

需要注意的是，个别含有未知数的等式无解，但仍是等式，例如：x+1=x——x无解。

等式两边同时加上(或减去)同一个整式，等式仍然成立。

若a=b

那么a+c=b+c

或a-c=b-c

等式两边同时乘或除以同一个不为0的整式，等式仍然成立。

若a=b

那么有a·c=b·c

或a÷c=b÷c （c≠0）

等式具有传递性。

若a1=a2,a2=a3,a3=a4,……an-1=an,那么a1=a2=a3=a4=……=an

拓展1：等式两边同时被一个数或式子减，结果仍相等。

如果a=b，那么c-a=c-b。

拓展2：等式两边取相反数，结果仍相等。

如果a=b，那么-a=-b。

拓展3：等式两边不等于0时，被同一个数或式子除，结果仍相等。

如果a=b≠0，那么c/a=c/b。

拓展4：等式两边不等于0时，两边取倒数，结果仍相等。

如果a=b≠0，那么1/a=1/b。

等式的性质是解方程的基础，很多解方程的方法都要运用到等式的性质。如移项，运用了等式的性质1；去分母，运用了等式的性质2。

运用等式的性质，涉及除法时，要注意转换后，除数不能为0，否则无意义。

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

恒等式有多个变量的，也有一个变量的，若恒等式两边就一个变量，恒等式就是两个 解析式之间的一种关系。它来源于e^ix=cosx+isinx(复数的三角表示),令x=π就得e^πi + 1 = 0。

“函数相等”与“恒等式”之间有什么关系，由“恒等式”能得出“函数相等”吗？

数学上，恒等式是无论其变量在给定的取值范围内取何值，等式永远成立的算式。恒等式有多个变量的，也有一个变量的，若恒等式两边就一个变量，恒等式就是两个 解析式之间的一种关系。给定两个解析式，如果对于它们的定义域（见函数）的公共部分（或公共部分的子集）的任一数或数组，都有相等的值，就称这两个解析式 是恒等的。

相关性质为：

1.若y=f(x)与y=g(x)有相同的定义域，对于定义域内的任一个x均有f(x)=g(x)则y=f(x)与y=g(x)是相等函数，同时两解析式必相同。

2.若y=f(x)与y=g(x)是相等函数，则两个函数的解析式相同，于是其中的参数都能对应相等。

一般地，用纯粹的大于号“>”、小于号“<”连接的不等式称为严格不等式，用不小于号（大于或等于号）“≥”、不大于号（小于或等于号）“≤”连接的不等式称为非严格不等式，或称广义不等式。总的来说，用不等号(<,>,≥,≤,≠)连接的式子叫做不等式。

通常不等式中的数是实数，字母也代表实数，不等式的一般形式为F(x，y，……，z)≤G(x，y，……，z )（其中不等号也可以为<，≤,≥，> 中某一个），两边的解析式的公共定义域称为不等式的定义域，不等式既可以表达一个命题，也可以表示一个问题。

1.下列式子可以用“=”连接的是( )

A.5+4_______12-5 B.7+(-4)______7-(+4) C.2+4×(-2)______-12 D.2×(3-4)_____2×3-4

2.下列等式变形错误的是( )

A.由a=b得a+5=b+5; B.由a=b得- a9 =- b9

C.由x+2=y+2得x=y; D.由-3x=-3y得x=-y

3.运用等式性质进行的变形,正确的是( )

A.如果a=b,那么a+c=b-c; B.如果 ac = bc ,那么a=b;

C.如果a=b,那么ac = bc D.如果a2=3a,那么a=3

答案：1:B，2:D，3:C