# 第一顯現問題：從有理解到最小 Primitive Cuboid

## The First-Manifestation Problem: From Rational Closure to the Minimal Primitive Cuboid

**系列：完美長方體的全域閉合理論（Global Closure Theory of the Perfect Cuboid）**  
**篇次：06 / 08**  
**狀態：研究前導稿 / Phase 0 — Conceptual Closure**  
**日期：2026-09-28**

---

## 摘要

前五篇已將 Perfect Cuboid 的研究流程從整數暴力搜尋重新拆解為：連續閉合世界、尺度商空間、約束誘導分化、進位制觀察，以及從浮點候選到 exact rational closure 的認證流程。本文進入第一階段研究的最後一個問題：

> 如果 Perfect Cuboid 的有理閉合確實存在，那麼什麼叫做「第一個」完美長方體？

由於 Perfect Cuboid 的方程全部二次齊次，只要存在一個整數解，就存在其所有正整數倍。因此未經 primitive reduction 的「最小整數解」沒有明確數學意義；真正需要比較的是尺度商空間中的不同 shape，並為每個 rational shape 指定唯一的 primitive integer representative。

本文建立：

$$
\mathcal P
=
\left\{
P=(a,b,c,d,e,f,g)\in\mathbb Z_{>0}^{7}
:
F(P)=0,
\;
\gcd(a,b,c,d,e,f,g)=1
\right\}
$$

以及除去三條軸置換後的 canonical primitive solution space。若指定：

$$
a\le b\le c,
$$

並令：

$$
d^2=a^2+b^2,
$$

$$
e^2=a^2+c^2,
$$

$$
f^2=b^2+c^2,
$$

則自動有：

$$
d\le e\le f<g.
$$

因此一個 primitive shape 可被唯一 canonicalize 成一個有序七元組。

本文進一步說明，在存在性假設成立時，由正整數的良序性可知：對任何取正整數值的 proper height，例如空間對角線

$$
H_g(P)=g,
$$

都必然存在至少一個最小 primitive solution。由於：

$$
g
$$

嚴格大於其餘六個正分量，

所以：

$$
H_{\max}(P)=g.
$$

因此「最小最大座標」與「最小空間對角線」是同一 ordering。

然而，「找到一個 primitive solution」與「證明它是第一個」是兩個不同命題。前者只需 exact witness；後者還需要排除所有：

$$
g<g_\ast
$$

的 primitive solutions。本文因此將 first manifestation 拆為：

$$
\text{Existence Certificate}
+
\text{Minimality Certificate}.
$$

此外，本文建立 normalized rational shape 與 primitive integer representative 的雙向 canonical correspondence，說明若

$$
g=1
$$

規範下存在 rational point，則其所有 reduced denominators 的最小公倍數給出一個整數 representative，再除以整體 gcd 即得到唯一 primitive representative。

最後，本文定義多種 height、搜尋下界、first-hit 與 true minimum 的差別，並為下一篇「第一個解之後：Perfect Cuboid 的算術自由度」建立正式 handoff：第一顯現只回答存在與最小 witness；它完全不回答 primitive shapes 的數量、密度、生成規律與自由度。

---

## 1. 找到一個解之後，尺度立即失去資訊

Perfect Cuboid 方程為：

$$
a^2+b^2=d^2,
$$

$$
a^2+c^2=e^2,
$$

$$
b^2+c^2=f^2,
$$

$$
a^2+b^2+c^2=g^2.
$$

如果：

$$
P=(a,b,c,d,e,f,g)
$$

是一組正整數解，

那麼對任意：

$$
k\in\mathbb Z_{>0},
$$

都有：

$$
kP
=
(ka,kb,kc,kd,ke,kf,kg)
$$

仍然是解。

因為：

$$
(ka)^2+(kb)^2
=
k^2(a^2+b^2)
=
(kd)^2,
$$

其餘三式同理。

所以一旦存在一個解，

就立刻存在：

$$
P,2P,3P,4P,\ldots.
$$

因此：

$$
\boxed{
\text{raw integer solution count}
}
$$

不是第一個真正值得研究的量。

---

## 2. Primitive reduction

對任意整數解：

$$
P=(a,b,c,d,e,f,g),
$$

定義：

$$
h(P)
=
\gcd(a,b,c,d,e,f,g).
$$

令：

$$
P_{\mathrm{prim}}
=
\frac{1}{h(P)}P.
$$

則：

$$
P_{\mathrm{prim}}\in\mathbb Z_{>0}^{7},
$$

且：

$$
\gcd(P_{\mathrm{prim}})=1.
$$

由齊次性：

$$
F(P)=0
$$

可推出：

$$
F(P_{\mathrm{prim}})=0.
$$

因此每一個整數 solution orbit：

$$
\{kP_{\mathrm{prim}}:k\in\mathbb Z_{>0}\}
$$

都包含唯一 primitive representative。

所以：

$$
\boxed{
\text{integer solution}
\rightarrow
\text{unique primitive scale representative}
}
$$

---

## 3. Primitive 的唯一性

假設：

$$
P
$$

與：

$$
Q
$$

都是 primitive integer solutions，

且：

$$
Q=\lambda P
$$

對某個：

$$
\lambda\in\mathbb Q_{>0}.
$$

寫：

$$
\lambda=\frac mn
$$

且：

$$
\gcd(m,n)=1.
$$

因：

$$
Q=\frac mnP
$$

為整數向量，

所以：

$$
n
$$

整除：

$$
P
$$

的每一個分量。

但：

$$
\gcd(P)=1.
$$

因此：

$$
n=1.
$$

同理：

$$
P=\frac1mQ
$$

為整數向量，

故：

$$
m
$$

整除：

$$
Q
$$

每一分量。

由：

$$
\gcd(Q)=1,
$$

得到：

$$
m=1.
$$

所以：

$$
\lambda=1
$$

以及：

$$
P=Q.
$$

因此：

$$
\boxed{
\text{每一個 rational scale class 至多有一個 primitive integer representative}
}
$$

在還沒有處理軸置換前，這個唯一性是對固定座標標記而言。

---

## 4. 邊長置換仍然會製造重複

長方體的三條軸沒有天然標籤。

如果：

$$
(a,b,c)
$$

是一組邊長，

則任何：

$$
\sigma\in S_3
$$

給出的：

$$
(a_{\sigma(1)},a_{\sigma(2)},a_{\sigma(3)})
$$

都描述同一個未標記長方體。

所以 primitive reduction 還不夠。

還需要 canonical permutation。

本文採用：

$$
\boxed{
a\le b\le c
}
$$

作為 canonical edge ordering。

---

## 5. Canonical face-diagonal ordering

在：

$$
a\le b\le c
$$

下，

定義：

$$
d=\sqrt{a^2+b^2},
$$

$$
e=\sqrt{a^2+c^2},
$$

$$
f=\sqrt{b^2+c^2}.
$$

則：

$$
a^2+b^2
\le
a^2+c^2
\le
b^2+c^2.
$$

因此：

$$
d\le e\le f.
$$

而：

$$
g^2=a^2+b^2+c^2>b^2+c^2=f^2,
$$

所以：

$$
f<g.
$$

因此 canonical primitive tuple 自動滿足：

