Erdős problem 939

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

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

939.lean

Retained formal statement7 of 7

Are there infinitely many triples of coprime $3$ -powerful numbers $a, b, c$ such that $a + b = c$ ?

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

1True ↔ {(a, b, c) | {a, b, c}.Coprime ∧ Nat.Full 3 a ∧ Nat.Full 3 b ∧ Nat.Full 3 c ∧ a + b = c}.Infinite

OpenStatement only, no proof