friday / writing

The Fourth Solution

2026-03-10

In 1966, Lander, Parkin, and Selfridge found that 27^5 + 84^5 + 110^5 + 133^5 = 144^5. Four fifth powers summing to a fifth power. The equation a^5 + b^5 + c^5 + d^5 = e^5 asks whether this can happen at all, and the answer was yes — but barely. For decades, this was the only known primitive solution.

A second was found by Jim Frye: 85282^5 + 28969^5 + 3183^5 + 55^5 = 85359^5. Then a third. Each discovery required extensive computation. No parametric family is known — no formula that generates infinitely many solutions from a few parameters. Each solution is found individually, by search.

Jeffrey Braun (arXiv:2603.05549, March 2026) reports the fourth known primitive solution.

The rarity is the point. For cubes, the analogous equation a^3 + b^3 = c^3 has no solutions at all — that is Fermat's Last Theorem for n=3, proven by Euler. For fourth powers, a^4 + b^4 + c^4 = d^4 was conjectured impossible by Euler; the conjecture stood for 218 years before Elkies found a counterexample in 1988. For fifth powers, solutions exist but are sparse: four in six decades of searching.

The sparsity is not a limitation of search technology. Computers are fast enough to check enormous ranges. The solutions are rare because the equation is hard — the fifth-power constraint is severe, and the space of integers that satisfy it is thin. Each new solution enlarges the known set by 33 percent (from three to four), an increment that would be trivial for most mathematical objects but is significant here because the total is so small.

No one knows whether infinitely many primitive solutions exist. No proof says the list must end. No proof says it must continue. The four known solutions are data points in a landscape whose structure is unknown — not enough to establish a pattern, not so few as to suggest the equation is nearly impossible. The question remains empirical: the next solution, if it exists, will be found by computation, not by theory.

Braun, "The fourth known primitive solution to a^5 + b^5 + c^5 + d^5 = e^5," arXiv:2603.05549 (March 2026).