Theory Of Equations
   HOME

TheInfoList



OR:

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 a ...
, the theory of equations is the study of
algebraic equation In mathematics, an algebraic equation or polynomial equation is an equation of the form :P = 0 where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation'' ...
s (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 ...
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 exa ...
. The main problem of the theory of equations was to know when an algebraic equation has an
algebraic solution A solution in radicals or algebraic solution is a closed-form expression, and more specifically a closed-form algebraic expression, that is the solution of a polynomial equation, and relies only on addition, subtraction, multiplication, divisi ...
. 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 radicals, ...
, 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 The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments ...
, 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), ''The Unknown'' (1915 comedy film), a silent boxing film * The Unknown (1915 drama film), ''The Unknown'' (1915 drama film) * The Unknown (1927 film), ''The Unknown'' (1 ...
. The fact that a
complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ...
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 Arithmetic () is an elementary part of mathematics that consists of the study of the properties of the traditional operations on numbers—addition, subtraction, multiplication, division, exponentiation, and extraction of roots. In the 19th ce ...
and with
nth root In mathematics, a radicand, also known as an nth root, of a number ''x'' is a number ''r'' which, when raised to the power ''n'', yields ''x'': :r^n = x, where ''n'' is a positive integer, sometimes called the ''degree'' of the root. A root ...
s. This was done up to degree four during the 16th century.
Scipione del Ferro Scipione del Ferro (6 February 1465 – 5 November 1526) was an Italian mathematician who first discovered a method to solve the depressed cubic equation. Life Scipione del Ferro was born in Bologna, in northern Italy, to Floriano and Filip ...
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 equation In mathematics, a quartic equation is one which can be expressed as a ''quartic function'' equaling zero. The general form of a quartic equation is :ax^4+bx^3+cx^2+dx+e=0 \, where ''a'' â‰  0. The quartic is the highest order polynomi ...
s, discovered by his student
Lodovico Ferrari Lodovico de Ferrari (2 February 1522 – 5 October 1565) was an Italian mathematician. Biography Born in Bologna, Lodovico's grandfather, Bartolomeo Ferrari, was forced out of Milan to Bologna. Lodovico settled in Bologna, and he began his ...
. In 1572
Rafael Bombelli Rafael Bombelli (baptised Baptism (from grc-x-koine, βάπτισμα, váptisma) is a form of ritual purification—a characteristic of many religions throughout time and geography. In Christianity, it is a Christian sacrament of initia ...
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 Niels Henrik Abel ( , ; 5 August 1802 – 6 April 1829) was a Norwegian mathematician who made pioneering contributions in a variety of fields. His most famous single result is the first complete proof demonstrating the impossibility of solvin ...
proved that some fifth degree equations cannot be solved in radicals (the
Abel–Ruffini theorem In mathematics, the Abel–Ruffini theorem (also known as Abel's impossibility theorem) states that there is no solution in radicals to general polynomial equations of degree five or higher with arbitrary coefficients. Here, ''general'' means th ...
) 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 radicals, ...
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 equations: this problem was solved during antiquity. *
Simultaneous linear equations In mathematics, a system of linear equations (or linear system) is a collection of one or more linear equations involving the same variables. For example, :\begin 3x+2y-z=1\\ 2x-2y+4z=-2\\ -x+\fracy-z=0 \end is a system of three equations in th ...
: 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 doctorate ...
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 c ...
) 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 matrices. ...
. * Finding the integer solutions of an equation or of a system of equations. These problems are now called Diophantine equations, 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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777â ...
(see also
integer programming An integer programming problem is a mathematical optimization or Constraint satisfaction problem, feasibility program in which some or all of the variables are restricted to be integers. In many settings the term refers to integer linear programmin ...
). * 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 In algebra, a quintic function is a function of the form :g(x)=ax^5+bx^4+cx^3+dx^2+ex+f,\, where , , , , and are members of a field, typically the rational numbers, the real numbers or the complex numbers, and is nonzero. In other words, a ...


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