# WSFC Round 23
## Strict Monotonicity：Tangent-Gap Refinement 與 2007 Conjecture (5) 的最後一半

**English Title:** *Strict Monotonicity: Tangent-Gap Refinement and the Remaining Half of the 2007 Breadth Conjecture*  
**文件代號：** `WSFC-R23-v0.1`  
**版本：** v0.1  
**日期：** 2026-09-23  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / OpenAI GPT-5.6 Sol  
**系列：** Worm Sequence Freedom Closure  
**前置：** `WSFC-R21-v0.1`；`WSFC-R22-v0.1`  
**狀態：** `STRICT MONOTONICITY RESEARCH PROOF / CONDITIONAL ON G0-LITE / FORMAL AUTHORITY OPEN`  
**Canonical Source：** UTF-8 Markdown

---

# 摘要

2007 年 Panraksa–Wetzel–Wichiramala 的 conjecture (5) 是：

$$
\boxed{
t_n
\text{ strictly increases to }
t_0.
}
$$

Round 22 已經獨立於 G0 證得：

$$
\boxed{
t_n\rightarrow t_0
}
$$

並給：

$$
0\le t_0-t_n
\le
\frac1{\lfloor n/2\rfloor}.
$$

所以 conjecture (5) 只剩 strictness：

$$
\boxed{
t_n<t_{n+1}.
}
$$

Round 23 將 strictness 壓成一個 local **Tangent-Gap Refinement Lemma**。

對 breadth-one support-tangent chain 中兩條相鄰 tangent supports，設 outward-normal angular gap：

$$
0<\delta<\pi.
$$

原 local contribution：

$$
\ell_{\rm old}
=
2\tan\frac{\delta}{2}.
$$

在兩 tangents之間插入 bisecting tangent，gap變為：

$$
\frac{\delta}{2}+\frac{\delta}{2}.
$$

new contribution：

$$
\ell_{\rm new}
=
4\tan\frac{\delta}{4}.
$$

令：

$$
u=\tan\frac{\delta}{4}.
$$

則：

$$
0<u<1,
$$

且：

$$
\tan\frac{\delta}{2}
=
\frac{2u}{1-u^2}.
$$

故 exact strict gain：

$$
\boxed{
\ell_{\rm old}-\ell_{\rm new}
=
\frac{4u^3}{1-u^2}
>0.
}
$$

所以每出生一個真正 active tangent cell，breadth-one chain長度會嚴格下降。

更重要的是：這個 strictness proof不需要完整 G0 reduced formula。只需要 **G0-lite**：

1. true stage-$n$ optimizer在 lower-stage normalization後是 nondegenerate convex width-active tangent chain；
2. lower-stage degeneration可被 sound normalization；
3. genuine stage-$n$ optimizer至少有一個 positive tangent gap；
4. bisecting tangent insertion合法且 segment count增加 exactly one。

本輪也把 induction base做成 exact separation：

$$
\boxed{
t_3<\frac7{16}<t_4.
}
$$

2007 theorem給：

$$
t_3(\theta)
=
\frac{\sin2\theta+\sin\theta}{2\cos\theta+3},
\qquad
\theta\in[\pi/3,\pi/2].
$$

令：

$$
c=\cos\theta\in[0,1/2].
$$

要證：

$$
t_3<\frac7{16},
$$

平方後化成：

$$
\boxed{
P(c)
=
1024c^4+1024c^3-572c^2-436c+185
>0.
}
$$

exact Sturm count：

```text
roots in [0,1/2] = 0
P(0) = 185
P(1/2) = 16
```

故：

$$
\boxed{
t_3<7/16.
}
$$

四段側取既有合法 support-tangent candidate：

$$
d=\frac{53}{50}.
$$

其 breadth-one length完全代數化：

$$
\boxed{
L_4
=
\frac{932959}{400750}
-
\frac{1573\sqrt{309}}{601125}.
}
$$

而：

$$
\frac{16}{7}-L_4
=
\frac{3146\sqrt{309}-50877}{1202250}.
$$

因：

$$
3146^2\cdot309-50877^2
=
\boxed{
469801515
}
>0,
$$

