In algebra, the Abel–Ruffini theorem (also known as Abel's impossibility theorem) states that there is no algebraic solution—that is, solution in radicals—to the general polynomial equations of degree five or higher with arbitrary coefficients. The theorem is named after Paolo Ruffini, who made an incomplete proof in 1799, and Niels Henrik Abel, who provided a proof in 1824.
The theorem does not assert that some higher-degree polynomial equations have no solution. In fact, the opposite is true: every non-constant polynomial equation in one unknown, with real or complex coefficients, has at least one complex number as a solution (and thus, by polynomial division, as many complex roots as its degree, counting repeated roots); this is the fundamental theorem of algebra. These solutions can be computed to any desired degree of accuracy using numerical methods such as the Newton–Raphson method or the Laguerre method, and in this way they are no different from solutions to polynomial equations of the second, third, or fourth degrees. The theorem only shows that there is no general solution in radicals that applies to all equations of a given degree greater than 4.
The solution of any second-degree polynomial equation can be expressed in terms of its coefficients, using only addition, subtraction, multiplication, division, and square roots, in the familiar quadratic formula: the roots of the equation ax2 + bx + c = 0 (with a ≠ 0) are
Analogous formulas for third-degree equations and fourth-degree equations (using square roots and cube roots) have been known since the 16th century. What the Abel–Ruffini theorem says is that there is no similar formula for general equations of fifth degree or higher. In principle, it could be that the equations of the fifth degree could be split in several types and, for each one of these types, there could be some algebraic solution valid within that type. Or, as Ian Stewart wrote, “for all that Abel's methods could prove, every particular quintic equation might be soluble, with a special formula for each equation.” However, this is not so, but this impossibility lies outside the scope of the Abel–Ruffini theorem and is part of the Galois theory.