# 完美長方體的軌跡資訊自由度驗證方法論

**English title:** Trajectory-Information Freedom Verification for the Perfect Cuboid  
**Status:** Methodology Draft / Research Note  
**Version:** v0.1  
**Date:** 2026-10-06  
**Author / Research Context:** Neo.K / EveMissLab  

---

## 摘要

本文提出一種用於完美長方體研究的候選驗證方法：**軌跡資訊自由度驗證**（Trajectory-Information Freedom Verification, TIFV）。其目的不是再加入一條與既有畢氏關係同構的代數等式，也不是直接取代既有的橢圓曲線、cover sieve、square-value gate 或整數平方閉合分析，而是建立一條與局部算術條件不同來源的**全域幾何驗證路徑**。

核心思想如下：若一個候選長方體真的滿足高度耦合的完美幾何條件，則其局部邊長、面對角線、體對角線所生成的度量資訊，與該幾何物件在允許自由度中完整展開所生成的軌跡資訊，不應彼此獨立或矛盾。當幾何構型以中心為參考點進行完整旋轉、展開、投影或等價變換時，其軌跡應形成某種閉合結構；由局部度量生成的圓、球面、閉合曲線或更一般的軌道，應與由自由度展開生成的軌跡在適當的投影或等價關係下發生一致、重合或可證明的相容交界。

因此，本方法的驗證重點不是單純再問某個數是否為平方，而是問：

> 同一個候選幾何真實，沿兩條不同資訊生成路徑得到的全域資訊，是否能在完整自由度閉包後回到同一個幾何不變結構？

如果不能，則該候選即使在大量局部條件上近似或部分成立，仍可能存在一個可被定義的**全域閉包殘差**。

---

## 1. 問題背景

設長方體三邊為

$$
a,b,c>0.
$$

完美長方體要求三條面對角線與體對角線皆為整數，亦即存在

$$
d_{ab},d_{ac},d_{bc},g\in\mathbb Z_{>0}
$$

使得

$$
a^2+b^2=d_{ab}^2,
$$

$$
a^2+c^2=d_{ac}^2,
$$

$$
b^2+c^2=d_{bc}^2,
$$

以及

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

既有研究路線通常集中在這些條件的算術閉合、參數化、橢圓曲線、商曲線、cover、局部篩選與平方值條件。

然而，若只是將其中一條等式移項，例如

$$
g^2-d_{ab}^2=c^2,
$$

則它並沒有產生真正新的資訊；它只是既有約束的代數重述。

因此需要一種不同來源的驗證量，使候選物件接受一個**資訊路徑獨立性更高的全域檢查**。

---

## 2. 核心觀念：從靜態約束轉向全域軌跡資訊

將候選幾何構型記為

$$
X=(a,b,c,d_{ab},d_{ac},d_{bc},g).
$$

傳統驗證主要檢查一組靜態約束

$$
F_i(X)=0.
$$

本方法則額外建立一個由幾何自由度生成的連續軌跡

$$
\gamma:S^1\rightarrow\mathcal C,
$$

其中 $\mathcal C$ 是候選幾何構型允許的 configuration space，而 $S^1$ 表示一次完整閉合參數週期。

最基本的閉包要求為

$$
\gamma(0)=\gamma(2\pi).
$$

但位置閉合不是最終目標。真正要驗證的是沿整條軌跡保存的度量、方向、比例、對角關係、投影資訊與其他幾何不變量是否也能閉合。

因此可定義一組軌跡資訊泛函

$$
\mathcal I_{\mathrm{traj}}=\Phi[\gamma],
$$

並將其與原始候選物件直接產生的局部度量資訊

$$
\mathcal I_{\mathrm{metric}}=\Psi[X]
$$

進行比較。

方法的核心條件可抽象寫成

$$
\boxed{
\mathcal I_{\mathrm{traj}}\sim\mathcal I_{\mathrm{metric}}
}
$$

其中 $\sim$ 不一定要求座標上的字面相等，而可表示等距、同構、相同不變量、相同閉合類或經規定投影後的一致。

---

## 3. 二維原型：中心軌跡與度量圓

先考慮一個邊長為 $a,b$ 的長方形，中心為 $O$。

任一頂點到中心的距離固定為

$$
R^2=\left(\frac a2\right)^2+\left(\frac b2\right)^2.
$$

因此該頂點若繞中心作完整旋轉，其軌跡為

