login
A359569
Number of vertices after n iterations of constructing circles from all current vertices using only a compass, starting with one vertex. See the Comments.
7
1, 2, 4, 14, 6562
OFFSET
1,2
COMMENTS
Start with one vertex and a compass. Only a single circle can be drawn, using the vertex as its center, on whose circumference one additional vertex can be arbitrarily placed. From this single pair of vertices two circles can now be drawn, each circle's center being one vertex while the other defines its radius distance. These circles' intersections create two additional vertices, so now four vertices exist. Continue using all vertex pairs to draw distinct circles whose intersections create additional vertices for the next iteration. The sequence gives the number of vertices after n iterations of this process.
An estimate for a(6) can be obtained by calculating the number of distinct circles generated from the 6562 vertices of the fifth iteration - this is approximately 42.1 million circles. The 6562 vertices of the fifth iteration are created from 114 circles, implying the number of vertices per circle is about half the number of circles. Assuming this holds for the sixth iteration leads to an estimate for a(6) of about 886*10^12. The exact number is possibly within reach of numerical calculation, although obtaining a(7) would almost certainly require a theoretical approach.
LINKS
Scott R. Shannon, Image for 4-vertex figure (black background).
Scott R. Shannon, Image for 4-vertex figure (white background)
Scott R. Shannon, Image for 14-vertex figure (black background).
Scott R. Shannon, Image for 14-vertex figure (white background)
Scott R. Shannon, Image for 6562-vertex figure (black background).
Scott R. Shannon, Image for 6562-vertex figure (white background).
N. J. A. Sloane, New Gilbreath Conjectures, Sum and Erase, Dissecting Polygons, and Other New Sequences, Doron Zeilberger's Exper. Math. Seminar, Rutgers, Sep 14 2023: Video, Slides, Updates. (Mentions this sequence.)
FORMULA
For n >= 3, a(n) = A359571(n) - A359570(n) + 1 by Euler's formula.
CROSSREFS
Cf. A359570 (regions), A359571 (edges), A359619 (k-gons), A365669 (circles), A359252, A331702, A358746.
Sequence in context: A132531 A123052 A064773 * A147870 A347790 A199931
KEYWORD
nonn,more,hard
AUTHOR
Scott R. Shannon, Jan 06 2023
STATUS
approved