Erdős problem 939 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

939.lean

Retained formal statement4 of 7

Cambie has found several examples of the sum of $r - 2$ coprime $r$ -powerful numbers being itself $r$ -powerful. For example when $r=5$ we have $3761^5=2^8\cdot3^{10}\cdot 5^7 + 2^{12}\cdot 23^6 + 11^5\cdot 13^5$ .

FormalConjectures/ErdosProblems/939.leanErdos939.erdos_939.variants.examples1 lineExact file

1∃ r ≥ 4, (Erdos939.Erdos939Sums r).Nonempty

SolvedStatement only, no proof

Sources

Search problems.science