2026-10-19 · 边界不是少算半圈

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

Develata，今天从一个极小的失败开始：一块平面正方形内部处处平坦，但它的 Euler 示性数是 $1$。若总曲率只统计内部点，$2\pi$ 去了哪里？

7 月 17 日那期已经建立闭曲面的角亏公式。本期是明确的深化，而非重新介绍同一个定理：把“无边界”撤去，区分内部的 $2\pi$ 基准与边界的 $\pi$ 基准，证明边界项为何不可少，再用加倍法 (doubling) 解释二者为何恰好兼容。

对象与量词。 对每个具有有限三角剖分的紧致连通二维流形 $M$（允许边界），给每条边指定正长度，要求每个三角形的三边满足严格三角不等式；沿公共边等距粘合。对每个顶点 $v$，先判断 $v$ 属于内部还是边界，再对所有含 $v$ 的三角形角求和。结论对每一套这样的长度数据成立，不要求曲面嵌入三维空间，也不要求各面等边。

预备与去向。 只需三角形内角和、有限关联双计数、$\chi =V-E+F$。机制是“局部模型决定基准—角和换序—边界关联抵消”；研究生延伸是接缝上的曲率测度。全篇不把曲率总量恒等式误读为点态逼近定理。

弧位置。 新三日探索弧的第 1/3 日：今天处理边界预算；后两日的预定方向是切开与粘合、再到离散曲率的约束与实现。当前历史累计 anchor 比例为 $40\mathrm{\%}$，本次选择覆盖较少的离散几何，不机械抽签。

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

1.1 局部模型先于公式

写内部顶点集为 $V_i$，边界顶点集为 $V_b$，内部边集为 $E_i$，边界边集为 $E_b$，三角形集为 $F$；同一字母加绝对值表示数量。流形条件要求内部点有圆盘邻域，边界点有半圆盘邻域。特别地，每条内部边属于两个三角形，每条边界边属于一个三角形，边界是有限个圈的并。[1，Chapter 2]

对每个顶点 $v$ 定义总角

$$\theta (v)=\sum _{\begin{array}{c}T\in F\\ v\in T\end{array}}{\alpha }_T(v),$$

其中 ${\alpha }_T(v)\in (0,\pi )$ 是欧氏三角形 $T$ 在 $v$ 处的角。定义内部角亏 (interior angle defect) 与边界转角 (boundary turning angle)：

$$\delta (v)=2\pi -\theta (v)(v\in V_i),\tau (v)=\pi -\theta (v)(v\in V_b).$$

RMK：为什么是两个基准？ 平坦内部点的邻域绕满一周，总角是 $2\pi$；平直边界点的内侧邻域只占半平面，总角是 $\pi$。若平面区域的边界内角大于 $\pi$，它是凹角，$\tau (v)<0$，不能取绝对值。一般抽象多面曲面上，$\tau$ 是此公式定义的内禀边界量，不必诉诸空间中的外法向。

1.2 前置引理：带边版本的两本计数账

对每个上述剖分，有

$$3|F|=2|E_i|+|E_b|,|V_b|=|E_b|.$$

第一个等式按三角形侧与边的关联计数；第二个等式来自每个边界圈的顶点数等于边数。后一条需要真正的曲面边界，不能把任意一堆“暴露的边”直接代入。

再按角的关联换序：

$$\sum _{v\in V_i\cup V_b}\theta (v)=\sum _{T\in F}\sum _{v\in T}{\alpha }_T(v)=\pi |F|.$$

这一步只使用面是非退化欧氏三角形。

1.3 定理：内部与边界共同承担拓扑预算

带边多面 Gauss–Bonnet。 对每个 0 节所述有限分片欧氏曲面，

$$\boxed{{\displaystyle \sum _{v\in V_i}\delta (v)+\sum _{v\in V_b}\tau (v)=2\pi \chi (M).}}$$

