En mathématiques, une équation algébrique, également appelée équation polynomiale sur un champ donné, est une équation de la forme
où P et Q sont des polynômes sur ce champ, et ont une (univariable) ou plusieurs (multivariable) variables. Par exemple :
est une équation algébrique sur les nombres rationnels.
Deux équations sont dites équivalentes si elles ont le même ensemble de solutions. Cela signifie que toutes les solutions de la deuxième équation doivent également être des solutions de la première et vice versa. L'équation P = Q {\displaystyle P=Q}
est équivalente à P - Q = 0 {\displaystyle P-Q=0}
. L'étude des équations algébriques est donc équivalente à l'étude des polynômes.
Si une équation algébrique est au-dessus des rationnels, elle peut toujours être convertie en une équation équivalente, où tous les coefficients sont des entiers. Par exemple, dans l'équation donnée ci-dessus, on multiplie par 42 = 2-3-7 et on regroupe les termes dans le premier membre. L'équation est convertie en
Les solutions d'une équation sont les valeurs des variables pour lesquelles l'équation est vraie. Mais pour les équations algébriques, il existe aussi des racines. Lors de la résolution d'une équation, nous devons dire dans quel ensemble les solutions sont permises. Par exemple, pour une équation sur les rationnels, on peut trouver des solutions dans les entiers. Ensuite, l'équation est une équation diophantine. On peut aussi chercher des solutions dans le domaine des nombres complexes. On peut aussi chercher des solutions dans le domaine des nombres réels.
Les mathématiciens anciens voulaient des solutions d'équations univariées (c'est-à-dire des équations avec une variable) sous forme d'expressions radicales, comme x = 1 + 5 2 {\displaystyle x={\frac {1+{\sqrt {5}}}{2}}}
pour la solution positive de x 2 + x - 1 = 0 {\displaystyle x^{2}+x-1=0}
. Les anciens Egyptiens savaient comment résoudre les équations de degré 2 (c'est-à-dire les équations dans lesquelles la puissance la plus élevée de la variable est 2) de cette manière. À la Renaissance, Gerolamo Cardano a résolu l'équation du degré 3 et Lodovico Ferrari a résolu l'équation du degré 4. Enfin, Niels Henrik Abel a prouvé en 1824 que l'équation du degré 5 et les équations du degré supérieur ne peuvent pas toujours être résolues en utilisant des radicaux. La théorie de Galois, nommée d'après Évariste Galois, a été introduite pour donner des critères permettant de décider si une équation peut être résolue en utilisant des radicaux.