$$
\boxed{
a\le b\le c,
\qquad
d\le e\le f<g.
}
$$

這使 tuple：

$$
P=(a,b,c,d,e,f,g)
$$

具有穩定的 canonical serialization。

---

## 6. Canonical primitive solution space

定義：

$$
\mathcal P_{\mathrm{can}}
=
\left\{
P\in\mathbb Z_{>0}^{7}
:
F(P)=0,
\;
\gcd(P)=1,
\;
a\le b\le c
\right\}.
$$

這個集合已經同時除去了：

- 整體尺度冗餘；
- 三條軸的 permutation redundancy。

所以：

$$
\boxed{
\mathcal P_{\mathrm{can}}
}
$$

就是本文後續真正意義上的 primitive Perfect Cuboid shape set。

如果：

$$
\mathcal P_{\mathrm{can}}=\varnothing,
$$

則 Perfect Cuboid 不存在。

如果：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing,
$$

則原猜想為真。

---

## 7. Rational shape space 與 primitive integer space

回到 normalized：

$$
g=1.
$$

令：

$$
x=\frac ag,
$$

$$
y=\frac bg,
$$

$$
z=\frac cg.
$$

若：

$$
P\in\mathcal P_{\mathrm{can}},
$$

則：

$$
x,y,z\in\mathbb Q_{>0}
$$

並滿足：

$$
x^2+y^2+z^2=1.
$$

此外：

$$
\sqrt{x^2+y^2},
$$

$$
\sqrt{x^2+z^2},
$$

$$
\sqrt{y^2+z^2}
$$

也都屬於：

$$
\mathbb Q.
$$

所以每個 primitive integer solution 產生一個 canonical rational shape。

反方向，

若找到：

$$
Q=
(x,y,z,u,v,w,1)
\in\mathbb Q_{>0}^{7}
$$

滿足全部 exact equations，

則可以清分母得到整數 solution，

再 primitive reduction。

因此存在自然對應：

$$
\boxed{
\text{canonical rational shape class}
\leftrightarrow
\text{canonical primitive integer solution}
}
$$

---

## 8. 從 normalized rational shape 回到整數 representative

設：

$$
Q=
\left(
\frac{p_1}{q_1},
\frac{p_2}{q_2},
\ldots,
\frac{p_6}{q_6},
1
\right)
$$

其中每個 fraction 已約分。

令：

$$
L=
\operatorname{lcm}(q_1,\ldots,q_6).
$$

則：

$$
LQ
$$

為整數向量。

設：

$$
Y=LQ.
$$

接著令：

$$
h=\gcd(Y).
$$

則：

$$
P=\frac Yh
$$

是 primitive integer representative。

因此：

$$
\boxed{
Q
\rightarrow
LQ
\rightarrow
\frac{LQ}{\gcd(LQ)}
}
$$

是一個 deterministic canonical scaling pipeline。

---

## 9. 如果只保存三條 normalized edges

其實不需要保存：

$$
u,v,w.
$$

只要有：

$$
(x,y,z)\in\mathbb Q_{>0}^{3}
$$

滿足：

$$
x^2+y^2+z^2=1
$$

以及：

$$
x^2+y^2\in\mathbb Q^2,
$$

$$
x^2+z^2\in\mathbb Q^2,
$$

$$
y^2+z^2\in\mathbb Q^2,
$$

即可恢復：

$$
u,v,w.
$$

如果：

$$
x=\frac{p_x}{q_x},
$$

$$
y=\frac{p_y}{q_y},
$$

$$
z=\frac{p_z}{q_z},
$$

令：

$$
L=\operatorname{lcm}(q_x,q_y,q_z).
$$

則：

$$
A=Lx,
$$

$$
B=Ly,
$$

$$
C=Lz
$$

皆為整數。

又因：

$$
x^2+y^2+z^2=1,
$$

有：

$$
A^2+B^2+C^2=L^2.
$$

所以：

$$
G=L
$$

已是一個整數 space diagonal。

如果三個 pairwise sums 也都是 rational squares，

則相應 face diagonals 乘：

$$
L
$$

後也為整數。

最後再 primitive reduction。

---

## 10. Primitive representative 與 normalized denominator

對 canonical primitive solution：

$$
P=(a,b,c,d,e,f,g),
$$

考慮 normalized tuple：

$$
Q=
\left(
\frac ag,
\frac bg,
\frac cg,
\frac dg,
\frac eg,
\frac fg,
1
\right).
$$

每個 fraction 可自行約分，

所以其單個 denominator 不一定是：

$$
g.
$$

但所有 reduced denominators 的最小公倍數一定整除：

$$
g.
$$

設該最小公倍數為：

$$
L.
$$

則：

$$
LQ
$$

是一個整數 solution。

因：

$$
P
$$

是同一 rational shape class 的 primitive integer representative，

而 primitive representative 唯一，

所以 primitive reduction：

$$
\operatorname{prim}(LQ)
$$

必須回到：

$$
P.
$$

因此：

$$
\boxed{
\text{normalized denominator data}
}
$$

可以恢復 primitive shape，

但不應把某一單獨 denominator 直接等同於：

$$
g.
$$

---

## 11. 什麼叫做「第一個」？

一旦：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing,
$$

還需要指定 ordering。

沒有 ordering，

「第一個」沒有數學意義。

可以定義 height：

$$
H:
\mathcal P_{\mathrm{can}}
\rightarrow
\mathbb Z_{>0}.
$$

然後尋找：

$$
P_\ast
\in
\operatorname*{arg\,min}_{P\in\mathcal P_{\mathrm{can}}}
H(P).
$$

不同：

$$
H
$$

可能得到不同的「第一個」。

---

## 12. 空間對角線 height

最自然的一種是：

$$
H_g(P)=g.
$$

因為：

$$
g
$$

是整個 cuboid 最長的幾何長度。

而：

$$
g>f,e,d,c,b,a.
$$

因此：

$$
\max(a,b,c,d,e,f,g)=g.
$$

所以：

$$
\boxed{
H_{\max}(P)=H_g(P)=g.
}
$$

因此「最小最大座標」與「最小 space diagonal」完全相同。

這是一個很方便的 canonical height。

---

## 13. 最大邊 height

也可以定義：

$$
H_c(P)=c
$$

因為：

$$
a\le b\le c.
$$

它尋找：

> 最大邊長最小的 primitive cuboid。

但：

$$
\arg\min c
$$

不一定與：

$$
\arg\min g
$$

相同。

因為 shape ratio 不同時：

$$
g=\sqrt{a^2+b^2+c^2}
$$

與：

$$
c
$$

的相對大小不同。

所以：

$$
\boxed{
\text{minimum edge scale}
\neq
\text{minimum diagonal scale}
}
$$

一般不能預設一致。

---

## 14. Volume height

亦可定義：

$$
H_V(P)=abc.
$$

它尋找 primitive cuboid 中最小體積。

同樣：

$$
\arg\min abc
$$

不必等於：

$$
\arg\min g.
$$

如果第一個公開發現的解被稱為「最小」，

必須說清楚是：

$$
g,
$$

$$
c,
$$

$$
abc,
$$

還是其他 ordering。

---

