Trong toán học, phương trình là một mệnh đề chứa biến có dạng:
{\displaystyle f(x_{1},x_{2},...)=g(x_{1},x_{2},...)\qquad (1)}
{\displaystyle h(x_{1},x_{2},...)\equiv f(x_{1},x_{2},...)-g(x_{1},x_{2},...)\qquad (2)}
{\displaystyle h(x_{1},x_{2},...)=0\qquad (3)}
{\displaystyle ax^{2}+bx+c=y\qquad (4)}
Trong đó {\displaystyle x_{1},x_{2},...} được gọi là các biến số của phương trình và mỗi bên của phương trình thì được gọi là một vế của phương trình. Chẳng hạn phương trình (1) có {\displaystyle f(x_{1},x_{2},...)} là vế trái vì nó nằm bên tay trái, {\displaystyle g(x_{1},x_{2},...)} là vế phải vì nó nằm bên tay phải.
Ở (4) ta có trong phương trình này a,b,c là các hệ số và x,y là các biến.
Có nhiều cách để phân loại phương trình. Phân loại phương trình theo số ẩn ta có: phương trình một ẩn, phương trình hai ẩn.... Phân loại phương trình theo các phép toán trong phương trình ta có phương trình vô tỷ, phương trình mũ, phương trình lôgarit...