# 重新表述完美長方體：它不是首先一個整數搜尋問題

## Reframing the Perfect Cuboid: It Is Not Primarily an Integer Search Problem

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

---

## 摘要

完美長方體問題通常被表述為一個整數存在性問題：是否存在一個長方體，使三條邊、三條面對角線與空間對角線皆為正整數。這一表述在數論上正確，但它同時隱藏了另一個更基礎的結構：完美長方體首先是一個由四個二次齊次約束所定義的連續解空間問題，而「整數性」只是該解空間在特定算術表示層上的額外顯現條件。

本文提出一個不同的研究起點：不先把所有未知量限制在正整數，而先考察滿足幾何約束的完整實數解空間，再逐層區分實數閉合、有理閉合與整數閉合。此觀點將傳統問題

$$
X\in\mathbb Z_{>0}^{7}
$$

重新分解為：

$$
\text{continuous geometric closure}
\rightarrow
\text{rational arithmetic closure}
\rightarrow
\text{integer manifestation}.
$$

在此架構下，實數層的存在性並非真正困難；核心問題轉化為：連續解空間是否包含非退化有理點。一旦存在一個非退化有理解，藉由齊次縮放與清分母即可得到整數完美長方體。因此，原問題可被重新表述為一個「有理閉合是否存在」的問題，而不是首先作為巨量整數搜尋問題。

本文不宣稱完美長方體必然存在，也不以實數解空間的無限性推出有理點存在；相反地，我們將兩者嚴格區分。本文的目的，是建立後續「共同初態—約束分化」、「進位制觀察」、「精確有理重建」、「第一顯現」與「算術自由度」研究所需的統一形式框架。

---

## 1. 傳統問題

設長方體三條邊為

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

三條面對角線分別為

$$
d,e,f>0,
$$

空間對角線為

$$
g>0.
$$

完美長方體要求：

$$
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.
$$

傳統問題進一步要求：

$$
a,b,c,d,e,f,g\in\mathbb Z_{>0}.
$$

因此，可以將問題寫成：

$$
\exists X\in\mathbb Z_{>0}^{7}
\quad
\text{such that}
\quad
F(X)=0,
$$

其中

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

且

$$
F(X)=
\begin{pmatrix}
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
\end{pmatrix}.
$$

這是一個完全合法的數論表述。

但這個表述同時把兩件事情綁在了一起：

1. 幾何約束是否可以閉合；
2. 閉合後的數值是否同時落在正整數格點上。

本文主張，研究上應先把這兩層拆開。

---

## 2. 幾何閉合與算術閉合並不是同一問題

如果暫時移除整數限制，只要求

$$
a,b,c\in\mathbb R_{>0},
$$

則可直接定義

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

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

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

以及

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

因此，每一組正實數

$$
(a,b,c)
$$

都自然對應一組滿足

$$
F(X)=0
$$

的實數解。

換言之，若只問「幾何上是否存在滿足四條平方關係的長方體」，答案並不困難。

真正困難的是：

$$
F(X)=0
$$

與

$$
X\in\mathbb Z_{>0}^{7}
$$

能否同時成立。

所以我們應該將下列三個問題分開：

### 2.1 實數閉合

是否存在

$$
X\in\mathbb R_{>0}^{7}
$$

使

$$
F(X)=0?
$$

答案顯然為是。

### 2.2 有理閉合

是否存在非退化

$$
X\in\mathbb Q_{>0}^{7}
$$

使

$$
F(X)=0?
$$

這才是與完美長方體整數存在性直接等價的核心問題。

### 2.3 整數閉合

是否存在

$$
X\in\mathbb Z_{>0}^{7}
$$

使

$$
F(X)=0?
$$

這是經典 Perfect Cuboid 問題。

---

## 3. 為什麼有理閉合才是核心

四條方程都是二次齊次。

若

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

是一組解，則對任意

$$
\lambda>0,
$$

都有

$$
F(\lambda X)=\lambda^2F(X)=0.
$$

因此，只要找到一組正有理解

$$
X\in\mathbb Q_{>0}^{7},
$$

就可以寫成

$$
a=\frac{p_a}{q_a},
\quad
b=\frac{p_b}{q_b},
\quad
\ldots,
\quad
g=\frac{p_g}{q_g},
$$

其中所有

$$
p_i,q_i\in\mathbb Z_{>0}.
$$

令

$$
L=
\operatorname{lcm}
(q_a,q_b,q_c,q_d,q_e,q_f,q_g),
$$

則

$$
LX\in\mathbb Z_{>0}^{7}.
$$

而且因為齊次性，

