Kurz's conjecture on the maximum area of the convex hull of a polyhex
A polyhex is an edge-to-edge connected system of cells of the regular hexagonal tiling. Kurz (Convex hulls of polyominoes, Beiträge Algebra Geom. 49 (2008), Conjecture 2) conjectured that the convex hull of a polyhex with n cells of unit area has area at most ⌊n² + 14n/3 + 1⌋ / 6. This formalization proves the conjecture, and the sharper bound ⌈n² + 14n/3⌉ / 6, which differs from Kurz's bound by 1/6 when 3 divides n and agrees with it otherwise. The statements are made in the Euclidean plane for the regular hexagonal tiling, with area measured in units of one cell. The proof writes the hull…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-27-000022
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-27-000022/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-27-000022/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'