Erdős problem 655
Let be such that no circle whose centre is one of the contains three other points. Are there at least distinct distances determined between the , for some constant and all sufficiently large?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/655.leanFalse ↔ ∃ c > 0, ∀ᶠ (n : ℕ) in Filter.atTop, ∀ (X : Finset (EuclideanSpace ℝ (Fin 2))), X.card = n → Erdos655.IsValid X → (1 + c) * ↑n / 2 ≤ ↑(EuclideanGeometry.distinctDistances X)Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Valid but non-improving proofs