$$
P(\theta)=O+R
\begin{pmatrix}
\cos\theta\\
\sin\theta
\end{pmatrix},
$$

且滿足

$$
x^2+y^2=R^2.
$$

這個圓來自**局部度量結構**。

另一方面，若不是單純旋轉剛體，而是把長方形允許的幾何展開、折回、對角交換、等價投影或其他保持指定約束的自由度完整掃過，則可得到另一條由 configuration-space 運動產生的投影軌跡

$$
\Pi(\gamma(\theta)).
$$

如果該軌跡也形成某個閉合曲線，則可以比較

$$
\mathcal O_{\mathrm{metric}}
$$

與

$$
\mathcal O_{\mathrm{freedom}}.
$$

最低階條件是兩者存在幾何相容的交界：

$$
\mathcal O_{\mathrm{metric}}\cap\mathcal O_{\mathrm{freedom}}\neq\varnothing.
$$

更強的條件則可能是

$$
\mathcal O_{\mathrm{metric}}=\mathcal O_{\mathrm{freedom}},
$$

或在指定等價關係下

$$
\mathcal O_{\mathrm{metric}}\cong\mathcal O_{\mathrm{freedom}}.
$$

此處的「圓」不是最終本體，而只是全域閉合軌跡在二維中的最簡單投影。

---

## 4. 三維完美長方體版本

對三維長方體，中心到任一頂點的距離為

$$
R=\frac12\sqrt{a^2+b^2+c^2}.
$$

若體對角線為 $g$，則

$$
R=\frac g2.
$$

因此局部度量條件天然決定一個球面半徑。

但完美長方體的自由度驗證不應只檢查球面本身，而應考察整個幾何構型在允許變換下所生成的軌道。三維旋轉自由度自然與

$$
SO(3)
$$

相關，而頂點方向則可投影到

$$
S^2.
$$

因此可將候選物件的全域自由度軌跡表示為

$$
\gamma:S^1\rightarrow\mathcal C_{\mathrm{PC}},
$$

並透過一個或多個觀測映射

$$
\Pi_k:\mathcal C_{\mathrm{PC}}\rightarrow\mathcal Y_k
$$

取得可比較的閉合投影。

這些投影可能是：

- 中心到頂點的球面軌跡；
- 中心到面對角線端點的閉合曲線；
- 某組展開後的平面圓；
- 主客邊變換後的等距軌道；
- 對角關係形成的高維閉合軌跡；
- configuration space 中的更一般閉合流形。

因此，本方法不限定最終必須是一個普通歐氏圓，而是要求存在可定義、可重複、可比較的**全域閉合軌跡結構**。

---

## 5. 軌跡資訊自由度守恆

設候選物件的允許自由度空間為

$$
\mathcal F.
$$

令

$$
T_\theta:\mathcal F\rightarrow\mathcal F
$$

表示沿某個完整幾何自由度方向進行參數化演化。

一次完整週期後得到

$$
T_{2\pi}.
$$

若該幾何物件在此自由度下真正閉合，則至少應滿足

$$
T_{2\pi}(X)\sim X.
$$

若要求更強的平滑閉合，可額外檢查

$$
\gamma(0)=\gamma(2\pi),
$$

$$
\dot\gamma(0)=\dot\gamma(2\pi),
$$

以及必要時的高階資訊

$$
J_k(\gamma(0))=J_k(\gamma(2\pi)).
$$

這裡的 $J_k$ 可代表距離、曲率、角度、面積、體積、比例、平方類、同調類、Kummer 類或其他針對研究問題選定的幾何／算術不變量。

因此，TIFV 的核心不是「軌跡必須長得像某一個固定圖形」，而是：

> 候選物件的可允許自由度經過完整全域演化後，其必要資訊不得產生不可消去的殘差。

---

## 6. 全域閉包殘差

可定義一個一般化軌跡殘差

$$
\Delta_{\mathrm{traj}}
=
D\left(
\mathcal I_{\mathrm{start}},
\mathcal I_{\mathrm{return}}
\right),
$$

其中 $D$ 是根據實際幾何結構選定的距離、差異泛函或代數殘差。

真正閉合要求

$$
\boxed{
\Delta_{\mathrm{traj}}=0
}.
$$

但僅有起點與終點相同仍可能不足，因此更完整的定義可比較整條軌跡與預期閉合結構：