$$
F(LX)=L^2F(X)=0.
$$

因此得到：

$$
\boxed{
\exists X\in\mathbb Q_{>0}^{7},\ F(X)=0
\iff
\exists Y\in\mathbb Z_{>0}^{7},\ F(Y)=0
}
$$

這意味著：

> 完美長方體問題不必首先以「找到巨大整數」為研究入口。

它可以先改寫成：

$$
\boxed{
\text{連續解空間中是否存在非退化有理點？}
}
$$

一旦找到一個有理點，整數解只是尺度選擇問題。

---

## 4. 第一個重要區分：無限實數解不推出有理解存在

需要特別強調：

$$
\mathcal M(\mathbb R)
$$

很大，不能直接推出

$$
\mathcal M(\mathbb Q)
$$

非空。

其中

$$
\mathcal M(K)
=
\{X\in K_{>0}^{7}:F(X)=0\}
$$

表示定義在數域或集合 $K$ 上的閉合解。

雖然

$$
\mathcal M(\mathbb R)
$$

包含無限多解，甚至存在連續族，但這不代表其必然穿過某個非退化有理點。

因此，下列推理是不充分的：

$$
\text{解空間無限}
\Rightarrow
\text{有理解必然存在}.
$$

本文不採用此推理。

我們真正要研究的是：

$$
\boxed{
\mathcal M(\mathbb Q)\overset{?}{\neq}\varnothing
}
$$

也就是：

> 實數閉合已知存在時，哪些額外結構能迫使、允許或阻止有理閉合出現？

這個問題才是後續研究的核心。

---

## 5. 從「整數搜尋」轉向「閉合顯現」

傳統搜尋策略通常直接指定高度界：

$$
1\le a,b,c,\ldots,g\le H,
$$

然後在有限整數區域中搜尋滿足條件的點。

其概念是：

$$
\text{Integer lattice}
\rightarrow
\text{constraint test}
\rightarrow
\text{accept/reject}.
$$

本文提出另一種研究順序：

$$
\text{constraint space}
\rightarrow
\text{continuous closure}
\rightarrow
\text{arithmetic specialization}
\rightarrow
\text{integer manifestation}.
$$

兩者並不互相排斥。

整數搜尋仍然可以作為：

- 反例搜尋；
- 下界探索；
- 候選模式發現；
- 數值驗證；
- 演算法比較；
- 高度分布研究。

但若目標是理解「為什麼解存在或不存在」，則只向更大的整數高度搜尋，未必直接揭示真正障礙。

---

## 6. 解空間的基本形式

令

$$
\mathcal M_{\mathbb R}
=
\left\{
X\in\mathbb R_{>0}^{7}
:
F(X)=0
\right\}.
$$

因為可以任意選擇

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

然後唯一決定

$$
(d,e,f,g),
$$

所以在正實數區域內，這個解空間可視為由三個自由參數生成。

也就是在局部正常區域：

$$
\dim \mathcal M_{\mathbb R}=3.
$$

但其中存在一個顯然的尺度自由度：

$$
X\sim \lambda X,
\qquad
\lambda>0.
$$

因此，若只關心形狀而不關心整體大小，可以定義尺度商空間

$$
\mathcal S_{\mathbb R}
=
\mathcal M_{\mathbb R}/\mathbb R_{>0}.
$$

其一般幾何自由度為

$$
\dim \mathcal S_{\mathbb R}=2.
$$

所以真正的幾何研究對象可以視為一個二自由度的 shape space。

原本的問題：

$$
X\in\mathbb Z_{>0}^{7}
$$

則變成：

> 這個 shape space 中是否存在可以由有理比例表示的點？

---

## 7. 正規化：把尺度先拿掉

因為尺度不影響四條約束是否成立，可以選擇一個正規化條件。

例如令

$$
g=1.
$$

定義

$$
x=\frac{a}{g},
\qquad
y=\frac{b}{g},
\qquad
z=\frac{c}{g},
$$

以及

$$
u=\frac{d}{g},
\qquad
v=\frac{e}{g},
\qquad
w=\frac{f}{g}.
$$

則條件變成：

$$
x^2+y^2=u^2,
$$

$$
x^2+z^2=v^2,
$$

$$
y^2+z^2=w^2,
$$

以及

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

此時所有解被壓在同一個正規化世界中。

我們不再問：

> 邊長究竟是一百、十億還是 $10^{100}$？

而是問：

> 是否存在一組精確有理比例，使四個閉合條件同時成立？

這就是從「數值大小」轉向「比例結構」。

---

## 8. Perfect Cuboid 作為顯現問題

