Erdős problem 1082 · problems.science

Let $A\subset \mathbb{R}^2$ be a set of $n$ points with no three on a line. Must there exist a single point from which there are at least $\lfloor n/2\rfloor$ distinct distances?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1082.lean

Retained formal statement1 of 2

Let $A\subset \mathbb{R}^2$ be a set of $n$ points with no three on a line. Does $A$ determine at least $\lfloor n/2\rfloor$ distinct distances?

FormalConjectures/ErdosProblems/1082.leanErdos1082.erdos_1082.parts.i3 linesExact file

1True ↔2  ∀ (A : Finset (EuclideanSpace ℝ (Fin 2))),3    EuclideanGeometry.NonTrilinear ↑A → A.card / 2 ≤ EuclideanGeometry.distinctDistances A

OpenStatement only, no proof

Sources

Search problems.science