2026-10-21 · 角亏预算能造出球面吗

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

Develata，在不预先固定距离、三角剖分或共形结构时，一份正角亏列表，只要每项小于 $2\pi$、总和等于 $4\pi$，确实能造出拓扑球面的分片欧氏度量；但它远不能唯一确定形状。

这是边界曲率三日弧的 3/3 日。前天用加倍解释边界系数，昨天沿割弧追踪曲率转移；今天把方向倒过来：不是给定曲面计算角亏，而是给定角亏构造曲面。相对于前两期，数学增量是一个明确的存在性证明，以及排除“曲率列表决定度量”的等面积反例。

对象与量词层次。 输入是任意有限实数族 $({\kappa }_1,\dots ,{\kappa }_n)$；输出是一个长度度量空间 $M$ 及其中两两不同的点 $p_1,\dots ,p_n$。要求逐点角亏等于对应输入，且其他点全部平坦。这里的“球面”只指拓扑类型，绝非要求高斯曲率恒为正的圆球面。

预备—机制—去向。 只需平面凸多边形、圆的切线、角和以及两张圆盘沿边界粘成球面。证明发动机是“角亏减半 → 指定外转角 → 支撑半平面交 → 加倍”。研究生层面则要分清：指定角亏、指定完整内禀度量、指定空间嵌入，是三个不同的数据问题。

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

1.1 先问：给定的究竟是什么？

欧氏锥度量 (Euclidean cone metric)。 本期指由有限个非退化欧氏三角形沿等长边粘合所得的闭曲面长度度量。在每个顶点 $p$，关联面角之和 $\theta (p)>0$ 称为总锥角 (total cone angle)，角亏 (angle deficit) 定义为

$$\kappa (p)=2\pi -\theta (p).$$

当 $\theta (p)=2\pi$ 时该点局部等距于欧氏平面，不是真正的锥奇点。因而三角剖分顶点数与奇点数不必相同。

对于拓扑球面，离散 Gauss–Bonnet 给出必要条件

$$\sum _p\kappa (p)=4\pi .$$

角亏与该恒等式的权威课程背景见 [1，§5.5，Exercises 5.9–5.10]。它本身只给必要条件，不提供实现算法。 下面给出正角亏情形的独立初等构造，不把它冒充为讲义原文中的定理。

1.2 实现命题及其量词

命题。 对每个整数 $n\ge 3$ 及每个实数族 $({\kappa }_i{)}_{i=1}^n$，若

$$\mathrm{\forall }i\in \{1,\dots ,n\},0<{\kappa }_i<2\pi ,\sum _{i=1}^n{\kappa }_i=4\pi ,$$

则存在一个同胚于 $S^2$ 的欧氏锥度量空间 $M$，以及两两不同的点 $p_1,\dots ,p_n\in M$，使

$$\mathrm{\forall }i,\theta (p_i)=2\pi -{\kappa }_i,$$

且对每个 $p\in M\setminus \{p_1,\dots ,p_n\}$，存在 $r=r(p)>0$，使 $p$ 的一个邻域等距于半径 $r$ 的欧氏圆盘。

注意：没有要求奇点已处于某个给定位置，也没有指定它们之间的距离。若添加这些条件，今天的证明不再回答同一个问题。

1.3 平面引理：外转角能否闭合？

置

$${\beta }_i={\kappa }_i/2,0<{\beta }_i<\pi ,\sum _i{\beta }_i=2\pi .$$

我们要造一个严格凸顶点的 $n$ 边形，使外转角依次为 ${\beta }_i$。不能只按这些角度转弯、每步走单位长度：方向回到原方向不代表位置回到原位置。

正确办法是先放切线，让边长自动闭合。

选择依逆时针循环排列的单位向量 $u_1,\dots ,u_n$，使从 $u_i$ 转到 $u_{i+1}$ 的正角度恰为 ${\beta }_i$；指标模 $n$。取

$$P=\bigcap _{i=1}^n\{x\in {\mathbb{R}}^2:⟨x,u_i⟩\le 1\}.$$

每条边界直线都是单位圆的切线。需要验证三件事。

