dm³ 103 · Week 03 · Number theory

Why Σ Has No Closed Radical Form

Abel–Ruffini, and what it means that we can derive η but only approximate Σ
dm³ 103 · Week 03 · Number theory
Why Σ Has No Closed Radical Form
Course: dm³ 103  ·  Number theory  ·  Source: Classical algebra (Abel–Ruffini theorem)

102 Week 5 derived \(\eta\) exactly via Cardano’s formula — a genuine closed-form radical expression, because cubics are always solvable by radicals. Quartics (\(\Delta\)) are too, via Ferrari’s method. Quintics are categorically different: the Abel–Ruffini theorem (1824/1799) proves that no general formula exists expressing the roots of a degree-5-or-higher polynomial in terms of radicals (\(+,-,\times,\div,\sqrt[n]{{\cdot}}\)) of the coefficients. This isn’t a gap waiting to be closed by cleverer algebra — it’s a proved impossibility (Galois theory: the symmetric group \(S_5\) is not solvable).

So how do we know Σ ≈ 1.96595059…?
Numerically — and that’s a completely legitimate, different kind of knowledge than \(\eta\)’s closed form, not a lesser one. Newton’s method (or any standard root-finder) applied to \(x^5-x^4-x^3-x^2-x-1\) converges rapidly to \(\Sigma\) because the polynomial is well-conditioned near its dominant root (the other four roots are well-separated in modulus). The value is exact in the sense that it’s the genuine root of a specific, exactly-stated polynomial — verifiable to arbitrary precision — even though it can’t be written as a finite radical expression.

This is worth internalizing precisely because this course has spent two prior courses building the expectation that “proved” and “closed-form” travel together. Here they come apart cleanly: \(\Sigma\)’s existence, uniqueness as dominant root, and numerical value to arbitrary precision are all rigorously established — there simply isn’t a Cardano-style formula to write down, and there provably never will be.

This week’s content is grounded directly in the AXLE/Book 3/5 sources cited above — no material in this page depends on the external, unverified source removed from dm³ 102.
-- dm³ 103 · Week 03 · Abel-Ruffini: why Σ has no closed radical form

-- x⁵-x⁴-x³-x²-x-1=0: quintic, S₅ not solvable (Galois theory)
-- ⟹ no general radical formula exists (Abel-Ruffini, proved 1824)
-- Σ ≈ 1.96595059... is real, unique, numerically exact to any
-- precision via root-finding — just not expressible in radicals.

-- Contrast with η (Week 5, 102): cubic, S₃ IS solvable ⟹ Cardano works.
example : True := trivial
← Week 2 ↑ dm³ 103 Course Week 4 →