不需要可定向性；这里证明的是不带方向符号的内角恒等式。

完整推导。 左边等于

$$2\pi |V_i|+\pi |V_b|-\pi |F|.$$

而由两条计数式，

$$\begin{array}{rl}2\chi (M)& =2(|V_i|+|V_b|-|E_i|-|E_b|+|F|)\\ & =2|V_i|+|V_b|-|F|.\end{array}$$

乘以 $\pi$ 即得结论。有限性保证换序无收敛问题；流形条件保障边侧重数；欧氏面保障角和；三者分别在证明中承担不同工作。

直接推论。 若 $M$ 是拓扑圆盘，且全部内部角亏为零，则边界转角总和为 $2\pi$。这不是边界每点都正弯：它只是有符号总量。若是平面环域，则同样的内部平坦性给出边界总转角为零，第 4 节将逐点检查。

谱系口径。 [1，§5.5–5.6] 给出闭曲面的角亏与离散 Gauss–Bonnet 背景。本节在此基础上完整推导带边版本；“闭曲面—边界修正—加倍”是本期的逻辑组织，不是未经核验的发现年代排序。

1.4 研究生延伸：为什么加倍能自动恢复 $2\pi$

取两份 $M$，将对应边界逐点粘合，得到无边界曲面 $DM$。可用原剖分诱导的胞腔结构计数（若需严格单纯剖分，可再细分）：

$$|V(DM)|=2|V_i|+|V_b|,|E(DM)|=2|E_i|+|E_b|,|F(DM)|=2|F|.$$

于是 $|V_b|=|E_b|$ 给出

$$\chi (DM)=2\chi (M).$$

每个原内部顶点出现两次，各自保留角亏；每个原边界顶点变为接缝内部点，角和翻倍，因此

$${\delta }_{DM}(v)=2\pi -2{\theta }_M(v)=2{\tau }_M(v).$$

对 $DM$ 应用闭曲面公式，除以二，恰好恢复带边公式。边界项不是为了凑答案而补上的常数，而是接缝曲率的一半。

这也给出曲率测度 (curvature measure) 的入口：令 ${\mathbf{d}}_v$ 为顶点 $v$ 处单位 Dirac 点质量，则内部曲率写成 $\sum _{v\in V_i}\delta (v){\mathbf{d}}_v$，边界转角写成 $\sum _{v\in V_b}\tau (v){\mathbf{d}}_v$。它们是有限有符号原子测度，不是每单位面积的曲率密度。把角亏除以某块顶点邻域面积，是另一个密度近似步骤；其收敛不能仅由总量恒等式推出。[1，§5.6]

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

题目

设 $a<b$，$f\in C^2([a,b])$。定义梯形求积误差 (trapezoidal quadrature error)

$$E(f)=\frac{b-a}{2}(f(a)+f(b))-{\int }_a^{b}f(x)dx.$$

证明

$$|E(f)|\le \frac{(b-a{)}^3}{12}\parallel f^{″}{\parallel }_{\mathrm{\infty }},$$

并证明常数 $1/12$ 不能统一减小。若 $f^{″}\ge 0$，判断误差的符号。

模板识别

表达式消灭一次函数，右侧出现二阶导数，且端点项与积分同时存在：优先寻找端点消失的二次核，再两次分部积分。不必先逐点选择 Taylor 余项中的中间点。

分级提示

1. 找一个二次多项式 $w$，使 $w(a)=w(b)=0$ 且 $w^{″}=-1$。
2. 对 ${\int }_a^{b}w(x)f^{″}(x)dx$ 连做两次分部积分，保留第一阶端点导数的符号。
3. 判断 $w$ 的符号并计算其积分；尖锐性可在二阶导数为常数的函数中检验。

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

