Skip to content

Erdős problem 672

Start work

Can the product of an arithmetic progression of positive integers n,n+d,...,n+(k−1)dn, n + d, ..., n + (k - 1)d of length ≥ 4, with (n,d)=1(n, d) = 1, be a perfect power?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

672.lean

Retained formal statement3 of 3

According to https://www.erdosproblems.com/672, Obláth proved this.

[Ob51] Oblath, Richard, Eine Bemerkung über Produkte aufeinander folgender Zahlen. J. Indian Math. Soc. (N.S.) (1951), 135-139.

FormalConjectures/ErdosProblems/672.leanErdos672.erdos_672.variants.oblath1 lineExact file
Erdos672.Erdos672With 5 2 ∧ Erdos672.Erdos672With 3 3 ∧ Erdos672.Erdos672With 3 4 ∧ Erdos672.Erdos672With 3 5
SolvedStatement only, no proof