First Families of Regular Polygons and their Mutations
Hughes · math.DS · 2026-09-08 · 原文
Every regular N-gon defines a canonical family of regular polygons which are conforming to the bounds of the 'star polygons' determined by N. These star polygons are formed from truncated extended edges of the N-gon and the intersection points ('star' points) determine the parameters of the family. The First Family Theorem (FFT) shows how each star[k] point defines a matching S[k] 'tile' and the GeneralizedFFT shows how every S[k] can generate their own families with an S[k+1] on the left and (if space permits) an S[k'] on the right where k' = N/2-k for N even.If such a tile does exist S[k] and S[k'] will be called a 'dual' pair and share an edge. When N is even the S[1] tile and N will form a dual pair since N = S[N/2-1] relative to the S[k]. The origin of these dual pairs is the chiral nature of N which implies that the clock-wise and ccw versions of N will generate distinct manifolds +W and -W and the dual pairs will lie on the boundaries with S[k] in one region and S[k'] in the other so their extended shared edge defines the boundary and also a 'primitive' star[k] with gcd(k,N) = 1. For N even, the number of distinct primitive star[k] of N to the right (or left) of the central
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Every regular N-gon defines a canonical family of regular polygons which are conforming to the bounds of the 'star polygons' determined by N.
These star polygons are formed from truncated extended edges of the N-gon and the intersection points ('star' points) determine the parameters of the family.
2. 领域脉络
本文类目：math.DS，属于其所在研究脉络的最新进展。
3. 机制拆解
摘要未展开方法细节——精读时重点看方法/模型部分。
4. 证据与数字
The First Family Theorem (FFT) shows how each star[k] point defines a matching S[k] 'tile' and the GeneralizedFFT shows how every S[k] can generate their own families with an S[k+1] on the left and (if space permits) an S[k'] on the right where k' = N/2-k for N even.If such a tile does exist S[k] and S[k'] will be called a 'dual' pair and share an edge.
When N is even the S[1] tile and N will form a dual pair since N = S[N/2-1] relative to the S[k].
The origin of these dual pairs is the chiral nature of N which implies that the clock-wise and ccw versions of N will generate distinct manifolds +W and -W and the dual pairs will lie on the boundaries with S[k] in one region and S[k'] in the other so their extended shared edge defines the boundary and also a 'primitive' star[k] with gcd(k,N) = 1.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。