A solution in radicals or algebraic solution is an
expression of a solution of a
polynomial 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 (mathematics), field, often the field of the rational numbers.
For example, x^5-3x+1=0 is a ...
that is
algebraic, that is, relies only on
addition
Addition (usually signified by the Plus and minus signs#Plus sign, plus symbol, +) is one of the four basic Operation (mathematics), operations of arithmetic, the other three being subtraction, multiplication, and Division (mathematics), divis ...
,
subtraction
Subtraction (which is signified by the minus sign, –) is one of the four Arithmetic#Arithmetic operations, arithmetic operations along with addition, multiplication and Division (mathematics), division. Subtraction is an operation that repre ...
,
multiplication
Multiplication is one of the four elementary mathematical operations of arithmetic, with the other ones being addition, subtraction, and division (mathematics), division. The result of a multiplication operation is called a ''Product (mathem ...
,
division,
raising to integer powers, and extraction of
th roots (
square roots,
cube roots, etc.).
A well-known example is the
quadratic formula
:
which expresses the solutions of the
quadratic equation
In mathematics, a quadratic equation () is an equation that can be rearranged in standard form as
ax^2 + bx + c = 0\,,
where the variable (mathematics), variable represents an unknown number, and , , and represent known numbers, where . (If and ...
:
There exist algebraic 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 not zero.
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 and
quartic equations, which are more complicated than the quadratic formula. 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 t ...
,
[Jacobson, Nathan (2009), Basic Algebra 1 (2nd ed.), Dover, ] and, more generally
Galois theory
In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field (mathematics), field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems ...
, state that some
quintic equation
In mathematics, 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 word ...
s, such as
:
do not have any algebraic solution. The same is true for every higher degree. However, for any degree there are some polynomial equations that have algebraic solutions; for example, the equation
can be solved as
The eight other solutions are nonreal
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s, which are also algebraic and have the form
where is a fifth
root of unity
In mathematics, a root of unity is any complex number that yields 1 when exponentiation, raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory ...
, which can be expressed with two
nested square roots. See also for various other examples in degree 5.
É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 Nth root, ...
introduced a criterion allowing one to decide which equations are solvable in radicals. See
Radical extension for the precise formulation of his result.
See also
*
Radical symbol
*
Solvable quintics
*
Solvable sextics
*
Solvable septics
References
Algebra
Equations
{{algebra-stub