Theory of equations
In mathematics, the theory of equations is a part of algebra. More precisely, "theory of equations" is a shortcut for "theory of algebraic equations", an algebraic equation (also called polynomial equation) being an equation defined by a polynomial. The term "theory of equations" is mainly used in the context of the history of mathematics.
History
Until the end of 19th century, "theory of equations" was almost synonymous with "algebra". For a long time, the main problem was to find the solutions of a single non-linear equation in a single unknown. The fact that a complex solution always exists is the fundamental theorem of algebra, which had been proved only at the beginning of 19th century and does not have a purely algebraic proof. Nevertheless, the main concern of the algebraists was to solve in terms of radicals, that is to express the solutions by a formula which is built with the four operations of arithmetics and nth roots. This was done up to degree four during the 16th century (see Gerolamo Cardano, quadratic formula, cubic equation, quartic equation). The case of higher degrees remained open until the 19th century, when Niels Henrik Abel proved that some fifth degree equations cannot be solved in radicals (Abel–Ruffini theorem) and Évariste Galois introduced a theory (presently called Galois theory) to decide which equations are solvable by radicals.
Further problems
Other classical problems of the theory of equations are the following:
- Linear equations: this problem was solved during antiquity.
- Simultaneous linear equations: The general theoretical solution was provided by Gabriel Cramer in 1750. However devising efficient methods (algorithms) to solve these systems remains an active subject of research now called linear algebra.
- Finding the integer solutions of an equation or of a system of equations. These problems are now called Diophantine equations, which is considered as a part of number theory (see also integer programming).
- Systems of polynomial equations: Because of their difficulty these systems, with few exceptions, have been studied only since the second part of 19th century. They have led to the development of algebraic geometry.