Skip to content

Erdős problem 939

If r≥4r≥4 then can the sum of r−2r-2 coprime rr-powerful numbers ever be itself rr-powerful?

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

939.lean

Retained formal statement3 of 7

Euler had conjectured that the sum of k−1k - 1 many kk-th powers is never a kk-th power, but this is false for k=5k=5, as Lander and Parkin [LaPa67] found 275+845+1105+1335=144527^5+84^5+110^5+133^5=144^5.

[LaPa67] Lander, L. J. and Parkin, T. R., "A counterexample to Euler's sum of powers conjecture." Math. Comp. (1967), 101--103.

FormalConjectures/ErdosProblems/939.leanErdos939.erdos_939.variants.euler1 lineExact file
¬∀ k ≥ 4, ∀ (S : Finset ℕ), S.card = k - 1 → ¬∃ q, ∑ s ∈ S, s ^ k = q ^ k
SolvedStatement only, no proof