Erdős problem 850 · problems.science

Can there exist two distinct integers $x$ and $y$ such that $x,y$ have the same prime factors, $x+1,y+1$ have the same prime factors, and $x+2,y+2$ also have the same prime factors?

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

850.lean

Retained formal statement1 of 1

Can there exist two distinct integers $x$ and $y$ such that $x,y$ have the same prime factors, $x+1,y+1$ have the same prime factors, and $x+2,y+2$ also have the same prime factors?

FormalConjectures/ErdosProblems/850.leanErdos850.erdos_8505 linesExact file

1True ↔2  ∃ x y,3    x ≠ y ∧4      x.primeFactors = y.primeFactors ∧5        (x + 1).primeFactors = (y + 1).primeFactors ∧ (x + 2).primeFactors = (y + 2).primeFactors

OpenStatement only, no proof

Sources

Search problems.science