2026-10-20 · 剪开为何多出一整圈

0. 导读与元结构 (Orientation & Meta-structure)

Develata，昨天把边界转角纳入 Gauss–Bonnet；今天问一个更尖锐的问题：沿一条线剪开曲面，所有三角形的形状都没变，总曲率为什么可能增加 $2\pi$？

这是边界曲率三日弧的第 2/3 日，是对 7 月 17 日闭曲面角亏和 10 月 19 日带边公式的深化。前者把全局计数局部化，后者加入边界与加倍；本期新增的是切开手术规律：割线内部只转移账目，两个端点各增加 $\pi$，而不是重证总量公式。

对象与量词。 对每个有限分片欧氏三角曲面 $M$，以及每条两端在边界、内部在曲面内部的简单边路径 $a$，考察切后曲面 $M_a$ 到原曲面的粘回映射 $q$。先对每个原顶点 $v$ 比较它的全部前像，再对所有顶点求和。允许 $M_a$ 不连通，所有全局量均按分支相加。

预备—机制—去向。 预备是内部角亏 $2\pi -\theta$、边界转角 $\pi -\theta$ 和 $V-E+F$。两条独立机制是角扇区分拆与胞腔副本计数；它们在同一个 $2\pi$ 增量上会合。研究生延伸把逐点等式压成曲率测度的推前公式，再指向割图与曲率实现问题。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 必须先说清“切开”

设 $M$ 是紧致二维流形，允许边界，带有限三角剖分。每个面是非退化欧氏三角形，相邻面沿等长边粘合；不要求三维嵌入。对每个顶点令 ${\theta }_M(v)$ 为所有关联面角之和，并统一记