$$
\Delta_{\Gamma}
=
D_\Gamma
\left(
\Gamma_{\mathrm{metric}},
\Gamma_{\mathrm{freedom}}
\right).
$$

若

$$
\Delta_{\Gamma}=0,
$$

則代表由局部度量資訊生成的閉合結構，與由自由度展開生成的閉合結構在指定意義下完全相容。

這可以被理解為一種幾何版 checksum、parity check 或 syndrome test。

---

## 7. 與既有平方缺口研究的關係

本方法不取代既有的 square gate，而是提供另一個驗證層。

傳統算術問題可寫成

$$
F_i(X)\in\mathbb Q^2?
$$

而 TIFV 問的是

$$
\Gamma(X)\text{ 是否全域閉合？}
$$

如果未來可以建立映射

$$
\Delta_{\mathrm{arith}}
\longleftrightarrow
\Delta_{\Gamma},
$$

則一個局部平方缺口可能被重新解釋為某種全域軌跡無法閉合的幾何殘差。

在此情形下，「某個量不是平方」就不再只是孤立算術現象，而可能代表：

> 候選幾何在完整自由度掃描後沒有回到與原始度量世界一致的全域資訊狀態。

這一點目前僅為方法論方向，尚未建立嚴格等價證明。

---

## 8. 雙資訊路徑交叉驗證

本方法最重要的結構是建立兩條來源不同的資訊路徑。

### 路徑 A：局部度量路徑

$$
X
\overset{\mathrm{metric}}{\longrightarrow}
\mathcal I_{\mathrm{metric}}.
$$

它直接使用邊長、對角線、平方關係與中心距離。

### 路徑 B：全域自由度路徑

$$
X
\overset{\mathrm{freedom}}{\longrightarrow}
\gamma
\overset{\mathrm{trajectory}}{\longrightarrow}
\mathcal I_{\mathrm{traj}}.
$$

它使用幾何構型完整展開後的軌跡資訊。

最後比較

$$
\boxed{
\mathcal I_{\mathrm{metric}}
\stackrel{?}{\sim}
\mathcal I_{\mathrm{traj}}
}.
$$

這與單純把同一組畢氏公式重新排列不同；它要求同一候選幾何透過兩條不同的資訊生成機制重新收斂到相容結構。

---

## 9. 候選驗證流程

對任意候選長方體，可採用下列研究流程：

1. 固定候選的 exact arithmetic data。
2. 建立其中心、邊、面對角線、體對角線與必要的不變量。
3. 定義允許的幾何自由度與禁止破壞的約束。
4. 構造一條或多條完整週期軌跡 $\gamma$。
5. 對軌跡進行二維、三維或高維投影。
6. 從局部度量路徑建立預期閉合結構 $\Gamma_{\mathrm{metric}}$。
7. 從自由度軌跡建立實際閉合結構 $\Gamma_{\mathrm{freedom}}$。
8. 比較位置、方向、距離、比例、平方類與其他必要不變量。
9. 計算全域閉包殘差 $\Delta_\Gamma$。
10. 若殘差非零，則拒絕候選或定位缺口來源；若殘差為零，僅表示通過此驗證層，仍需其他算術條件共同成立。

---

## 10. 方法論上的重要限制

### 10.1 不把剛體旋轉的平凡閉合誤認為新結果

任意剛體繞中心旋轉 $2\pi$ 本來就會回到原位。因此，若 TIFV 只做普通剛體旋轉，資訊增益幾乎為零。

真正需要的是：

- 展開自由度不是單純剛體旋轉；
- 軌跡必須受到完美長方體特有的度量與算術條件約束；
- 比較的必須是由不同資訊路徑生成的結構，而不是同一公式的重述。

### 10.2 不預設軌跡一定是圓

圓是最直觀的二維原型，但在三維與高維 configuration space 中，真正的閉合物件可能是球面交線、環、群軌道、閉合流形或其他結構。

因此應以

$$
\gamma:S^1\rightarrow\mathcal C
$$

作為一般化基本形式，而不是把「圓」寫死成唯一可能。

### 10.3 通過 TIFV 不等於證明完美長方體存在

TIFV 是候選驗證與結構診斷方法。

即使某候選滿足

$$
\Delta_\Gamma=0,
$$

仍必須另外滿足完整的整數、平方、互質性、非退化性與其他 Diophantine 條件。

### 10.4 失敗也需要可解釋

若

$$
\Delta_\Gamma\neq0,
$$