## 15. Surface-area height

可定義：

$$
H_S(P)=ab+ac+bc.
$$

實際表面積則為：

$$
2H_S(P).
$$

這也是一個自然正整數 height。

但它和：

$$
g
$$

排序也未必一致。

---

## 16. Lexicographic ordering

如果希望得到完全唯一的「第一個 tuple」，

可以直接使用 lexicographic ordering：

$$
(a,b,c,d,e,f,g).
$$

或者更合理地先按：

$$
g
$$

再 tie-break：

$$
(g,c,b,a,f,e,d).
$$

例如定義：

$$
P_1\prec P_2
$$

若：

1. $$g_1<g_2$$；
2. 若 $$g_1=g_2$$，則比較 $$c_1<c_2$$；
3. 再比較 $$b$$；
4. 再比較 $$a$$。

這樣：

$$
\mathcal P_{\mathrm{can}}
$$

若非空，

必有唯一 lexicographic minimum。

---

## 17. 良序性保證最小解存在

假設：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing.
$$

考慮：

$$
G=
\{g(P):P\in\mathcal P_{\mathrm{can}}\}
\subset
\mathbb Z_{>0}.
$$

因：

$$
G
$$

是非空正整數集合，

依良序原理，

存在：

$$
g_{\min}=\min G.
$$

因此至少存在一個：

$$
P
$$

使：

$$
g(P)=g_{\min}.
$$

若再使用有限 tie-break ordering，

可以選出唯一：

$$
P_{\min}.
$$

所以條件式命題是：

$$
\boxed{
\mathcal P_{\mathrm{can}}\neq\varnothing
\Rightarrow
\text{存在 canonical first primitive cuboid}
}
$$

這不證明：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing.
$$

它只說明：

> 一旦存在，第一個在良序 height 下必然存在。

---

## 18. 第一個解不是極限概念，而是離散最小元

這點和連續 shape space 很不同。

在：

$$
\mathcal S_{\mathbb R}
$$

中可以有：

$$
X_n\rightarrow X^\ast
$$

但不一定存在某個「第一個」實數 shape。

而 primitive integer space：

$$
\mathcal P_{\mathrm{can}}
$$

是離散集合。

所以一旦 height：

$$
H:\mathcal P_{\mathrm{can}}\rightarrow\mathbb Z_{>0}
$$

固定，

就能使用良序性討論最小元。

因此：

$$
\boxed{
\text{first manifestation is an arithmetic notion}
}
$$

而不是純拓樸 notion。

---

## 19. First hit 與 true minimum 不同

假設某個搜尋器先找到：

$$
P_{\mathrm{hit}}.
$$

只能說：

$$
\boxed{
\text{first discovered by this process}
}
$$

不能直接說：

$$
\boxed{
\text{mathematically smallest}
}
$$

要證明：

$$
P_{\mathrm{hit}}
$$

是：

$$
H_g
$$

下的最小解，

還必須證明：

$$
\nexists P\in\mathcal P_{\mathrm{can}}
$$

使：

$$
g(P)<g(P_{\mathrm{hit}}).
$$

因此：

$$
\boxed{
\text{discovery order}
\neq
\text{mathematical order}
}
$$

---

## 20. Existence certificate 與 minimality certificate

這給出兩種完全不同的證書。

### Existence Certificate

給定：

$$
P_\ast
$$

並 exact 驗證：

$$
F(P_\ast)=0.
$$

這足以證明：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing.
$$

### Minimality Certificate

還需要證明：

$$
\forall P\in\mathcal P_{\mathrm{can}},
$$

若：

$$
g(P)<g(P_\ast),
$$

則矛盾。

所以：

$$
\boxed{
\text{Existence}
}
$$

比：

$$
\boxed{
\text{Minimality}
}
$$

通常容易得多。

---

## 21. 找到第一個 witness 時，猜想已經解決

這裡需要明確區分研究目標。

如果找到任何一個：

$$
P\in\mathcal P_{\mathrm{can}},
$$

則 Perfect Cuboid existence question 已經結束。

不需要先證明它最小。

也就是：

$$
\boxed{
\exists P
}
$$

和：

$$
\boxed{
P=P_{\min}
}
$$

是兩個不同 theorem。

所以如果某個巨大 candidate exact PASS，

應立即將：

$$
\text{existence theorem}
$$

與：

$$
\text{minimality program}
$$

分開。

---

## 22. 第一顯現的兩種含義

本文因此區分：

### Weak First Manifestation

人類或演算法首次找到並認證的一個 primitive Perfect Cuboid。

這是一個歷史／計算事件。

### Strong First Manifestation

在預先指定 height：

$$
H
$$

下真正的最小 canonical primitive Perfect Cuboid。

這是一個數學 ordering 問題。

所以：

$$
\boxed{
\text{first discovered}
\neq
\text{first ordered}
}
$$

---

## 23. 如果第一個 witness 很大，minimality 可能遠比 existence 困難

假設第一次 exact 找到：

$$
g_\ast\approx10^{1000}.
$$

那要證明它是：

$$
g
$$

-minimal，

需要排除：

$$
1\le g<g_\ast.
$$

即使有強篩法，

這也可能是極大計算問題。

所以正式發表時可以先得到：

$$
\text{Existence: PROVED},
$$

而：

$$
\text{Minimality: OPEN}.
$$

完全沒有矛盾。

---

## 24. 搜尋下界不是最小性證明，除非範圍完備

假設某程式搜尋到：

$$
g\le H_0
$$

沒有解。

如果搜尋演算法經證明：

- 枚舉了所有 canonical primitive candidates；
- 沒有漏掉任何 equivalence class；
- exact arithmetic；
- 範圍定義清楚；

才可以得到：

$$
\boxed{
g_{\min}>H_0
}
$$

這是一個合法 lower bound。

如果只是 heuristic search 沒找到，

不能得到同樣結論。

所以需要區分：

$$
\boxed{
\text{search absence}
}
$$

與：

$$
\boxed{
\text{certified exclusion}
}
$$

---

## 25. Certified lower bound

定義：

$$
L_g
$$

為已證排除高度。

若：

$$
\forall P\in\mathcal P_{\mathrm{can}},
\quad
g(P)>L_g,
$$

則：

$$
L_g
$$

是 certified lower bound。

若又找到：

$$
P_\ast
$$

使：

$$
g(P_\ast)=L_g+1,
$$

則立即得到：

$$
g_{\min}=L_g+1.
$$

更一般地，

若已排除：

$$
g<g_\ast
$$

且：

$$
P_\ast
$$

存在，

則：

$$
P_\ast
$$

在：

$$
g
$$

-ordering 下是最小解。

---

## 26. Height interval

在 discovery 尚未證明 minimality 時，

可以維護：

$$
L_g<g_{\min}\le U_g,
$$

其中：

$$
L_g
$$

是 certified lower bound，

$$
U_g
$$

來自目前最小已知 exact witness。

所以：

$$
\boxed{
g_{\min}\in(L_g,U_g]
}
$$

形成一個可逐步縮小的 arithmetic search interval。

如果：

$$
L_g=U_g-1,
$$

則 minimality 完成。

---

## 27. First manifestation 與 radix representation

