Skip to content

Erdős problem 213

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/213.lean

Formal Conjectures

FormalConjectures/ErdosProblems/213.leanErdos213.erdos_2131 lineExact file
True ↔ ∀ n ≥ 4, Erdos213.Erdos213For n
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page