<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Geometry on Sebastian Spicker</title>
    <link>https://sebastianspicker.github.io/tags/geometry/</link>
    <description>Recent content in Geometry on Sebastian Spicker</description>
    <image>
      <title>Sebastian Spicker</title>
      <url>https://sebastianspicker.github.io/og-image.png</url>
      <link>https://sebastianspicker.github.io/og-image.png</link>
    </image>
    <generator>Hugo -- 0.160.0</generator>
    <language>en</language>
    <lastBuildDate>Mon, 07 Jul 2025 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://sebastianspicker.github.io/tags/geometry/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Star Polygons and Drum Machines</title>
      <link>https://sebastianspicker.github.io/posts/tool-star-polygons-drum-machines/</link>
      <pubDate>Mon, 07 Jul 2025 00:00:00 +0000</pubDate>
      <guid>https://sebastianspicker.github.io/posts/tool-star-polygons-drum-machines/</guid>
      <description>The {7/2} heptagram is not only a symbol. It is a traversal algorithm over seven beat positions. Because 7 is prime, that traversal never gets trapped in a sub-orbit.</description>
      <content:encoded><![CDATA[<p>Two star polygons appear in Danny Carey&rsquo;s visual vocabulary, and they are not the same star. One is open, almost friendly — seven points connected by relatively shallow angles. The other is sharper, the points more acute. They look like variations on a theme, which is accurate: both are drawn on seven equally spaced vertices, but one connects every second vertex and the other connects every third.</p>
<p>In Schläfli notation — the system for naming regular star polygons — these are $\{7/2\}$ and $\{7/3\}$ <a href="#ref-1">[1]</a>. Both appear in Tool&rsquo;s artwork, in Thelemic symbolism, in medieval Islamic geometric patterns, and on the floor plans of cathedrals. They are the most visually intricate star polygons that can be drawn in a single closed stroke before the figure becomes illegible.</p>
<p>Both of them have a property that five-pointed and six-pointed stars do not share: they visit every vertex before closing. This is a consequence of 7 being prime. And it turns out to matter for how rhythmic accent cycles are built.</p>
<h2 id="the-schläfli-symbol">The Schläfli Symbol</h2>
<p>A regular star polygon $\{n/k\}$ is constructed by placing $n$ points evenly on a circle and connecting every $k$-th point in sequence until the path closes. The structural key is a single number:</p>
$$d = \gcd(n, k).$$<p>If $d = 1$, the traversal visits all $n$ vertices before returning to the start — a single connected figure. If $d > 1$, the path visits only $n/d$ vertices before closing, and the full figure consists of $d$ separate copies of the smaller star $\{(n/d)\,/\,(k/d)\}$.</p>
<p>The most familiar example of the disconnected case: $\{6/2\}$, the Star of David. Here $\gcd(6,2) = 2$, so the figure breaks into two copies of $\{3/1\} = \{3\}$ — two overlapping equilateral triangles. The traversal starting at vertex 1 visits $1 \to 3 \to 5 \to 1$, leaving vertices 2, 4, 6 entirely unvisited.</p>
<p>The pentagram $\{5/2\}$ is connected: $\gcd(5,2)=1$, traversal $1 \to 3 \to 5 \to 2 \to 4 \to 1$, all five vertices.</p>
<p>For $n=7$:</p>
<ul>
<li>$\{7/2\}$: $\gcd(7,2)=1$, traversal $1 \to 3 \to 5 \to 7 \to 2 \to 4 \to 6 \to 1$, all seven vertices.</li>
<li>$\{7/3\}$: $\gcd(7,3)=1$, traversal $1 \to 4 \to 7 \to 3 \to 6 \to 2 \to 5 \to 1$, all seven vertices.</li>
</ul>
<p>Both connected. Neither leaves any vertex unvisited.</p>
<h2 id="the-group-theory">The Group Theory</h2>
<p>The traversal of $\{n/k\}$ is an instance of a standard construction in modular arithmetic: the <strong>orbit</strong> of an element under repeated addition in $\mathbb{Z}/n\mathbb{Z}$.</p>
<p>Label the $n$ vertices $0, 1, \ldots, n-1$. Starting at vertex 0, the traversal visits:</p>
$$0, \quad k \bmod n, \quad 2k \bmod n, \quad 3k \bmod n, \quad \ldots$$<p>The orbit of 0 under the action of $+k$ is the subgroup of $\mathbb{Z}/n\mathbb{Z}$ generated by $k$. By a standard result, this subgroup has size $n / \gcd(n,k)$.</p>
<ul>
<li>When $\gcd(n,k) = 1$: orbit size $= n$. The traversal visits every vertex.</li>
<li>When $\gcd(n,k) = d > 1$: orbit size $= n/d$. The traversal visits only a fraction of the vertices.</li>
</ul>
<p>For prime $n$: $\gcd(n,k) = 1$ for every $1 \leq k \leq n-1$, without exception. <strong>Every traversal is complete.</strong> There is no step size that traps the path in a proper sub-orbit before visiting all vertices. This follows directly from the fact that a prime has no divisors other than 1 and itself, so $\mathbb{Z}/p\mathbb{Z}$ has no non-trivial subgroups (Lagrange&rsquo;s theorem: any subgroup of a group of prime order must have order 1 or $p$).</p>
<p>This is the specific property that makes 7 — and any prime — rhythmically fertile.</p>
<h2 id="the-contrast-with-six">The Contrast with Six</h2>
<p>The comparison with $n = 6$ is the clearest illustration.</p>
<p>In $\mathbb{Z}/6\mathbb{Z}$, the possible step sizes are 1, 2, 3, 4, 5. Their orbits:</p>
<table>
  <thead>
      <tr>
          <th>Step $k$</th>
          <th>$\gcd(6,k)$</th>
          <th>Orbit size</th>
          <th>Vertices visited</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>1</td>
          <td>1</td>
          <td>6</td>
          <td>0,1,2,3,4,5 (the hexagon)</td>
      </tr>
      <tr>
          <td>2</td>
          <td>2</td>
          <td>3</td>
          <td>0,2,4 only</td>
      </tr>
      <tr>
          <td>3</td>
          <td>3</td>
          <td>2</td>
          <td>0,3 only</td>
      </tr>
      <tr>
          <td>4</td>
          <td>2</td>
          <td>3</td>
          <td>0,2,4 only</td>
      </tr>
      <tr>
          <td>5</td>
          <td>1</td>
          <td>6</td>
          <td>0,5,4,3,2,1 (the hexagon reversed)</td>
      </tr>
  </tbody>
</table>
<p>The only step sizes that visit all six vertices are 1 and 5 — both of which just traverse the hexagon itself, not a star. Every non-trivial star polygon on six points gets trapped. $\{6/2\}$ visits only half the vertices. $\{6/3\}$ visits only two. There is no connected six-pointed star that isn&rsquo;t either the hexagon or a compound figure.</p>
<p>In $\mathbb{Z}/7\mathbb{Z}$, every step from 2 to 5 generates the full group:</p>
<table>
  <thead>
      <tr>
          <th>Step $k$</th>
          <th>$\gcd(7,k)$</th>
          <th>Orbit size</th>
          <th>Traversal</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>2</td>
          <td>1</td>
          <td>7</td>
          <td>1,3,5,7,2,4,6</td>
      </tr>
      <tr>
          <td>3</td>
          <td>1</td>
          <td>7</td>
          <td>1,4,7,3,6,2,5</td>
      </tr>
      <tr>
          <td>4</td>
          <td>1</td>
          <td>7</td>
          <td>1,5,2,6,3,7,4</td>
      </tr>
      <tr>
          <td>5</td>
          <td>1</td>
          <td>7</td>
          <td>1,6,4,2,7,5,3</td>
      </tr>
  </tbody>
</table>
<p>All four non-trivial step sizes give connected traversals. Both are stars. Both visit every vertex. This is not a coincidence: it is the algebraic signature of primality.</p>
<h2 id="from-geometry-to-rhythm">From Geometry to Rhythm</h2>
<p>The connection to drumming is direct. Here is the mechanism.</p>
<p>Consider a repeating rhythmic figure of 7 beats — a bar of 7/8, say, with positions 1 through 7. An <a href="/posts/euclidean-rhythms/">earlier post</a> discussed Euclidean rhythms: the algorithm that distributes $k$ onset positions as evenly as possible among $n$ slots. That is a problem of <em>selection</em> — which of the $n$ positions to activate.</p>
<p>The star polygon traversal asks a different question. Given that all $n$ positions are present, in what <em>order of emphasis</em> should they be related, such that each accent is a fixed distance from the last? The traversal of $\{n/k\}$ answers this: accent position $1$, then $1+k$, then $1+2k$, and so on modulo $n$.</p>
<p>For $\{7/2\}$: the accent cycle within a single bar runs $1 \to 3 \to 5 \to 7 \to 2 \to 4 \to 6$. Each featured beat is two positions ahead of the last.</p>
<p>Now project this across multiple bars. In bar 1, the primary accent sits on beat 1. In bar 2, if the accent shifts by 2, it lands on beat 3. Bar 3: beat 5. Bar 4: beat 7. Bar 5: beat 2. Bar 6: beat 4. Bar 7: beat 6. Bar 8: beat 1 again.</p>
<p>The accent takes <strong>seven bars</strong> to return to its starting position. Because $\gcd(2,7) = 1$, the step of 2 generates all of $\mathbb{Z}/7\mathbb{Z}$: every beat position receives the accent exactly once before the cycle resets. The resulting large-scale figure is $7 \times 7 = 49$ beats long — a super-phrase built from a single local rule.</p>
<p>The $\{7/3\}$ traversal generates the same exhaustiveness with a different path. Step 3 gives $1 \to 4 \to 7 \to 3 \to 6 \to 2 \to 5$: a seven-bar accent cycle that visits every position before repeating, but with wider spacing between accented beats, creating a different feel over the same underlying meter.</p>
<p>A six-beat figure with step 2 cannot do this. The accent visits only beats 1, 3, 5 — half the cycle — and loops back without touching beats 2, 4, 6. A drummer building phrase-level architecture from a six-beat grid is working with a more fragmented material.</p>
<h2 id="two-problems-one-prime">Two Problems, One Prime</h2>
<p>It is worth stating the relationship between the star polygon approach and Euclidean rhythms precisely, because the two are sometimes conflated <a href="#ref-2">[2]</a>.</p>
<p>The Euclidean algorithm distributes $k$ onsets among $n$ positions with maximal evenness. The result is a <em>subset</em> of the $n$ positions — a selection. The primality of $n$ matters here too: because $\gcd(k,p) = 1$ for prime $p$ and any $1 \leq k \leq p-1$, the Euclidean rhythm $E(k,p)$ always achieves its theoretical maximum of evenness. There are no divisibility shortcuts that cause clumping.</p>
<p>The star polygon traversal selects <em>no subset</em> — it relates all $n$ positions via a cyclic permutation. The primality of $n$ matters here because it guarantees that every non-trivial cyclic permutation (every step size $k$ with $1 < k < n$) generates the full group, visiting all positions before repeating.</p>
<p>Same arithmetic property — $\gcd(k,p) = 1$ for all non-zero $k$ — but the two problems ask different things of it. Euclidean rhythms use it to guarantee dense coverage. Star polygon traversals use it to guarantee no sub-orbit trapping.</p>
<h2 id="the-compound-structure">The Compound Structure</h2>
<p>Written out explicitly, the $\{7/2\}$ accent pattern over seven bars looks like this — with bold marking the featured beat in each bar:</p>
$$\begin{array}{rccccccc}
\text{bar 1:} & \mathbf{1} & 2 & 3 & 4 & 5 & 6 & 7 \\
\text{bar 2:} & 1 & 2 & \mathbf{3} & 4 & 5 & 6 & 7 \\
\text{bar 3:} & 1 & 2 & 3 & 4 & \mathbf{5} & 6 & 7 \\
\text{bar 4:} & 1 & 2 & 3 & 4 & 5 & 6 & \mathbf{7} \\
\text{bar 5:} & 1 & \mathbf{2} & 3 & 4 & 5 & 6 & 7 \\
\text{bar 6:} & 1 & 2 & 3 & \mathbf{4} & 5 & 6 & 7 \\
\text{bar 7:} & 1 & 2 & 3 & 4 & 5 & \mathbf{6} & 7 \\
\end{array}$$<p>Each bar is metrically identical. The large-scale accent — which beat carries the phrase-level emphasis — traces the traversal path of the $\{7/2\}$ star polygon across the seven-bar cycle.</p>
<p>This is the kind of large-scale rhythmic architecture visible in a great deal of Tool&rsquo;s output. Whether Danny Carey explicitly constructs accent cycles from star polygon traversal paths, or whether the same structure emerges from his intuitive sense of how prime time signatures behave, produces the same result. The mathematics and the musical instinct point toward the same pattern.</p>
<h2 id="why-the-heptagram">Why the Heptagram</h2>
<p>The full mathematical picture of why seven-fold symmetry is special — why the regular heptagon cannot be constructed by compass and straightedge, what the minimal polynomial of $\cos(2\pi/7)$ implies about the heptagon&rsquo;s position outside the constructible world, and how the Galois group of the cyclotomic field over $\mathbb{Q}$ carries the obstruction — is developed in the companion post <a href="/posts/tool-impossible-heptagon/">The Impossible Heptagon</a>.</p>
<p>The short version, for the purposes of this post: seven is the smallest odd prime that is not a Fermat prime ($2^{2^j}+1$). This algebraic accident places it outside the reach of ruler-and-compass construction — the heptagon exists as an ideal but cannot be manifested by the classical tools. Its star polygons are the accessible shadows of an inaccessible form. And its primality, in both the constructibility sense and the traversal sense, is precisely what makes it inexhaustible as a rhythmic resource.</p>
<p>The Fibonacci structure in &ldquo;Lateralus&rdquo; <a href="#ref-3">[3]</a>, the group theory underlying twelve-tone equal temperament <a href="#ref-4">[4]</a>, and the Euclidean rhythm algorithm <a href="#ref-5">[5]</a> are all different facets of the same observation: mathematical structure, introduced as compositional constraint, generates musical complexity that cannot easily be produced by intuition alone. The star polygon is another instance. The drummer who keeps a heptagram on his kit has found, by a non-mathematical route, an object with a precise and interesting mathematical identity.</p>
<h2 id="references">References</h2>
<p><span id="ref-1"></span>[1] Coxeter, H.S.M. (1973). <em>Regular Polytopes</em> (3rd ed.). Dover. Ch. 2.</p>
<p><span id="ref-2"></span>[2] Toussaint, G. (2013). <em>The Geometry of Musical Rhythm: What Makes a &ldquo;Good&rdquo; Rhythm Good?</em> CRC Press.</p>
<p><span id="ref-3"></span>[3] See <a href="/posts/fibonacci-lateralus/">Fibonacci and Lateralus</a> on this blog.</p>
<p><span id="ref-4"></span>[4] See <a href="/posts/twelve-tet-group-theory-musical-tuning/">Twelve-TET and Group Theory</a> on this blog.</p>
<p><span id="ref-5"></span>[5] See <a href="/posts/euclidean-rhythms/">Euclidean Rhythms</a> on this blog.</p>
]]></content:encoded>
    </item>
    <item>
      <title>The Impossible Heptagon</title>
      <link>https://sebastianspicker.github.io/posts/tool-impossible-heptagon/</link>
      <pubDate>Mon, 15 Jan 2024 00:00:00 +0000</pubDate>
      <guid>https://sebastianspicker.github.io/posts/tool-impossible-heptagon/</guid>
      <description>Danny Carey calls it sacred geometry. Gauss proved it non-constructible. They are, unexpectedly, describing the same object.</description>
      <content:encoded><![CDATA[<p>Danny Carey — drummer of Tool, one of the most rhythmically inventive musicians in rock — keeps a seven-pointed star on his kit and speaks about it using the language of sacred geometry. The heptagram appears in Tool&rsquo;s visual artwork, in the Thelemic symbolism Carey draws on, in pre-modern cosmological diagrams, and in the decorative traditions of several cultures that had no contact with each other. The claim, loosely stated, is that seven-fold symmetry is privileged: that it reflects something structurally true, that its forms carry significance beyond the aesthetic.</p>
<p>The scientific reflex here is usually impatience. &ldquo;Sacred geometry&rdquo; occupies an uncomfortable cultural space — mathematically dressed, factually thin, reliant on the listener not checking claims too carefully. The golden ratio does not appear everywhere in nature. Most things described as sacred in this tradition are better described as things the speaker found surprising before learning a more precise vocabulary.</p>
<p>But the heptagon is genuinely strange. Not for the reasons usually given. For a different reason — a theorem.</p>
<p><strong>The regular heptagon cannot be constructed with compass and straightedge.</strong></p>
<p>Not &ldquo;it is difficult.&rdquo; Not &ldquo;no one has found a construction yet.&rdquo; The regular seven-sided polygon — all sides equal, all interior angles equal — is <em>provably impossible</em> to construct using an unmarked ruler and compass in finitely many steps. This has been known since 1801.</p>
<h2 id="the-classical-constraint">The Classical Constraint</h2>
<p>Greek geometry restricted its tools deliberately. An unmarked straightedge draws lines through two known points. A compass draws circles centred at a known point with a given radius. No angle trisection. No markings. No graduated instruments. Just these two operations, applied one at a time, finitely many times.</p>
<p>Within this constraint, a great deal is achievable. A perpendicular bisector. An equilateral triangle. A regular pentagon — which requires the golden ratio and takes some work, but is reachable. A regular hexagon (trivially: six equilateral triangles around a centre).</p>
<p>Then: nothing for the heptagon. Greek geometers left no construction. Medieval Islamic mathematicians, who knew the regular polygon problem well, left no construction. Albrecht Dürer, in his 1525 <em>Underweysung der Messung</em>, gave an approximate construction that falls short by a small but nonzero margin. Each generation encountered the same wall.</p>
<p>In 1796, an 18-year-old Gauss proved that the regular 17-gon <em>is</em> constructible — a result so unexpected that he reportedly decided at that moment to become a mathematician rather than a philologist. In his 1801 <em>Disquisitiones Arithmeticae</em> he gave the complete characterisation of which regular polygons are constructible and which are not <a href="#ref-1">[1]</a>. The heptagon was definitively placed among the impossible.</p>
<h2 id="gausss-theorem">Gauss&rsquo;s Theorem</h2>
<p>A regular $n$-gon is constructible with compass and straightedge if and only if $n$ has the form</p>
$$n = 2^k \cdot p_1 \cdot p_2 \cdots p_m$$<p>where $k \geq 0$ and the $p_i$ are distinct <strong>Fermat primes</strong> — primes of the form $2^{2^j} + 1$.</p>
<p>The Fermat primes currently known:</p>
<table>
  <thead>
      <tr>
          <th>$j$</th>
          <th>$F_j = 2^{2^j}+1$</th>
          <th>Prime?</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>0</td>
          <td>3</td>
          <td>✓</td>
      </tr>
      <tr>
          <td>1</td>
          <td>5</td>
          <td>✓</td>
      </tr>
      <tr>
          <td>2</td>
          <td>17</td>
          <td>✓</td>
      </tr>
      <tr>
          <td>3</td>
          <td>257</td>
          <td>✓</td>
      </tr>
      <tr>
          <td>4</td>
          <td>65537</td>
          <td>✓</td>
      </tr>
      <tr>
          <td>5</td>
          <td>4 294 967 297</td>
          <td>✗ (Euler, 1732)</td>
      </tr>
      <tr>
          <td>6</td>
          <td>18 446 744 073 709 551 617</td>
          <td>✗</td>
      </tr>
      <tr>
          <td>⋮</td>
          <td>⋮</td>
          <td>no further Fermat primes known</td>
      </tr>
  </tbody>
</table>
<p>Five Fermat primes are known, all identified by the seventeenth century. Fermat himself conjectured that all numbers of this form are prime; he was wrong from $j = 5$ onward. Whether any further Fermat primes exist remains an open problem.</p>
<p>The constructible regular polygons therefore include the triangle (3), square (4), pentagon (5), hexagon (6), octagon (8), decagon (10), 15-gon, 17-gon, 257-gon, 65537-gon, and products of these with powers of 2. The 65537-gon was actually fully constructed by Johann Gustav Hermes, who spent around ten years on the computation in the 1880s and deposited a manuscript reportedly filling a large trunk at the University of Göttingen, where it remains.</p>
<p>Seven is prime, but $7 \neq 2^{2^j} + 1$ for any $j$ — it is not a Fermat prime. Therefore the regular heptagon is not on the list. It is not constructible.</p>
<h2 id="the-algebra-behind-the-geometry">The Algebra Behind the Geometry</h2>
<p>Why does the structure of Fermat primes determine constructibility? The connection goes through algebra <a href="#ref-2">[2]</a><a href="#ref-3">[3]</a>.</p>
<p>Every compass-and-straightedge construction corresponds to solving a sequence of equations of degree at most 2. Bisecting an angle, finding an intersection of a line and a circle — each step is a quadratic operation. After $k$ such steps, the numbers reachable lie in some field extension of $\mathbb{Q}$ (the rationals) with degree over $\mathbb{Q}$ at most $2^k$. Constructibility therefore requires the degree of the relevant extension to be a power of 2.</p>
<p>To construct a regular $n$-gon, you need to construct the angle $2\pi/n$, which requires constructing $\cos(2\pi/n)$. The question is: over what kind of field extension does $\cos(2\pi/n)$ sit?</p>
<p>For $n = 7$: let $\omega = e^{2\pi i/7}$, a primitive 7th root of unity. The minimal polynomial of $\omega$ over $\mathbb{Q}$ is the 7th cyclotomic polynomial</p>
$$\Phi_7(x) = x^6 + x^5 + x^4 + x^3 + x^2 + x + 1,$$<p>which is irreducible over $\mathbb{Q}$, giving $[\mathbb{Q}(\omega) : \mathbb{Q}] = 6$. Since $\cos(2\pi/7) = (\omega + \omega^{-1})/2$, and since $\omega$ satisfies a degree-2 polynomial over $\mathbb{Q}(\cos 2\pi/7)$, we get</p>
$$[\mathbb{Q}(\cos 2\pi/7) : \mathbb{Q}] = 3.$$<p>Specifically, $c = \cos(2\pi/7)$ is the root of the irreducible cubic</p>
$$8c^3 + 4c^2 - 4c - 1 = 0,$$<p>or equivalently, $\alpha = 2\cos(2\pi/7)$ satisfies</p>
$$\alpha^3 + \alpha^2 - 2\alpha - 1 = 0.$$<p>The three roots of this cubic are $2\cos(2\pi/7)$, $2\cos(4\pi/7)$, and $2\cos(6\pi/7)$. By Vieta&rsquo;s formulas their sum is $-1$ and their product is $1$ — which can be verified directly from the identity $\cos(2\pi/7) + \cos(4\pi/7) + \cos(6\pi/7) = -1/2$.</p>
<p>The degree of the extension is 3. Three is not a power of 2. Therefore $\cos(2\pi/7)$ cannot be reached by any tower of quadratic extensions of $\mathbb{Q}$. Therefore the regular heptagon is not constructible. $\square$</p>
<p>Compare the pentagon: $\cos(2\pi/5) = (\sqrt{5}-1)/4$, satisfying the quadratic $4x^2 + 2x - 1 = 0$. Degree 2 — a power of 2. Constructible.</p>
<p>The 17-gon: the Galois group of $\mathbb{Q}(\zeta_{17})/\mathbb{Q}$ is $(\mathbb{Z}/17\mathbb{Z})^* \cong \mathbb{Z}/16\mathbb{Z}$, order $16 = 2^4$. The extension decomposes into four quadratic steps. This is exactly what Gauss computed at 18.</p>
<p>For 7: $(\mathbb{Z}/7\mathbb{Z})^* \cong \mathbb{Z}/6\mathbb{Z}$, order $6 = 2 \times 3$. The factor of 3 is the obstruction. The Galois group is not a 2-group, so the extension cannot be decomposed into quadratic steps. The heptagon is out of reach.</p>
<h2 id="sacred-precisely">Sacred, Precisely</h2>
<p>The phrase &ldquo;sacred geometry&rdquo; usually does work that &ldquo;elegant mathematics&rdquo; could do more honestly. But the heptagon is a case where something with genuine mathematical content sits underneath the mystical framing.</p>
<p>The Platonic tradition held that certain geometric forms exist as ideals — perfect, unchanging, more real than their physical approximations. The philosopher&rsquo;s claim is that the heptagon exists in a realm beyond its material instantiation. The mathematician&rsquo;s claim is: the heptagon is perfectly well-defined — seven equal sides, seven equal angles — but it cannot be reached from $\mathbb{Q}$ by the operations available to ruler and compass. You can approximate it to any desired precision. You can construct it exactly using origami, which allows angle trisection and is strictly more powerful than compass and straightedge <a href="#ref-4">[4]</a>. But the classical constructive program — the one that reaches the pentagon, the hexagon, the 17-gon, the 65537-gon — cannot reach the heptagon.</p>
<p>There is a precise mathematical sense in which it lies outside the constructible world. Whether that constitutes sacredness is a question for a different kind of argument. But it is not nothing. The Pythagoreans were working without Galois theory; they had an intuition without the theorem. The theorem, when it came, confirmed that intuition about seven while explaining it more clearly than they could.</p>
<p>Carey&rsquo;s intuition — that 7 sits outside the ordinary — is, by this route, formally correct.</p>
<h2 id="what-the-heptagram-is">What the Heptagram Is</h2>
<p>The regular heptagon may be impossible to construct exactly, but the heptagram — the seven-pointed star — is perfectly drawable. Connecting every second vertex of an approximate regular heptagon gives $\{7/2\}$ in Schläfli notation <a href="#ref-5">[5]</a>; connecting every third vertex gives $\{7/3\}$. Both are closed figures. Both appear throughout pre-modern symbolic traditions, which is unsurprising: they are the most intricate star polygons drawable with a single pen stroke before complexity outruns visibility.</p>
<p>They are also generators of rhythmic structure. Because 7 is prime, every star polygon on seven points visits all seven vertices in a single closed traversal — a property that does not hold for six-pointed or eight-pointed stars. This turns out to matter for how drum patterns are built across multiple bars. That connection — from the primality of 7 to the architecture of rhythmic accent cycles — is the subject of the companion post, <a href="/posts/tool-star-polygons-drum-machines/">Star Polygons and Drum Machines</a>.</p>
<p>The broader series on mathematics in Tool&rsquo;s music began with the Fibonacci structure embedded in the time signatures and syllable counts of &ldquo;Lateralus&rdquo; <a href="#ref-6">[6]</a>, and the group-theoretic structure underlying twelve-tone equal temperament provides the same algebraic scaffolding seen here <a href="#ref-7">[7]</a>.</p>
<h2 id="references">References</h2>
<p><span id="ref-1"></span>[1] Gauss, C.F. (1801). <em>Disquisitiones Arithmeticae</em>. Leipzig: Fleischer. (§VII.)</p>
<p><span id="ref-2"></span>[2] Stewart, I. (2004). <em>Galois Theory</em> (3rd ed.). CRC Press. Ch. 4.</p>
<p><span id="ref-3"></span>[3] Conway, J.H. &amp; Guy, R.K. (1996). <em>The Book of Numbers</em>. Springer. pp. 190–202.</p>
<p><span id="ref-4"></span>[4] Hull, T. (2011). Solving cubics with creases: The work of Beloch and Lill. <em>The American Mathematical Monthly</em>, 118(4), 307–315. <a href="https://doi.org/10.4169/amer.math.monthly.118.04.307">DOI: 10.4169/amer.math.monthly.118.04.307</a></p>
<p><span id="ref-5"></span>[5] Coxeter, H.S.M. (1973). <em>Regular Polytopes</em> (3rd ed.). Dover. Ch. 2.</p>
<p><span id="ref-6"></span>[6] See <a href="/posts/fibonacci-lateralus/">Fibonacci and Lateralus</a> on this blog.</p>
<p><span id="ref-7"></span>[7] See <a href="/posts/twelve-tet-group-theory-musical-tuning/">Twelve-TET and Group Theory</a> on this blog.</p>
]]></content:encoded>
    </item>
  </channel>
</rss>