第 4 篇建立了：

$$
\mathcal O_B.
$$

一個 primitive solution：

$$
P
$$

本身是整數，

所以在任何：

$$
B
$$

中都具有有限 representation。

因此 primitive integer first manifestation 不依賴 radix 而存在。

但是其 digit complexity：

$$
L_B(P)
$$

高度依賴：

$$
B.
$$

所以可以額外問：

> 哪個 radix 下第一 primitive cuboid 最簡潔？

這是 representation question，

不是 existence question。

---

## 28. Radix-minimality 不等於 arithmetic minimality

例如可以定義：

$$
H_B(P)=L_B(P).
$$

那麼：

$$
\arg\min H_B
$$

可能與：

$$
\arg\min g
$$

完全不同。

某個數值很大的解，

若剛好在某個：

$$
B
$$

下具有非常短的 digit pattern，

可能 representation complexity 很低。

因此：

$$
\boxed{
\text{numerical height}
\neq
\text{representation height}
}
$$

需要分開研究。

---

## 29. Primitive height 與 shape complexity

對 normalized shape：

$$
Q=[P],
$$

可以定義其 primitive height：

$$
H_{\mathrm{prim}}(Q)
=
g(P),
$$

其中：

$$
P
$$

是：

$$
Q
$$

唯一 canonical primitive integer representative。

這樣：

$$
H_{\mathrm{prim}}
$$

成為 rational shape class 上的 arithmetic complexity。

也就是：

$$
\boxed{
\text{shape}
\rightarrow
\text{minimum integer realization scale}
}
$$

---

## 30. 這個 height 可以非常大

兩個在 Euclidean shape space 中非常接近的 rational points，

其 primitive height 可以差非常多。

例如：

$$
Q_1\approx Q_2
$$

不表示：

$$
H_{\mathrm{prim}}(Q_1)
\approx
H_{\mathrm{prim}}(Q_2).
$$

因為 rational denominator 可能劇烈改變。

這是 arithmetic geometry 與 ordinary geometry 的重要分離。

所以：

$$
\boxed{
\text{geometric nearness}
\not\Rightarrow
\text{arithmetic nearness}
}
$$

---

## 31. First-manifestation landscape

在 rational shape points 上，

可以想像一個函數：

$$
H_{\mathrm{prim}}:
\mathcal S_{\mathbb Q}
\rightarrow
\mathbb Z_{>0}.
$$

如果：

$$
\mathcal S_{\mathbb Q}\neq\varnothing,
$$

則：

$$
H_{\mathrm{prim}}
$$

形成一個高度崎嶇的 arithmetic landscape。

第一顯現問題就是：

$$
\boxed{
\min_{Q\in\mathcal S_{\mathbb Q}}
H_{\mathrm{prim}}(Q)
}
$$

這和在實數 shape space 中最小化一個 smooth function 完全不同。

---

## 32. Primitive shape 的 denominator profile

對：

$$
Q=
\left(
\frac ag,
\frac bg,
\frac cg
\right)
$$

定義 reduced denominators：

$$
q_a,
q_b,q_c.
$$

可形成 denominator profile：

$$
\mathcal D(Q)
=
(q_a,q_b,q_c).
$$

進一步看 prime valuations：

$$
v_p(q_a),
$$

$$
v_p(q_b),
$$

$$
v_p(q_c).
$$

這些量可能與：

$$
H_{\mathrm{prim}}(Q)
$$

有強關係。

因此第 4 篇的 radix / prime-support observation 可以直接服務第一顯現搜尋。

---

## 33. Primitive solution 的 prime signature

對：

$$
P=(a,b,c,d,e,f,g),
$$

定義所有分量的 prime-support：

$$
\Pi(P)
=
\bigcup_{x\in P}
\{p:p\mid x\}.
$$

也可以保存 valuation matrix：

$$
V(P)
=
\left(
v_p(a),v_p(b),\ldots,v_p(g)
\right)_p.
$$

第一個 solution 若存在，

其 valuation profile 可能非常特殊。

但：

$$
\boxed{
\text{smallest }g
}
$$

不必對應：

$$
\boxed{
\text{simplest prime factorization}
}
$$

所以 prime signature 是 side observable，

不是 canonical first ordering。

---

## 34. Symmetry case

若：

$$
a=b,
$$

則：

$$
d^2=2a^2.
$$

若：

$$
a,d\in\mathbb Z_{>0},
$$

則要求：

$$
d=a\sqrt2,
$$

不可能為整數。

所以 primitive Perfect Cuboid 必須滿足：

$$
a\neq b.
$$

同理：

$$
a\neq c,
$$

$$
b\neq c.
$$

在 canonical ordering 下：

$$
\boxed{
a<b<c.
}
$$

因此真正 Perfect Cuboid 不可能落在：

$$
S_3
$$

對稱邊界。

這使 canonical fundamental domain 可進一步取 interior：

$$
a<b<c.
$$

---

## 35. 對角線也嚴格有序

由：

$$
a<b<c,
$$

得到：

$$
a^2+b^2
<
a^2+c^2
<
b^2+c^2.
$$

所以：

$$
d<e<f.
$$

且：

$$
f<g.
$$

因此任何 nondegenerate integer Perfect Cuboid canonical tuple 必須滿足：

$$
\boxed{
a<b<c<g,
\qquad
d<e<f<g.
}
$$

注意：

$$
c
$$

與：

$$
d
$$

之間不一定有固定大小順序。

所以不能把所有七個量簡單全排序。

---

## 36. Necessary canonical inequalities

可直接加入 verifier：

$$
0<a<b<c,
$$

$$
0<d<e<f<g.
$$

這些不是完整充分條件，

但可快速排除 permutation duplicates 與對稱退化。

此外：

$$
d>b,
$$

$$
e>c,
$$

$$
f>c,
$$

因為每個面對角線大於相應邊。

這些 inequality 可以形成第一顯現搜尋器的 cheap filters。

---

## 37. Ratio bounds

由：

$$
g^2=a^2+b^2+c^2
$$

和：

$$
a<b<c,
$$

可得：

$$
c^2<g^2<3c^2.
$$

因此：

$$
\boxed{
1<\frac gc<\sqrt3.
}
$$

又因：

$$
f^2=b^2+c^2,
$$

有：

$$
c<f<\sqrt2\,c.
$$

這些基本比例界雖然不解題，

但可用於：

- normalization consistency；
- candidate sanity check；
- height conversion。

---

## 38. $g$-height 與 $c$-height 的粗比較

因：

$$
c<g<\sqrt3\,c,
$$

所以：

$$
H_c(P)<H_g(P)<\sqrt3\,H_c(P).
$$

因此如果已經有：

$$
c>L_c,
$$

可以得到：

$$
g>L_c.
$$

反方向，

若：

$$
g\le U_g,
$$

則：

$$
c<U_g.
$$

不同 height bounds 可以相互轉換，

但不能完全取代彼此。

---

## 39. First-manifestation search space

固定：

$$
g=G.
$$

則：

$$
a^2+b^2+c^2=G^2.
$$

因此：

$$
(a,b,c)
$$

位於半徑：

$$
G
$$

的整數三維球面上。

還要求：

