Harborth's theorem p(5)=18 revisited
Let $p(n)$ be the minimum cardinality of a finite planar point set in which each point has exactly $n$ unit-distance neighbours. Harborth proved $p(5)=18$ in work presented in 1985 and published in 1987, using a detailed case analysis. We revisit the proof using convex-hull arguments, incidence counts, and elementary properties of intersections of unit circles. These tools give an alternative treatment of configurations with $14$ and $16$ points and organize the final case distinction by a common vector-sum structure. We also treat a configuration not explicitly covered by the case analysis…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.40725
curl -X POST /api/v1/records/arxiv/2610.40725/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.40725/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'