This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A383461 #102 Jul 09 2025 05:09:14 %S A383461 4,5,16,37,92,145,334,471,892,901,1964,2185,3796,3969,6682,5563,10964, %T A383461 11141,17032,17293,25324,21913,36326,36479,50572,50485,68644,51661, %U A383461 91172,90753,118834,118355,152356,139861,192512,191445,240124,238481 %N A383461 Number of vertices in graph G_n formed by taking a regular n-gon with all its chords extended to infinity (the n-th graph in A344857) and inverting it in its circumscribing circle. %C A383461 Inverting a point or a line in a circle C with center O and radius r is a classical operation in geometry (Coxeter, Section 6.3; Pedoe, pp. 4-9). Every point A inside C except O itself has an inverse point A' outside the circle; A' lies on the line OA and satisfies |OA|*|OA'| = r^2. The inverse of the center O is undefined. %C A383461 If a line L passes through O its inverse is L itself. If L is not a diameter of C, and meets C in two points A and B, the inverse of L is the circle through O, A, and B. %C A383461 Theorem: G_n has A345025(n) regions. If n is even then n of these regions are infinite, otherwise there is a single infinite region. %C A383461 The initial versions of the illustrations were made by NJAS using GeoGebra. The colored versions were added later by SRS using a Java program. These have greater resolution and include information about the vertex and region counts. %D A383461 H. S. M. Coxeter, Introduction to Geometry, Wiley, 1961. %D A383461 D. Pedoe, Circles: A Mathematical View, Dover, 1979. %H A383461 Scott R. Shannon, <a href="/A383461/a383461_1.jpg">The graph G_13 consists of 78 circles</a>. There are a(13) = 1964 vertices. %H A383461 Scott R. Shannon, <a href="/A383461/a383461_2.jpg">The graph G_13 (continued).</a> There are 2172 regions (2171 finite regions and one infinite region). %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_2.png">The graph G_3 consists of three circles</a>. There are a(3) = 4 vertices and 7 regions (6 finite regions and one infinite region). %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_3.ggb">GeoGebra source file for G_3</a> %H A383461 N. J. A. Sloane, <a href="/A383461/a383461.png">The graph G_4 consists of two lines and four circles</a>. There are a(4) = 5 vertices and 16 regions (12 finite regions and 4 infinite regions). %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_4.ggb">GeoGebra source file for G_4</a> %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_3.png">The graph G_5 consists of ten circles</a>. There are a(5) = 16 vertices and 36 regions (35 finite regions and one infinite region). %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_6.ggb">GeoGebra source file for G_5</a> %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_4.png">The graph G_6 consists of three lines and 12 circles</a>. There are a(6) = 37 vertices and 72 regions (66 finite regions and 6 infinite regions). %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_6T.ggb">GeoGebra source file for G_6</a> %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_5.png">The graph G_7 consists of 21 circles (colored red)</a>. There are a(7) = 92 vertices and 141 regions (140 finite regions and one infinite region). See following illustration for an enlargement of the central heptagonal portion of the graph. Note that the blue heptagon is not part of G_7. %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_6.png">An enlargement of the central heptagonal portion of the previous illustration, showing the 91 individual cells more clearly</a>. %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_7.ggb">GeoGebra source file for G_7</a> %H A383461 N. J. A. Sloane, <a href="/A383461/a383461_7.png">The graph G_8 consists of four lines and 24 circles</a>. There are 145 vertices and 232 regions (224 finite regions and 8 infinite regions). %H A383461 N. J. A. Sloane, <a href="/A383461/a383461.ggb">GeoGebra source file for G_8</a> %F A383461 a(n) = A146212(n) + (n mod 2). %Y A383461 Cf. A146212, A344857, A345025, A383462. %K A383461 nonn %O A383461 3,1 %A A383461 _Scott R. Shannon_ and _N. J. A. Sloane_, Jun 02 2025