故：

$$
L_4<16/7,
$$

因此 candidate breadth：

$$
1/L_4>7/16.
$$

所以：

$$
\boxed{
t_3<7/16<t_4.
}
$$

2007 source另已給：

$$
t_2<t_3.
$$

現在做 induction。

假設：

$$
t_{n-1}<t_n,
\qquad
n\ge4.
$$

取 true stage-$n$ optimizer：

$$
\Gamma_n.
$$

若它可 normalization為至多 $n-1$ segments，則其 trace可表示成 $(n-1)$-segment unit arc，故：

$$
t_n\le t_{n-1},
$$

矛盾。

所以 $\Gamma_n$ genuine stage-$n$。

由 G0-lite，它具有至少一個 positive tangent gap：

$$
0<\delta<\pi.
$$

插入 bisecting tangent得到 breadth-one $(n+1)$-segment legal chain，且：

$$
L'<L_n=\frac1{t_n}.
$$

重新 scale到 unit length後 breadth：

$$
\frac1{L'}>t_n.
$$

所以：

$$
\boxed{
t_{n+1}>t_n.
}
$$

induction得到：

$$
\boxed{
t_2<t_3<t_4<t_5<\cdots.
}
$$

結合 Round 22：

$$
t_n\rightarrow t_0,
$$

得到：

$$
\boxed{
t_n
\text{ strictly increases to }
t_0.
}
$$

所以 2007 conjecture (5) 可升級為：

```text
RESEARCH-PROOF-LEVEL PROVISIONALLY CLOSED
FORMAL AUTHORITY OPEN
INDEPENDENT REVIEW OPEN
```

---

# 1. Source Status

2007 paper只證：

$$
t_n\le t_{n+1}<t_0,
$$

並把 strict increase to $t_0$ 明列 conjecture (5)。

其 exact theorem給 unique three-segment trine，且明寫：

$$
t_0>t_3>0.435>t_2.
$$

所以：

$$
t_2<t_3
$$

為 classical base。

targeted 2026 search未找到明確宣稱 general-$n$ strictness已解的後續工作。

此項不是 exhaustive novelty proof。

---

# 2. Breadth-One Dual

unit-length optimizer：

$$
b(\Gamma_n)=t_n.
$$

scale by：

$$
1/t_n.
$$

得到 breadth-one chain：

$$
\widetilde\Gamma_n
$$

長：

$$
L_n=\frac1{t_n}.
$$

strict breadth increase等價於：

$$
\boxed{
L_{n+1}<L_n.
}
$$

---

# 3. Local Tangent Split

一個 positive support gap：

$$
\delta.
$$

old：

$$
2\tan\frac{\delta}{2}.
$$

insert bisector tangent：

$$
4\tan\frac{\delta}{4}.
$$

difference：

$$
\boxed{
\frac{4\tan^3(\delta/4)}
{1-\tan^2(\delta/4)}
>0.
}
$$

這是 strictness真正的局部 engine。

---

# 4. Perspective View

Round 04 的：

$$
g(q,s)
=
2q\tan\frac{s}{2q}
$$

對 fixed：

$$
s>0
$$

strictly decreases with $q$。

令：

$$
z=\frac{s}{2q}.
$$

則：

$$
\frac{\partial g}{\partial q}
=
2(\tan z-z\sec^2z).
$$

而：

$$
f(z)=z\sec^2z-\tan z
$$

有：

$$
f'(z)=2z\sec^2z\tan z>0,
$$

$$
f(0)=0.
$$

所以：

$$
\boxed{
\partial_q g<0.
}
$$

---

# 5. G0-lite

strictness不使用：

```text
balanced allocation
even/odd symmetry
exact d optimizer
exact x optimizer
uniqueness
```

只使用：

```text
support-width saturation
lower-stage normalization
positive tangent gap
legal tangent insertion
```

所以 proof dependency比完整 finite-stage formula小。

---

# 6. Exact $t_3$ Bound

令：

$$
c=\cos\theta.
$$

$$
t_3(c)
=
\frac{\sqrt{1-c^2}(2c+1)}{2c+3}.
$$

對：

$$
c\in[0,1/2].
$$

比較：

$$
t_3(c)<7/16.
$$

平方後：

$$
P(c)>0
$$

where：

$$
P(c)
=
1024c^4+1024c^3-572c^2-436c+185.
$$

Sturm certificate無 roots，endpoint皆正，故成立。

---

# 7. Exact $t_4$ Competitor

$d=53/50$ 時：

$$
\sqrt{d^2-1}
=
\frac{\sqrt{309}}{50}.
$$

其 support-tangent candidate：

$$
L_4
=
\frac{932959}{400750}
-
\frac{1573\sqrt{309}}{601125}.
$$

且：

$$
16/7-L_4>0.
$$

故：

$$
t_4>7/16.
$$

---

# 8. Lower-Stage Induction

假設：

$$
t_{n-1}<t_n.
$$

若 stage-$n$ optimum有 redundant segment：

$$
\Gamma_n
\rightarrow
\Gamma_k,
\qquad
k<n,
$$

則 dormant subdivision可把 $\Gamma_k$ 表示成 $(n-1)$-segment arc。

故：

$$
t_n\le t_{n-1},
$$

矛盾。

所以 optimizer genuine stage-$n$。

---

# 9. Positive Gap

genuine nondegenerate support-tangent chain不可能所有 adjacent normal gaps皆 $0$。

否則 support lines可合併，stage下降。

故：

$$
\exists\delta\in(0,\pi).
$$

---

# 10. Strict Refinement

insert tangent normal at angular midpoint。

existing width-active support structure保持；new support亦 tangent to同一 opposite support circle。

所以 breadth仍至少 $1$。

segment count：

$$
n\rightarrow n+1.
$$

length strict drop。

因此 scale back後 breadth strict rise。

---

# 11. Final Induction

base：

$$
t_3<t_4.
$$

step：

$$
t_{n-1}<t_n
\Rightarrow
t_n<t_{n+1}.
$$

故：

$$
\boxed{
t_n<t_{n+1}
\quad
\forall n\ge3.
}
$$

加：

$$
t_2<t_3.
$$

完成 all $n\ge2$。

---

# 12. Round 22 + 23

Round 22：

$$
t_n\rightarrow t_0.
$$

Round 23：

$$
t_n<t_{n+1}.
$$

因此：

$$
\boxed{
t_n\uparrow t_0
\text{ strictly}.
}
$$

---

# 13. Authority Discipline

目前允許：

```text
Conjecture (5):
  research-proof-level provisionally closed
```

不允許：

```text
formally verified theorem
priority established
peer-reviewed resolution
```

---

# 14. Numerical Audit

reduced formulas重新 optimize：

$$
n=3,\ldots,30.
$$

每一階：

$$
\widehat t_{n+1}-\widehat t_n>0.
$$

此結果只作 implementation red-team。

---

# 15. 下一步

Conjecture (6) 現在只剩：

$$
\boxed{
b_{n+1}<b_n.
}
$$

因 Round 22已證：

$$
b_n\rightarrow b_0.
$$

但 endpoint distance不是 objective，strictness不會由 tangent splitting自動推出。

另一個可能更根本的方向是：

$$
\boxed{
\textbf{Finite-Stage Uniqueness}
}
$$

即 2007 conjecture (1)。

如果 reduced scalar optimizer能證 unique，將同時強化：

- endpoint distance定義；
- parity/symmetry；
- G0 authority；
- conjecture (6) 的 strictness分析。

---

# 結論

Round 23 將 strict monotonicity壓成：

$$
\boxed{
2\tan\frac{\delta}{2}
>
4\tan\frac{\delta}{4}.
}
$$

局部 strict gain為：

$$
\boxed{
\frac{4u^3}{1-u^2}>0.
}
$$

配 exact base：

$$
\boxed{
t_3<\frac7{16}<t_4
}
$$

及 lower-stage induction，得到：

$$
\boxed{
t_n<t_{n+1}
}
$$

at research-proof level conditional on G0-lite。

與 Round 22 合併：

$$
\boxed{
t_n
\text{ strictly increases to }
t_0.
}
$$

===END===