OFFSET
0,2
COMMENTS
Definition: A regular hexagram of radius R is formed by placing six equally-spaced points P_0 .. P_5 around the boundary of a circle of radius R, and drawing line segments P_0 - P_2 - P_4 - P_0 and P_1 - P_3 - P_5 - P_1.
Theorem 1: a(n) is the maximum number of regions that can be formed in the plane by drawing n regular hexagrams with the same radius and the same center.
Conjecture 2: a(n) is the maximum number of regions that can be formed in the plane by drawing n regular hexagrams with any radii and any centers.
The following construction works for any n >= 1. Take 6*n equally-spaced points P_i around a circle, and draw hexagrams starting at P_i for i = 0, ..., n-1.
The resulting planar graph decomposes into 6*n triangular cells each with 2*n-1 cells (see the red triangle in the "Three pentagons" illustration), plus the interior and exterior regions, for a total of 12*n^2 - 6*n + 2 regions. There are 12*n^2 vertices, for n>0.
LINKS
Paolo Xausa, Table of n, a(n) for n = 0..10000
David O. H. Cutler, Jonas Karlsson, and Neil J. A. Sloane, Cutting a Pancake with an Exotic Knife, arXiv:2511.15864[math.CO], v3, April 19 2026.
Scott R. Shannon, Illustration for a(1) = 8 [Note that the cell counts shown on these five figures do not include the black exterior region, so the totals are off by 1]
Scott R. Shannon, Illustration for a(2) = 38
Scott R. Shannon, Illustration for a(3) = 92
Scott R. Shannon, Illustration for a(8) = 722
Scott R. Shannon, Illustration for a(10) = 1142
N. J. A. Sloane, Sketch to illustrate a(2) = 38. The two hexagrams are colored red and black, respectively.
N. J. A. Sloane, Sketch to illustrate a(3) = 92. The three hexagrams are colored red, blue, and black, respectively.
N. J. A. Sloane, Analogous illustration for three pentagrams
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).
FORMULA
From Stefano Spezia, Jul 23 2025: (Start)
G.f.: (1 + 5*x + 17*x^2 + x^3)/(1 - x)^3.
E.g.f.: 2*exp(x)*(1 + 3*x + 6*x^2) - 1. (End)
a(n) = A152746(n) + 2, for n >= 1. - Paolo Xausa, Jul 24 2025
MATHEMATICA
Join[{1}, 6*PolygonalNumber[6, Range[49]] + 2] (* or *)
LinearRecurrence[{3, -3, 1}, {1, 8, 38, 92}, 50] (* Paolo Xausa, Jul 24 2025 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Scott R. Shannon and N. J. A. Sloane, Jul 22 2025
STATUS
approved
