# 中心生成式雙向偏移螺旋命題 ## ——完整轉向、正厚度、不可重疊與螺旋環帶的形式化幾何 **作者：** Neo.K **版本：** v0.1 **日期：** 2026 年 7 月 27 日 **研究性質：** 幾何命題論文／形式化基礎草案 **狀態：** 基本管狀幾何與分類命題可直接證明；接觸飽和與全域最優問題仍待研究 --- ## 摘要 本文形式化一類由中心向外生成、具有正厚度、內部不可重疊但允許邊界交接的平面幾何。其基本骨架是一條由中心起始的正則曲線，曲線方向隨參數持續轉動；再沿曲線法向同時向外與向內偏移，形成具有正二維測度的帶狀區域。 本文首先澄清：平面曲線的總轉角為 $360^\circ$ 並不足以推出曲線為圓。只有在曲率處處為同一常數時，完整 $2\pi$ 轉向單元才是圓。當曲線完成一次完整轉向後仍持續增加其徑向尺度，中心線便不再是單一圓，而形成向外展開的螺旋。 令中心線為 $$ \gamma:[0,L]\to\mathbb R^2, $$ 給定厚度半徑 $\rho>0$，其雙向法向偏移帶定義為 $$ S_\rho(\gamma) = \left\{ \gamma(s)+tN(s): 0\le s\le L,\; -\rho\le t\le\rho \right\}. $$ 若法向參數化在內部單射，則不同圈層的內部不重疊；若只允許邊界相切或接合，則可將其視為接觸飽和的極限情形。對合法開曲線，無端帽法向帶面積為 $$ \mu_2(S_\rho(\gamma))=2\rho L, $$ 加入兩端半圓帽後，完整管狀鄰域面積為 $$ \mu_2(T_\rho(\gamma)) = 2\rho L+\pi\rho^2. $$ 本文提出「中心生成式雙向偏移螺旋命題」：若中心線由中心開始、徑向尺度不倒退、完成完整轉向後仍具有正徑向增量，並滿足不可內部重疊條件，則其全域幾何為螺旋型中心線；雙向偏移後形成螺旋環帶。若徑向增量為零，則退化為圓及其圓環；若向內偏移填滿中心孔洞，則退化為圓盤或螺旋生成圓盤。 本文並區分分離型、接觸型與重疊型螺旋帶，說明阿基米德螺旋的徑向節距只能作為圈距代理，而精確的不可重疊條件應由曲線的 reach 控制。 **關鍵詞：** 中心生成、雙向偏移、螺旋環帶、完整轉向、正厚度、管狀鄰域、reach、曲率、不可重疊、邊界交接 --- # 1. 問題起點 考慮二維平面中的一條「歪線」。我們要求： 1. 它由某個中心位置開始； 2. 它持續向外延伸； 3. 它可以轉向； 4. 不同部分的內部不可重疊； 5. 邊界可以相切、接合或共享接觸點； 6. 最終幾何具有正二維測度； 7. 對中心線同時作向內與向外的偏移。 這組條件並不描述一條普通零厚度曲線，而是在描述： $$ \boxed{ \text{一條中心曲線及其正厚度法向帶} }. $$ 若中心線只完成一次完整轉向且半徑固定，最自然的形狀是圓。 若完成一次完整轉向後仍繼續向外生成，最自然的全域形狀則是螺旋。 --- # 2. 基本空間與測度 令 $$ \mathbb R^2 $$ 為二維歐氏平面，二維 Lebesgue 測度記為 $$ \mu_2. $$ 設 $$ \gamma:[0,L]\to\mathbb R^2 $$ 為一條有限長、分段 $C^2$ 的正則曲線。 若 $\gamma$ 只是一條普通可求長曲線，則 $$ \mu_2(\gamma([0,L]))=0. $$ 因此，「最低測度不為零」不能由純中心線本身提供，而必須引入正厚度。 --- # 3. 正厚度與雙向法向偏移 假設 $\gamma$ 以弧長參數化： $$ \|\gamma'(s)\|=1. $$ 定義單位切向量： $$ T(s)=\gamma'(s). $$ 選定單位法向量： $$ N(s)=R_{\pi/2}T(s). $$ 給定厚度半徑 $$ \rho>0, $$ 定義法向參數化： $$ F_\rho(s,t) = \gamma(s)+tN(s), \qquad (s,t)\in[0,L]\times[-\rho,\rho]. $$ 其像集 $$ \boxed{ S_\rho(\gamma) = F_\rho \left( [0,L]\times[-\rho,\rho] \right) } $$ 稱為中心曲線的雙向法向偏移帶。 其兩條局部邊界為 $$ \gamma_+(s) = \gamma(s)+\rho N(s), $$ $$ \gamma_-(s) = \gamma(s)-\rho N(s). $$ --- # 4. 完整管狀鄰域 法向偏移帶 $S_\rho(\gamma)$ 不包含沿曲線端點方向延伸的圓帽。 若將曲線與半徑 $\rho$ 的閉圓盤 $B_\rho$ 作 Minkowski 和，定義： $$ \boxed{ T_\rho(\gamma) = \gamma([0,L])\oplus B_\rho } $$ 則 $T_\rho(\gamma)$ 為完整管狀鄰域。 對開曲線，它等於： $$ \text{法向帶} + \text{兩個半圓端帽}. $$ 本文將： - $S_\rho(\gamma)$ 稱為無端帽偏移帶； - $T_\rho(\gamma)$ 稱為完整厚化區域。 --- # 5. 不可重疊與允許交接 ## 定義 5.1：嚴格不可重疊 若 $$ F_\rho: [0,L]\times(-\rho,\rho) \to\mathbb R^2 $$ 為單射，則稱法向帶在內部嚴格不可重疊。 也就是若 $$ F_\rho(s,t)=F_\rho(s',t'), $$ 且 $$ |t|<\rho, \qquad |t'|<\rho, $$ 則必須有 $$ s=s', \qquad t=t'. $$ ## 定義 5.2：邊界允許交接 允許存在不同參數點 $$ (s,t)\ne(s',t') $$ 使 $$ F_\rho(s,t)=F_\rho(s',t'), $$ 但只能發生在 $$ |t|=\rho \quad\text{或}\quad |t'|=\rho. $$ 因此 $$ \operatorname{Int}S_\rho(\gamma) $$ 不得自我重疊，但 $$ \partial S_\rho(\gamma) $$ 可以相切或交接。 --- # 6. Reach 條件 對閉集 $X\subset\mathbb R^2$，其 reach 定義為：所有距離 $X$ 足夠近的點都具有唯一最近點時，該唯一投影鄰域的最大半徑。 對中心曲線 $\gamma$，若 $$ \operatorname{reach}(\gamma)>\rho, $$ 則： 1. 距離中心線小於 $\rho$ 的點具有唯一最近中心點； 2. 法向參數化在厚度 $\rho$ 內保持單射； 3. 法向帶內部不重疊； 4. 局部曲率半徑大於 $\rho$。 因此 $$ \boxed{ \operatorname{reach}(\gamma)>\rho } $$ 是本文採用的標準嚴格合法條件。 接觸飽和邊界則寫成 $$ \boxed{ \operatorname{reach}(\gamma)=\rho }. $$ 此時法向帶可能在邊界首次發生相切，但內部仍未產生正面積重疊。 --- # 7. 曲率與完整轉向 令切向角為 $$ \theta(s), $$ 使 $$ T(s) = (\cos\theta(s),\sin\theta(s)). $$ 曲率為 $$ \kappa(s)=\theta'(s). $$ 曲線在區間 $[a,b]$ 上的總轉向為 $$ \Delta\theta = \theta(b)-\theta(a) = \int_a^b\kappa(s)\,ds. $$ 一次完整有向轉向為 $$ \Delta\theta=2\pi. $$ --- # 8. 總轉向 $2\pi$ 不等於圓 必須區分： $$ \int\kappa\,ds=2\pi $$ 與 $$ \kappa(s)\equiv\frac1R. $$ 前者只表示總切向轉動量為 $360^\circ$。 許多非圓的簡單閉凸曲線也滿足總轉向 $2\pi$，例如： - 橢圓； - 非均勻凸卵形； - 平滑不規則凸曲線。 因此 $$ \boxed{ \text{總轉向為 }2\pi \not\Rightarrow \text{曲線為圓} }. $$ --- # 9. 圓生成定理 ## 定理 9.1：常曲率完整轉向單元 設 $\gamma$ 為弧長參數曲線，並在某區間 $[a,b]$ 上滿足 $$ \kappa(s)\equiv\frac1R, \qquad R>0, $$ 以及 $$ b-a=2\pi R. $$ 則該曲線片段是一個半徑 $R$ 的完整圓，至多相差一個平面剛體運動。 ### 證明 由 $$ \theta'(s)=\frac1R, $$ 得 $$ \theta(s) = \theta(a)+\frac{s-a}{R}. $$ 再積分 $$ \gamma'(s) = (\cos\theta(s),\sin\theta(s)), $$ 可得 $$ \gamma(s) = c+ R \left( \sin\theta(s), -\cos\theta(s) \right) $$ 對某一固定點 $c$ 成立。 因此 $$ \|\gamma(s)-c\|=R. $$ 又因 $$ \theta(b)-\theta(a)=2\pi, $$ 該片段完整走過一圈。證畢。 ## 推論 9.2 在本文幾何語言中： $$ \boxed{ \text{圓是常曲率的完整 }360^\circ\text{ 轉向單元} }. $$ --- # 10. 中心生成條件 「由中心向外生成」可採用極座標表示。 令 $$ \gamma(\vartheta) = r(\vartheta) (\cos\vartheta,\sin\vartheta), $$ 其中 $$ 0\le\vartheta\le\Theta. $$ 要求 $$ r(0)=0, $$ 以及 $$ r'(\vartheta)\ge0. $$ 這表示隨著極角增加，曲線不會沿同一射線倒退到較小半徑。 更一般地，若使用弧長參數，可要求 $$ \frac{d}{ds} \|\gamma(s)\| \ge0 $$ 在可微處成立。 本文將這類條件稱為 $$ \boxed{ \text{徑向非退化中心生成條件} }. $$ --- # 11. 每圈徑向增量 定義完整一圈後的徑向增量： $$ \Delta_{2\pi}r(\vartheta) = r(\vartheta+2\pi)-r(\vartheta). $$ 可以區分： ## 零徑向增量 $$ \Delta_{2\pi}r(\vartheta)=0. $$ ## 正徑向增量 $$ \Delta_{2\pi}r(\vartheta)>0. $$ 零徑向增量表示曲線每轉一圈後回到相同半徑。 正徑向增量表示每完成一圈後，曲線移到更外層。 --- # 12. 零增量退化為圓 ## 命題 12.1 若 $$ r'(\vartheta)\ge0 $$ 且對所有適用的 $\vartheta$ $$ r(\vartheta+2\pi)=r(\vartheta), $$ 則 $r$ 在每個完整週期上為常數。 若進一步要求曲線完成完整轉向且無重覆繞行，則中心線退化為某個圓： $$ \gamma(\vartheta) = R(\cos\vartheta,\sin\vartheta). $$ ### 證明 由單調非減： $$ r(\vartheta) \le r(\vartheta+\eta) \le r(\vartheta+2\pi) $$ 對 $$ 0\le\eta\le2\pi $$ 成立。 但週期端點相等： $$ r(\vartheta+2\pi)=r(\vartheta). $$ 故中間所有值均相等。證畢。 --- # 13. 圓的雙向偏移 若中心線為半徑 $R$ 的圓： $$ \gamma(\vartheta) = R(\cos\vartheta,\sin\vartheta), $$ 則其內外偏移邊界為： $$ \gamma_+(\vartheta) = (R+\rho) (\cos\vartheta,\sin\vartheta), $$ $$ \gamma_-(\vartheta) = (R-\rho) (\cos\vartheta,\sin\vartheta). $$ 若 $$ 0<\rho r(\vartheta), $$ 則中心線不可能是單一固定半徑圓。 若此正增量持續存在，則中心線形成向外展開的螺旋型曲線。 ### 證明 單一圓必須滿足 $$ r(\vartheta)\equiv R. $$ 因此 $$ r(\vartheta+2\pi)-r(\vartheta)=0. $$ 與正增量條件矛盾。證畢。 --- # 15. 中心生成式螺旋 本文定義中心生成式螺旋為極座標曲線 $$ \gamma(\vartheta) = r(\vartheta) (\cos\vartheta,\sin\vartheta), $$ 滿足： 1. $r(0)=0$； 2. $r'(\vartheta)\ge0$； 3. 存在完整轉向； 4. 至少某些完整週期具有正徑向增量； 5. 曲線正則； 6. 厚化後滿足不可內部重疊條件。 這一定義不要求 $$ r(\vartheta) $$ 必須為線性函數。 因此它包含： - 阿基米德螺旋； - 非均勻節距螺旋； - 變曲率螺旋； - 分段平滑螺旋； - 曲率集中型螺旋。 --- # 16. 阿基米德螺旋 若 $$ r'(\vartheta)=b>0, $$ 則 $$ r(\vartheta)=r_0+b\vartheta. $$ 由中心開始時 $$ r_0=0, $$ 故 $$ \boxed{ r(\vartheta)=b\vartheta }. $$ 每完成一圈，其同射線徑向差為 $$ p = r(\vartheta+2\pi)-r(\vartheta) = 2\pi b. $$ 其中 $p$ 稱為徑向節距。 --- # 17. 徑向節距不是精確非重疊條件 對阿基米德螺旋，同一極角方向上相鄰兩圈的中心線徑向距離確實是 $$ p=2\pi b. $$ 因此常見近似分類為： $$ p>2\rho $$ 時圈層分離， $$ p=2\rho $$ 時圈層接觸， $$ p<2\rho $$ 時圈層重疊。 但必須注意： > 法向偏移方向通常不等於純徑向方向。 因此 $$ p\ge2\rho $$ 不能在一般情況下取代精確的全局非重疊判準。 精確條件仍應寫成 $$ \boxed{ \operatorname{reach}(\gamma)\ge\rho }. $$ 徑向節距只是一個方便的初步代理。 --- # 18. 中心生成式雙向偏移螺旋命題 ## 主命題 設 $$ \gamma(\vartheta) = r(\vartheta) (\cos\vartheta,\sin\vartheta) $$ 為分段 $C^2$ 正則曲線，並滿足： 1. 中心起始： $$ r(0)=0; $$ 2. 徑向非退化： $$ r'(\vartheta)\ge0; $$ 3. 完整轉向存在： $$ \Theta\ge2\pi; $$ 4. 曲線完成一圈後仍可繼續延伸； 5. 給定厚度： $$ \rho>0; $$ 6. 法向帶內部不可重疊： $$ \operatorname{reach}(\gamma)\ge\rho; $$ 7. 邊界可以交接，但不得產生正面積內部重疊。 則有： ### 情形 A：零週期徑向增量 若 $$ r(\vartheta+2\pi)=r(\vartheta) $$ 對所有適用的 $\vartheta$ 成立，則中心線退化為固定半徑完整轉向曲線；在常曲率條件下為圓。 其雙向偏移幾何為 $$ \boxed{ \text{圓環} } $$ 或在內孔消失時為 $$ \boxed{ \text{圓盤} }. $$ ### 情形 B：正週期徑向增量 若存在 $$ \Delta_{2\pi}r(\vartheta)>0, $$ 則中心線不是單一圓，而是向外展開的螺旋型曲線。 其雙向法向偏移區域為 $$ \boxed{ \text{中心生成式雙向偏移螺旋環帶} }. $$ ### 情形 C：接觸飽和 若 $$ \operatorname{reach}(\gamma)=\rho, $$ 且只在邊界首次相切，則形成 $$ \boxed{ \text{接觸型螺旋環帶} }. $$ 若接觸層序進一步封閉全部內部空隙，則其整體閉包可視為 $$ \boxed{ \text{螺旋生成圓盤} }. $$ --- # 19. 螺旋環帶的精確定義 ## 定義 19.1 對中心生成式螺旋 $\gamma$，定義 $$ \boxed{ \mathcal S_{\gamma,\rho} = S_\rho(\gamma) } $$ 為中心生成式雙向偏移螺旋環帶。 若加入端帽 $$ \boxed{ \mathcal T_{\gamma,\rho} = T_\rho(\gamma) } $$ 稱為完整螺旋管狀區域。 --- # 20. 幾何分類 ## 20.1 嚴格分離型 若 $$ \operatorname{reach}(\gamma)>\rho, $$ 則不同法向纖維的內部與邊界均保持正分離距離。 稱為 $$ \boxed{ \text{嚴格分離型螺旋環帶} }. $$ ## 20.2 接觸型 若 $$ \operatorname{reach}(\gamma)=\rho, $$ 且只發生邊界接觸，則稱為 $$ \boxed{ \text{接觸型螺旋環帶} }. $$ ## 20.3 重疊型 若 $$ \operatorname{reach}(\gamma)<\rho, $$ 則存在正厚度鄰域中的點具有多個最近中心點，法向帶可能出現內部重疊。 此時稱為 $$ \boxed{ \text{重疊型螺旋帶} }. $$ 它不符合本文主命題的不可內部重疊條件。 --- # 21. 面積公式 ## 定理 21.1：無端帽偏移帶面積 若 $$ \operatorname{reach}(\gamma)>\rho, $$ 則 $$ \boxed{ \mu_2(S_\rho(\gamma)) = 2\rho L }. $$ ### 證明 由 Frenet 公式 $$ N'(s)=-\kappa(s)T(s), $$ 得 $$ \partial_sF_\rho = (1-t\kappa(s))T(s), $$ $$ \partial_tF_\rho=N(s). $$ Jacobian 為 $$ J(s,t) = 1-t\kappa(s). $$ 因此 $$ \begin{aligned} \mu_2(S_\rho(\gamma)) &= \int_0^L \int_{-\rho}^{\rho} (1-t\kappa(s)) \,dt\,ds\\ &= \int_0^L2\rho\,ds\\ &= 2\rho L. \end{aligned} $$ 證畢。 ## 推論 21.2：完整開曲線管狀面積 加入兩端半圓帽後 $$ \boxed{ \mu_2(T_\rho(\gamma)) = 2\rho L+\pi\rho^2 }. $$ ## 推論 21.3：面積非零 只要 $$ L>0, \qquad \rho>0, $$ 就有 $$ \boxed{ \mu_2(S_\rho(\gamma))>0 }. $$ 因此正厚度條件確保幾何不再是二維零測度純線。 --- # 22. 面積守恆與形狀差異 對所有同長、同厚度、合法不可重疊的中心線 $$ \mu_2(S_\rho(\gamma)) = 2\rho L. $$ 所以 $$ \boxed{ \text{圓環、螺旋環帶與其他合法法向帶， 可以具有相同總面積} }. $$ 但它們仍可能具有不同： - 曲率分布； - 支撐函數； - 凸包； - 直徑； - 方向寬度； - 拓撲接觸結構； - 容器嵌入難度。 因此 $$ \boxed{ \text{總量相同} \not\Rightarrow \text{幾何相同} }. $$ --- # 23. 局部圓與全域螺旋 本文將以下兩句區分開來。 ## 局部完整轉向語言 若某一轉向單元具有常曲率，則 $$ \boxed{ \text{該單元是圓} }. $$ ## 全域外推語言 若每完成完整轉向後，徑向尺度仍增加，則 $$ \boxed{ \text{全域連接形狀是螺旋} }. $$ 因此 $$ \boxed{ \text{圓是局部常曲率完整轉向單元； 螺旋是多個向外轉向單元的全域連接語言} }. $$ --- # 24. 螺旋生成圓盤 「螺旋環帶」與「螺旋生成圓盤」必須區分。 ## 螺旋環帶 若厚化螺旋圈層之間仍存在空隙，則區域不是完整圓盤。 ## 螺旋生成圓盤 若： 1. 圈層在邊界上連續接觸； 2. 不存在正面積重疊； 3. 從中心到最外層之間沒有遺留開集空隙； 4. 所得區域閉包為一個圓盤型集合； 則稱為 $$ \boxed{ \text{螺旋生成圓盤} }. $$ 這是一個全局填充條件，不能只由單一節距等式推出。 --- # 25. 拓撲分類 對嚴格分離的有限開螺旋帶，若不計端帽，其參數域為 $$ [0,L]\times[-\rho,\rho]. $$ 在內部單射下，其拓撲型接近閉矩形 $$ \boxed{ D^2 }. $$ 對閉合圓形中心線，其圓環拓撲型為 $$ \boxed{ S^1\times[0,1] }. $$ 若中央孔洞消失，則拓撲型變為 $$ \boxed{ D^2 }. $$ 所以 $$ \text{圓環} \quad\text{與}\quad \text{螺旋開帶} $$ 即使視覺上都有「環繞」，其拓撲來源仍可不同。 --- # 26. 與純圓語言的關係 如果幾何語言規定： > 所有完整 $360^\circ$ 轉向都必須以常曲率完成， 則每個獨立完整轉向單元都是圓。 但若這些轉向單元的中心或半徑持續改變，將它們連續接合後，整體不再是單一圓。 因此正確的形式是 $$ \boxed{ \text{每個固定尺度完整轉向單元可為圓； 多尺度連續外推的整體可為螺旋} }. $$ 不能直接寫成 $$ \text{所有總轉角 }360^\circ\text{ 的幾何都是圓}. $$ --- # 27. 主要推論 ## 推論 A：正厚度必要性 若要求二維測度正值，則必須研究 $$ S_\rho(\gamma) \quad\text{或}\quad T_\rho(\gamma), $$ 而不是純中心線。 ## 推論 B：圓環退化 若徑向增量為零且曲率常數，則中心線為圓，雙向偏移為圓環。 ## 推論 C：螺旋環帶生成 若完成完整轉向後仍有正徑向增量，則全域中心線不是圓，而為螺旋型曲線；其雙向偏移為螺旋環帶。 ## 推論 D：接觸飽和 幾何「可以交接但不能重疊」的精確邊界條件是 $$ \operatorname{reach}(\gamma)=\rho. $$ ## 推論 E：面積不依賴曲率分布 只要法向帶合法且不自交 $$ \mu_2(S_\rho(\gamma))=2\rho L. $$ 因此曲率影響形狀，但不影響無端帽帶的總面積。 --- # 28. 新研究問題 ## 問題 28.1：接觸飽和螺旋的存在性 給定 $$ L,\rho,\Theta, $$ 是否存在中心生成螺旋滿足 $$ \operatorname{reach}(\gamma)=\rho $$ 並完成指定總轉向？ ## 問題 28.2：螺旋生成圓盤的精確條件 哪些條件可保證 $$ \overline{S_\rho(\gamma)} $$ 為圓盤型集合，且從中心到最外邊界無開集空隙？ ## 問題 28.3：最小外包圓 在固定 $$ L,\rho,\Theta $$ 下，哪一條合法中心生成螺旋使其雙向偏移帶的最小外包圓半徑最小？ ## 問題 28.4：最大支撐壓力 在固定長度與厚度下，哪種曲率分布使 $$ h_{T_\rho(\gamma)}(u) $$ 在某些方向最難被共同容納？ ## 問題 28.5：常曲率與曲率集中 最有效的外推幾何是否為： - 常曲率螺旋； - 分段常曲率； - 有限寬度曲率集中層； - 接觸飽和變曲率螺旋？ --- # 29. 形式化接口 後續若進入 Lean、Coq 或其他形式系統，可依下列順序處理。 ## 第一層：曲線與 Frenet 標架 形式化 $$ T=\gamma', \qquad N=R_{\pi/2}T, \qquad T'=\kappa N. $$ ## 第二層：法向映射 形式化 $$ F_\rho(s,t)=\gamma(s)+tN(s). $$ ## 第三層：Jacobian 證明 $$ \det (\partial_sF_\rho,\partial_tF_\rho) = 1-t\kappa(s). $$ ## 第四層：面積公式 在單射與正 Jacobian 條件下證明 $$ \mu_2(S_\rho(\gamma))=2\rho L. $$ ## 第五層：常曲率圓 證明 $$ \kappa\equiv1/R $$ 與完整弧長 $$ L=2\pi R $$ 推出圓。 ## 第六層：極座標分類 形式化 $$ r'(\vartheta)\ge0 $$ 及週期增量 $$ r(\vartheta+2\pi)-r(\vartheta). $$ --- # 30. 限制 本文沒有證明： 1. 所有中心生成曲線必為阿基米德螺旋； 2. 徑向節距 $2\pi b$ 是一般法向帶的精確圈距； 3. $\operatorname{reach}(\gamma)=\rho$ 必然使整個內部完全填滿； 4. 接觸型螺旋一定形成圓盤； 5. 某一特定螺旋是面積、外包圓或普適容納問題的最優解； 6. 所有總轉角 $2\pi$ 的曲線都是圓； 7. 本文已解決掛谷問題、Moser 蟲問題或其他萬有覆蓋問題。 本文完成的是： - 幾何對象的精確定義； - 圓與螺旋的邏輯分類； - 不重疊與交接的 reach 表述； - 雙向偏移帶的正面積公式； - 後續橋接理論所需的基礎命題。 --- # 31. 結論 本文形式化了中心生成式雙向偏移螺旋。 其基本幾何鏈為： $$ \boxed{ \text{中心起始} \longrightarrow \text{方向持續轉動} \longrightarrow \text{完成 }360^\circ \longrightarrow \text{仍向外延伸} \longrightarrow \text{螺旋中心線} \longrightarrow \text{雙向法向偏移} \longrightarrow \text{螺旋環帶} }. $$ 若沒有徑向增量，並加入常曲率條件，則 $$ \boxed{ \text{中心線為圓，偏移區域為圓環或圓盤} }. $$ 若具有正徑向增量，則 $$ \boxed{ \text{中心線為螺旋型曲線，偏移區域為螺旋環帶} }. $$ 若 $$ \operatorname{reach}(\gamma)=\rho, $$ 則 $$ \boxed{ \text{形成允許邊界交接但不允許內部重疊的接觸飽和狀態} }. $$ 其面積在合法條件下為 $$ \boxed{ \mu_2(S_\rho(\gamma))=2\rho L }. $$ 因此，本命題的核心可以濃縮為： $$ \boxed{ \text{圓是固定尺度的常曲率完整轉向單元； 螺旋是完整轉向單元持續向外延伸的全域幾何； 雙向偏移則把零面積中心線轉化為正面積螺旋環帶} }. $$ --- # 附錄 A：符號表 | 符號 | 意義 | |---|---| | $\gamma$ | 中心生成曲線 | | $L$ | 中心曲線長度 | | $T(s)$ | 單位切向量 | | $N(s)$ | 單位法向量 | | $\theta(s)$ | 切向角 | | $\kappa(s)$ | 曲率 | | $\rho$ | 厚度半徑 | | $F_\rho(s,t)$ | 法向參數化 | | $S_\rho(\gamma)$ | 無端帽雙向偏移帶 | | $T_\rho(\gamma)$ | 完整管狀鄰域 | | $r(\vartheta)$ | 極座標半徑函數 | | $\Delta_{2\pi}r$ | 一圈後的徑向增量 | | $\operatorname{reach}(\gamma)$ | 唯一最近點管狀半徑 | | $p$ | 阿基米德螺旋的徑向節距 | --- # 附錄 B：最短命題版本 設 $\gamma$ 是由中心開始、徑向尺度非減並完成至少一次完整轉向的平面正則曲線。對其取厚度半徑 $\rho>0$ 的雙向法向偏移，並要求法向帶內部不重疊而邊界可交接。 則： $$ \Delta_{2\pi}r=0 $$ 且曲率常數時，中心線為圓，厚化後為圓環或圓盤； $$ \Delta_{2\pi}r>0 $$ 時，中心線為向外生成的螺旋型曲線，厚化後為中心生成式雙向偏移螺旋環帶； $$ \operatorname{reach}(\gamma)=\rho $$ 描述邊界剛好交接的接觸飽和狀態； 在嚴格合法管狀條件下： $$ \mu_2(S_\rho(\gamma))=2\rho L. $$