1. 非空且有内部。 单位闭圆盘包含于每个半平面，因此 $P$ 包含该圆盘。
2. 有界。 任意单位方向 $w$ 都处在相邻两条法向量的圆弧间，其中至少一个与 $w$ 的夹角小于 $\pi /2$，因为每个间隙 ${\beta }_i<\pi$。于是 $c(w)=\underset{i}{max}⟨w,u_i⟩>0$。连续函数 $c$ 在单位圆上有正最小值 $c_0$。若 $x=rw\in P$，则 $rc(w)\le 1$，故 $r\le 1/c_0$。
3. 每条切线确为正长边，且按法向量顺序相邻。 切点 $u_i$ 满足第 $i$ 个等式，并对全部 $j\ne i$ 满足 $⟨u_i,u_j⟩<1$。因此切线在该点附近有一段属于 $P$，第 $i$ 个约束不是冗余约束。凸多边形边的外法向量按圆周顺序排列，所以第 $i$ 与第 $i+1$ 条边相交于顶点 $v_i$，其内角为

$${\alpha }_i=\pi -{\beta }_i\in (0,\pi ).$$

第三步也可用切线交点直接核验：相邻法线的中间方向上，交点距原点为 $\sec ({\beta }_i/2)$；其他法线均位于这段开放圆弧之外，故相应内积不超过 $1$。这解释了为何相邻切线的交点不会被其余半平面切掉。

RMK。 这里借助一个公共内切圆选择了边长。它是保证存在的一种规范选择，不是声称所有指定角多边形都必须有内切圆。

1.4 从多边形到球面：加倍完成实现

取两份 $P$，沿对应边界点等距粘合，记为 $D(P)$。两张闭圆盘沿边界逐点粘合得到拓扑球面；度量取粘合后的内禀路径长度度量。

逐点检查：

• 两份多边形的内部点都有平面邻域；
• 边的内部点由两个半平面邻域粘合，总角 $\pi +\pi =2\pi$；
• 顶点 $v_i$ 的两个扇区粘合，总锥角 $2{\alpha }_i$，所以

$${\kappa }_{D(P)}(v_i)=2\pi -2{\alpha }_i=2{\beta }_i={\kappa }_i.$$

因此恰有这 $n$ 个奇点。把多边形三角剖分，必要时再细分粘合后的胞腔结构，就得到所需有限三角曲面；细分只添加平坦点，不改变上述度量。命题得证。

谱系收束。 面角和 → 总角亏预算 → 边界外转角 → 指定支撑方向 → 实际多边形 → 双面锥球面。前天的加倍是从边界公式推出闭面公式，今天则把它用于逆问题：把已知目标曲率转译成可直接施工的平面角度。

1.5 研究生延伸：存在不等于刚性

今天输入只有 $n$ 个数；完整内禀度量 (intrinsic metric) 则要规定任意两点之间的距离。前者显然遗漏了大量结构，但“遗漏很多”还不是严格的不唯一性证明——第 4 节会给出一个距离不变量。

还应区分以下问题：

• 角亏实现： 能否找到某个具有指定角亏的锥球面？今天在全正情形回答了它。
• 度量的空间实现： 给定完整锥度量，能否把它实现为三维凸多面体的边界，必要时允许双面平面多边形？这是另一个更强的几何问题，本期不陈述未经本次来源核实的完整实现/刚性定理。
• 附加结构下的曲率指定： 若固定三角剖分、边长变化规则或共形类，可实现域和唯一性会怎样改变？今天自由选择 $P$ 的方法不能自动回答这些问题。

双面多边形作为三维实体没有正体积，不妨碍它作为二维内禀长度空间完全非退化。把两类“退化”混在一起，会误判今天的构造。

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

题目

对每个实参数 $t>-1$，令

$$F(t)={\int }_0^1{x}^{t}dx.$$

证明 $F$ 在 $(-1,\mathrm{\infty })$ 上二次连续可微，且对 $k=0,1,2$，

$$F^{(k)}(t)={\int }_0^1{x}^t(\log x{)}^{k}dx=\frac{(-1{)}^{k}k!}{(t+1{)}^{k+1}}.$$

重点是严格论证微分与积分交换，不能只写“显然可交换”。

模板识别

这是含参积分微分 (differentiation under the integral sign) 模板：参数改变了端点奇性的强弱。先局部固定参数邻域，再寻找对该邻域所有参数同时有效的可积控制函数。

分级提示

1. 固定 $t_0>-1$，取 $0<\delta <t_0+1$，观察 $t\in [t_0-\delta ,t_0+\delta ]$ 时 $x^t$ 的共同上界。
2. 用 $x=e^{-u}$ 判断 $x^a|\log x{|}^m$ 在 $(0,1)$ 上的可积性，其中 $a>-1$、$m=0,1,2$。
3. 对参数差商使用一元中值定理，再用支配收敛；重复一次。连续性也用同一组控制函数。

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