研究重點不只在拒絕候選，還應追蹤殘差位於哪個自由度、哪個投影、哪個不變量或哪個局部算術 gate 中。

因此 TIFV 同時也是一種缺口定位框架。

---

## 11. 與目前完美長方體研究主線的接口

本方法可與既有研究路線形成兩層結構。

### 第一層：局部／算術閉合

包括：

$$
a^2+b^2=d_{ab}^2,
$$

$$
a^2+c^2=d_{ac}^2,
$$

$$
b^2+c^2=d_{bc}^2,
$$

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

以及相應的 elliptic curve、cover、quotient、square-value、finite-prime sieve 等條件。

### 第二層：全域／軌跡閉合

要求：

$$
\boxed{
\Delta_\Gamma=0
}.
$$

因此整體候選驗證可暫時寫為

$$
\boxed{
\text{Arithmetic Closure}
+
\text{Trajectory-Information Global Closure}
}.
$$

只有兩者同時通過，候選才具有更強的結構可信度。

---

## 12. 更一般的抽象形式

TIFV 不必侷限於完美長方體。

對任意具有高度耦合限制的數學物件 $X$，若存在：

1. 一組靜態約束

$$
F_i(X)=0,
$$

2. 一個允許自由度空間

$$
\mathcal F_X,
$$

3. 一條完整自由度軌跡

$$
\gamma_X:S^1\rightarrow\mathcal F_X,
$$

4. 一組沿軌跡可提取的不變資訊

$$
\Phi[\gamma_X],
$$

則可以建立一般形式

$$
\boxed{
\Psi[X]
\stackrel{?}{\sim}
\Phi[\gamma_X]
}.
$$

因此，本方法的更一般表述是：

> 不再只驗證一個物件是否滿足局部方程，而是驗證它在完整自由度展開後，是否仍保存由其局部結構所決定的全域資訊。

---

## 13. 後續研究方向

後續若重新展開本方法，優先研究下列問題：

1. 明確定義完美長方體適用的 configuration space $\mathcal C_{\mathrm{PC}}$。
2. 區分平凡剛體自由度與具有真正資訊增益的非平凡展開自由度。
3. 找出最小的一組軌跡不變量 $J_k$。
4. 定義可 exact arithmetic 化的 $\Delta_\Gamma$。
5. 研究局部 square defect 是否能映射為 global closure defect。
6. 檢查既有近似候選在 TIFV 下是否產生穩定、可重複的非零殘差。
7. 研究不同候選的殘差是否形成可分類的 defect spectrum。
8. 嘗試把 dual quotient、cover sieve 與軌跡閉包放入同一個統一框架。
9. 若可能，建立一個「局部算術閉合 iff 某類全域軌跡閉合」的嚴格命題或弱等價命題。
10. 將方法推廣到其他高度約束的 Diophantine geometry 問題。

---

## 14. 暫定核心命題

**軌跡資訊自由度驗證命題（候選版）**

對一個聲稱滿足完美長方體條件的候選幾何 $X$，若其局部度量資訊與所有必要算術條件真正共同描述同一個全域幾何實體，則存在至少一組非平凡、保留必要約束的完整自由度軌跡 $\gamma$，使由局部度量生成的閉合資訊與由軌跡生成的閉合資訊在指定等價關係下相容：

$$
\Psi[X]\sim\Phi[\gamma].
$$

若對某個必要自由度族，任意合法軌跡皆產生不可消去殘差

$$
\Delta_\Gamma\neq0,
$$

則該候選無法作為完整閉合的完美長方體。

此命題目前為**方法論猜想**，尚需形式化定義、反例搜尋與嚴格證明。

---

## 15. 一句話版本

> **不是再找一條方程，而是找同一幾何真實在完整自由度展開後仍必須保存的資訊；若局部度量世界與全域軌跡世界不能重新閉合到同一結構，候選就存在可觀測的全域缺口。**

---

## 16. 當前研究狀態

本文件僅建立方法論骨架，暫不進行以下工作：

- 不宣稱完美長方體已被解決；
- 不宣稱既有 arithmetic defect 已與 trajectory defect 嚴格等價；
- 不預設最佳軌跡一定是圓或球面；
- 不在本版進行數值搜索；
- 不在本版建立正式定理證明；
- 不取代既有 R12–R16、elliptic-Chabauty、cover sieve 或其他主線。

本版的目的僅是保存一個可後續形式化、計算化與證明化的**全域驗證方法論**。