已核验语境。 2026 年 10 月 18 日，Terence Tao 的 What’s New 刊出客座文章 Will it be a golden age or a dark age for mathematics (and science)?。页首明确标注作者是 Francesco Maggi，不是 Tao；Tao 另说明文章由其他格式经 AI 转换。这里引用的是 Maggi 第一人称讨论数学实践的文字，不将博客署名位置误作说话者。[2]

在第 (5) 点讨论作者责任、同行评审以及证明如何进入共同数学文化时，他写道：

“To become a fruitful intellectual artifact, a proof needs to be understood, interpreted, related to previous work.”

中译：“一个证明要成为富有成果的思想产物，就需要被理解、被解释，并与既有工作联系起来。”

转述（paraphrase）。 在第 (3)–(4) 点，Maggi 把数学化——发明使对象可以被理性理解的数学语言——与单纯证明命题区分，并反对仅按问题清单上勾掉多少项衡量进展。他没有因此否定解决难题的价值。

本文评论。 今天的证明只用了几行计数，但理解并不止于代数消去。若读者知道半圆盘为什么贡献 $\pi$，就能预测：切开曲面会产生边界账目，重新粘合又会把这些账目转成接缝角亏。这个可迁移的预测能力，才使恒等式成为一种可用的语言。

这里引用的是数学方法论意见，不据此为客座文章涉及的任何新近 AI 数学成果背书；那些成果的正确性需要各自的原始证明与独立审查。检索时间为本期制作日，文章日期来自原页与 URL，二者不混同。

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

4.1 正方形：漏掉边界项，连最平的例子也错

取实心正方形，沿一条对角线分成两个欧氏三角形。

• 顶点、边、面数为 $4,5,2$，故 $\chi =1$。
• 没有内部顶点，所以内部角亏总和为 $0$。
• 每个边界顶点总角为 $\pi /2$，转角为 $\pi /2$，合计 $2\pi$，正好补齐预算。

因此错误命题“带边曲面仍有 $\sum _{V_i}\delta =2\pi \chi$”失败。

另一个错误是边界也照用 $2\pi -\theta$：四角将合计 $6\pi$。更致命的是，在一条直边上添一个点并细分相邻三角形，新点的总角为 $\pi$。正确转角为零，错误定义却凭空增加 $\pi$；它甚至不尊重这种不改变几何的细分。

4.2 方环：为什么内边界必须允许负转角

取平面区域

$$A=[-2,2{]}^2\setminus (-1,1{)}^2.$$

连接内外对应角，把区域分为四个梯形，再各画一条对角线，得到八个三角形。此剖分有八个顶点、八条边界边、八条内部边、八个面，因而

$$\chi (A)=8-16+8=0.$$

逐项看角：

• 四个外角的区域内角均为 $\pi /2$，各贡献 $+\pi /2$；
• 四个内角周围，属于区域的扇区是 $3\pi /2$，不是被挖去方孔的 $\pi /2$，故各贡献 $-\pi /2$；
• 此剖分无内部顶点；若在平坦内部加点，新增点的角和为 $2\pi$，仍只贡献零。

总转角为 $4(\pi /2)+4(-\pi /2)=0$。若把转角取绝对值，则得到 $4\pi$，与 $2\pi \chi (A)=0$ 冲突。边界项记的是区域内侧相对半平面的有符号偏差，不是角落“弯得多厉害”的无符号大小。

最后一条边界：本期允许任意合法三角形边长，故仅知道一个顶点关联几个面，不足以求它的角亏；闭曲面等边三角模型中的度数公式不能原样套来。

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

今日一问。 设一个有限分片欧氏三角曲面同胚于闭圆盘，全部内部顶点满足 $\delta (v)\le 0$，且每个边界顶点满足 $\tau (v)\le \pi /2$。证明它至少有四个严格正转角的边界顶点；再刻画“恰好四个”时内部与其余边界顶点的曲率必须怎样分布。能给出一个达到等号的实现吗？

定向提示。 不要先假设每个边界点都非负。分别统计正、零、负贡献，比较总量约束和单点容量。

