Skip to content

Erdős problem 91

Suppose A⊂R2A\subset \mathbb{R}^2 has ∣A∣=n\lvert A\rvert=n and minimises the number of distinct distances between points in AA. Prove that for large nn there are at least two (and probably many) such AA which are non-similar.

Sources

The source's own material, retained exactly.

14 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

91.lean

Retained formal statement8 of 14

In [Er87b] on p.171 Erdős says that there are at least two non-similar examples for n=8n = 8.

FormalConjectures/ErdosProblems/91.leanErdos91.erdos_91.variants.eight1 lineExact file
¬Erdos91.UniqueMinimizer 8
SolvedStatement only, no proof