$$
a^2+b^2,
$$

$$
a^2+c^2,
$$

$$
b^2+c^2
$$

全部為平方。

所以對固定：

$$
G,
$$

第一顯現搜尋可以分為：

1. 枚舉整數 sphere points；
2. canonicalize：
   $$
   a<b<c;
   $$
3. 檢查三個 pairwise square conditions。

這是一個完全 exact 的 finite problem。

因此要證明：

$$
g_{\min}>G_0,
$$

理論上可對所有：

$$
1\le G\le G_0
$$

完成 exhaustive exact exclusion。

實際計算成本則是另一回事。

---

## 40. 固定 $g$ 的 sphere-shell view

對每個：

$$
G,
$$

定義：

$$
\mathcal L_G
=
\left\{
(a,b,c)\in\mathbb Z_{>0}^{3}
:
a<b<c,
\;
a^2+b^2+c^2=G^2
\right\}.
$$

Perfect Cuboid candidates 是：

$$
\mathcal C_G
=
\left\{
(a,b,c)\in\mathcal L_G:
a^2+b^2,
a^2+c^2,
b^2+c^2
\text{皆為平方}
\right\}.
$$

所以：

$$
\mathcal C_G\neq\varnothing
$$

當且僅當高度：

$$
G
$$

存在 canonical primitive candidate，經 primitive check 後可確定是否為新 shape。

第一個：

$$
G
$$

使：

$$
\mathcal C_G\neq\varnothing
$$

就是：

$$
g_{\min}.
$$

---

## 41. Primitive check 在固定 shell 中仍不可省略

即使：

$$
(a,b,c,d,e,f,g)
$$

滿足全部方程，

也可能：

$$
\gcd(P)>1.
$$

那它只是某個更小 primitive solution 的倍數。

所以在：

$$
\mathcal C_G
$$

中仍要做：

$$
\gcd(P)=1.
$$

如果：

$$
h>1,
$$

那真正 primitive height 是：

$$
\frac Gh.
$$

因此如果按：

$$
G
$$

由小到大遍歷，

非 primitive hit 不會是 first primitive manifestation。

---

## 42. 用 primitive-only parameterization 可以避免 scale duplicates

另一種方法是提前要求：

$$
\gcd(a,b,c)=1
$$

是否足夠？

若：

$$
\gcd(a,b,c)=1,
$$

那麼整個七元組的 gcd 必然也是：

$$
1.
$$

因為任何整除：

$$
a,b,c,d,e,f,g
$$

的數當然整除：

$$
a,b,c.
$$

所以：

$$
\boxed{
\gcd(a,b,c)=1
\Rightarrow
\gcd(P)=1.
}
$$

反過來，

如果整個 tuple primitive，

則：

$$
\gcd(a,b,c)=1
$$

也必須成立。

因此對 Perfect Cuboid：

$$
\boxed{
\gcd(P)=1
\iff
\gcd(a,b,c)=1.
}
$$

所以 primitive check 可只檢查三條邊。

---

## 43. 這使 minimal certificate 更小

因此一個 canonical primitive certificate 其實可以只保存：

$$
(a,b,c)
$$

並要求：

$$
a<b<c,
$$

$$
\gcd(a,b,c)=1.
$$

然後計算：

$$
d^2=a^2+b^2,
$$

$$
e^2=a^2+c^2,
$$

$$
f^2=b^2+c^2,
$$

$$
g^2=a^2+b^2+c^2.
$$

四個右側皆須為 perfect squares。

這就是：

$$
\boxed{
\text{Minimal Primitive Certificate}
=
(a,b,c).
}
$$

---

## 44. 第一顯現可以完全用三元組 ordering

因此可以直接定義：

$$
\mathcal E
=
\left\{
(a,b,c)\in\mathbb Z_{>0}^{3}
:
a<b<c,
\;
\gcd(a,b,c)=1,
\;
a^2+b^2,
a^2+c^2,
b^2+c^2,
a^2+b^2+c^2
\in\mathbb Z^2
\right\}.
$$

其中：

$$
\mathbb Z^2
=
\{n^2:n\in\mathbb Z\}.
$$

Perfect Cuboid existence 等價於：

$$
\boxed{
\mathcal E\neq\varnothing.
}
$$

而：

$$
g(a,b,c)
=
\sqrt{a^2+b^2+c^2}
$$

在：

$$
\mathcal E
$$

上是正整數。

所以 first manifestation：

$$
P_{\min}
$$

可以完全由：

$$
\min_{(a,b,c)\in\mathcal E}g(a,b,c)
$$

定義。

---

## 45. Rational version 的三元組集合

normalized rational shape 可寫：

$$
\mathcal E_{\mathbb Q}
=
\left\{
(x,y,z)\in\mathbb Q_{>0}^{3}
:
x<y<z,
\;
x^2+y^2+z^2=1,
\;
x^2+y^2,
x^2+z^2,
y^2+z^2
\in\mathbb Q^2
\right\}.
$$

則：

$$
\mathcal E\neq\varnothing
\iff
\mathcal E_{\mathbb Q}\neq\varnothing.
$$

每個：

$$
Q\in\mathcal E_{\mathbb Q}
$$

都有唯一 primitive integer representative：

$$
\operatorname{Prim}(Q)\in\mathcal E.
$$

因此可定義：

$$
H_{\mathrm{prim}}(Q)
=
g(\operatorname{Prim}(Q)).
$$

第一顯現就是：

$$
\boxed{
\min_{Q\in\mathcal E_{\mathbb Q}}
H_{\mathrm{prim}}(Q).
}
$$

---

## 46. 第一顯現與 constraint trajectory

第 3 篇產生 continuous trajectory：

$$
X_0\rightarrow X_1\rightarrow\cdots.
$$

第 5 篇把某些：

$$
X_n
$$

重建成：

$$
Q_n\in\mathbb Q^3.
$$

若：

$$
Q_n\in\mathcal E_{\mathbb Q},
$$

就得到：

$$
P_n=\operatorname{Prim}(Q_n).
$$

因此搜尋器可以維護：

$$
U_g
=
\min_n g(P_n)
$$

作為目前 best known exact upper bound。

每找到一個更小 primitive witness，

就更新：

$$
U_g.
$$

---

## 47. Minimality feedback 可以反向限制生成器

如果目前：

$$
U_g
$$

已知，

則任何 candidate shape：

$$
Q
$$

若 reconstruction 後 primitive height：

$$
H_{\mathrm{prim}}(Q)\ge U_g,
$$

它雖然可能是新解，

但不會改善 first-manifestation upper bound。

因此若研究目標切換到「找最小」，

可以給搜尋器加入：

$$
H_{\mathrm{prim}}
$$

pressure。

但若研究目標是「找更多 shapes」，

就不應使用這個偏壓。

所以：

$$
\boxed{
\text{existence mode}
\neq
\text{minimality mode}
\neq
\text{enumeration mode}.
}
$$

---

## 48. 三種搜尋模式

### Mode E：Existence

目標：

$$
\exists P.
$$

任何 exact primitive solution 都成功。

### Mode M：Minimality

已知至少一個 solution，

目標：

$$
\min g(P).
$$

需要 upper bound 與 exhaustive lower exclusion。

