Skip to content

Erdős problem 124

Let k0k \ne 0 and 3d1<d2<<dr3\leq d_1 < d_2 < \cdots < d_r be integers of gcd equal to 11 such that 1ir1di11.\sum_{1 \le i \le r}\frac 1{d_i - 1} \ge 1. Can all sufficiently large integers be written as a sum of the shape iciai\sum_i c_ia_i where ci{0,1}c_i \in \{0, 1\} and aia_i is divisible by dikd_i ^ k and has only the digits 0,10, 1 when written in base did_i?

Sources

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

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

124.lean

Retained formal statement4 of 5

All sufficiently large integers can be written as a+b+ca + b + c, where aa, bb, and cc are divisible by 33, 44, and 77 respectively, and after division by that base have only the digits 0,10, 1 in that base.

Proved by Burr, Erdős, Graham, and Li [BEGL96]

FormalConjectures/ErdosProblems/124.leanErdos124.erdos124.ne_zero_three_four_seven2 linesExact file
∀ᶠ (n : ℕ) in Filter.atTop,  nErdos124.sumsOfDistinctPowers 3 1 + Erdos124.sumsOfDistinctPowers 4 1 + Erdos124.sumsOfDistinctPowers 7 1
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page