{"id":"arxiv/2610.40725","url":"https://arxiv.org/abs/2610.40725","tags":["math.GM"],"score":0,"title":"Harborth's theorem p(5)=18 revisited","domain":"math.GM","source":"arxiv","authors":["Mike Winkler"],"reviews":0,"subject":"math.GM","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}