In
algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary ...
, the theory of equations is the study of
algebraic equations (also called "polynomial equations"), which are
equation
In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in F ...
s defined by a
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exampl ...
. The main problem of the theory of equations was to know when an algebraic equation has an
algebraic solution. This problem was completely solved in 1830 by
Évariste Galois
Évariste Galois (; ; 25 October 1811 – 31 May 1832) was a French mathematician and political activist. While still in his teens, he was able to determine a necessary and sufficient condition for a polynomial to be solvable by radical ...
, by introducing what is now called
Galois theory
In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to ...
.
Before Galois, there was no clear distinction between the "theory of equations" and "algebra". Since then algebra has been dramatically enlarged to include many new subareas, and the theory of algebraic equations receives much less attention. Thus, the term "theory of equations" is mainly used in the context of the
history of mathematics, to avoid confusion between old and new meanings of "algebra".
History
Until the end of the 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 polynomial equation in a single
unknown
Unknown or The Unknown may refer to:
Film
* ''The Unknown'' (1915 comedy film), a silent boxing film
* ''The Unknown'' (1915 drama film)
* ''The Unknown'' (1927 film), a silent horror film starring Lon Chaney
* ''The Unknown'' (1936 film), a ...
. The fact that a
complex solution always exists is the
fundamental theorem of algebra
The fundamental theorem of algebra, also known as d'Alembert's theorem, or the d'Alembert–Gauss theorem, states that every non- constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomia ...
, which was proved only at the beginning of the 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 with
nth roots. This was done up to degree four during the 16th century.
Scipione del Ferro and
Niccolò Fontana Tartaglia
Niccolò Fontana Tartaglia (; 1499/1500 – 13 December 1557) was an Italian mathematician, engineer (designing fortifications), a surveyor (of topography, seeking the best means of defense or offense) and a bookkeeper from the then Republi ...
discovered solutions for
cubic equation
In algebra, a cubic equation in one variable is an equation of the form
:ax^3+bx^2+cx+d=0
in which is nonzero.
The solutions of this equation are called roots of the cubic function defined by the left-hand side of the equation. If all of th ...
s.
Gerolamo Cardano
Gerolamo Cardano (; also Girolamo or Geronimo; french: link=no, Jérôme Cardan; la, Hieronymus Cardanus; 24 September 1501– 21 September 1576) was an Italian polymath, whose interests and proficiencies ranged through those of mathematician, ...
published them in his 1545 book ''
Ars Magna'', together with a solution for the
quartic equations, discovered by his student
Lodovico Ferrari. In 1572
Rafael Bombelli published his ''L'Algebra'' in which he showed how to deal with the
imaginary quantities that could appear in Cardano's formula for solving cubic equations.
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 (the
Abel–Ruffini theorem) and
Évariste Galois
Évariste Galois (; ; 25 October 1811 – 31 May 1832) was a French mathematician and political activist. While still in his teens, he was able to determine a necessary and sufficient condition for a polynomial to be solvable by radical ...
introduced a theory (presently called
Galois theory
In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to ...
) to decide which equations are solvable by radicals.
Further problems
Other classical problems of the theory of equations are the following:
*
Linear equation
In mathematics, a linear equation is an equation that may be put in the form
a_1x_1+\ldots+a_nx_n+b=0, where x_1,\ldots,x_n are the variables (or unknowns), and b,a_1,\ldots,a_n are the coefficients, which are often real numbers. The coeffici ...
s: this problem was solved during antiquity.
*
Simultaneous linear equations: The general theoretical solution was provided by
Gabriel Cramer
Gabriel Cramer (; 31 July 1704 – 4 January 1752) was a Genevan mathematician. He was the son of physician Jean Cramer and Anne Mallet Cramer.
Biography
Cramer showed promise in mathematics from an early age. At 18 he received his doctorat ...
in 1750. However devising efficient methods (
algorithms
In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing ...
) to solve these systems remains an active subject of research now called
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrice ...
.
* Finding the integer solutions of an equation or of a system of equations. These problems are now called
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a ...
s, which are considered a part of
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Ma ...
(see also
integer programming
An integer programming problem is a mathematical optimization or feasibility program in which some or all of the variables are restricted to be integers. In many settings the term refers to integer linear programming (ILP), in which the objective ...
).
*
Systems of polynomial equations: Because of their difficulty, these systems, with few exceptions, have been studied only since the second part of the 19th century. They have led to the development of
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
.
See also
*
Root-finding algorithm
In mathematics and computing, a root-finding algorithm is an algorithm for finding zeros, also called "roots", of continuous functions. A zero of a function , from the real numbers to real numbers or from the complex numbers to the complex numbers ...
*
Properties of polynomial roots
Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property.
Property may also refer to:
Mathematics
* Property (mathematics)
Philosophy and science
* Property (philosophy), in philosophy an ...
*
Quintic function
Further reading
*Uspensky, James Victor, ''Theory of Equations'' (McGraw-Hill),196
*Dickson, Leonard E., ''Elementary Theory of Equations'' (Classic Reprint, Forgotten Books), 2012
{{Authority control
History of algebra
Polynomials
Equations