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 statement2 of 3

According to https://www.erdosproblems.com/672, Euler proved this.

FormalConjectures/ErdosProblems/672.leanErdos672.erdos_672.variants.euler1 lineExact file
Erdos672.Erdos672With 4 2
SolvedStatement only, no proof