来源语境。 Terence Tao 的个人网站 What's new，职业建议文章 “Ask yourself dumb questions – and answer them!” [2]。这是作者直接面向学习者的数学方法论文字；本次页面抽取未给出可确认的文章发布日期，因此不标日期。页面开头有 Halmos 引文，本期不把那段二手引语移作已核原始出处的名言。

下面引用的是 Tao 自己的正文：

“For instance, given a standard lemma in a subject, you can ask what happens if you delete a hypothesis, or attempt to strengthen the conclusion;”

中译：“例如，对于一个领域中的标准引理，你可以问：如果删掉一个假设，或者试图加强结论，会发生什么？”

转述（paraphrase）。 他随后说，也可以尝试用方法 Y 重证通常用方法 X 证明的简单结果；即使新证明不够漂亮，甚至失败，它仍会揭示两种方法各自的力量。文章前面区分了教科书中打磨好的成品与发现新数学时混杂着无效方向的过程。

本文评论。 今天一个很朴素的问题是：“角亏加起来对了，难道还不够吗？”它需要拆成三问才变得有数学内容：局部锥角是否仍为正？是否允许自由选择奇点间距离？要求存在还是唯一？答案分别是必要、关键、不可混同。再把“按角转弯后随便走几步”换成“先放支撑线”，就看见了失败方法与成功方法的区别：前者只闭合方向，后者同时闭合位置。

这里的收益不是崇拜“傻问题”，而是让一个疑问暴露出定理数据层级与证明机制。

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

4.1 只有总和正确，连局部对象都可能不存在

考虑三项列表

$$(2\pi ,\pi ,\pi ).$$

各项为正，总和确为 $4\pi$，但第一点会被迫具有总锥角 $2\pi -2\pi =0$。有限非退化欧氏三角形在顶点的角均为正，不可能粘出零总角的二维锥邻域。

所以严格上界 ${\kappa }_i<2\pi$ 不是修饰语；它保障每个输入仍对应一个真实二维局部模型。本期不把零锥角极限偷偷计为普通锥点。

4.2 总面积也相同，角亏仍不能决定度量

分别把矩形

$$R_1=[0,1]\times [0,1],R_2=[0,2]\times [0,1/2]$$

加倍，得到 $M_1=D(R_1)$ 与 $M_2=D(R_2)$。

逐项验证：

1. 两者都是拓扑球面，恰有四个奇点。
2. 每个角原内角 $\pi /2$，加倍后总角 $\pi$，故四个角亏均为 $\pi$。
3. 两个矩形面积都是 $1$，所以两双面曲面的总面积都是 $2$，已经排除了简单的整体尺度差异。
4. 两者仍不等距。将双面矩形两张面都折回同一平面矩形的投影 $q$ 不增加路径长度。因此任意两个角点之间的内禀距离不小于它们在矩形中的欧氏距离；反过来，同一张面内的直线段就在矩形中，达到该下界。所以角点距离恰等于矩形顶点的平面距离。
5. 在 $M_1$ 中，不同奇点间最短距离是 $1$；在 $M_2$ 中则是 $1/2$。等距映射必须把非平坦点映到非平坦点，并保持这项最小距离，因此不可能存在等距映射。

结论不是“曲率没用”，而是：同一角亏列表，甚至再加一个总面积，仍未指定完整距离数据。 这也说明 §1.3 选公共内切圆只是一个存在性方案，不能从该方案推出所有实现都相同。

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

今日一问。 若只有三个奇点，且三个角亏都在 $(0,2\pi )$ 内、总和为 $4\pi$，今天的构造得到一个双面三角形。其三个内角由角亏完全确定，因而在“双面三角形”这个子类里，度量只剩整体尺度自由度。

任意具有这三个指定角亏的欧氏锥球面，是否都必须是某个三角形的双面？ 尝试判断并证明，或指出你会从哪里寻找反例。不能把“我们构造出来的都是双面三角形”当成“所有对象都如此”。

一个方向提示：考察三个奇点间的最短测地线，问它们能否构成一个把球面分成两块可展开区域的网络；每一步都要检查交叉与区域拓扑，而不是先画一幅希望成立的图。

地图。 平面角与凸性 → 支撑半平面 → 锥度量实现 → 测地线切割与展开 → 度量刚性、曲率指定、凸多面体空间实现。与研究中的通用思路相连的是“存在、唯一、稳定”三问：今天证明第一问，严格否定一般列表数据下的第二问；第三问还未开始。

