查看: 39  |  回复: 0

Akang950710

捐助贵宾 (初入文坛)

[交流] 分圆范数三值定理与射影对偶显式分类定理

作者:阿康
日期:2026年10月14日
分圆范数三值定理与射影对偶显式分类定理
第一部分:分圆范数三值定理
设定:令 ω = e2πi/n,δ = ω − ω−1,K = &ℚ(ω) 为 n 次分
圆域。定义
N(δ) = ∏(k,n)=1 (ωk  − ω−k )
定理一(分圆范数三值定理)
对 n ≥ 3:
N(δ) = p (n = pa  或 n = 2pa , p 奇素数, a ≥ 1)
N(δ) = 4 (n = 2a , a ≥ 2)
N(δ) = 1 (其他情形)
证明
首先分解:
ω k  − ω−k  = ω−k (ω2k  − 1)
因此
N(δ) = A · B其中
A = ∏(k,n)=1 ω−k , B = ∏(k,n)=1 (ω2k  − 1)
计算 A:当 n > 2 时,∑(k,n)=1 k = nφ(n)/2,所以
A = ω−nφ(n)/2 = e−πi φ(n) = 1
(因 φ(n) 为偶数。)
计算 B:
情形 1:n 为奇数。此时 gcd(2,n) = 1,映射 k ↦ 2k 是
(&ℤ/nℤ ×  上的置换,故
B = ∏(k,n)=1 (ωk  − 1) = Φn (1)
而
Φn (1) = p (n = pa ), 1 (其他)
情形 2:n = 2m,m 为奇数。此时 ω2  = e2πi/m =
ζm。gcd(k,2m) = 1 的 k 是奇数且 gcd(k,m) = 1。映射 k ↦ k
mod m 是从这些 k 到 (&ℤ/mℤ ×  的双射,故
B = ∏(r,m)=1 (ζm r  − 1) = Φm (1)
所以 N(δ) = Φm (1) = p(若 m = pa),否则为 1。
情形 3:n = 4t。此时 ω2  = e2πi/(2t) = ζ2t。gcd(k,4t) =
1 的 k 是奇数且 gcd(k,t) = 1。映射 k ↦ k mod 2t 是 2 对 1
的,故
B = ∏(r,2t)=1 (ζ2t r  − 1)2  = Φ2t(1)2
而 Φ2t(1) = 2 当且仅当 2t = 2a(即 n = 2a+1),否则
Φ2t(1) = 1。
所以□
N(δ) = 4 (n = 2a , a ≥ 2), 1 (其他)
合并即得定理结论。
第二部分:射影对偶显式分类定理
设定:内接正 n 边形顶点为 ωk(k = 0, 1, ..., n−1),外切
正 n 边形顶点为
wk  = 2ωk+1 / (1 + ω)
定理二(射影对偶显式分类定理)
满足条件的射影变换恰好为
T(z) = [2ωm / (1 + ω)] · z
或
T(z) = [2ωm / (1 + ω)] · (1/z)
其中 m = 0, 1, ..., n−1。共 2n 个。
证明
设 T 把内接顶点映到外切顶点:
T(ωk ) = wσ(k) = 2ωσ(k)+1 / (1 + ω)
射影变换保持交比,故 σ 必须是圆上的 Möbius 置换。
对于正 n 边形,可能的置换只有
σ(k) = k + m 或 σ(k) = m − k
保向情形 σ(k) = k + m:T(ωk ) = 2ωk+m+1 / (1 + ω) = [2ωm+1 / (1 + ω)] ·
ω k
所以
T(z) = [2ωm+1 / (1 + ω)] · z
反向情形 σ(k) = m − k:
T(ωk ) = 2ωm-k+1 / (1 + ω) = [2ωm+1 / (1 + ω)] ·
ω−k
所以
T(z) = [2ωm+1 / (1 + ω)] · (1/z)
□
第三部分:正割缩放定理
定理三(正割缩放定理)
对上述所有射影变换:
|T'|2  = sec2 (π/n)
证明
保向情形 T(z) = cz,c = 2ωm/(1+ω):
|T'|2  = |c|2  = 4 / |1 + ω|2
反向情形 T(z) = c/z:
|T'|2  = |−c/z2 | 2  = |c|2  / |z|4在单位圆上 |z| = 1,所以 |T'|2  = |c|2。
而
|1 + ω|2  = (1 + ω)(1 + ω−1 ) = 2 + 2cos(2π/n) =
4cos2 (π/n)
所以
|T'|2  = 4 / [4cos2 (π/n)] = sec2 (π/n)
□
第四部分:对偶统一性定理
定理四(对偶统一性定理)
所有 2n 个射影变换给出同一个对偶公式:
S外  = S内  · sec2 (π/n)
证明
面积缩放因子均为 sec2 (π/n),故
S外 = |T'|2  · S内 = S内 · sec2 (π/n)
□
总结
本文建立了两个核心新发现:
1. 分圆范数三值定理:分圆域中判别元 δ = ω − ω−1  的范
数 N(δ) 仅取三个可能值(p、4、1),由 n 的素因数分解结构完
全决定。2. 射影对偶显式分类定理:内接正 n 边形到外切正 n 边形
的射影变换被完全分类——恰好 2n 个,分为保向(旋转型)和
反向(反射型)两类,且所有变换给出统一的面积缩放因子
sec2 (π/n)。
核心工具:分圆域 &ℚ(ω)、伽罗瓦群 (&ℤ/nℤ ×、射影变
换、交比不变性
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Akang950710 的主题更新
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 极限拉扯,如何抉择 +11 Isak0320 2026-10-12 15/750 2026-10-14 21:55 by 猫鱼不是鱼
[基金申请] 申请科研项目纯靠实力能成功吗? 200+5 David1982 2026-10-13 8/400 2026-10-14 21:38 by lhw_GPA4.0
[职场人生] 40+中年人失业后,还能找到好工作吗? +3 xqy2009 2026-10-13 3/150 2026-10-14 20:17 by 43358052
[论文投稿] 二审4个多月了还是Awaiting Reviewer Scores 10+3 纳斯达克ML 2026-10-11 4/200 2026-10-14 17:30 by babero
[有机交流] OpenAI又攻克数学难题了,离AI做有机合成还有多远? +8 wangyl_123 2026-10-10 13/650 2026-10-14 15:12 by zuesli
[教师之家] 课题组会帮你通过考核么? +4 好运来~9527 2026-10-10 7/350 2026-10-13 08:41 by xli1984
[基金申请] 入职后第一次管课题组的专利缴费,对账才发现官费比别人多掏了一倍 +6 13108017953 2026-10-08 6/300 2026-10-12 20:07 by w3w3y3
[公派出国] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:26 by XQNyDCa1Tk5n
[找工作] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 22:26 by XQNyDCa1Tk5n
[考博] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:15 by XQNyDCa1Tk5n
[考博] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 22:11 by XQNyDCa1Tk5n
[教师之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:06 by XQNyDCa1Tk5n
[教师之家] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 (EPI+-1)(金币-50) +4 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 14:05 by VOMexwnDzOFZ
[考研] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:51 by VOMexwnDzOFZ
[硕博家园] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:45 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:54 by VOMexwnDzOFZ
[考博] 招收博士生一名 +3 mandolin 2026-10-10 3/150 2026-10-11 10:21 by 不是山谷!
[公派出国] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +4 qR2AdCWTVtkw 2026-10-09 4/200 2026-10-11 03:14 by M0zrYVSAnxpE
[有机交流] 各位大佬,路线设计求助 +6 zapen 2026-10-08 8/400 2026-10-10 15:59 by zapen
[有机交流] 我应该选哪条合成路线让实验成功率高一些? +5 jing816y 2026-10-08 9/450 2026-10-10 09:05 by zapen
信息提示
请填处理意见