Abel–Ruffini theorem

In mathematics, the Abel–Ruffini theorem shows that we cannot solve every equation of the fifth degree or higher using just basic arithmetic operations and roots. This means there is no simple formula, like the one we use for solving quadratic equations, that works for all equations of this type. The theorem is named after Paolo Ruffini, who first worked on proving this in 1799, and Niels Henrik Abel, who finished the proof in 1824.

For equations of degree two, three, and four, we have special formulas that help us find the solutions. However, for degree five and higher, this is not possible in general. This discovery is important because it tells us the limits of what we can do with algebraic formulas. It also connects to a bigger area of math called Galois theory, which helps us understand why some equations cannot be solved this way.

One example of an equation that cannot be solved using these basic operations is ( x^{5} - x - 1 = 0 ). This shows that while we can solve many equations, there are some that need different methods to understand their solutions.

Context

Polynomial equations of degree two can be solved using the quadratic formula, which people have known about since very old times. During the 1500s, people also found ways to solve equations of degree three and four.

For a long time, mathematicians wondered if they could find similar ways to solve equations of degree five and higher. They wanted a special formula that uses only the numbers in the equation and basic math operations like adding, subtracting, multiplying, dividing, and finding roots.

The Abel–Ruffini theorem shows that such a formula cannot exist for all equations of degree five and higher. However, this does not mean that no equation of these degrees can be solved—it just means there is no single formula that works for every one. Some specific equations, like xⁿ − 1 = 0, can still be solved using special methods.

After Abel’s work, a mathematician named Évariste Galois developed a theory called Galois theory. This theory helps us decide whether a particular equation can be solved with these special methods. Today, computers can help with these decisions, even for very complex equations.

Proof

The Abel–Ruffini theorem tells us that we cannot solve certain equations using only basic math operations and roots. This was proven long before a more advanced math idea called Galois theory was created. Today, we often use Galois theory to understand why the theorem is true.

To explain why some equations can’t be solved with basic math, we look at special math structures called groups. For equations of degree five or higher, their related groups are too complex to break down using simple steps. This is why we can solve equations of degree two, three, and four with formulas, but not for degree five and above.

One famous example is the equation (x^5 - x - 1 = 0). Its related group is too complicated, showing that this equation, and others like it, cannot be solved using just basic math operations and roots.

Cayley's resolvent

To find out if a special kind of math problem with five answers can be solved in a simple way, we can use something called Cayley's resolvent. This is a math expression with one changing value, and it has six answers. The answers in this expression come from the answers in the original five-answer problem.

A particular five-answer problem can be solved simply if, when we put its answers into Cayley's resolvent, the new six-answer expression ends up having a simple, logical answer. We can check for this using a math rule called the rational root theorem.

History

In the 1700s, Joseph Louis Lagrange started working on ways to solve equations. He connected different methods to solve equations with the idea of groups and permutations, which later helped create a new area of math called Galois theory. His work suggested that solving equations of the fifth degree or higher might be very hard, but he did not prove it.

Later, Carl Friedrich Gauss thought it might be impossible to solve these higher equations with basic math tools. The first person to try to prove this was Paolo Ruffini in 1799. His proof was very complicated and not fully accepted. Then, in 1824, Niels Henrik Abel gave a clear and short proof. Because of their work, we now know that these higher equations cannot be solved using just radicals.