Has it been proven that quintic equations cannot be solved by *any* formula?

• I
It seems that Abel's theorem says that the quintic cannot be solved by arithmetic & root operations, but couldn't there be the situation where another function is used in concert with these operations?

Related Linear and Abstract Algebra News on Phys.org
Ray Vickson
Homework Helper
Dearly Missed
It seems that Abel's theorem says that the quintic cannot be solved by arithmetic & root operations, but couldn't there be the situation where another function is used in concert with these operations?
If you restrict yourself to finite expressions, yes, that is true. However, if you allow such things as infinite series and the like, you can solve quintic equations---in terms of hypergeometric functions. See, eg.,
http://mathworld.wolfram.com/QuinticEquation.html

OK, so it looks like the Bring radical could work, but it's an infinite series.

Last edited:
Math_QED
Homework Helper
2019 Award
It seems that Abel's theorem says that the quintic cannot be solved by arithmetic & root operations, but couldn't there be the situation where another function is used in concert with these operations?
Through Galois theory, it is proven that the general solution of a polynomial of degree at least 5 is not expressible in terms of the operations addition, multiplication (and their inverses) and taking roots.

Other ways are still possible.

jedishrfu
jedishrfu
Mentor
Historically, mathematicians would compete for solving various types of polynomials. Tartaglia, an amateur Italian mathematician came up with the general formula for roots of a cubic and created a poem encoding the formula to prevent others from claiming they found it first.

https://www.storyofmathematics.com/16th_tartaglia.html

From there Ferrari, another younger mathematician conquered the quartics and the quintics remained unsolvable until Abel definitively proved they were by Galois theory.

WWGD
Gold Member
2019 Award
It depends on whether the associated Galois group of the roots is a solvable group.

Math_QED
WWGD