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?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

213.lean

Retained formal statement2 of 2

The best construction to date, due to Kreisel and Kurz, has n=7n = 7.

FormalConjectures/ErdosProblems/213.leanErdos213.erdos_213.variants.KK081 lineExact file
Erdos213.Erdos213For 7
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page