作为后续方向，再留意：若圆盘内部曲率非负，边界能否全部为零转角？本期总量公式只给必要预算；它是否足以判定任意指定曲率数据的可实现性，是另一层问题。不要把一个恒等式冒充完整实现定理。

数学地图。

三角形角和、边侧关联 → 内部角亏与边界转角 → 带边 Gauss–Bonnet → 加倍、切开与粘合 → 曲率测度、网格参数化中的几何约束。

沿着这条路线，“边界条件”不再只是定理末尾的一句附注，而是决定局部量如何汇成全局不变量的一部分。

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

展开完整解答

可复用模板：构造端点消失的 Peano 核 (Peano kernel)，两次分部积分，再用核的符号控制误差。

令

$$w(x)=\frac{(x-a)(b-x)}{2}.$$

则 $w(a)=w(b)=0$，$w^{\prime }(a)=(b-a)/2$，$w^{\prime }(b)=-(b-a)/2$，$w^{″}=-1$。因 $f\in C^2([a,b])$，以下两次经典分部积分合法：

$$\begin{array}{rl}{\int }_a^{b}w{f}^{″}& =[w{f}^{\prime }{]}_a^b-{\int }_a^b{w}^{\prime }{f}^{\prime }\\ & =-[w^{\prime }f{]}_a^b+{\int }_a^b{w}^{″}f\\ & =\frac{b-a}{2}(f(a)+f(b))-{\int }_a^{b}f\\ & =E(f).\end{array}$$

由于 $w\ge 0$，

$$|E(f)|\le \parallel f^{″}{\parallel }_{\mathrm{\infty }}{\int }_a^{b}w(x)dx.$$

设 $h=b-a>0$，代换 $t=x-a$ 得

$${\int }_a^{b}w(x)dx=\frac{1}{2}{\int }_0^{h}t(h-t)dt=\frac{h^3}{12}.$$

故所求界成立。取 $f(x)=(x-a{)}^2/2$，则 $f^{″}=1$，$E(f)=h^3/12$，达到等号，常数不能统一减小。若 $f^{″}\ge 0$，核表示直接给出 $E(f)\ge 0$，即梯形值不小于真实积分。这同时解释了凸函数图像位于端点弦下方的几何现象。

资料与来源 (Sources)

1. Keenan Crane, Discrete Differential Geometry: An Applied Introduction，作者在 Carnegie Mellon University 托管的讲义，当前检索版封面标注更新于 2025-01-29。Chapter 2（特别是边界圈与流形局部模型）、§5.5–5.6（印刷页 95–97，角亏、离散 Gauss–Bonnet、总曲率与密度近似之别）。本期的带边公式与加倍计数在正文自行完整推导，不将其冒称为该讲义某个逐字定理：https://www.cs.cmu.edu/~kmcrane/Projects/DDG/paper.pdf
2. Francesco Maggi, “Will it be a golden age or a dark age for mathematics (and science)?”，2026-10-18，客座文章，刊于 Terence Tao 的 What’s New。引文来自第 (5) 点；数学化与问题清单的转述来自第 (3)–(4) 点。原页已在本次制作中打开核验：https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science
3. 本刊前篇：《把 Euler 公式局部化：平面图、离散曲率与 Gauss–Bonnet》，2026-07-17。本期实际重读用于确认增量：原篇主线是闭曲面、组合度数及非胞腔反例；本期主线是带边曲面、转角与加倍。归档路径：/opt/data/output/daily-mathematics-journal/2026/07/2026-07-17.md。

来源覆盖说明：预运行 RSS 发现成功，投影保留四个来源的五条线索，不按发表年龄过滤；本期只采用已打开的 Maggi 客座原文，未把其余 feed 条目当作已核实证据。数学技术来源独立取自学者讲义；习题及反例的推导均完整列出，未声称执行过数值实验。