A
polynomial equation, also called an
algebraic equation, is an
equation of the form a_n x^n + a_{n-1}x^{n-1} + \dotsb + a_2 x^2 + a_1 x + a_0 = 0. For example, 3x^2 + 4x - 5 = 0 is a polynomial equation. When considering equations, the indeterminates (variables) of polynomials are also called
unknowns, and the
solutions are the possible values of the unknowns for which the equality is true (in general more than one solution may exist). A polynomial equation stands in contrast to a
polynomial identity like (x+y)(x-y) = x^2 - y^2, where both expressions represent the same polynomial in different forms, and as a consequence any evaluation of both members gives a valid equality. In elementary
algebra, methods such as the
quadratic formula are taught for solving all first degree and second degree polynomial equations in one variable. There are also formulas for the
cubic and
quartic equations. For higher degrees, the
Abel–Ruffini theorem asserts that there can not exist a general formula in radicals. However,
root-finding algorithms may be used to find
numerical approximations of the roots of a polynomial expression of any degree. The number of solutions of a polynomial equation with real coefficients may not exceed the degree, and equals the degree when the
complex solutions are counted with their
multiplicity. This fact is called the
fundamental theorem of algebra.
Solving equations A
root of a nonzero univariate polynomial is a value of such that . In other words, a root of is a solution of the
polynomial equation or a
zero of the polynomial function defined by . In the case of the zero polynomial, every number is a zero of the corresponding function, and the concept of root is rarely considered. A number is a root of a polynomial if and only if the
linear polynomial divides , that is if there is another polynomial such that . It may happen that a power (greater than ) of divides ; in this case, is a
multiple root of , and otherwise is a
simple root of . If is a nonzero polynomial, there is a highest power such that divides , which is called the
multiplicity of as a root of . The number of roots of a nonzero polynomial , counted with their respective multiplicities, cannot exceed the degree of , and equals this degree if all
complex roots are considered (this is a consequence of the
fundamental theorem of algebra). The coefficients of a polynomial and its roots are related by
Vieta's formulas. Some polynomials, such as , do not have any roots among the
real numbers. If, however, the set of accepted solutions is expanded to the
complex numbers, every non-constant polynomial has at least one root; this is the
fundamental theorem of algebra. By successively dividing out factors , one sees that any polynomial with complex coefficients can be written as a constant (its leading coefficient) times a product of such polynomial factors of degree 1; as a consequence, the number of (complex) roots counted with their multiplicities is exactly equal to the degree of the polynomial. There may be several meanings of
"solving an equation". One may want to express the solutions as explicit numbers; for example, the unique solution of is . This is, in general, impossible for equations of degree greater than one, and, since the ancient times, mathematicians have searched to express the solutions as
algebraic expressions; for example, the
golden ratio is the unique positive solution of In the ancient times, they succeeded only for degrees one and two. For
quadratic equations, the
quadratic formula provides such expressions of the solutions. Since the 16th century, similar formulas (using cube roots in addition to square roots), although much more complicated, are known for equations of degree three and four (see
cubic equation and
quartic equation). But formulas for degree 5 and higher eluded researchers for several centuries. In 1824,
Niels Henrik Abel proved the striking result that there are equations of degree 5 whose solutions cannot be expressed by a (finite) formula, involving only arithmetic operations and radicals (see
Abel–Ruffini theorem). In 1830,
Évariste Galois proved that most equations of degree higher than four cannot be solved by radicals, and showed that for each equation, one may decide whether it is solvable by radicals, and, if it is, solve it. This result marked the start of
Galois theory and
group theory, two important branches of modern
algebra. Galois himself noted that the computations implied by his method were impracticable. Nevertheless, formulas for solvable equations of degrees 5 and 6 have been published (see
quintic function and
sextic equation). When there is no algebraic expression for the roots, and when such an algebraic expression exists but is too complicated to be useful, the unique way of solving it is to compute
numerical approximations of the solutions. There are many methods for that; some are restricted to polynomials and others may apply to any
continuous function. The most efficient
algorithms allow solving easily (on a
computer) polynomial equations of degree higher than 1,000 (see
Root-finding algorithm). For polynomials with more than one indeterminate, the combinations of values for the variables for which the polynomial function takes the value zero are generally called
zeros instead of "roots". The study of the sets of zeros of polynomials is the object of
algebraic geometry. For a set of polynomial equations with several unknowns, there are
algorithms to decide whether they have a finite number of
complex solutions, and, if this number is finite, for computing the solutions. See
System of polynomial equations. The special case where all the polynomials are of degree one is called a
system of linear equations, for which another range of different
solution methods exist, including the classical
Gaussian elimination. A polynomial equation for which one is interested only in the solutions which are
integers is called a
Diophantine equation. Solving Diophantine equations is generally a very hard task. It has been proved that there cannot be any general
algorithm for solving them, or even for deciding whether the set of solutions is empty (see
Hilbert's tenth problem). Some of the most famous problems that have been solved during the last fifty years are related to Diophantine equations, such as
Fermat's Last Theorem. == Polynomial expressions ==