{"id":"arxiv/2607.15021","url":"https://arxiv.org/abs/2607.15021","tags":["math.OC","math.CO"],"score":0,"title":"Heilbronn's Problem in the Unit Triangle: Certified Optimal Configurations for up to $n\\le 8$","domain":"math.OC","source":"arxiv","authors":["Nathan Sudermann-Merx"],"reviews":0,"subject":"math.OC","summary":"We study Heilbronn's triangle problem in the unit right triangle, where $n$ points are placed to maximize the smallest of the $\\binom{n}{3}$ triangle areas they span. We prove a boundary-structure result: unless all three vertices are occupied, some optimal configuration with $n \\ge 5$ has at least four points on the boundary, one edge carrying two of them. With the affine $S_3$ symmetry this fixes four boundary points and $n$ orientation variables in a mixed-integer model that certifies global optimality for all $n \\le 8$: for $n = 8$ apparently the first proof, and for $n = 7$ an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-16","reactions":{}}