|
| |
|
|
A342222
|
|
a(n) is the smallest m such that a regular m-gon with all diagonals drawn contains a cell with n sides, or a(n) = -1 if no such m exists.
|
|
11
|
|
|
|
3, 6, 5, 9, 7, 13, 9, 29, 11, 40, 13, 43, 15, 212, 17, 231, 19
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
3,1
|
|
|
COMMENTS
|
Theorem: If n is odd then a(n) = n.
Proof. (i) If n is odd then the central cell in a regular n-gon with all diagonals drawn is a smaller regular n-gon. So if n is odd, then a(n) <= n.
(ii) Suppose a convex m-gon, not necessarily regular, with all diagonals drawn has a cell with e edges. Each edge when extended meets two vertices, so at most 2e vertices are involved in defining the boundary of that cell.
On the other hand no vertex can define more than two edges of the cell, so 2e <= 2m, so e <= m. So to get an n-sided cell, we need at least n vertices. So a(n) >= n. QED.
|
|
|
LINKS
|
Martin Balko, Anna Brötzner, Fabian Klute, and Josef Tkadlec, Faces in Rectilinear Drawings of Complete Graphs, 40th European Workshop on Computational Geometry, Ioannina, Greece, March 13-15, 2024. See pp. 4, 7.
|
|
|
EXAMPLE
|
Examining the images in A007678, for example Michael Rubinstein's illustration, or the images shown here, we see that the first occurrence of a five-sided cell is for m = 5, so a(5) = 5. The first time we see a four-sided cell is for m = 6, so a(4) = 6.
|
|
|
CROSSREFS
|
See also A341729 and A341730 for the maximum number of sides in any cell.
|
|
|
KEYWORD
|
nonn,more
|
|
|
AUTHOR
|
|
|
|
EXTENSIONS
|
|
|
|
STATUS
|
approved
|
| |
|
|
