Skip to content

Erdős problem 653

Let x1,,xnR2x_1,\ldots,x_n\in \mathbb{R}^2 and let R(xi)=#{xjxi:ji}R(x_i)=\#\{ \lvert x_j-x_i\rvert : j\neq i\}, where the points are ordered such that R(x1)R(xn).R(x_1)\leq \cdots \leq R(x_n). Let g(n)g(n) be the maximum number of distinct values the R(xi)R(x_i) can take. Is it true that g(n)(1o(1))ng(n) \geq (1-o(1))n?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/653.lean

Formal Conjectures

FormalConjectures/ErdosProblems/653.leanErdos653.erdos_6534 linesExact file
Trueo,    o =o[Filter.atTop] 1 ∧      ∀ᶠ (n : ℕ) in Filter.atTop, (1 - o n) * ↑n ≤ ↑(EuclideanGeometry.maximalDistinctDistancesFrom n)
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page