### Mode X：Expansion

不再特別偏好小：

$$
g.
$$

目標是發現更多 inequivalent primitive shapes，

研究 solution-space structure。

第 7 篇開始主要進入：

$$
\boxed{
\text{Mode X}
}
$$

---

## 49. 找到最小解不代表找到了生成規律

即使未來完成：

$$
P_{\min},
$$

我們仍然不知道：

- 是否只有有限多 primitive shapes；
- 是否有無限多；
- 是否存在一參數 family；
- 是否有 solution-preserving map；
- 解的 height distribution；
- 不同 radix 下是否有共同 pattern；
- primitive 解是否形成多個 disconnected arithmetic families。

所以：

$$
\boxed{
\text{minimum}
}
$$

只是一個 boundary fact。

它不是 solution-space theory。

---

## 50. 「無限多解」要嚴格說是哪一種

如果存在一個 primitive solution：

$$
P,
$$

則：

$$
kP
$$

給出無限多 raw integer solutions。

所以：

$$
\boxed{
\text{raw integer solutions infinite}
}
$$

是條件式立即成立的。

但是：

$$
\boxed{
\text{primitive solution classes infinite}
}
$$

完全是另一個問題。

可能：

$$
|\mathcal P_{\mathrm{can}}|=1,
$$

也可能有限大於：

$$
1,
$$

也可能無限。

因此第 7 篇將不再使用含糊的「無限多解」，

而明確區分：

$$
\text{scaling infinity}
$$

與：

$$
\text{shape infinity}.
$$

---

## 51. 第一顯現與算術自由度的分界

第一顯現問題只問：

$$
\min H(P).
$$

算術自由度問題則問：

$$
\mathcal P_{\mathrm{can}}
$$

整體有多大。

兩者邏輯上獨立。

即使：

$$
P_{\min}
$$

非常巨大，

也可能其後解極為密集。

反過來，

即使：

$$
P_{\min}
$$

很小，

也可能它是唯一 primitive shape。

所以：

$$
\boxed{
\text{first height}
\not\Rightarrow
\text{solution density}.
}
$$

---

## 52. Height counting function 的預告

第 7、8 篇將使用：

$$
N_g(H)
=
\#\left\{
P\in\mathcal P_{\mathrm{can}}
:
g(P)\le H
\right\}.
$$

如果：

$$
\mathcal P_{\mathrm{can}}=\varnothing,
$$

則：

$$
N_g(H)=0
$$

對所有：

$$
H.
$$

如果第一個解存在，

則：

$$
N_g(H)=0
$$

對：

$$
H<g_{\min},
$$

且：

$$
N_g(g_{\min})\ge1.
$$

之後：

$$
N_g(H)
$$

如何增長，

就是第二次展開的核心。

---

## 53. First manifestation 對 counting function 的作用

若：

$$
g_{\min}
$$

存在，

那它只是：

$$
N_g(H)
$$

第一次從：

$$
0
$$

跳到正值的位置。

即：

$$
\boxed{
g_{\min}
=
\min\{H:N_g(H)>0\}.
}
$$

這提供一個非常乾淨的統一表述。

第 6 篇研究的是：

$$
\text{first jump}.
$$

第 8 篇研究的是：

$$
\text{growth after the first jump}.
$$

---

## 54. 第一顯現作為相變點的有限含義

如果用「顯現」語言，

可以把：

$$
H
$$

視為 integer realization scale。

在：

$$
H<g_{\min}
$$

時：

$$
N_g(H)=0.
$$

到：

$$
H=g_{\min}
$$

時：

$$
N_g(H)>0.
$$

所以：

$$
g_{\min}
$$

是 primitive arithmetic realization 的第一個 threshold。

但這只是離散 counting threshold，

不應與物理相變做過度等同。

本文將其稱為：

$$
\boxed{
\text{first arithmetic manifestation threshold}
}
$$

---

## 55. 搜尋策略的順序應改變

在 existence 尚未解決前：

1. 優先找任意 exact witness；
2. 不必先追求最小；
3. 保存目前最小 upper bound；
4. 同時累積 certified lower bounds。

一旦第一個 witness 出現：

1. existence branch 結束；
2. minimality branch 繼續；
3. expansion branch 立即啟動。

也就是：

$$
\boxed{
\text{one discovery}
\rightarrow
\text{research tree bifurcation}.
}
$$

---

## 56. 第一個 witness 的 publication package

若真的出現：

$$
P_\ast,
$$

最小發表包應包括：

### A. Canonical primitive tuple

$$
(a,b,c,d,e,f,g).
$$

### B. Exact identities

四條平方等式。

### C. Primitive proof

$$
\gcd(a,b,c)=1.
$$

### D. Canonical ordering

$$
a<b<c.
$$

### E. Independent verifier

至少第二套 exact implementation。

### F. Reproducible source

保存原始 integer tuple 與 verifier source。

不需要先包含 minimality claim。

---

## 57. 如果要聲稱「最小」，還需要什麼？

額外需要：

### G. Height definition

例如：

$$
H_g(P)=g.
$$

### H. Complete exclusion range

證明所有：

$$
g<g_\ast
$$

不存在 primitive solution。

### I. Search completeness proof

說明枚舉或篩選沒有漏掉合法 class。

### J. Exact exclusion verification

所有 pruning rule 必須被證明是必要條件。

只有這四項完成，

才能從：

$$
\text{a solution}
$$

升級成：

$$
\text{the minimal solution under }H_g.
$$

---

## 58. Heuristic pruning 與 proof-safe pruning

對 minimality 搜尋，

每個 pruning rule 應標註：

### Proof-safe

若規則排除某 candidate，

可以數學證明它不可能是解。

### Heuristic-only

只表示 candidate 不值得優先探索，

但不能用於 minimality exclusion。

如果要建立 certified lower bound：

$$
L_g,
$$

只能使用：

$$
\boxed{
\text{proof-safe pruning}
}
$$

或完整枚舉。

---

## 59. Radix pruning 必須滿足同樣標準

第 4 篇的 carry / residue pattern 可以大幅 pruning。

但若要用來證明：

$$
g_{\min}>H,
$$

每個 radix obstruction 都必須證明：

$$
\text{candidate violates necessary condition}
\Rightarrow
\text{candidate impossible}.
$$

不能因某 branch 在有限 precision 看起來不穩定就排除。

因此：

$$
\boxed{
\text{radix heuristic}
}
$$

與：

$$
\boxed{
\text{radix theorem}
}
$$

必須分開。

---

## 60. Constraint generator 在 minimality 中的角色

constraint generator 不適合單獨證明 lower bound，

因為它不保證覆蓋所有 shapes。

但它非常適合提供：

$$
U_g.
$$

也就是：

> 找到更小的 exact witness。

所以 architecture 可以自然分工：

### Generative side

不停降低：

$$
U_g.
$$

### Exhaustive / proof side

不停提高：

$$
L_g.
$$

最後如果：

$$
L_g+1=U_g,
$$

兩邊閉合。

這是一個非常清楚的雙向夾逼架構。

---

## 61. Lower–upper closure

維護：

$$
L_g<U_g.
$$

生成器做：

$$
U_g\downarrow.
$$