$${\kappa }_M(v)=\{\begin{array}{ll}2\pi -{\theta }_M(v),& v\in \mathrm{int}M,\\ \pi -{\theta }_M(v),& v\in \partial M.\end{array}$$

昨天的带边恒等式是

$$\sum _v{\kappa }_M(v)=2\pi \chi (M).$$

离散角亏与闭曲面背景见 [1，§5.5]；本期的切开等式在下面完整推导，不冒称是来源中的逐字定理。

割弧条件。 取 $k\ge 1$ 及两两不同的顶点 $v_0,\dots ,v_k$，相邻顶点连成边路径 $a$，满足：

• $v_0,v_k\in \partial M$，且两个端点不同；
• 除端点外，整条弧位于 $\mathrm{int}M$；
• 路径作为映射 $[0,1]\to M$ 是嵌入，其端点附近有标准半圆盘中的入射弧模型。

这叫正常嵌入弧 (properly embedded arc)。在当前有限三角曲面模型里，它明确排除了自交、沿旧边界走一段、内部撞到边界等情况。

切开 (cutting) 是把弧两侧分离并各自保留，产生紧致曲面 $M_a$。它不是集合差 $M\setminus a$：后者丢掉了缝边，本期却保留两份缝边。自然映射 $q:M_a\to M$ 把两份缝边重新识别。三角形的内部、边长及角度均不改变。

1.2 局部引理：只需检查三类点

不在弧上的顶点。 只有一个副本，内部/边界类型不变，因此曲率不变。

弧的内部顶点 $v_j$，$1\le j\le k-1$。 原本是内部点，切后成为两个边界点 $v_j^{+},v_j^{-}$。其扇区角分别为 ${\alpha }_j,{\beta }_j$，满足

$${\alpha }_j+{\beta }_j={\theta }_M(v_j).$$

所以

$${\kappa }_{M_a}(v_j^{+})+{\kappa }_{M_a}(v_j^{-})=(\pi -{\alpha }_j)+(\pi -{\beta }_j)={\kappa }_M(v_j).$$

原来一个 $2\pi$ 基准变成两个 $\pi$ 基准，完全守恒；不需要两侧角相等，也不需要割线为测地线。

两个端点 $p\in \{v_0,v_k\}$。 原本已是边界点，切后同样分成两个边界点。若两扇区角为 $\alpha ,\beta$，则

$${\kappa }_{M_a}(p^{+})+{\kappa }_{M_a}(p^{-})=2\pi -(\alpha +\beta )={\kappa }_M(p)+\pi .$$

原来只有一个 $\pi$ 基准，现在变成两个。因此新增量不取决于割线入射角；角度决定它在两个副本之间如何分配，却不改变合计。

1.3 定理：角度账与拓扑账独立吻合

割弧曲率转移定理。 对每个满足上述条件的 $(M,a)$，

$$\boxed{{\displaystyle \sum _{w\in V(M_a)}{\kappa }_{M_a}(w)=\sum _{v\in V(M)}{\kappa }_M(v)+2\pi ,}}$$

且

$$\boxed{{\displaystyle \chi (M_a)=\chi (M)+1.}}$$

第一式已经由逐点引理证明。第二式可不借助 Gauss–Bonnet 而单独计数：路径上 $k+1$ 个顶点各变成两个，$k$ 条边各变成两条，面数不变，因而

$$V_a=V+(k+1),E_a=E+k,F_a=F,$$

$$\chi (M_a)-\chi (M)=(k+1)-k=1.$$

这里可以使用诱导的有限胞腔分解；若需要严格的单纯复形，再细分即可。切后连通与否不影响计数。将第二式乘以 $2\pi$，与局部角度推导完全一致。

逻辑谱系。 三角面角和与边侧关联 → 带边 Gauss–Bonnet → 切开时顶点类型的改变 → 端点缺陷与 Euler 增量。本期沿用昨天的对象，但加入的是手术规律，而非换个例子重复总曲率公式。

1.4 闭割线为何不同？

若改沿位于内部的简单双侧闭边路径 $c$ 切开，路径每个顶点均产生两个边界副本，只有上面的“内部顶点”情形，没有端点情形。设圈有 $k$ 条边、$k$ 个顶点，则 $\mathrm{\Delta }V=k=\mathrm{\Delta }E$，所以

$$\chi (M_c)=\chi (M),\sum {\kappa }_{M_c}=\sum {\kappa }_M.$$

双侧 (two-sided) 指该圈有环带邻域；这个假设保证两侧边界的全局描述。不要把对双侧圈的叙述不加说明搬到有 Möbius 带邻域的单侧圈。今天也不讨论有公共端点的割线网络：那里必须重新数端点扇区，不能把各弧的 $+1$ 盲目相加。

1.5 研究生延伸：以推前测度表达局部手术

以 ${\mathbf{d}}_v$ 表示顶点 $v$ 处的单位 Dirac 质量，定义有限有符号原子测度

$${\mu }_M=\sum _{v\in V(M)}{\kappa }_M(v){\mathbf{d}}_v.$$

对每个 Borel 集 $B\subseteq M$，推前定义为 $(q_{\ast }{\mu }_{M_a})(B)={\mu }_{M_a}(q^{-1}(B))$。上述逐纤维等式恰好给出

$$\boxed{{\displaystyle q_{\ast }{\mu }_{M_a}={\mu }_M+\pi {\mathbf{d}}_{v_0}+\pi {\mathbf{d}}_{v_k}.}}$$

这比总量多告诉我们一件事：新增质量的位置已确定。它是当前离散模型中的精确等式，不是某个连续极限的启发式，也不意味着面上的高斯曲率密度突然增大。

2. 固定模板习题 (Template Exercise)

题目

设实值函数 $f\in C^1([0,1])$，$f(0)=f(1)=0$。证明对每个 $x\in [0,1]$，

$$|f(x){|}^2\le x(1-x){\int }_0^1|f^{\prime }(t){|}^{2}dt.$$

据此推出

$$\parallel f{\parallel }_{\mathrm{\infty }}^2\le \frac{1}{4}{\int }_0^1|f^{\prime }{|}^2,{\int }_0^1|f(x){|}^{2}dx\le \frac{1}{6}{\int }_0^1|f^{\prime }{|}^2.$$

此题不要求证明积分不等式中的常数最优。

模板识别

两个零端点、一个内部点值、一份导数能量：应从左右两端分别表达点值，再使用 Cauchy–Schwarz 不等式。关键不是取两条估计中较小的一条，而是让两段互不重叠的能量相加。

分级提示

1. 固定 $0<x<1$，分别把 $f(x)$ 写成在 $[0,x]$ 和 $[x,1]$ 上的导数积分。
2. 两次 Cauchy–Schwarz 后，分别把不等式除以 $x$ 和 $1-x$。
3. 两式相加，并化简 $1/x+1/(1-x)$；最后再对 $x$ 取上确界或积分。

3. 大家之言 (Mathematician in Their Own Words)

来源语境。 William P. Thurston 在第一人称方法论文章 On Proof and Progress in Mathematics（Bulletin of the AMS，1994 年 4 月，第 30 卷第 2 期）第 2 节列出理解导数的多种方式：符号运算、逻辑定义、切线斜率、瞬时速率、最佳线性逼近、显微放大等。[2，印刷页 163]

他紧接着说明：

“This is a list of different ways of thinking about or conceiving of the derivative, rather than a list of different logical definitions.”

中译：“这是一份思考或理解导数的不同方式的列表，而不是一份不同逻辑定义的列表。”

转述（paraphrase）。 在随后一页，他回忆自己曾逐一消化这些观念、协调它们，并在后来重访时获得新的意义。文章接着区分语言、空间感、逻辑推演等理解渠道，而非把数学思维压成单一通道。

本文评论。 今天可以把同一个切开过程看三次：手里剪开的扇形图、$V-E+F$ 的副本数、推前测度的点质量。它们不是三个互不相关的定理，也不是三个必须互相取代的定义。每种表示各自暴露一个容易漏掉的细节：图形提醒端点也会裂开；计数阻止把连通分支数误作 Euler 增量；测度指出新增量只支撑在端点。

真正有用的表征切换，是能彼此发现错误，而不只是把同一结论换成更高级的词。本期重访 Thurston 的这篇旧文，但聚焦“同一对象的多种理解”，不拿历史文章对当代成果作事实背书。

4. 反例与边界 (Counterexample & Boundary)

待否定命题：只要剪开一条简单曲线，总曲率就增加 $2\pi$。 错在没有区分割弧和闭圈。

取平坦圆柱

$$C=(\mathbb{R}/L\mathbb{Z})\times [0,h],L,h>0,$$

用矩形网格再划分三角形，所有长度来自平面乘积度量。这里说的是内禀圆柱，空间嵌入如何弯曲不参与角亏计算。

先验检查。 内部顶点角和 $2\pi$，两条边界上的顶点角和 $\pi$，所以全部曲率权重为零；拓扑上 $\chi (C)=0$。

情形 A：沿纵向弧 $\{0\}\times [0,h]$ 切开。

• 两端属于不同边界圈，内部位于圆柱内部，是本期允许的割弧。
• 切后是 $[0,L]\times [0,h]$，同胚于圆盘，故 $\chi =1$。
• 每个旧端点分成两个矩形角；四个新角的内角均为 $\pi /2$，各贡献 $\pi /2$。
• 其余新边界点的角为 $\pi$，转角零；总曲率恰为 $2\pi$。

情形 B：沿腰圈 $(\mathbb{R}/L\mathbb{Z})\times \{h/2\}$ 切开。 预先细分使它沿网格边走，不改变几何。

• 它是内部双侧简单闭圈，没有端点。
• 切后是两个平坦圆柱，而非两个圆盘；每个分支 Euler 示性数仍为零，总和仍为零。
• 新边界处的内侧角均为 $\pi$，全部转角仍为零；总曲率没有增加。

于是“多一个连通分支”并不决定新增曲率；决定本期 $2\pi$ 增量的是两个边界端点，而不是剪刀动过、边界变多或曲面分开这些模糊描述。

另一个必要边界：这里没有移除一条正宽度带，也没有挖去圆盘。那些是不同手术，必须另数胞腔与新边界，不能借用今天的公式名称直接代入。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $M$ 是紧致连通可定向曲面，亏格为 $g$，有 $b\ge 1$ 个边界分支。选取 $r$ 条两两不相交、端点也互不相同的正常嵌入弧。假设沿它们全部切开后恰好得到一个圆盘。

1. 证明 $r$ 必须等于 $2g+b-1$。
2. 这个必要计数条件是否总能实现？尝试为任意 $(g,b)$ 设计割弧，并解释为何最终是一个圆盘，而不是若干曲面总 Euler 示性数恰好等于 $1$。

提示只给到这里：区分“每次切开改变多少”与“如何选择切线保证目标拓扑”。第二问需要构造，不能再用总量恒等式代替。

地图。 流形局部模型、有限胞腔计数 → 割弧的端点缺陷 → 割图 (cut graph)、基本多边形 (fundamental polygon) → 网格展开与参数化 → 指定曲率的可实现性。

下一期的自然问题也由此出现：总量吻合是必要条件，但是否已经足以保证存在所需几何？

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：双端点积分表示 → 分区 Cauchy–Schwarz → 合并不重叠能量。

固定 $0<x<1$。由微积分基本定理和两个零端点，

$$f(x)={\int }_0^x{f}^{\prime }(t)dt=-{\int }_x^1{f}^{\prime }(t)dt.$$

因 $f^{\prime }$ 连续，平方可积；Cauchy–Schwarz 分别给出

$$\frac{|f(x){|}^2}{x}\le {\int }_0^x|f^{\prime }(t){|}^{2}dt,\frac{|f(x){|}^2}{1-x}\le {\int }_x^1|f^{\prime }(t){|}^{2}dt.$$

相加后利用

$$\frac{1}{x}+\frac{1}{1-x}=\frac{1}{x(1-x)},$$

得到点值估计。$x=0,1$ 时左右两侧均为零，故结论对整个闭区间成立。

记 $E={\int }_0^1|f^{\prime }{|}^2$。由 $x(1-x)\le 1/4$，点值界给出 $\parallel f{\parallel }_{\mathrm{\infty }}^2\le E/4$。再把同一界对 $x$ 积分，因

$${\int }_0^{1}x(1-x)dx=\frac{1}{2}-\frac{1}{3}=\frac{1}{6},$$

得到 ${\int }_0^1|f{|}^2\le E/6$。

两条推论是在同一个点值估计上执行不同操作，不要先取上确界再积分，否则只能得到较弱的 $E/4$。本解答并未宣称 $1/6$ 是最佳积分常数。

资料与来源 (Sources)

1. Keenan Crane, Discrete Differential Geometry: An Applied Introduction，CMU 托管讲义，本次打开的封面标注更新于 2025-01-29。Chapter 2 提供单纯曲面背景，§5.5–5.6 给出角亏、离散 Gauss–Bonnet 与曲率离散化背景。本期割弧的副本计数、端点公式及推前等式为正文中的直接推导：https://www.cs.cmu.edu/~kmcrane/Projects/DDG/paper.pdf
2. William P. Thurston, “On Proof and Progress in Mathematics”，Bulletin (New Series) of the American Mathematical Society 30(2)，April 1994，161–177。引文位于第 2 节、印刷页 163；个人消化不同观念的回忆位于页 164。本次打开 AMS 原文并核对所引句子：https://www.ams.org/journals/bull/1994-30-02/S0273-0979-1994-00502-6/S0273-0979-1994-00502-6.pdf
3. 本刊前篇，2026-10-19，《边界不是少算半圈：带边曲面的角亏、转角与加倍法》。本次为续篇实际重读；今天新增的是割弧手术而非加倍。归档：/opt/data/output/daily-mathematics-journal/2026/10/2026-10-19.md。

来源覆盖与时间口径。 制作日为 Asia/Shanghai 2026-10-20（星期二）。预运行 RSS 同日刷新与投影成功，覆盖四个来源、五条候选；发表时间与发现时间分开记录，不按新旧排除材料。本期选择已实际打开的学术讲义与第一人称旧文，没有采用候选标题中的新近研究结论，也不将源健康状态当成文章真实性证明。正文数学采用完整推导，未声称运行数值实验。