Year: 2026
Type: preprint
Abstract: A finite family of planar convex bodies is called a non-separable family if no line disjoint from its union has at least one member in each open half-plane. In this paper, we prove that there exist finite non-separable families of positive homothetic triangles with covering factors strictly exceeding the sharp three-member bound $μ= \frac{2}{3} + \frac{2}{3\sqrt{3}}$. This resolves negatively a question posed by K. Bezdek and Z. Lángi, who originally established this three-member bound after proving that the classic factor 1 covering theorem by A. W. Goodman and R. E. Goodman for disks fails for arbitrary positive homothets. Besides giving explicit algebraic examples with four, five, and six members having factors of approximately 1.0533161, 1.0551900, and 1.0572061 respectively, we provide a common cyclic recurrence that yields a 303-member family with the exact factor 250000000/235141779. Finally, we derive a continuous model suggested by increasingly fine recurrences, yielding a numerical candidate of 1.0633083; its attainability and optimality remain open.
Source: arXiv (Cornell University)
Authors: Lian, Yanlu, Xue, Fei, Yuan, Qihui
Institution: Hangzhou Normal University
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: 若干几何体覆盖问题在格理论中的研究
OpenAlex ID: W7212070720