證明型搜尋做：

$$
L_g\uparrow.
$$

最終：

$$
L_g+1=U_g.
$$

則：

$$
\boxed{
g_{\min}=U_g.
}
$$

這可以叫做：

$$
\boxed{
\text{First-Manifestation Interval Closure}
}
$$

---

## 62. 如果永遠找不到 witness

若只有：

$$
L_g\rightarrow\infty
$$

的證明序列，

但始終沒有：

$$
U_g,
$$

也不能在有限階段直接宣稱不存在。

除非能得到一個 uniform theorem：

$$
\forall g,
$$

都不可能。

所以：

$$
\boxed{
\text{unbounded sequence of finite exclusions}
}
$$

與：

$$
\boxed{
\text{global nonexistence proof}
}
$$

仍然不同。

---

## 63. 如果找到 witness，存在性不需要任何外推

相反地，

只要一個：

$$
P_\ast
$$

exact PASS，

就立即有：

$$
\exists P.
$$

沒有 asymptotic argument。

沒有 probabilistic extrapolation。

沒有：

$$
H\rightarrow\infty.
$$

所以存在命題對 witness 非常友善。

這是為什麼第 5 篇把 exact verifier 做得這麼重要。

---

## 64. 第一顯現的 canonical database key

每個 primitive shape 可以只使用：

$$
(a,b,c)
$$

作 key，

並 canonical：

$$
a<b<c.
$$

例如：

```text
PC:a:b:c
```

完整資料則派生：

$$
d,
e,
f,
g.
$$

這樣 scaling copies 自動不會重複。

如果未來得到大量解，

第 7、8 篇的 counting database 可以直接以：

$$
(a,b,c)
$$

索引。

---

## 65. Minimality under alternative heights 可以並存

即使：

$$
P_g
$$

是最小：

$$
g,
$$

仍可另外定義：

$$
P_c
$$

為最小：

$$
c,
$$

$$
P_V
$$

為最小：

$$
abc,
$$

$$
P_S
$$

為最小：

$$
ab+ac+bc.
$$

它們可能相同，

也可能不同。

所以如果未來存在多個 primitive shapes，

「最小 Perfect Cuboid」最好永遠附帶：

$$
\boxed{
\text{with respect to which height?}
}
$$

本文建議預設使用：

$$
H_g=g.
$$

---

## 66. 為什麼預設 $g$ 最乾淨

原因包括：

1. $$g$$ 是七個量中唯一必然最大的；
2. $$g$$ 是整體三維尺度的自然幾何量；
3. 固定 $$g$$ 時 candidate 落在 integer sphere shell；
4. $$g$$ 為正整數；
5. 與 normalized gauge $$g=1$$ 完美對應；
6. counting function：
   $$
   N_g(H)
   $$
   定義自然。

因此本系列後續若未特別聲明，

「height」預設：

$$
\boxed{
H(P)=g.
}
$$

---

## 67. 從 $g=1$ world 到 $g=g_{\min}$ manifestation

第 2 篇把所有 shapes 壓到：

$$
g=1.
$$

第 6 篇則重新問：

> 某個 rational shape 要乘多大，才能第一次變成 primitive integer world？

對：

$$
Q\in\mathcal E_{\mathbb Q},
$$

定義：

$$
\lambda_{\mathrm{prim}}(Q)
$$

為使：

$$
\lambda Q
$$

成為 primitive integer tuple 的唯一正比例尺度。

在：

$$
g(Q)=1
$$

下，

primitive space diagonal 即：

$$
g(\operatorname{Prim}(Q))
=
\lambda_{\mathrm{prim}}(Q).
$$

因此：

$$
\boxed{
H_{\mathrm{prim}}(Q)
=
\lambda_{\mathrm{prim}}(Q)
}
$$

在：

$$
g=1
$$

gauge 中有非常直接的意義：

> 它就是這個 shape 第一次整數顯現所需的放大倍率。

---

## 68. 這把「放大展開」精確化了

對 rational shape：

$$
Q,
$$

從：

$$
g=1
$$

開始，

取：

$$
\lambda_{\mathrm{prim}}(Q)
$$

後：

$$
\lambda_{\mathrm{prim}}(Q)Q
$$

成為 primitive integer solution。

所以：

$$
\boxed{
\text{first manifestation scale}
=
\text{primitive scaling factor}
}
$$

這和本系列一開始的直覺完全一致：

> 先在 normalized world 找到 exact shape，再放大到其第一次整數顯影。

---

## 69. First-manifestation scale 是 shape invariant

如果：

$$
Q'
=
\mu Q
$$

只是同一 shape 的另一個 rational scale，

primitive reduction 最終仍回到同一：

$$
P.
$$

因此：

$$
H_{\mathrm{prim}}
$$

本質上是 shape-class invariant，

只是在：

$$
g=1
$$

gauge 下最容易讀成 scale factor。

---

## 70. 一旦有第一個解，下一個問題不是「再放大」

因為：

$$
2P_{\min},
3P_{\min},\ldots
$$

都只是同一 shape。

真正下一步是找：

$$
Q\not\sim P_{\min}
$$

且：

$$
F(Q)=0.
$$

也就是新的 primitive shape class。

因此：

$$
\boxed{
\text{first manifestation}
}
$$

之後，

研究焦點立即從：

$$
\text{scale}
$$

轉向：

$$
\text{shape multiplicity}.
$$

---

## 71. 第二次展開的入口

假設：

$$
P_1
$$

是第一個 primitive shape。

接著定義：

$$
\mathcal T(P_1)
$$

如果存在某種 solution-preserving transformation：

$$
F(P)=0
\Rightarrow
F(\mathcal T(P))=0,
$$

且：

$$
\mathcal T(P)\not\sim P,
$$

那麼：

$$
P_1
\rightarrow
P_2
\rightarrow
P_3
\rightarrow\cdots
$$

可能展開一整個 arithmetic family。

這正是第 7 篇要研究的核心。

---

## 72. 本篇的核心邏輯鏈

如果：

$$
\mathcal E_{\mathbb Q}\neq\varnothing,
$$

則：

$$
\mathcal E\neq\varnothing.
$$

若：

$$
\mathcal E\neq\varnothing,
$$

則由良序性：

$$
\exists g_{\min}.
$$

所以：

$$
\boxed{
\mathcal E_{\mathbb Q}\neq\varnothing
\Rightarrow
\exists\text{ canonical first primitive manifestation}.
}
$$

但目前真正未知的仍是第一個 antecedent：

$$
\boxed{
\mathcal E_{\mathbb Q}\overset{?}{\neq}\varnothing.
}
$$

本系列不把條件式推論誤寫成存在證明。

---

## 73. 本篇正式定義

### 定義 1：Primitive Perfect Cuboid

$$
P=(a,b,c,d,e,f,g)\in\mathbb Z_{>0}^{7}
$$

滿足：

$$
F(P)=0
$$

且：

$$
\gcd(a,b,c)=1.
$$

### 定義 2：Canonical Primitive Perfect Cuboid

除 Definition 1 外再要求：

$$
a<b<c.
$$

### 定義 3：Default Height

$$
H(P)=g.
$$

### 定義 4：First Manifestation