三日弧至此收束：边界记账 → 手术转移 → 逆向实现。下一步不必继续堆几何名词，可以换到分析中重新问：当不能显式施工时，如何用紧致性得到存在？

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

展开完整解答

可复用模板：参数局部化 → 统一可积支配 → 差商中值定理 → 支配收敛。

固定任意 $t_0>-1$。选择 $0<\delta <t_0+1$，记 $a=t_0-\delta >-1$，$I=[t_0-\delta ,t_0+\delta ]$。对每个 $s\in I$、$x\in (0,1)$ 和 $m=0,1,2$，

$$|x^s(\log x{)}^m|\le x^a|\log x{|}^m.$$

右边可积，因为换元 $x=e^{-u}$ 给出

$${\int }_0^1{x}^a|\log x{|}^{m}dx={\int }_0^{\mathrm{\infty }}{e}^{-(a+1)u}{u}^{m}du<\mathrm{\infty }.$$

可积性由指数衰减压过固定次数多项式得到；也可分部积分递推验证，边界项在无穷远消失。

对任意 $t\in \mathrm{int}I$ 及充分小的非零 $h$，使 $t+h\in I$，一元中值定理给出

$$\left|\frac{x^{t+h}-x^t}{h}\right|\le x^a|\log x|.$$

差商逐点趋于 $x^t\log x$。支配收敛定理遂得

$$F^{\prime }(t)={\int }_0^1{x}^t\log xdx.$$

再次对积分中的 $x^t\log x$ 取参数差商，其中值估计由 $x^a|\log x{|}^2$ 支配，故

$$F^{″}(t)={\int }_0^1{x}^t(\log x{)}^{2}dx.$$

对 $m=0,1,2$，当参数 $s\to t$ 时，积分中的 $x^s(\log x{)}^m$ 逐点连续，并受上述同一控制函数支配。因此 $F,F^{\prime },F^{″}$ 在 $\mathrm{int}I$ 连续。因 $t_0$ 任意，$F\in C^2((-1,\mathrm{\infty }))$。

最后直接计算不含对数的积分：对 $t>-1$，

$$F(t)=\underset{\epsilon \downarrow 0}{lim}\frac{1-{\epsilon }^{t+1}}{t+1}=\frac{1}{t+1}.$$

对这个已经证明可以积分求导的函数求导两次，就得到

$${\int }_0^1{x}^t(\log x{)}^{k}dx=\frac{(-1{)}^{k}k!}{(t+1{)}^{k+1}},k=0,1,2.$$

这里的控制函数依赖 $t_0,\delta$；并未错误地宣称有一个可积函数支配整个 $t>-1$ 参数半轴。

资料与来源 (Sources)

1. Keenan Crane, Discrete Differential Geometry: An Applied Introduction，CMU 托管课程讲义，当前打开版本封面标注 2025-01-29。§5.5，Exercises 5.9–5.10 提供角亏与离散 Gauss–Bonnet 背景；本期支撑半平面实现证明和等面积反例由正文独立推导，不声称来自该练习的原文。https://www.cs.cmu.edu/~kmcrane/Projects/DDG/paper.pdf
2. Terence Tao, “Ask yourself dumb questions – and answer them!”，个人网站 What's new，Career advice。引用已在本次打开的正文逐字核对；页面发布日期未核实。https://terrytao.wordpress.com/career-advice/ask-yourself-dumb-questions-and-answer-them/
3. 本刊前篇，2026-10-20，《剪开为何多出一整圈：割弧端点、曲率转账与 Euler 增量》，本次为延续弧线实际重读。归档：/opt/data/output/daily-mathematics-journal/2026/10/2026-10-20.md。前一天加倍主题对应 2026-10-19，亦列入本期深化引用。

来源覆盖与时间口径。 制作日为 Asia/Shanghai 2026-10-21，星期三，以实时系统日期核对。RSS 同日刷新与投影成功，四个来源六条候选，发现回看起点为 2026-10-17T23:30:47Z，未按发表年龄筛选。实际打开其中 “The Bourgain Project” 后确认是 Tao 博客的客座文章，未误当 Tao 本人之言；本期改用其已核个人方法论正文。AnySearch 搜索服务暂不可用，Tavily 对相同实现定理查询返回空结果；一个尝试的学者论文索引地址返回 404，故没有据此引用任何空间实现/唯一性定理。采用的两项外部来源均已实际打开，旧文不因年龄降级。数学以正文证明核查，未声称进行了数值实验。