萬能曲線的圓形容器定理

——弧長中點、精確常數 $\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$-Lipschitz；
實數區間的中點；
歐氏平面中存在長度 $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 最小面積問題已解}. }

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

02_萬能曲線的圓形容器定理_v1.0