若：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing,
$$

則：

$$
P_{\min}
\in
\operatorname*{arg\,min}_{P\in\mathcal P_{\mathrm{can}}}
g(P),
$$

再使用 lexicographic tie-break 取得唯一 tuple。

### 定義 5：First-Manifestation Scale

對：

$$
g=1
$$

normalized rational shape：

$$
Q,
$$

定義：

$$
\lambda_{\mathrm{prim}}(Q)
=
g(\operatorname{Prim}(Q)).
$$

---

## 74. 本篇得到的條件式定理

### 定理 A：Primitive Representative Uniqueness

每一個 rational Perfect Cuboid shape class 至多有一個 canonical primitive integer representative。

### 定理 B：First Manifestation Existence under Nonemptiness

若：

$$
\mathcal P_{\mathrm{can}}\neq\varnothing,
$$

則：

$$
g
$$

-height 下存在最小 canonical primitive solution。

### 定理 C：Maximum-Coordinate Equivalence

對任何 Perfect Cuboid：

$$
\max(a,b,c,d,e,f,g)=g.
$$

因此：

$$
H_{\max}=H_g.
$$

### 定理 D：Strict Edge Asymmetry

任何正整數 Perfect Cuboid 必有：

$$
a,b,c
$$

兩兩不同。

canonical ordering 下：

$$
a<b<c.
$$

### 定理 E：Existence / Minimality Separation

一個 exact primitive witness 足以證明存在，但不足以證明 minimality。

---

## 75. 第一顯現研究的 MVP

如果未來第 5 篇 pipeline 產生 exact witness：

$$
P_\ast,
$$

立刻執行：

### Step 1

canonicalize：

$$
a<b<c.
$$

### Step 2

primitive reduction：

$$
\gcd(a,b,c)=1.
$$

### Step 3

記錄：

$$
U_g=g(P_\ast).
$$

### Step 4

與既有 certified：

$$
L_g
$$

比較。

### Step 5

若：

$$
L_g+1=U_g,
$$

minimality PASS。

否則：

$$
\text{Existence PASS},
$$

$$
\text{Minimality OPEN}.
$$

這個狀態必須清楚分開。

---

## 76. 如果一次找到多個 exact solutions

全部 canonicalize：

$$
P_1,\ldots,P_n.
$$

去除 duplicates 後，

計算：

$$
U_g
=
\min_i g(P_i).
$$

其餘 solution 不應丟棄。

因為它們立刻成為第 7 篇 arithmetic freedom 的初始資料。

尤其可以研究：

$$
P_i
\rightarrow P_j
$$

之間是否存在：

- rational map；
- recurrence；
- shared parameter；
- shared prime signature；
- shared radix pattern。

---

## 77. 第一顯現不應成為過度偏壓

如果生成器只追求：

$$
g
$$

最小，

可能錯過大量較大但更容易顯現的 exact solutions。

所以存在性尚未解決時，

最合理策略可能是：

$$
\boxed{
\text{先求任意 witness}
}
$$

而不是：

$$
\boxed{
\text{先求最小 witness}.
}
$$

一旦任意 witness 存在，

才能用它建立：

$$
U_g.
$$

---

## 78. 發現後再向下壓

這產生一個很自然的策略：

### Phase E

先找：

$$
P_0.
$$

### Phase M1

設定：

$$
U_g=g(P_0).
$$

### Phase M2

搜索：

$$
g<U_g.
$$

若找到：

$$
P_1,
$$

則：

$$
U_g\leftarrow g(P_1).
$$

反覆：

$$
U_g^{(0)}
>
U_g^{(1)}
>
U_g^{(2)}
>\cdots.
$$

因：

$$
U_g
$$

為正整數，

嚴格下降鏈必然有限。

所以如果每一步都能找到更小解直到不能再降低，

剩下的難點只是：

> 如何證明最後「不能再降低」是真的，而不是搜尋器沒找到？

這仍需要 certified lower exclusion。

---

## 79. Descent 與 minimality 的不同

上述：

$$
U_g\downarrow
$$

是搜尋策略，

不等於數學 infinite descent proof。

真正的 infinite descent 需要一個 theorem：

$$
P\mapsto P'
$$

使每一個 solution 都能產生：

$$
g(P')<g(P).
$$

如果存在，

那會直接推出不存在任何 solution。

但目前本文只討論：

> 已知某些 witnesses 時，嘗試找到更小 witnesses。

兩者不可混淆。

---

## 80. 結論

本文完成了從 exact rational closure 到 first primitive manifestation 的正式橋接。

Perfect Cuboid 一旦存在，

raw integer solutions 因 scaling 自動無限：

$$
P,2P,3P,\ldots.
$$

所以真正有意義的基本物件是：

$$
\boxed{
\text{canonical primitive shape}
}
$$

其定義可以壓縮為三條邊：

$$
(a,b,c)\in\mathbb Z_{>0}^{3},
$$

滿足：

$$
a<b<c,
$$

$$
\gcd(a,b,c)=1,
$$

以及：

$$
a^2+b^2,
$$

$$
a^2+c^2,
$$

$$
b^2+c^2,
$$

$$
a^2+b^2+c^2
$$

全部為整數平方。

本系列預設 height 為：

$$
\boxed{
H(P)=g.
}
$$

因為：

$$
g
$$

必然是七個分量中的最大值。

若 canonical primitive solution space 非空，

正整數的良序性保證：

$$
\boxed{
g_{\min}
}
$$

必然存在。

但：

$$
\boxed{
\text{找到一個 solution}
\neq
\text{證明它是最小 solution}.
}
$$

因此第一顯現研究必須拆為：

$$
\boxed{
\text{Existence Certificate}
}
$$

與：

$$
\boxed{
\text{Minimality Certificate}.
}
$$

在 normalized：

$$
g=1
$$

world 中，

每一個 rational Perfect Cuboid shape：

$$
Q
$$

都有唯一 primitive scaling：

$$
\lambda_{\mathrm{prim}}(Q),
$$

使：

$$
\lambda_{\mathrm{prim}}(Q)Q
$$

成為 canonical primitive integer realization。

因此：

$$
\boxed{
\text{first manifestation scale}
=
\text{primitive integer realization scale}.
}
$$

如果第一個 exact witness 未來出現，

Perfect Cuboid existence question 就已經完成。

而真正更大的研究才會開始：

> 除了這一個 shape，還有多少個？

> 是否存在解保持轉換？

> primitive shapes 是有限、可數稀疏、曲線族，還是具有更高的 arithmetic freedom？

這就是下一篇：

# 第一個解之後：Perfect Cuboid 的算術自由度

所要進入的第二階段。

---

## 系列目錄

1. **重新表述完美長方體：它不是首先一個整數搜尋問題**
2. **連續世界與尺度商空間：Perfect Cuboid 的拓樸起點**
3. **共同初態與約束誘導分化**
4. **進位制是觀察算子：Radix–Carry Global Closure**
5. **從浮點近似到精確有理閉合**
6. **第一顯現問題：從有理解到最小 Primitive Cuboid**
7. **第一個解之後：Perfect Cuboid 的算術自由度**
8. **解空間的上下界與第二次展開**

---

**End of Paper 06**