Erdős problem 213

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

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

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