本文採用「顯現」一詞描述以下層級轉換：

$$
\mathbb R
\rightarrow
\mathbb Q
\rightarrow
\mathbb Z.
$$

### 8.1 實數顯現

幾何約束形成一個連續有效狀態：

$$
F(X)=0,
\qquad
X\in\mathbb R_{>0}^{7}.
$$

### 8.2 有理顯現

同一閉合狀態進一步滿足：

$$
X\in\mathbb Q_{>0}^{7}.
$$

### 8.3 整數顯現

透過共同尺度清除分母：

$$
LX\in\mathbb Z_{>0}^{7}.
$$

因此，整數 Perfect Cuboid 可以被重新理解成：

$$
\boxed{
\text{一個連續閉合世界在有理表示層上的精確顯現}
}
$$

而不是一開始就被理解為七個巨大正整數的偶然碰撞。

---

## 9. 「第一顯現」與「存在」不是同一題

假設存在一個 primitive integer solution

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

並且

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

那麼對所有

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

都有

$$
kP
$$

也是整數解。

所以：

$$
\boxed{
\text{存在一個整數解}
\Rightarrow
\text{存在無限多個整數解}
}
$$

但這些解可能都屬於同一個尺度軌道。

因此需要區分：

$$
\text{solution count}
$$

與

$$
\text{primitive shape count}.
$$

第一個 Perfect Cuboid 若被找到，並不自動回答：

- 是否只有一個 primitive shape；
- 是否存在無限多 primitive shapes；
- 是否有一參數有理解族；
- 是否有二參數有理解族；
- primitive 解數量如何隨高度增加。

這些屬於後續的「第二次展開」問題。

---

## 10. 本系列的第一研究假說

本文暫時不宣告 Perfect Cuboid 必然存在，而只建立一個待研究假說：

### Hypothesis PC-RC

存在至少一個非退化有理閉合點：

$$
\mathbf{H}_{\mathrm{PC-RC}}:
\qquad
\mathcal M(\mathbb Q)\neq\varnothing.
$$

若此假說成立，則由齊次縮放立即得到：

$$
\mathcal M(\mathbb Z_{>0})\neq\varnothing.
$$

因此，後續真正需要處理的不是：

$$
\text{如何直接撞到一個巨大整數點？}
$$

而是：

$$
\text{如何在連續解空間中辨識、生成或迫近一個可精確重建的有理閉合點？}
$$

---

## 11. 從搜尋模型轉向生成模型

我們可以將兩種方法抽象成：

### 傳統搜尋模型

$$
X_1,X_2,\ldots,X_N\in\mathbb Z_{>0}^{7}
$$

逐一測試：

$$
F(X_i)\overset{?}{=}0.
$$

### 約束生成模型

選擇一個初始狀態

$$
X_0,
$$

然後建立某種更新算子

$$
\Phi,
$$

使得

$$
X_{n+1}=\Phi(X_n),
$$

並希望：

$$
\|F(X_{n+1})\|
<
\|F(X_n)\|.
$$

最終得到：

$$
X_n\rightarrow X^\ast,
$$

其中

$$
F(X^\ast)=0.
$$

若

$$
X^\ast\in\mathbb Q_{>0}^{7},
$$

則問題完成。

若只能得到

$$
X^\ast\in\mathbb R_{>0}^{7},
$$

則仍需進行精確有理重建與驗證。

因此後續研究的中心會是：

$$
\boxed{
\text{constraint-driven rational closure discovery}
}
$$

而不是單純的 brute-force integer search。

---

## 12. 浮點數不等於有理解

本文後續會允許使用浮點數作為探索工具，但必須嚴格區分：

$$
\operatorname{fl}(X)
$$

與

$$
X\in\mathbb Q^{7}.
$$

即使電腦計算得到：

$$
\|F(X)\|<10^{-100},
$$

也不能推出：

$$
F(X)=0.
$$

而且因為方程是二次齊次的，若將近似解放大：

$$
X\mapsto \lambda X,
$$

則殘差尺度大致變為：

$$
F(\lambda X)=\lambda^2F(X).
$$

所以「非常接近」不會因放大自動變成「精確」。

因此後續計算必須採取：

$$
\text{numerical discovery}
\rightarrow
\text{rational reconstruction}
\rightarrow
\text{exact symbolic verification}.
$$

任何被稱為候選 Perfect Cuboid 的結果，都必須在最後階段以精確算術重新驗證。

---

## 13. 本文得到的重新表述

傳統問題：

$$
\boxed{
\exists X\in\mathbb Z_{>0}^{7}
:
F(X)=0
}
$$

可以等價地改寫為：

$$
\boxed{
\exists [X]\in\mathcal S_{\mathbb Q}
}
$$

其中

$$
\mathcal S_{\mathbb Q}
=
\frac{
\{X\in\mathbb Q_{>0}^{7}:F(X)=0\}
}{
X\sim \lambda X,\ \lambda\in\mathbb Q_{>0}
}.
$$

因此本文提出：

> Perfect Cuboid 首先可以被視為一個有理 shape-class 的存在問題；整數代表只是該 shape-class 經共同尺度放大後的算術顯現。

這個重述不解決猜想本身，但改變後續研究順序。

---

## 14. 後續研究問題

在此框架下，後續問題自然分為幾層。

### Q1. 共同初態能否被約束動力學分化為閉合狀態？

從

$$
X_0=(s,s,s,s,s,s,s)
$$

這類未分化狀態開始，是否能定義自然的 constraint flow，使系統進入

$$
\mathcal M_{\mathbb R}?
$$

### Q2. 如何區分普通實數閉合與有理閉合？

是否存在可計算的量，能測量一個閉合點距離「可精確有理重建」有多遠？

### Q3. 進位制是否能作為額外觀察算子？

對不同 radix

$$
B=2,3,4,5,\ldots,
$$

同一個底層數值結構是否會顯示不同的有限表示、carry 結構與局部閉合模式？

### Q4. 是否存在跨進位制不變量？

如果某些模式在多個 radix 下保持穩定，它們是否對有理閉合提供更強限制？

### Q5. 第一個有理解出現後，primitive 解族如何展開？

是否存在非平凡的解保持轉換：

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

但

$$
F(P)=0
\Rightarrow
F(T(P))=0?
$$

### Q6. 算術自由度是多少？

即使幾何 shape space 有兩個自由度，真正的有理解族可能是：

$$
0\text{-dimensional},
$$

$$
1\text{-dimensional},
$$

或

$$
2\text{-dimensional}.
$$

這將是第一個解之後的第二階段問題。

---

## 15. 方法論原則

本系列後續研究遵守以下原則。

### 原則 A：不把近似當成證明

任何浮點結果只作為候選生成工具。

### 原則 B：不把連續存在誤認為有理存在

$$
\mathcal M(\mathbb R)\neq\varnothing
$$

並不推出

$$
\mathcal M(\mathbb Q)\neq\varnothing.
$$

### 原則 C：尺度不是核心自由度

所有純縮放解視為同一 shape class。

### 原則 D：先研究結構，再研究高度

在可能的情況下，不優先追逐更大的整數搜尋上界，而先研究閉合機制本身。

### 原則 E：正式結果必須精確驗證

若找到候選有理解，最終驗證必須使用 exact arithmetic，而非 IEEE 浮點近似。

### 原則 F：存在問題與自由度問題分開

第一階段：

$$
\mathcal M(\mathbb Q)\overset{?}{\neq}\varnothing.
$$

第二階段：

$$
\#\mathcal S_{\mathbb Q},
\quad
\dim_{\mathrm{arith}}\mathcal S_{\mathbb Q},
\quad
N(H)
$$

如何表現。

---

## 16. 結論

Perfect Cuboid 經典表述要求七個正整數同時滿足四個平方關係，因此長期被自然地視為一個高難度丟番圖搜尋問題。

本文提出的第一步不是否定這一表述，而是將其拆層。

我們首先定義連續閉合世界：

$$
\mathcal M_{\mathbb R}
=
\{X\in\mathbb R_{>0}^{7}:F(X)=0\}.
$$

再把尺度自由度除去：

$$
\mathcal S_{\mathbb R}
=
\mathcal M_{\mathbb R}/\mathbb R_{>0}.
$$

然後真正詢問：

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

若答案為是，整數 Perfect Cuboid 可由共同尺度直接生成。

因此，原問題可以從：

$$
\text{「在哪個巨大整數高度找到第一個點？」}
$$

改寫成：

$$
\text{「連續閉合世界何時產生第一個精確有理顯現？」}
$$

這一重述將成為後續整個系列的出發點。

下一篇將處理：

# 連續世界與尺度商空間：Perfect Cuboid 的拓樸起點

重點將從單純方程系統轉向：

$$
\mathcal M_{\mathbb R},
\qquad
\mathcal S_{\mathbb R},
$$

以及在移除整體尺度後，Perfect Cuboid 真正剩下的形狀自由度、邊界、退化區域與可觀察結構。

---

## 系列暫定目錄

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

---

**End of Paper 01**