Erdős problem 213 · problems.science

Let $n \geq 4$ . Are there $n$ points in $\mathbb{R}^2$ , no three on a line and no four on a circle, such that all pairwise distances are integers?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

213.lean

Retained formal statement1 of 2

Let $n \geq 4$ . Are there $n$ points in $\mathbb{R}^2$ , no three on a line and no four on a circle, such that all pairwise distances are integers?

FormalConjectures/ErdosProblems/213.leanErdos213.erdos_2131 lineExact file

1True ↔ ∀ n ≥ 4, Erdos213.Erdos213For n

OpenStatement only, no proof