✦ 5 frontiers

read-only vieweressays

erdős #94

← #93 · #95 → (packet.json; erdosproblems.com)

Suppose $n$ points in $R^{2}$ determine a convex polygon and the set of distances between them is ${u_{1}, \dots, u_{t}}$ . Suppose $u_{i}$ appears as the distance between $f (u_{i})$ many pairs of points. Then $i \sum f (u_{i})^{2} ≪ n^{3} .$

Worked, still open.

geometry · solved · prize £25 · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

oeis

A387858 — Sum of squares of the multiplicities of pairwise distances among the vertices of a regular n-gon.9,20,50,81,147,208,324,425,605,756,1014,1225,1575,1856,2312,2673,3249,3700,4410,4961,5819,6480,7500,8281,9477,10388,1177

links

Create a formalisation here · link

status

solved

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub