# 萬能曲線的圓形容器定理

## ——弧長中點、精確常數 $\frac12$ 與 Moser 蟲問題的分離

**英文題名：** The Universal Circular Container Theorem for Rectifiable Curves: Arc-Length Midpoints, the Exact Constant One-Half, and Separation from Moser’s Worm Problem  
**文件編號：** EML-UCC-RIGOR-2026-v1.0  
**作者：** Neo.K（許筌崴）with Aletheia（GPT-5.6 Thinking）  
**日期：** 2026 年 7 月 26 日  
**文件性質：** 度量幾何／精確容器定理／形式化與計算驗證  
**取代版本：** 2025 年《萬能容器問題的公理化簡化：從優化問題到普適幾何常數》

---

## 摘要

本文移除「形狀鎖定公理」，從度量空間、弧長參數化與三角不等式重新推導圓形萬能容器問題。設 $\gamma:[0,L]\to\mathbb R^2$ 為長度 $L$ 的可求長曲線，並以弧長參數化。本文證明，以曲線的弧長中點 $\gamma(L/2)$ 為中心、半徑 $L/2$ 的閉圓盤包含整條曲線：

$$
\gamma([0,L])
\subseteq
\overline B\left(\gamma(L/2),L/2\right).
$$

另一方面，長度 $L$ 的直線段要求任何包含它的圓盤半徑至少為 $L/2$ 。因此，能容納所有長度 $L$ 平面曲線的最小圓形容器半徑精確為：

$$
\boxed{
R_{\mathrm{circ}}(L)=\frac L2.
}
$$

故圓形限制下的普適常數不是未知量，也不是 $1/\pi$ 型新常數，而是：

$$
\boxed{k_{\mathrm{circ}}=\frac12.}
$$

本文進一步把此定理推廣到一般度量空間中的 $1$ -Lipschitz 路徑，並建立一個條件性的徑向設計定理：在固定中心且每方向至少具有半徑 $L/2$ 的星形設計類中，圓盤是唯一面積最小者。本文同時嚴格區分圓形限制問題與 Moser 蟲問題。後者允許任意形狀並最小化面積，不能由本文結果解決。

**關鍵詞：** 萬能容器、可求長曲線、弧長參數化、Lipschitz 路徑、最小包圍圓、Moser 蟲問題、形式驗證

---

# 1. 三個不同問題

舊稿混合了三種問題。重建前必須分離。

## 問題 A：圓形限制問題

尋找最小 $R$ ，使每條長度不超過 $L$ 的平面曲線都可置入某個半徑 $R$ 的圓盤。

本文完整解決此問題。

## 問題 B：Moser 蟲問題

尋找最小面積的平面集合 $K$ ，使每條單位長度曲線都可經剛體運動置入 $K$ 。

容器不必為圓形。本文不解決此問題。

## 問題 C：工程多目標容器

同時考慮：

- 面積；
- 定位時間；
- 旋轉搜尋；
- 製造公差；
- 魯棒性；
- 多級標準化；
- 使用分布。

此問題必須先定義目標函數、偏序或 Pareto 規則。它不是純面積 Moser 問題，也不是本文的圓形半徑問題。

---

# 2. 最小數學基礎

本文不使用任何自訂幾何公理。使用的基本結構只有：

1. 度量空間中的三角不等式；
2. 可求長曲線的弧長參數化；
3. 弧長參數化曲線是 $1$-Lipschitz；
4. 實數區間的中點；
5. 歐氏平面中存在長度 $L$ 的直線段。

---

# 3. 曲線模型

## 定義 3.1： $1$-Lipschitz 路徑

設 $(X,d)$ 為度量空間。映射：

$$
\gamma:[0,L]\to X
$$

稱為 $1$-Lipschitz，若：

$$
d(\gamma(s),\gamma(t))
\le
|s-t|
$$

對所有 $s,t\in[0,L]$ 成立。

任何以弧長參數化的可求長曲線都具有此性質。

## 定義 3.2：圓形普適半徑

對平面曲線族 $\mathcal S_L$ ，定義：

$$
R_{\mathrm{circ}}(L)
=
\inf\left\{
R\ge0:
\forall\gamma\in\mathcal S_L,
\exists c\in\mathbb R^2,
\gamma([0,L])
\subseteq
\overline B(c,R)
\right\}.
$$

圓盤具有旋轉不變性，所以剛體運動問題可等價轉成選擇圓心 $c$ 。

---

# 4. 中點球包含定理

## 定理 4.1

設：

$$
\gamma:[0,L]\to X
$$

為 $1$ -Lipschitz 路徑， $L\ge0$ 。令：

$$
c=\gamma(L/2).
$$

則：

$$
\gamma([0,L])
\subseteq
\overline B(c,L/2).
$$

## 證明

任取：

$$
t\in[0,L].
$$

由 $1$-Lipschitz 性：

$$
d(\gamma(t),c)
=
d(\gamma(t),\gamma(L/2))
\le
|t-L/2|.
$$

由：

$$
0\le t\le L,
$$

可得：

$$
-\frac L2
\le
t-\frac L2
\le
\frac L2.
$$

故：

$$
|t-L/2|
\le
L/2.
$$

因此：

$$
d(\gamma(t),c)
\le
L/2.
$$

因 $t$ 任意，整條路徑皆位於閉球中。 $\square$

---

# 5. 圓形容器上界

## 推論 5.1

每條長度不超過 $L$ 的平面可求長曲線，都可置入半徑 $L/2$ 的圓盤。

因此：

$$
R_{\mathrm{circ}}(L)
\le
\frac L2.
$$

注意：此結論不是因為曲線的直徑不超過 $L$ 後再套用一般最小包圍圓估計，而是直接以弧長中點構造圓心，得到更簡潔的包含證明。

---

# 6. 直線段下界

## 引理 6.1：兩點半徑下界

若閉球：

$$
\overline B(c,R)
$$

包含兩點 $p,q$ ，則：

$$
d(p,q)\le2R.
$$

## 證明

由三角不等式：

$$
d(p,q)
\le
d(p,c)+d(c,q)
\le
R+R
=
2R.
\qquad\square
$$

## 定理 6.2

長度 $L$ 的直線段不能被任何半徑小於 $L/2$ 的圓盤包含。

## 證明

設線段端點為 $p,q$ ，則：

$$
d(p,q)=L.
$$

若某半徑 $R$ 圓盤包含整條線段，則包含 $p,q$ 。由引理：

$$
L\le2R.
$$

故：

$$
R\ge L/2.
\qquad\square
$$

因此：

$$
R_{\mathrm{circ}}(L)
\ge
\frac L2.
$$

---

# 7. 精確圓形萬能容器定理

## 定理 7.1

對所有 $L\ge0$ ：

$$
\boxed{
R_{\mathrm{circ}}(L)=\frac L2.
}
$$

## 證明

由中點球包含定理：

$$
R_{\mathrm{circ}}(L)\le L/2.
$$

由直線段下界：

$$
R_{\mathrm{circ}}(L)\ge L/2.
$$

故：

$$
R_{\mathrm{circ}}(L)=L/2.
\qquad\square
$$

---

# 8. 普適常數的精確值

定義：

$$
k_{\mathrm{circ}}
=
R_{\mathrm{circ}}(1).
$$

由主定理：

$$
\boxed{
k_{\mathrm{circ}}=\frac12.
}
$$

並且：

$$
R_{\mathrm{circ}}(L)
=
k_{\mathrm{circ}}L.
$$

尺度齊次性在此不是用來猜測未知常數，而是精確公式的直接推論。

---

# 9. 一般度量空間版本

## 定理 9.1

在任意度量空間 $(X,d)$ 中，每條 $1$-Lipschitz 路徑：

$$
\gamma:[0,L]\to X
$$

均位於：

$$
\overline B(\gamma(L/2),L/2)
$$

中。

若 $X$ 中存在距離為 $L$ 的兩點及連接它們的長度 $L$ 路徑，則對「所有此類路徑」的普適球半徑下界同樣為 $L/2$ 。

因此，常數 $1/2$ 不是圓的特殊對稱公理造成的，而是區間參數中點與三角不等式共同造成的。

---

# 10. 條件性的徑向圓盤唯一性

舊稿的「全向公平」直覺可以保留為一個明確限制類，而不能宣稱是所有萬能容器的必要條件。

## 定義 10.1：固定中心徑向設計類

設 $K\subset\mathbb R^2$ 對 $O$ 星形，徑向函數為：

$$
\rho_K(\theta)
=
\sup\{r\ge0:O+re^{i\theta}\in K\}.
$$

要求：

$$
\rho_K(\theta)\ge r
$$

幾乎處處。

## 定理 10.2

在此設計類中：

$$
A(K)\ge\pi r^2.
$$

等號當且僅當：

$$
\rho_K(\theta)=r
$$

幾乎處處；亦即 $K$ 與半徑 $r$ 圓盤只差零測集。

## 證明

星形面積公式給出：

$$
A(K)
=
\frac12
\int_0^{2\pi}
\rho_K(\theta)^2\,d\theta.
$$

因：

$$
\rho_K(\theta)^2\ge r^2,
$$

故：

$$
A(K)
\ge
\frac12
\int_0^{2\pi}
r^2\,d\theta
=
\pi r^2.
$$

等號成立當且僅當被積函數幾乎處處等號成立。 $\square$

此定理可以支持「在固定中心、全方向保底的設計類中圓盤最小」，但不支持「所有 Moser 普適容器都必須為圓盤」。

---

# 11. 與 Moser 蟲問題的嚴格分離

定義一般面積問題：

$$
A_\ast(L)
=
\inf\left\{
A(K):
\forall\gamma\in\mathcal S_L,
\exists T\in SE(2),
T(\gamma)\subseteq K
\right\}.
$$

尺度變換可推出：

$$
A_\ast(L)=L^2A_\ast(1),
$$

但常數：

$$
A_\ast(1)
$$

不由圓形限制定理解出。

圓盤提供上界：

$$
A_\ast(L)
\le
\pi\left(\frac L2\right)^2
=
\frac{\pi L^2}{4}.
$$

然而，允許非圓形後，可以構造面積更小的普適容器。因此：

$$
\boxed{
R_{\mathrm{circ}}(L)=L/2
}
$$

不能推出：

$$
\boxed{
A_\ast(L)=\pi L^2/4.
}
$$

兩者是不同的優化問題：

- 前者最小化圓形容器的半徑；
- 後者在所有形狀中最小化面積。

---

# 12. 舊常數推導為何失效

## 12.1 螺旋不是圓形半徑下界的控制者

圓形限制問題已由直線段達成精確下界：

$$
L/2.
$$

任何小於 $L/2$ 的螺旋半徑估計都不能取代直線段下界。

## 12.2 $1/(2\pi)$ 面積下界不能決定圓半徑常數

把一般容器面積下界：

$$
A(K)\ge cL^2
$$

代入圓面積公式，只能得到圓形限制下的弱下界。它不能取代直線段給出的精確半徑下界。

## 12.3 $k\approx1/\pi$ 猜測與精確定理衝突

既然：

$$
k_{\mathrm{circ}}=1/2,
$$

任何較小猜測都無法容納長度 $1$ 的直線段。

## 12.4 拓樸連通不證明唯一性

圓半徑的唯一性來自上下界相等，而不是 $\mathbb R_+$ 的連通性。

---

# 13. 形式化結構

`UniversalCircularContainer.lean` 形式化兩個核心：

## 13.1 中點球包含

對任意偽度量空間與 $1$-Lipschitz 映射：

$$
d(\gamma(t),\gamma(L/2))
\le L/2.
$$

## 13.2 兩端點下界

若 $p,q$ 均在半徑 $R$ 球內，則：

$$
d(p,q)\le2R.
$$

當：

$$
d(p,q)=L
$$

時得到：

$$
L/2\le R.
$$

兩者共同形成精確常數證明的形式化骨架。

---

# 14. 精確計算證書

計算驗證器生成軸對齊有理折線：

$$
p_0,p_1,\ldots,p_n
$$

並使用有理數精確計算：

- 總弧長 $L$ ；
- 弧長中點 $c$ ；
- 半徑 $L/2$ ；
- 各頂點平方距離；
- 證書餘量：

$$
\left(\frac L2\right)^2-\|p_i-c\|^2.
$$

對每條直線段，距離平方是線段參數的凸函數，因此最大值出現在端點。頂點證書非負即可驗證整條折線包含於圓盤中。

直線下界則以恆等式驗證。對端點：

$$
p=(-L/2,0),
\qquad
q=(L/2,0),
$$

任意圓心 $c=(u,v)$ ：

$$
\frac{\|c-p\|^2+\|c-q\|^2}{2}
=
u^2+v^2+\frac{L^2}{4}
\ge
\frac{L^2}{4}.
$$

故至少一個端點距離不小於 $L/2$ 。

---

# 15. 工程層的合法延伸

若實際容器還需厚度、公差、碰撞或動態緩衝，應從精確幾何基線開始：

$$
R_{\mathrm{base}}=\frac L2.
$$

再定義：

$$
R_{\mathrm{final}}
=
R_{\mathrm{base}}
+
B_{\mathrm{manufacture}}
+
B_{\mathrm{measurement}}
+
B_{\mathrm{dynamic}}
+
B_{\mathrm{safety}}.
$$

各緩衝項必須具有：

- 單位一致性；
- 數據來源；
- 機率或最壞界；
- 不重複計算條件；
- 驗證協議。

不能再以未經證明的 $R_{\min}$ 與 $R_{\max}$ 幾何平均替代普適容納條件。

---

# 16. 結論

本次重建完全移除「形狀鎖定公理」。圓形限制問題不需要公理化跳躍，也不需要變分猜測、螺旋臨界曲線或拓樸坍縮。

全部證明可壓縮為兩條基本不等式：

$$
d(\gamma(t),\gamma(L/2))
\le
|t-L/2|
\le
L/2,
$$

以及：

$$
L=d(p,q)\le2R.
$$

故：

$$
\boxed{
R_{\mathrm{circ}}(L)=\frac L2.
}
$$

這個結果比舊稿宣稱的未知常數更簡單，也更強：它是精確、一般、可形式化、可計算重放的定理。

但它同時要求我們承認邊界：

$$
\boxed{
\text{圓形限制問題已解}
\neq
\text{Moser 最小面積問題已解}.
}
$$

嚴格性不是把原來的宏大結論全部保住，而是讓每個仍被保留的結論，都能從更基本的數學結構一步一步重新生成。