微分几何引论 · 曲线与曲面的故事

本书怎么读：一门关于「用放大镜看形状」的学问

本书讲一门学问：微分几何——用微积分这把放大镜去看曲线与曲面的形状，并把形状中最本质的东西提炼成不变量。它回答的问题朴素而深刻：一条曲线在每一点弯得有多急？这一「弯」能否只用一个数刻画，且与画曲线时选用的坐标无关？一个曲面被压扁、拉伸之后，哪些量变了、哪些量纹丝不动？为什么把一张纸卷成圆锥无需拉伸、而包住一个球却必须把纸揉皱？为什么船在地球上保持与经线成定角航行，走出的是一条螺旋线？从欧拉 1736 年用弧长参数化研究平面曲线，到高斯 1827 年在《关于曲面的一般研究》里写下那条让曲率「撕下外在标签」的绝妙定理，再到黎曼、陈省身把同一套语言推向高维，微分几何三百年只做一件事：把「形状」翻译成可以计算的不变量——曲率、挠率、第一与第二基本形式、测地线、示性数，就是这门语言的词汇表。全书按章组织：绪论用一把放大镜、一条过山车轨道和一张世界地图讲清这门学问要干什么；第一章把平面曲线的弧长与曲率讲透；第二章进入空间，请出 Frenet 标架；第三章把曲线推广成曲面，量出第一基本形式这把「尺子」；第四章引入第二基本形式，量出曲面的弯曲；第五章抵达高斯绝妙定理与测地线、Gauss–Bonnet 构成的内在几何；第六章把局部拼成整体，看 Euler 示性数、四顶点定理与 Willmore 猜想；综合站用年表、人物谱、方法总图、实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与图形先行：每一个概念都从一张图、一个具体的小例子讲起——先看见圆柱面上展开的三角形、过山车轨道上转过的角度、把一张纸卷成圆锥而纹丝不动的边长，再抽成定义；每一条定理由「它为什么该是对的」的直觉开路，再有完整的推导。② 一步一图：凡能画的都画——弯与扭的两个正交变化率、密切圆贴着曲线的相切、可展曲面上不拉伸的网格、测地线在曲面上「笔直」地走。微分几何最迷人的地方，正藏在同一张曲面可以从外面看（弯曲）、也可以从里面量（尺子）的双重视角里。③ 自给自足：所需工具在书内随用随补——向量的点积与叉积、一元微积分（导数、积分、弧长公式）、一点多元微积分（偏导与链式法则）、一点线性代数（矩阵、特征值、二次型）、一点常微分方程的存在唯一性定理，以及最必要的曲面与拓扑常识（正则性、定向、紧致、Euler 示性数），都在需要它的那一页现学现用，不假设手边另有教材。个别深刻的整体性结论（Hilbert 定理、Willmore 猜想、极小曲面的整体理论）给出精确陈述、证明思路与文献指引，数值对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（末附提示）；每章收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照，并在章末用一页 衔接讲义 指向前方。每页右上角标页码，页眉灰色小字标出所属章与小节。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 会求导与算弧长公式即可，★★ 需要一点向量的点积叉积（书内自给），★★★ 需要多元微积分与偏导链式法则（书内自给），★★★★ 需要一点线性代数与常微分方程的存在唯一性（书内自给），★★★★★ 需要曲面拓扑与整体性论证的深水区（第五章后半、第六章与综合站余韵）。若只求理解主线，读绪论、第一章的弧长与曲率、第二章的 Frenet 公式、第三章的第一基本形式、第四章的 Gauss 曲率、第五章的绝妙定理与 Gauss–Bonnet 即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从曲线到曲面：先用弧长给平面曲线一把「公平的尺」，用曲率刻画它每一点弯得多急（第一章）；再把同样的眼光放到空间中，请出 Frenet 标架，用曲率与挠率两个数双双定住一条空间曲线（第二章）；把曲线「推着走」扫出的曲面接过来，用第一基本形式量出曲面自己的尺子（第三章）；再加一层第二基本形式，量出曲面相对空间的弯曲（第四章）；然后发现高斯曲率其实只由尺子决定——这是绝妙定理，也是内在几何的诞生（第五章）；最后把这些局部信息沿着整张闭曲面求和，得到 Euler 示性数这样的大范围不变量（第六章）。

② 暗线——比较与不变量。微分几何的全部功夫在于「在换坐标、换弯曲方式之下，什么不变」。参数无关性问「我算的量会不会因为重写了一组参数就变了」（弧长与曲率必须与参数无关）；活动标架问「沿着曲线或曲面搬动一组正交标架，它转动的规律是什么」（Frenet 公式、Weingarten 公式都是这件事）；内蕴与外蕴问「哪些量只用曲面的尺子就能得到，哪些必须离开曲面去外面看」（周长、角度、高斯曲率是内蕴的，主曲率与平均曲率是外蕴的）。三者层层递进，最终收在一句话上：几何就是不变量的学问。

③ 接口——通往三个邻域。微分几何与分析、代数、拓扑直接相接：与分析（弧长公式、曲率公式要用微积分；测地线的存在与唯一性要用常微分方程；极小曲面要用变分法，第一章、第四章、第五章）；与线性代数（切空间、法向量、形状算子与二次型、特征值与主曲率，第三、四、五章）；与拓扑（定向与定向反转、Euler 示性数、闭曲面分类、向量场指标与 Poincaré–Hopf 定理，第六章）。四条线索之外还有一条捷径贯穿始终：把曲面搬到自己身上来量——这既是测绘、地图与曲率的关系，也是广义相对论里「时空是一张弯曲的曲面」这一现代图像的起点。

写法约定（TEX 标准）：曲线记 γ(t) 或 r(t)，弧长参数记 s，曲率记 κ、挠率记 τ，Frenet 标架记 {T, N, B}；参数曲面记 r(u, v)，第一基本形式系数记 E, F, G，第二基本形式系数记 L, M, N，Gauss 曲率记 K、平均曲率记 H。变量与函数名用斜体（u、v、t、K），数字与运算符正体；导数用撇号或点号，如 r′(t)、ṙ(t)；曲面上的内积记 ⟨·,·⟩。关键一步配图，公式与图形逐章对照。

绪论 一把放大镜看曲线与曲面从一张世界地图说起

打开一张最常见的世界地图（墨卡托投影），先看三秒钟，再回答一个问题：格陵兰岛和非洲，哪个大？地图上格陵兰胖得像个巨兽，几乎和非洲比肩；可实际上非洲的面积约是格陵兰的十四倍。地图没有画错，它只是没办法同时在两个方向上都说实话：墨卡托投影为了保住「方向」（图上量出的方位角等于真实方位角），就必须让「面积」随纬度膨胀——越靠近两极，放大得越厉害。

这不是制图员手艺不精，而是曲面的本性：球面摊不平。想保住方向，就得放弃面积；想保住面积（如等积投影），就得让形状走样。三百年前，正是地图与测绘这门最实用的手艺，逼出了微分几何这门最纯粹的学问：既然在平面上量球面会有失真，那就必须搞清「曲面上的长度、角度、面积到底是什么」，并把这些量写成可以计算、可以比较的公式。

本书要讲的，就是这门学问：用微积分这把放大镜去看曲线与曲面的形状，并把形状中最本质的东西提炼成不变量。它从三个最朴素的问题出发——一条曲线有多长？它在每一点弯得有多急？一张曲面被压扁、拉伸之后，哪些量变了、哪些量纹丝不动？——一路走到高斯那条被他自己称为「绝妙」的定理、测地线与大圆航线、把曲率沿整张曲面求和得到的 Euler 示性数，乃至「时空是一张弯曲的曲面」这一现代物理图像。

地图里的三个伏笔。① 地图失真说明长度不是一个可以随便借来的概念——曲面必须有自己的尺子（第三章）；② 大圆航线在图上画出来是弯的，说明「直」是相对于曲面自己而言的（第五章的测地线）；③ 无论用哪种投影，球面「总曲率」与它有几个洞这件事都不变，说明有些量比长度和角度更深刻（第六章的整体几何）。

绪论 一把放大镜看曲线与曲面用一把放大镜研究形状：微分几何是什么

★ 打开手机地图，把一条街道放大十倍再看——弯曲的马路变成了直的。再放大十倍、一百倍，它依然是直的。这条朴素的观察，就是微分几何的全部起点：任何光滑曲线，只要放大到足够近，都近似于一条直线。既然如此，「弯曲」就可以被精确地说成「离开直线的快慢」。

把这件事翻译成公式是这样一个动作：在曲线上取一点 P，沿着曲线走一小段弧长 Δs，看切线的方向转过了多少角 Δφ；二者的比值 Δφ / Δs 在 Δs → 0 时的极限，就是这一点的曲率 κ。它只与点的位置有关，而与在放大镜下怎样选择坐标系无关——这是几何量必须具备的品格。

微分几何研究什么？三件事。

局部与整体。本书前半部分是「局部」的学问：只看一点附近（放大镜里那一片），得到的是曲率、标架、基本形式这些「微分量」；后半部分是「整体」的学问：把局部信息沿整张闭合曲线或曲面加起来，得到的是总转角、总曲率、Euler 示性数这些「整体量」。而微分几何最漂亮的定理，恰恰是打通这两端的桥——Gauss–Bonnet 公式就是其中一座：局部的弯曲积起来，等于整体的拓扑。

一句话总结这门学问：几何学是关于不变量的学问。形状会变（同一条曲线可以有无穷多种画法），坐标系会变（同一张地图可以有无穷多种投影），但总有某些量稳如磐石——找到它们、算准它们、用它们彼此换算，就是微分几何。

绪论 一把放大镜看曲线与曲面三百年路线图：从 Euler 到 Chern

★★ 微分几何的历史有一条极清晰的脉络：每一步都在多问一句「这个量在换坐标、换视角下变不变」。沿着这条线走一遍，全书的结构就一目了然。

1736 · Euler 把曲线变成函数。欧拉系统地用参数与弧长研究平面曲线，把「曲率」写成可以计算的公式。从此形状成了函数，几何变成分析——这是本书第一章的全部内容。

1827 · Gauss 的绝妙定理。高斯发表《关于曲面的一般研究》，引入参数曲面与第一、第二基本形式，并证明了一件让他自己都惊讶的事：高斯曲率只由曲面上量长度的方法（尺子）决定，与曲面怎样弯在空间中无关。这条「绝妙定理」开启了「内在几何」——本书第五章的高峰。

1847 · Frenet 标架。Frenet 与 Serret 各自独立地写下一组公式，用「骑在曲线上的三脚架」把空间曲线的弯与扭写成两个函数：曲率与挠率。空间曲线论自此完备（第二章）。

1854 · Riemann 的演讲。黎曼在哥廷根的就职演讲《论几何学的基础假设》把「曲面」推广成任意维的「流形」，几何第一次可以脱离外部空间而自立。这一年通常被视为现代几何的开端。

1868 · Beltrami 的模型。贝尔特拉米在伪球面上造出罗巴切夫斯基非欧几何的模型，证明「非欧几何」不只是逻辑游戏，而是实实在在的曲面几何（第五章末）。

1940s · Chern 与整体微分几何。陈省身把曲率与现代拓扑结合，提出示性类的一般理论，把「局部的弯曲」与「整体的拓扑」彻底打通——这是第六章的方向。

还有一串名字散在路上：Meusnier（法曲率）、Bonnet（Gauss–Bonnet 与曲面基本定理）、Darboux（活动标架）、Hilbert（双曲平面无法光滑嵌入三维空间）、Nash（等距嵌入定理）、Willmore（总弯曲程度的猜想，2012 年才被完全证明）。本书会在用到他们的那一页，把他们的定理讲清楚。

绪论 一把放大镜看曲线与曲面参数化：给曲线装上坐标

★ 要算，就得先把形状写下来。参数化就是给曲线与曲面「装上坐标」的动作：把曲线上每一点交给一个参数 t 去标记，写法是一个向量值函数

r(t) = (x(t), y(t))（平面）或 r(t) = (x(t), y(t), z(t))（空间）

可以把 t 想成「时间」：点 r(t) 是运动物体在时刻 t 的位置。于是导数 r′(t) 就是速度向量——它的方向是切线方向，它的大小是走得快慢。曲面同理，只是要两个参数：r(u, v) 把平面上的一块区域像布一样铺到空间里，u、v 两族曲线织成一张坐标网（经纬网就是球面最熟悉的坐标网）。

但是：参数是我们自己挑的，不是形状自带的。同一条曲线，快跑一遍（t）与慢跑一遍（t³）给出两个完全不同的函数，却是同一条曲线；同一个圆，用角度参数和用匀速参数写，公式长得完全不一样。谁能保证「曲率」「弧长」这些几何量算出来不会跟着参数一起变？

为什么先讲曲线再讲曲面？曲线只有一个参数 t，曲面有两个 (u, v)；曲线的曲率是一个数，曲面的「弯曲」却是一张 2 × 2 的表（两个主曲率加上一个方向）。先把一元的账算清，多元的账才好照搬——这就是本书一至二章讲曲线、三至六章讲曲面的原因。

绪论 一把放大镜看曲线与曲面预备工具箱：向量、导数与线性代数

★★ 本书只用三件工具，且都会在用到它的那一页现场补齐。这里先各看一眼，建立一个「到时候知道去哪里找」的印象。

① 向量：点积量长度与角度，叉积定方向与面积。点积 a·b = |a||b|cos θ 是「长度与夹角」的机器；叉积 a × b 给出一个同时垂直于二者的向量，它的大小是平行四边形的面积。曲面的法向量、面积元、定向，全靠这两件工具——没有它们，就没法谈「曲面朝哪边弯」。

② 导数：把曲线局部拉直。导数是一次近似：r(t + Δt) ≈ r(t) + r′(t)Δt。反复使用这条近似（配合链式法则），就能把弯曲的形状一层层展开成导数——曲率是二阶导数的事，挠率是三阶导数的事。这正是「用微积分研究形状」的技术实质。

③ 线性代数：把弯曲写成表格，用特征值读出主轴。曲面在一点的弯曲，最终会写成一个对称的 2 × 2 矩阵（形状算子）。对称矩阵总有一组正交的特征方向与实特征值——那两条方向就是曲面上最弯与最不弯的方向，两个特征值就是两个主曲率。这是第四章最漂亮的一步，也是线性代数在几何里最经典的亮相。

绪论 一把放大镜看曲线与曲面中国源流：割圆、弧田与曲率的直观

★ 「用直线去逼近曲线」这件事，中国古算里做得又早又彻底。刘徽约 263 年注《九章算术》时提出割圆术：在圆内作内接正多边形，不断把边数翻倍——正六边形、正十二边形……一直算到正三千零七十二边形，从周长推出 π ≈ 3.1416。他的原话极精彩：「割之弥细，所失弥少，割之又割，以至于不可割，则与圆合体而无所失矣」——这正是微分几何最朴素的思想：以直代曲，逼近得越细越准。

祖冲之在此基础上把 π 夹到 3.1415926 到 3.1415927 之间，并给出分数近似「密率」355/113——一个比欧洲早约一千年的结果。这些数字背后，是同一件工作的一万次重复：用可以精确计算的直线，去替换难以把握的曲线。

弧田术则记录了古人处理弯曲图形面积的尝试。《九章算术·方田》给出弓形（弧田）面积的公式：以弦长与矢高（弓形的高）相乘，再加矢高的平方，然后折半。用今天的眼光看，这是一个只保留了低阶项的近似公式——它暴露了一个深刻的困难：面积与周长不是简单地由弦和矢决定的，还需要知道弧的弯曲程度。古算家已经隐约摸到了这一点，只是还没有曲率这个量去精确记录它。

把这条线索接上现代：割圆术本质上就是用多边形逼近曲线、再让多边形边数趋于无穷——这正是曲率与弧长的积分定义的思想骨架；弧田术的困境则说明，仅有长度（弦、矢）不足以刻画弯曲的形状，必须引入新的不变量。本书后面几章的曲率、测地曲率、Gauss 曲率，正是为这类问题准备的量。每到一章，我们都会请一位中国古算家出来做一次对照。

绪论 一把放大镜看曲线与曲面本书的地图与读法

★ 全书按「先曲线、后曲面、再内蕴、最后整体」的顺序，分六章推进。每一章都在回答同一句话：什么量换了坐标也不变？

贯穿全书的暗线是「比较与不变量」：参数无关性（弧长、曲率不能因重写参数而变）、活动标架（沿着曲线或曲面搬动一组正交标架，看它转动的规律）、内蕴与外蕴（哪些量只用尺子就能得到，哪些必须离开曲面去看）。这三条不断重复，最后收在一句话上——几何就是不变量的学问。

两条读法。若只想抓住主线：读第一章的弧长与曲率、第二章的 Frenet 公式、第三章的第一基本形式、第四章的 Gauss 曲率、第五章的绝妙定理与 Gauss–Bonnet，六章的骨架就立起来了。若想完整掌握：按章顺序逐页推进，把每章的例题与习题做完，尤其是「实验」页——那里用程序把公式真跑一遍，是检验「我真的懂了这个量」的最快办法。

最后一句提醒。微分几何的公式看着吓人（一堆上下标、一堆希腊字母），但它们全部来自两三个朴素的画面：曲线局部像直线，曲面局部像平面，而「不像」的那一点点，就是曲率。凡是遇到看不懂的公式，回到这三个画面上找它——十有八九能看懂。

绪论 一把放大镜看曲线与曲面绪论地图：全书路线图

绪论把全书的骨架亮了一遍。下面这张图把六章的位置与依赖关系画在一处，后面每一章开头都会用它定位「我们现在站在哪里」。

三样东西分三步长大：标架从平面曲线的「切向量与法向量」（第一章）长成空间曲线的三脚架（第二章），再长成曲面上的活动标架（第三、四章）；尺子从弧长公式（第一章）长成第一基本形式（第三章），再被第二基本形式补全（第四章）；弯曲从一个数 κ（第一章）长成一对数 (κ, τ)（第二章），再长成两个主曲率（第四章），最后发现其中一个组合其实是内蕴的（第五章）——这一发现，就是高斯那句「绝妙」。

一条值得记住的路线：先问「有多长」（度量），再问「弯多急」（曲率），然后问「哪些量不变」（不变量），最后问「整起来是多少」（整体量）。四问四答，就是这一册书的全部内容。

第一章 平面曲线：参数、弧长与曲率第一章导引：过山车与唱片——转弯的艺术

过山车设计师最上心的一件事，是把急转弯设计得「弯得恰到好处」：太缓不刺激，太急人会晕。唱片上的纹路也是同一件事：外圈的纹路一圈更长，唱针匀速走过时转向更从容；内圈纹路短，同样的唱针速度就得更急地转向。「弯得急不急」这件事，能不能用一个数说清楚？

本章的任务，就是给平面曲线建立一套完整的工作语言，分四步走。

两个热身预告。其一，曲率是本书第一个真正的几何不变量：它不随怎样重画参数而变，只忠于曲线本身；其二，本章结尾的总转角定理（闭曲线切向量恰好转过一整圈）是全书第一条「局部沿闭路求和得到整体量」的桥——第六章的 Gauss–Bonnet 公式是它的高维版。

难度：本章只需要一元微积分（求导、积分、链式法则）与向量点积，难度 ★★。所有用到的公式都会现场推导。

第一章 平面曲线：参数、弧长与曲率1.1 参数曲线与速度向量

★★ 一条平面曲线最自然的写法，不是 y = f(x)（它连一个圆都写不全），而是参数形式：

r(t) = (x(t), y(t))，t ∈ [a, b]

把 t 想成时间：r(t) 是一个点在时刻 t 的位置。比如圆可以写成 r(t) = (R cos t, R sin t)，椭圆写成 r(t) = (a cos t, b sin t)——参数形式对所有曲线一视同仁。

速度向量是参数化的第一份红利：

r′(t) = (x′(t), y′(t))，大小 |r′(t)| = √(x′² + y′²)

它的方向是曲线在 t 处的切线方向（导数是一次近似），大小是行进的快慢。两条铁的规则：① 速度为零的点（r′ = 0）叫奇点，那里切线方向没定义，本章一律回避（正则性要求）；② 参数可以换——t 换成 u = t³，曲线没变、速度却全变了。

第一章 平面曲线：参数、弧长与曲率1.2 弧长：把曲线展开成直线

★★ 弧长的想法与刘徽割圆术一模一样：用折线逼近曲线。在曲线上取一串分点，用直线段把它们连起来，折线总长就是弧长的近似值；分点越密，近似越好——极限就是弧长。

把极限过程算出来：在 [t, t + Δt] 上，折线段长恰是 |r(t+Δt) − r(t)| ≈ |r′(t)|Δt，于是

弧长 L = ∫_a^b |r′(t)| dt = ∫_a^b √(x′² + y′²) dt

校准一个例：半径 R 的圆，r′ = R(−sin t, cos t)，|r′| = R，弧长 = R·2π = 2πR——对上了周长公式。再看刘徽式真跑：内接正多边形边数翻倍，周长挤向 2πR（下图的表格由程序实算）。

为什么弧长是几何量？因为换参数 t = φ(u) 时，链式法则给出 |dr/du| = |dr/dt|·|φ′(u)|，两个因子恰好在换元积分里互相抵消——快慢怎么重排，总路程不变。这就是「几何量」的品格第一次亮相。

第一章 平面曲线：参数、弧长与曲率1.3 弧长重参数化：让脚步均匀

★★ 既然 s = ∫|r′|dt 是曲线自带的量，就可以反过来把 t 换成 s：弧长参数化。它的效果是把「跑法」标准化——沿着曲线每走一步（Δs），走的都是同样的弧长，匀速。

技术上：取 s(t) = ∫_a^t |r′|du，只要 |r′| > 0 它就可逆（严格递增），于是 r(t) 可以改写成 γ(s)。此时

|γ′(s)| = |dr/dt| · |dt/ds| = |r′| · 1/|r′| = 1

速度恒为 1——这就是「公平的尺」的含义：跑法被彻底标准化，剩下的全是形状。

为什么要多此一举？因为下一节的曲率定义里，我们要看「方向随弧长变化多快」。分母必须是公平的弧长，得到的数才忠于形状：用 t 做分母，快跑慢跑都会改变答案；用 s 做分母，答案唯一。弧长参数化是让曲率「天生公平」的那一步。

第一章 平面曲线：参数、弧长与曲率1.4 单位切向量：方向的量化

★★ 弧长参数下，切向量 γ′(s) 的大小恒为 1——它只剩下「方向」这一个信息。给它一个专门的名字与记号：

T(s) = γ′(s)，|T| = 1

单位切向量把曲线上的每一点送到单位圆上的一个方向：T(s) = (cos θ(s), sin θ(s))——一个角度函数 θ(s) 装下了曲线全部的方向信息。曲线的「弯」，在 T 的世界里就是「角度在动」。

这个视角有一个漂亮的副产品：曲线的形状 = 方向 + 步子。沿着曲线走，每一步走多远（弧长）加每一步朝哪（方向），两者一起完全决定曲线——这提醒我们：方向的变化率（下一节）很可能就是刻画形状的核心量。事实上，给定 θ(s)，曲线可由 γ(s) = ∫(cos θ, sin θ)ds 直接复原。

第一章 平面曲线：参数、弧长与曲率1.5 曲率的定义：转弯的急缓

★★ 现在请出主角。曲率的定义只有一句话：

三个直接推论，先在心里过一遍：① 直线的 T 不动，κ = 0；② 半径 R 的圆走一整圈方向转过 2π，弧长 2πR，平均每弧长转 1/R——恰好均匀，κ = 1/R；③ 把曲线放大 c 倍，弧长变 c 倍、转角不变，κ 缩到 1/c——弯与尺寸成反比，这是曲率最常识的一面。

为什么必须用弧长做分母？假如用时间 t：同一圆快跑一遍、慢跑一遍，「方向随时间转动的快慢」完全不同，而圆明明没变。弧长参数把跑法剥离后，κ 才成为只忠于形状的量——它是全书第一个真正意义上的几何不变量，后面所有不变量（挠率、Gauss 曲率……）都要过同样的关。

第一章 平面曲线：参数、弧长与曲率1.6 曲率公式与两个校准例

★★ 弧长参数很公平，但实际曲线往往用别的参数写。需要一个「任意参数下也能算曲率」的公式。对 r(t)，弧长换元与链式法则给出：

κ = |x′y″ − y′x″| / (x′² + y′²)^3/2

分子 |x′y″ − y′x″| 是「二阶信息（转弯）与一阶信息（行进）的叉积」，分母是速度大小的三次方——跑得越快，同样几何弯曲摊到单位弧长的转向越少，要除掉。

两个校准例（程序实算对拍）：

第一章 平面曲线：参数、弧长与曲率1.7 函数图像的曲率

★★ 最常用的特例：曲线是图像 y = f(x)，即 r(x) = (x, f(x))。代入一般公式（把 x 当参数），得到中学教材里的形状：

κ = |f″| / (1 + f′²)^3/2

公式的两半各有分工：分子 |f″| 惩罚「弯」（二阶导是加速度），分母 (1 + f′²)^3/2 惩罚「斜」——斜着的段落，同样的二阶导摊在更长的弧上，曲率就小。当 f′ = 0（水平处）公式退化成 κ = |f″|。

真跑 y = x²：顶点处 f′ = 0、f″ = 2，得 κ = 2（曲率半径 1/2）；在 x = 1 处 f′ = 2，得 κ = 2/5^3/2 ≈ 0.179。同一根抛物线，顶点比远处弯十倍——下图的曲率梳把这一点画了出来。

第一章 平面曲线：参数、弧长与曲率1.8 密切圆与曲率半径

★★ 曲率是一个抽象的数，但有一个看得见的化身：密切圆。在曲线的点 P 处，与曲线「贴得最紧」的圆——过 P、切线相同、曲率也相同（三重贴合）——半径恰为 ρ = 1/κ，称曲率半径。

为什么半径是 1/κ？校准例早已给出答案的一半：圆的曲率是 1/R，所以「曲率为 κ」等价于「 behave 得像一个半径 1/κ 的圆」。密切圆正是把这句话落实成图形：曲率大 → 半径小 → 贴着一枚小圆；曲率小 → 半径大 → 只搭得上一枚大圆。

极限视角：取曲线在 P 附近的三个点，过三点作圆；三点向 P 挤压时圆的极限位置就是密切圆（「三定一圆，三点逼近」）。椭圆的例子（左图）最能看出味道：长轴端曲率大，密切圆是一枚小圆；短轴端曲率小，密切圆大得多。

为什么密切圆重要？因为它是「就地模仿曲线的圆」：局部把曲线换成它的密切圆，一切与曲率有关的性质（向心力、转弯半径）都变成了圆的常识。下一节的法向量会给密切圆圆心一个固定的方向。

第一章 平面曲线：参数、弧长与曲率1.9 法向量与凹凸

★★ 单位切向量 T 只有一个「垂直伙伴」。把 T 逆时针旋转 90°，得到主法向量：

N = T 旋转 90°，|N| = 1，T ⊥ N

对 T(s) = (cos θ(s), sin θ(s)) 求导：T′ = θ′(−sin θ, cos θ)——括号里恰是 T 逆时针转 90° 的结果！于是

dT/ds = κN（κ ≥ 0 时 N 恰好吸收全部方向变化）

这条公式是本章的枢纽：弯曲被拆成「转多少」（κ）与「朝哪转」（N）两个因子。而 N 的几何意义极其直观——它永远指向曲线凹进去的那一侧。「凹凸」从观感升级成定义：曲线往 N 的方向弯。密切圆的圆心也恰在 P + ρN 处——法向量给曲率半径定好了方向。

第一章 平面曲线：参数、弧长与曲率1.10 渐开线与渐屈线

★★★ 想象把绕在圆上的棉线绷直、慢慢拉开，线端点走过的轨迹叫渐开线（involute）。这个「拉开」的动作有一个几何妙处：绷直的线段既是基圆的切线，又是渐开线的法线——而且它的长度恰是渐开线在该点的曲率半径。

真跑验证：圆渐开线 r(t) = R(cos t + t sin t, sin t − t cos t)，代入曲率公式化简得 κ(t) = 1/(Rt)——曲率半径恰为线段长 Rt（t = 1、2、4 时 κ = 1、0.5、0.25，程序实算）。「拉开多少，弯多少」在渐开线身上是字面意义的成立。

反过来走：曲线每一点的曲率中心（P + ρN）连成一条新曲线，叫原曲线的渐屈线（evolute）。渐开线与渐屈线是一对「展开 ↔ 收拢」的互逆关系：渐屈线是渐开线展开时线头绕过的那条线；渐开线是渐屈线的所有法包线。

工程亮相：齿轮的齿廓用渐开线，因为两条渐开线齿面啮合时，接触点沿一条直线匀滑移动——传动比恒定、不卡顿。手机里每一枚旋转编码器、汽车变速箱的每一对齿，都在本章的公式上运转。

第一章 平面曲线：参数、弧长与曲率1.11 摆线：Huygens 的等时传奇

★★ 车轮沿直线滚动，轮缘上一点画出的轨迹叫摆线：

r(t) = R(t − sin t, 1 − cos t)

它的微积分有着惊人干净的答案（下表由数值积分实算，两百万格）：

「圆周率 π 藏在轮子的影子里」——拱下的面积恰是滚轮面积的三倍。但摆线真正的传奇在物理：惠更斯 1673 年发现沿倒扣的摆线滑落是等时的——无论从拱上哪一点出发，滑到最低点用时相同。他据此设计出周期与振幅无关的摆钟（摆线夹板），这是机械钟表史的高峰之一。

曲率的一面：摆线在拱顶曲率半径最大（4R 处朝下弯得最缓），在拱脚尖点曲率发散——用本章的公式 κ = 1/(4R|sin(t/2)|) 一目了然。一条曲线，从等时钟摆到最速降线（Bernoulli 1696，变分法的起点），都是它的舞台。

第一章 平面曲线：参数、弧长与曲率1.12 悬链线：Galileo 的错案

★★ 一条链条两端固定、自然下垂，是什么形状？伽利略在《两门新科学》里猜是抛物线——错案。1691 年，Leibniz、Huygens 与 Johann Bernoulli 各自独立解出：它是双曲余弦

y = a cosh(x/a) = a(e^x/a + e^−x/a)/2

它与抛物线像到什么程度？真跑：取同顶点、同顶点曲率的两条，在 x = 1 处悬链线高 0.5431，抛物线高 0.5000——差 0.043，肉眼几乎不可辨，却差着一整个微分方程（悬链线的方程来自「张力沿切向、只与重力平衡」的受力分析，解出来是 cosh；抛物线对应的是「水平均布荷载」的吊桥缆索）。长得像不等于是一条线——曲率公式正是分辨它们的法医。

两个致敬：① 把悬链线倒过来，就是石拱桥最省料的拱轴线——压应力沿拱全程贴合，材料几乎不受弯矩（高迪的圣家堂用倒挂链条找拱形，用的就是它）；② 悬链线的曲率公式 κ = a/y²——越高的地方越直，这是受力分析的几何回声。

第一章 平面曲线：参数、弧长与曲率1.13 曲率的物理：向心力

★★ 曲率最硬核的应用在牛顿力学。圆周运动的加速度指向圆心、大小 v²/R——中学都背过。把 1/R 换成 κ，这个公式立刻升级成一般曲线运动的普遍规律：

a_n = v²κ，方向沿 N

推导只有一步：速度 v = |r′|，加速度 r″ 分解为「改变快慢的切向分量」与「改变方向的法向分量」，后者正是 v²dT/ds = v²κN。曲率是「转弯要花多少力气」的账本：牛顿第二定律 F = mv²κ——弯得越急（κ 大）或跑得越快（v 大），需要的向心力越大。

三个现身场合：① 弯道限速——路面能提供的摩擦力有上限，κ 大的弯道容许的 v 就小；② 过山车回环——顶端既要 v²κ ≥ g 才不脱落，又要 v²κ 别太大以免超重，回环被设计成「上小下大」的泪滴形（正是用本章的 κ 做的优化）；③ 高铁缓和曲线——直线与圆曲线之间要插入曲率线性增大的过渡段，让向心力从 0 连续升起，乘客才不晃。

第一章 平面曲线：参数、弧长与曲率1.14 总转角：切向量的整圈账

★★★ 前面都在「一点一点」看曲率。现在换一种问法：沿一条闭曲线走一整圈，切向量的方向累计转过多少？

直觉答案：一整圈，2π。真跑验证：取一条歪歪扭扭的蛋形闭曲线，沿途采样切向量方向、逐段累加（跨 ±π 时回卷），数值给出 6.2831853——恰为 2π，误差在采样精度内。而且不论蛋形多歪、多不对称，答案都不变。

为什么值得单独立一页？因为它是全书第一条「局部量沿闭路求和，得到刚性整体约束」的桥：每一点的转向（局部、可以任意）加起来，竟然被「闭合、不自交」这个整体条件锁死成一整圈。局部可以自由，整体被结构约束——这句话是第六章 Gauss–Bonnet 定理、Euler 示性数与 Poincaré–Hopf 定理的共同灵魂，而它的最简版本就在这里。

第一章 平面曲线：参数、弧长与曲率1.15 四顶点定理预告：全局的眼光

★★★★ 总转角还有更精细的推论。顶点指曲率取局部极值的点（弯得「最急」或「最缓」的地方）。椭圆是最简例子：真跑 a = 2、b = 1 的椭圆，曲率在长轴两端取最大 κ = a/b² = 2.00、短轴两端取最小 κ = b/a² = 0.25——恰四个顶点。

为什么至少四个、不能两个？直觉：曲率是连续函数，沿闭曲线转一圈回到初值，极大与极小至少各一个（两个）；但若只有「一急一缓」，曲率的「重心」会偏向急的那头——与闭曲线的闭合条件矛盾。「闭合」逼出第二对极值。严格的证明要用到总转角与分部积分，放进了本章的挑战页。

全局眼光的示范：四顶点定理的陈述全是局部的（κ 的极值），成立却全靠整体条件（闭合、凸）。这种「局部量被整体条件锁死」的定理，本书还会遇到一串：Fenchel 定理（第二章）、Gauss–Bonnet（第五、六章）、Poincaré–Hopf（第六章）。它们共同构成微分几何的「整体篇」。

第一章 平面曲线：参数、弧长与曲率1.16 计算机曲线：Bézier 与 B 样条

★★ 本章的全部理论，在 1960 年代被两位工程师各自铸成了工业工具：雪铁龙的 de Casteljau 与雷诺的 Bézier 为车身设计发明了以控制点造曲线的方法。给定控制点 P₀ … P_n，曲线定义为

B(t) = Σ C(n,i)(1−t)ⁿ⁻ⁱtⁱP_i（Bernstein 基加权平均）

它的算法形态更直观（de Casteljau 算法）：相邻控制点按比例 t : (1−t) 折中，得到少一个点的序列；反复折中，最后剩的一点就是曲线上的点。真跑对拍：对一组四次控制点，逐层折中与 Bernstein 公式在 21 个参数点的坐标完全一致（误差小于 10⁻¹²）。

本章概念全线登场：控制多边形给出切向（端点处曲线与多边形边共线）；曲率梳成了验收工具——汽车行业的「A级曲面」要求曲率梳光滑无跳变，正是本章 κ 的直接应用；更进一步的 B 样条与 NURBS 把多段 Bézier 拼成整体 C² 光滑的曲线（曲率连续），字库里每个字的轮廓都是它们。

一句话收束本章：从刘徽的割圆到车间的曲率梳，「把弯变成数」这件事，三百年来一直是几何与工程交汇的地方。

第一章 平面曲线：参数、弧长与曲率例题一：曲率计算六式

例 1（圆）：r = (R cos t, R sin t)。r′ = R(−sin t, cos t)、r″ = R(−cos t, −sin t)，分子 |x′y″ − y′x″| = R²，分母 R³，故 κ = 1/R——与校准例一致。∎

例 2（抛物线 y = x²）：用图像公式，κ = 2/(1 + 4x²)^3/2。顶点（x = 0）κ = 2；x = 1 处 κ = 2/5^3/2 ≈ 0.1789。∎

例 3（椭圆）：r = (a cos t, b sin t) 化简得 κ(t) = ab / (a²sin²t + b²cos²t)^3/2。长轴端（t = 0）κ = a/b²、短轴端 κ = b/a²——真跑 a = 2、b = 1 得 2.00 与 0.25。∎

例 4（正弦曲线）：y = sin x 在 x = π/2 处 y′ = 0、y″ = −1，κ = 1（曲率半径 1）——波峰与半径为 1 的圆一样弯。∎

例 5（对数螺线 ρ = e^aθ）：极坐标公式化简得 κ = 1/(ρ√(1 + a²))。真跑 a = 0.5、θ = 1（ρ = e^0.5）得 κ = 0.5424975。曲率半径与矢径成正比——螺线按固定比例「边长大边变直」，鹦鹉螺外壳与星系旋臂都是它。∎

例 6（摆线）：κ(t) = 1/(4R|sin(t/2)|)——拱脚（t → 0）曲率发散成尖点，拱顶最缓（1/(4R)）。∎

第一章 平面曲线：参数、弧长与曲率例题二：弧长与密切圆

例 1（悬链线的弧长——一步算清）：y = cosh x 在 [0, 1] 上的弧长。导数 y′ = sinh x，被积函数 √(1 + sinh² x) = cosh x（双曲恒等式立功），故

L = ∫₀¹ cosh x dx = sinh 1 ≈ 1.1752012

这道题是「选对参数」的红利：悬链线天然自带的 cosh 结构让根号整体消掉——若换成数值逼近再验算（程序实算 1.1752012），两法一致。∎

例 2（椭圆的密切圆）：a = 2、b = 1。长轴端 κ = a/b² = 2，密切圆半径 ρ = 0.5；短轴端 κ = 0.25，ρ = 4。同一枚「鸡蛋」，身上贴着半径 0.5 与 4 的两枚圆——弯与直在一条曲线上共存。∎

例 3（密切圆的贴合验证）：抛物线 y = x² 顶点处 κ = 2，密切圆是 x² + (y − 1/2)² = 1/4（圆心 (0, 1/2)）。比较两条曲线在 x = 0.3 处的高度：抛物线 0.09，圆 1/2 − √(1/4 − 0.09) ≈ 0.0908——相差不足 0.001，贴合度肉眼不可辨；再远处（x = 0.5）差距拉大到 0.055，密切圆「就地交班」。∎

第一章 平面曲线：参数、弧长与曲率习题课（一）：参数与弧长基本功

第一章 平面曲线：参数、弧长与曲率习题课（二）：曲率与密切圆的进阶

第一章 平面曲线：参数、弧长与曲率第一章地图：概念依赖关系

本章概念一条链，从参数化出发，抵达曲率，再分岔出四条支线。

读图三句话：① 主链（参数化 → 弧长 → T → κ）是一条「标准化」的流水线——每一步都在剥掉非几何的信息（跑法、快慢），最后剩下的 κ(s) 纯粹忠于形状；② 密切圆与渐屈线是 κ 的两个图形化身（「圆多大」「圆心在哪」）；③ 向心力与总转角是 κ 的两条出口（一条通向物理，一条通向整体几何）。

与后续章的接口：第二章把 {T, N} 添一个成员变成空间的三脚架，T′ = κN 长成三条 Frenet 公式；第三章把曲线换成曲面，弧长公式长成第一基本形式；第五章的总转角与本章的 ∮dφ = 2π 遥相呼应。

第一章 平面曲线：参数、弧长与曲率第一章小结（上）：概念清单

十个概念，一条主线：把「弯」从观感提炼成可以计算的数。每个公式都能在速查表（p.38）一次查全。

第一章 平面曲线：参数、弧长与曲率第一章小结（下）：方法与陷阱

五件武器（按使用频率）：

四个常见陷阱：

自检三问：能默写曲率的两个公式吗？能说出密切圆「三重贴合」是哪三重吗？能解释为什么弧长参数是「公平的尺」吗？——三问都能对上，本章过关。

第一章 平面曲线：参数、弧长与曲率思想卡：把形状变成函数

本章之前，「弯」是一个形容词；本章之后，「弯」是一个函数 κ(s)。这一步跨越的实质，是找到了形状与函数之间那张换算表：参数化把点变成数，弧长把路程标准化，切向量把方向变成角度，求导把「变化」变成「变化率」。四步走完，一条曲线的全部信息被压缩成一个函数——曲率沿弧长的分布 κ(s)，外加一个起点与一个初始朝向。

值得停下来想一想：为什么压缩是可能的？因为曲线是一维的，一维对象每一点只有「一个方向」，一个数就够记录它的转向。等到第三章曲面登场，每一点有「一整个平面」的方向，一个数不够用了——需要一张 2 × 2 的表（第一基本形式）。维数每升一级，「形状语言」就要换一次语法；而第一章学会的「标准化 → 求变化率 → 验不变性」三步曲，在每一级都原样重演。

还有一个容易被略过的细节：本章自始至终在跟「参数」搏斗——弧长参数化、参数无关性、正则性。这不是技术性琐碎，而是几何学的自我纪律：形状是客观的，描述是人为的；凡是人为的选择（参数、坐标、投影），都必须被检验「不影响结论」。这个纪律在第三章将正式定名为「内蕴」——只认曲面自己携带的信息，不认外面的观察者强加的描述。

第一章 平面曲线：参数、弧长与曲率挑战：四顶点定理

目标：证明凸闭曲线至少有四个顶点（曲率的局部极值点）。这是第一个「局部量被整体条件锁死」的定理，证明只用到总转角与一次分部积分。

进一步的阶梯：① 定理对非凸曲线不真——找到一条只含两个顶点的非凸闭曲线（提示：允许曲率变号）；② 1962 年 Schiffer 给出加强版：凸曲线上曲率函数的每个「峰谷对」还满足积分不等式；③ 六十年代起它被推广到空间曲线（Sedykh 定理）与离散曲线——一条 1909 年的定理至今仍在生长。

第一章 平面曲线：参数、弧长与曲率实验：数值曲率的对拍

实验设计：曲率的解析公式需要二阶导，数值世界用差分代替——取步长 h = 10⁻⁴，用三点中心差分估计一、二阶导，代入同一公式。解析值是「标准答案」，差分值是「测量值」；两者之差应恰为差分误差量级（O(h²)）。

读表三句话：① 误差全部落在 10⁻⁸ 到 10⁻⁴——恰是二阶差分的理论量级，公式与数值互相验证；② 顶点处误差最小（对称性最好），一般点稍大；③ 换一条曲线，结论照旧——对拍通过的不是某个数字，而是曲率公式本身。

延伸动手：① 把步长 h 缩小 10 倍，观察误差是否缩小 100 倍（验证 O(h²)）；② 用差分法画一条任意手绘曲线的曲率梳，找出它的「顶点」，数一数是否至少四个。

第一章 平面曲线：参数、弧长与曲率〖札记〗割圆术与弧长：刘徽与祖冲之

弧长的极限定义，西方要到 17 世纪微积分诞生才算站稳；而「以直代曲、逼近极限」这套思想，中国古算在公元 3 世纪就已经用得炉火纯青。

刘徽（约 263 年）注《九章算术》，创立割圆术：从内接正六边形出发，不断倍增边数，用勾股定理逐层算出边长与周长。他算到正 192 边形得到 3.14 < π < 3.15，又推进到正 3072 边形，得 π ≈ 3.1416（真跑：正 3072 边形给 3.1415921——与刘徽一致到四位小数）。他的名言「割之弥细，所失弥少，割之又割，以至于不可割，则与圆合体而无所失矣」，用一个「弥」字说尽了极限思想，比欧洲早了一千四百年。

祖冲之（429–500）与儿子祖暅继承并推进：把 π 夹在 3.1415926 与 3.1415927 之间（精确到小数第八位，这一纪录保持了约九百年），并给出两个分数近似——约率 22/7 与密率 355/113。密率的精妙在于：它是分母不超过 16604 的分数里最接近 π 的一个，「用最简单的分数贴近无理数」——这本身就是一种「逼近论」的品味。

弧田术的遗憾：《九章算术》方田章处理弓形面积（弧田）的公式只用弦与矢（高），是一个低阶近似——古人自己也意识到误差随弓形变弯而放大。缺的那个量正是曲率：弓形弯得越急，弦与矢越不足以决定面积。刘徽注里已尝试用更细的分割修正，但「曲率」作为独立的量，要等 18 世纪的 Euler 才正式登场。

对照与致敬：本章的弧长公式 ∫|r′|dt 与真跑表格（正 3072 边形 ≈ 3.1415921），正是「割圆术」的现代形态。读微分几何的人回头看《九章》，会看见同一件事的两种语言：古算家用数字逼近圆，数学家用极限定义弧长——逼近的精神是共同的。

第一章 平面曲线：参数、弧长与曲率第一章速查表

第一章 平面曲线：参数、弧长与曲率衔接讲义：通往空间曲线——当弯之外还有扭

本章把平面曲线讲到了底：一个数 κ(s)（加上起点与朝向）就能完整复原一条平面曲线——平面曲线被一个函数完全支配。但空间里的曲线立刻多出一个自由度。

一个观察暴露问题：平面上的螺旋线不存在——要「绕」，就得离开平面。空间里的螺旋线（弹簧）每一点都在弯（有曲率），但两条螺旋线可以弯得一模一样、却一根「直挺」一根「麻花」。弯之外，还有第二个独立的形状变化——离开平面的程度。

平面版 Frenet 公式已经预告了答案：本章的 T′ = κN 里，N 被迫躺在曲线所在的平面内（平面曲线没得选）。到了空间，T 与 N 张成的平面（密切平面）本身也会转动——密切平面的转动速率，就是第二个几何量：挠率 τ。

下一章的三件事：① 把标架从两件升级成三件（T, N, B 三脚架），写下三条 Frenet–Serret 公式；② 证明空间曲线基本定理——曲率与挠率两个函数把空间曲线定死（平面定理的完美推广）；③ 用这对「弯与扭」去解读闭曲线的整体性质（总曲率、纽结）。

带走一句话：平面曲线的「弯」只有一个自由度；空间曲线有两个——弯（在密切平面里转）与扭（密切平面本身转）。下一章的名字就叫「弯与扭的合奏」。

第二章 空间曲线与 Frenet 框架第二章导引：三维弯道——弯与扭的合奏

把一根铁丝弯成螺旋弹簧，手上会同时做出两个动作：弯——让它在某个平面里转起来；扭——让它离开这个平面。盘山公路也是同一件事：车子沿山路爬升时，方向盘在转（弯），挡位在爬坡中不断抬高（这个「抬起」对应的正是一种「扭」）。平面上的曲线只有「弯」一个自由度；一旦进入空间，就多出一个。

本章的任务，是给空间曲线配上第一件大工具——一副随身携带的正交标架，并写清它沿曲线行走时的转动规律。分五步走。

两个热身预告。其一，本章将第一次遇到「用一个函数反推整条曲线」的思想：曲率与挠率像一段指纹，唯一地决定曲线——这是把「形状」彻底函数化的第二步（第一步是第一章的平面曲线被 κ(s) 定死）。其二，本章的总曲率定理与打结定理，是「局部量沿整条曲线求和，被整体条件锁死」的第一次完整演出；第六章的 Gauss–Bonnet 是它们的高维兄弟。

难度：本章需要一元微积分与向量的点积、叉积，难度 ★★。三条 Frenet 公式会完整推导，所有真跑数字都由程序实算。

第二章 空间曲线与 Frenet 框架2.1 空间曲线与向量值函数

★★ 空间曲线最自然的写法与平面完全一样，只是多了一个坐标：

r(t) = (x(t), y(t), z(t))，t ∈ [a, b]

把 t 想成时间，就是一个点在三维空间里飞行留下的轨迹。导数仍叫速度向量 r′(t) = (x′, y′, z′)：方向是切线，大小是快慢。唯一需要小心的地方只有一处——三维里没有「左右」的天然约定。平面上我们可以把法向定为「切向量逆时针转 90°」，空间里这个操作不唯一，得靠叉积来选。

叉积的两个基本性质，本章反复要用：① u × v 垂直于 u 与 v 张成的平面，方向由右手定则确定；② |u × v| = |u||v| sin θ——它就是两向量张成的平行四边形面积。这两条性质让叉积成为「缺省的法向选择器」。

校准一个例：螺旋线 r(t) = (2 cos t, 2 sin t, t)。它的速度 r′ = (−2 sin t, 2 cos t, 1)，大小 |r′| = √5 是常数——螺旋线以匀速螺旋上升。于是 t ∈ [0, 2π] 的弧长恰是 2π√5（真跑 14.049629）。这条曲线将是本章从头用到尾的「小白鼠」。

第二章 空间曲线与 Frenet 框架2.2 空间中的弧长与曲率

★★ 弧长公式逐字照搬，只多了一个分量：

L = ∫_a^b |r′(t)| dt = ∫_a^b √(x′² + y′² + z′²) dt

弧长参数化 s(t) = ∫|r′|du 与随之而来的「公平的尺」也照搬。定义曲率的思路同样照搬：κ = |dT/ds|，即单位切向量每走单位弧长转过的角度。困难只出现在「把它写成能算的公式」这一步——平面上我们用二阶导行列式，空间里行列式不成对，换成叉积：

κ = |r′ × r″| / |r′|³

为什么是叉积？把 r′ 与 r″ 分解成「沿 T 的分量」与「垂直 T 的分量」：r″ 里与 T 平行的部分只改变快慢（不是几何），垂直的部分才叫「转弯」。叉积恰好把平行分量全部消掉，只留下垂直分量的大小——叉积是自动剔除非几何成分的筛子。分母 |r′|³ 则是与平面情形一样的速度归一化因子。

校准三例（程序实算）：① 螺旋线 r = (2cos t, 2sin t, t)，真跑 κ = 0.400000，与解析式 a/(a²+b²) = 2/5 逐点一致；② 圆：κ = 1/R；③ 直线：r″ 与 r′ 平行，叉积为零，κ = 0。三个校准例逐点对上，公式才算可信。

第二章 空间曲线与 Frenet 框架2.3 挠率：离开平面的程度

★★ 平面曲线的单位切向量 T 与主法向量 N 张成的平面永远不动——那张平面就是曲线所在的平面。空间曲线没这个福气：{T, N} 张成的平面（叫密切平面）会随点翻卷。翻卷得快慢，就是第二个不变量——挠率。

写成能算的公式：由 B = (r′ × r″)/|r′ × r″| 直接求导化简，得到

τ = det(r′, r″, r‴) / |r′ × r″|²

分子是三个导数的混合积（3 × 3 行列式），分母是上一节曲率公式的分子平方。对照一下就很清楚：曲率的分母是 |r′|³，挠率的分母是 |r′ × r″|²——后者正是「已经量出的弯曲程度」的平方。

三个校准事实：① 平面曲线 r‴ 与 r′, r″ 共面，混合积为零，故 τ ≡ 0；② 因此「挠率恒为零」等价于「曲线是平面曲线」——挠率是「离开平面程度」的精确刻度；③ 螺旋线真跑 τ = 0.200000，与解析式 b/(a²+b²) = 1/5 逐点一致。

第二章 空间曲线与 Frenet 框架2.4 Frenet–Serret 公式

★★ 现在把三个单位向量凑成一副正交标架（三脚架）：

T = γ′(s)，N = T′/|T′|，B = T × N，且 {T, N, B} 两两垂直、长度均为 1

它们沿曲线前进时各自在转。把三者的导数写成彼此的线性组合，只要六个系数——而正交归一性会把它们砍到只剩两个，恰好就是 κ 与 τ：

三条公式可以从三个观察一步读完：① T′ ⊥ T（单位向量求导必垂直），而 N 的定义就是 T′ 的方向，所以 T′ = κN——第一式是「N 的定义」加「κ 的定义」；② 同理 B′ ⊥ B，而由 ⟨T, B⟩ = 0 求导得 ⟨T′, B⟩ + ⟨T, B′⟩ = 0，即 B′ ⊥ T——B′ 只能沿 N，系数就是挠率的定义；③ N′ = (B × T)′ = B′ × T + B × T′ = −τN × T + B × κN = τB − κT——第三式是前两式的「代数和」。

真跑对拍：把螺旋线的标架逐点算出，再做数值微分，三条公式的偏差都在 10⁻⁷ 以内（|T′−κN| = 6.7 × 10⁻⁸，|N′−(−κT+τB)| = 7.5 × 10⁻⁸，|B′−(−τN)| = 3.3 × 10⁻⁸）；标架的正交归一性偏差仅 10⁻¹⁶（机器精度）。公式与数值互为验钞机。

第二章 空间曲线与 Frenet 框架2.5 弯扭装置：框架沿曲线行走

★★ 把 {T, N, B} 想成一台随身携带的仪表：它沿曲线行进时整体在转。三条 Frenet 公式说的正是它「怎样转」。可以把这件事压成一个向量：

ω = τ T + κ B，|ω| = √(κ² + τ²)

称它为 Darboux 向量（转动向量）：三脚架的三个向量都满足「转动的速度和 = ω × 自身」这一条统一法则——T′ = ω × T、N′ = ω × N、B′ = ω × B，把三条公式一次性打包。代入验证第一式：(τT + κB) × T = κB × T = κN（用 N = B × T），正是 T′ = κN。

这个视角的用处远不止好看。螺旋线的真跑给出 |ω| = √(0.4² + 0.2²) = √0.2 = 0.4472136，恰等于 1/√5——正是螺旋线速度的倒数。

现实中「随身标架」无处不在：飞机上的航姿仪（attitude indicator）不停地把机头方向、升力方向、机翼法向钉成一副 {T, N, B} 并实时报告它的转动；卫星姿态控制、机器人末端执行器、甚至手机里的陀螺仪，都在解同一个问题——不要用静态坐标系描述运动，而让坐标系随运动一起走。这正是把 Frenet 公式想成「装置」而非「公式」的理由。

第二章 空间曲线与 Frenet 框架2.6 螺旋线与 Lancret 定理

★★★ 螺旋线（helix）是空间曲线里最著名的一条，因为它是「弯与扭按固定比例同步」的样板。它的解析结论干净得惊人：

κ = a/(a² + b²)，τ = b/(a² + b²)，κ/τ = a/b　（常数）

真跑四组参数，数值与解析逐一对上（b = 0.5, 1, 2, 3 时 κ/τ = 3.999801, 1.999901, 0.999950, 0.666634，对应 a/b = 4, 2, 1, 2/3）。

而反向的结论更漂亮，叫 Lancret 定理（1806）：

证明的味道值得一尝。设切向量与定方向 u 成定角，即 ⟨T, u⟩ = cos α 为常数。沿 s 求导：⟨T′, u⟩ = 0，即 κ⟨N, u⟩ = 0，故 u ⊥ N——定方向落在密切平面内。再求导一次并代入 Frenet 公式，得 (κ′/κ)⟨T,u⟩ + τ⟨B,u⟩·(...) = 0 型的方程；化简后得到 (κ/τ)′ = 0，即 κ/τ 恒定。反过来同理。

读法：κ/τ = a/b 越大，螺距越「陡」（b 大），扭的成分越大；b → 0 时 τ → 0，螺旋线退化成圆——圆是退化的螺旋线。这条定理在分子生物学里有个漂亮的回声：DNA 双螺旋之所以稳定，正因为它是一般螺线，弯与扭的比例沿整条链保持不变。

第二章 空间曲线与 Frenet 框架2.7 球面曲线的约束

★★★ 换一个问题：什么样的空间曲线能整条躺在球面上？这不是好奇，而是「曲面约束如何反作用于曲线」的第一次演习——第三章之后，我们会反复问「曲线能否落在某张曲面上」。

设曲线落在以原点为心、半径 R 的球面上，即 |r(s)|² = R² 恒成立。沿 s 反复求导，只用到 Frenet 公式：

ρ² + (ρ′σ)² = R²，其中 ρ = 1/κ，σ = 1/τ，′ = d/ds

真跑验证（球面曲线 R = 2、r = 2(sin t cos 2t, sin t sin 2t, cos t)）：中间恒等式 ⟨r, N⟩ = −1/κ 精确到 10⁻⁶（t = 0.6 处 −1.071884 与 −1.071883）；等价形式 ρ² + ⟨r, B⟩² = 4.000000，与 R² 完全吻合。

第二章 空间曲线与 Frenet 框架2.8 基本定理：曲率与挠率定曲线

★★★ 第一章末已经看到：平面曲线被 κ(s) 一个函数完全支配。空间的版本是本章的顶峰。

为什么成立？把 Frenet–Serret 公式当成一个线性常微分方程组来看：

d/ds (T, N, B) = (T, N, B) · A(s)，A = [[0, −κ, 0], [κ, 0, −τ], [0, τ, 0]]

这是一阶线性方程组，系数连续，由常微分方程存在唯一性定理立刻得到：给定初始标架，解唯一存在。唯一需要额外检查的是「解出来的 (T, N, B) 是否始终保持正交归一」——因为 A 是反对称的（A^T = −A），一组标准正交基在反对称方程组下演化永远保持标准正交。这一步是整段证明的关键，也解释了公式左端那个矩阵为何长成这副模样。

最后，由 T = γ′ 积分一次复原曲线：γ(s) = γ(0) + ∫₀^s T(u) du——曲线的全部信息被两个函数加一个起点与一个起始标架完全封存。

「相差一个刚体运动」是什么意思？同一条曲线，把它平移或旋转一下，曲率与挠率当然不变；基本定理说的是反过来也成立——曲率与挠率相同，曲线必是全等。所以 (κ, τ) 这一对函数是曲线的完备不变量，就像两个数唯一确定一个人的身份证号。把形状彻底函数化，至此完成。

第二章 空间曲线与 Frenet 框架2.9 总曲率与 Fenchel 定理

★★★ 现在换一只眼睛看：不再盯住某一点的曲率，而是把曲率沿整条曲线积起来：

总曲率 = ∮_C κ(s) ds = ∮_C |T′(s)| ds

这个量有一个直观的意思：单位切向量 T 在单位球面上画出曲线的「总长度」（这条球面曲线叫切线 indicatrix）。于是 Fenchel 定理几乎可以「看出来」：

证明的骨架（三步）：① 切线 indicatrix T(s) 是单位球面上的闭合曲线，其长度为 ∮|T′|ds = ∮κ ds；② 球面上任何闭合曲线必被某个大圆「套住」——取一条与它相截的大圆，把它分成两段；③ 每一段从大圆的一侧回到另一侧的曲线，长度至少是 π（球面上从一点到对径点最短的走法就是半条大圆）。两段相加即得 2π。等号情形：两段都恰好是半条大圆，说明 T 一直在大圆上走，即曲线为平面曲线；再加凸性条件。

真跑对账：平面圆 R = 1 与平面椭圆 a = 2, b = 1 都给出 6.283185 = 2π（取等）；一旦有了空间起伏，就严格变大——z = 0.02 sin 3t 的微小波浪给出 6.328062，z = 0.25 sin 3t 给出 9.911238，三叶结给出 13.950320。「离开平面」的代价，被这个不等式一字不差地记在账上。

第二章 空间曲线与 Frenet 框架2.10 结与 Fáry–Milnor 定理

★★★★ 一根绳子在三维里可以打结。数学上，把绳子的两端接上（得到一个闭合曲线），于是「结」变成一条空间闭曲线。问题立刻来了：「打了结」这件事，是不是一个几何量？

答案的一半来自 Fáry 与 Milnor（1949）：

怎么理解 4π 的来源？把切线 indicatrix 再想一遍：打结的曲线在空间中「绕来绕去」，它的切向量必须至少把单位球面绕两圈（球面上绕两圈的最短长度是 4π）——因为打结迫使切向量的轨迹不能落在「一个半球」里。所以「结」这个纯拓扑信息，逼出了一个纯几何的下界。这是拓扑对几何征税的最早一次成功。

真跑对账：三叶结（最著名的纽结）取标准参数 r(t) = (sin t + 2 sin 2t, cos t − 2 cos 2t, −sin 3t)，数值积分四万个格点，得到总曲率 13.950320 > 4π = 12.566371——不等式成立，还留着余量（这条具体曲线不是「最省弯的」三叶结，理想的等边三叶结会更接近 4π）。它的最大曲率 κ_max ≈ 0.776882，这一数字在下一节会派上用场。

第二章 空间曲线与 Frenet 框架2.11 管状曲面与法向标架

★★★ 现实中的曲线几乎都是有粗度的：DNA 有直径、血管有管径、电缆有外皮、光纤有包层。给一条曲线「加粗」的最自然方式，是沿曲线的法平面画一个小圆，然后把所有小圆连起来——得到管状曲面。Frenet 标架在这里第一次派上「造曲面」的用场：管子上一点可以写成

X(s, θ) = γ(s) + r(cos θ · N(s) + sin θ · B(s))

——这已经是参数曲面的写法（两个参数 s 与 θ），第三章整章都在讲它。曲线工具直接长成了曲面工具，这是本书的一条主线。

管子能不能不自我相撞？必须

r < 1/κ_max（即管半径小于最小曲率半径）

否则在弯得最急的地方，两侧的管壁会先碰到一起。这条不等式把「弯曲」直接翻译成了「能不能加粗」的工程许可条件。真跑：三叶结 κ_max = 0.776882，故管半径上限 1/0.776882 = 1.287197；螺旋线 a = 2, b = 1 的 κ = 0.4，上限恰为 2.5。

第二章 空间曲线与 Frenet 框架2.12 DNA 超螺旋与机器人轨迹

★★ 本章的标架不是象牙塔里的摆设。它在两个看起来毫不相干的领域里天天上班。

其一：DNA 双螺旋。1953 年沃森与克里克给出 DNA 的结构：两条糖–磷酸骨架像两条螺旋线互相缠绕，碱基对像梯子的横档。用本章的语言读它：每条骨架就是一条螺旋线 r(t) = (a cos t, a sin t, bt)，而两条骨架相差半圈（t → t + π）。由 2.6 节的结论，DNA 是一般螺线——κ/τ 沿整条链恒定，这正是它「不走样地复制与盘绕」的几何基础。

更妙的是超螺旋（supercoiling）：环状 DNA 的双螺旋轴本身还会再绕一次圈——螺旋的螺旋。这时光有 κ、τ 两个量已经不够描述，需要引入 Writhe（缠绕数）与 Twist（扭转数）这一对整体量，并把它们用 Călugăreanu 定理（Lk = Tw + Wr）联系起来——拓扑学家 White 与 Fuller 的工作，后来成了分子生物学的标准工具。

其二：机器人末端轨迹。工业机械臂要沿一条曲线运动（焊接、喷涂、切割），规划的核心问题是「用多少个弯与扭矩才能走出这条路径」。现代做法是把路径按曲率分成若干弧段：每段用 (κ, τ) 描述，段与段之间要求 κ 连续（否则加速度突变，机器会抖），τ 连续（否则末端姿态会跳）。由此可见本章的两个不变量在工程里是「物理上可测的量」：曲率对应向心加速度，挠率对应机身的滚动角速度。

第二章 空间曲线与 Frenet 框架2.13 闭合曲线的整体账目

★★★★ 本章的最后一步，是把局部量沿整条闭合曲线求和，看看整体条件会逼出什么。这是第一章「总转角 = 2π」的升级版，也是第六章 Gauss–Bonnet 的预演。

第一笔账：总曲率。由 Fenchel，∮κ ds ≥ 2π；若是纽结，则 ≥ 4π。这两个下界与曲线的具体形状无关，只由「是否打结」决定。

第二笔账：总挠率。闭合条件对 τ 的限制更微妙。可以证明：闭合曲线的总挠率与曲线的 Writhe 相挂钩（Călugăreanu–White–Fuller 公式 Lk = Tw + Wr 的几何版本），因此不是任意值都能取到。真跑三叶结得总挠率 0.335734（沿参数积分；注意 τ 会变号，这里是代数和）。

第三笔账：闭合方程。曲线闭合意味着位移积分为零、标架也回到出发时的样子：

∮ T(s) ds = 0，并且 ∮(Frenet 方程) 的解回到初始标架

写成数值离散形式，就是六个周期条件——它们把「局部的不变量 κ(s), τ(s)」与「整体的闭合性」焊在一起。

本章到此收束。我们从一个函数 r(t) 出发，得到两个不变量 κ, τ，一副标架 {T, N, B}，一组规律（Frenet 公式），并证明这两个不变量足以定死整条曲线。接着沿闭路求和，得到一串被拓扑锁住的整体量。下一章，我们把这套曲线语言推广到二维——曲面。

第二章 空间曲线与 Frenet 框架例题一：Frenet 框架的计算

例 1（螺旋线的完整标架）：r(t) = (2cos t, 2sin t, t)。先算导数：r′ = (−2sin t, 2cos t, 1)、r″ = (−2cos t, −2sin t, 0)。于是

|r′| = √5，r′ × r″ = (2sin t, −2cos t, 4)，|r′ × r″| = √20

三件套：T = (−2sin t, 2cos t, 1)/√5；B = (r′ × r″)/√20 = (sin t, −cos t, 2)/√5；N = B × T = (−cos t, −sin t, 0)。归纳：κ = √20/(√5)³ = 2/5 = 0.4，τ = (混合积)/|r′×r″|² = 4/20 = 1/5 = 0.2。真跑四个点全部对上。∎

例 2（一般曲线 (t, t², t³)）：r′ = (1, 2t, 3t²)、r″ = (0, 2, 6t)、r‴ = (0, 0, 6)。叉积 r′ × r″ = (6t², −6t, 2)，模为 2√(9t⁴ + 9t² + 1)，故

κ = 2√(9t⁴+9t²+1) / (1+4t²+9t⁴)^3/2，τ = 3/(9t⁴+9t²+1)

真跑：t = 0.5 时 (κ, τ) = (0.952005, 0.786885)；t = 1 时 (0.166424, 0.157895)；t = 1.7 时 (0.024603, 0.029360)——数值与解析差不超过 10⁻⁶。∎

例 3（直线与圆的退化）：直线 r″ 与 r′ 平行 ⇒ 叉积为零 ⇒ κ = 0，此时 N 无定义（标架退化）。圆 (Rcos t, Rsin t, 0)：κ = 1/R、τ = 0——平面曲线挠率为零，与 2.3 节一致。∎

第二章 空间曲线与 Frenet 框架例题二：挠率与螺旋线

例 1（证明螺旋线的 κ/τ = a/b）：对上例的螺旋线 (a cos t, a sin t, bt)，叉积 r′×r″ = ab(sin t, −cos t, a/b)… 更整齐的算法是直接算模：|r′×r″| = a√(a²+b²)，|r′| = √(a²+b²)，混合积 = ba²。于是

κ = a/(a²+b²)，τ = b/(a²+b²)，κ/τ = a/b

特别注意：κ 与 τ 各自都可以化成「与 t 无关」的常数，因为它们只依赖 a 与 b。这条性质正是一般螺线的标志（Lancret）。∎

例 2（求一般螺线的定方向）：螺旋线的切向量与 z 轴成定角。验证：⟨T, k⟩ = 1/√(a²+b²)·b 为常数。反之，Lancret 定理保证「定角」与「κ/τ 恒定」等价。∎

例 3（用挠率判定平面曲线）：已知一条曲线的 κ(s) = 1、τ(s) = 0。由基本定理，它是（相差刚体运动）半径为 1 的圆。若改为 κ = 1、τ = 1，则由 a/(a²+b²) = 1、b/(a²+b²) = 1 解得 a = b = 1/2——它是一条等边螺旋线。∎

例 4（球面曲线的半径）：若一条曲线的 ρ = 1/κ 与 σ = 1/τ 满足 ρ² + (ρ′σ)² = 9，且 ρ 为常数 = 3，则 ρ′ = 0，故它落在半径 3 的球面上——但它同时是 ρ 常数的曲线，即圆（κ 恒定 ⇒ 平面圆）。球面上半径为 3 的圆：这是最平凡的一类球面曲线。真跑验证时应用 τ ≠ 0 的非平凡例子（如 2.7 节的球面螺线），否则公式在 σ → ∞ 处退化。∎

第二章 空间曲线与 Frenet 框架习题课（一）：框架与公式基本功

第二章 空间曲线与 Frenet 框架习题课（二）：整体量与新例进阶

第二章 空间曲线与 Frenet 框架第二章地图：概念依赖关系

本章的长链是：空间曲线 → 弧长与曲率 → Frenet 标架 → Frenet–Serret 公式；再由 κ、τ 这一对不变量分岔出整体结论。

读图三句话：① 主链（曲线 → 弧长 → κ → 标架 {T,N,B} → Frenet 公式）是一条「加法链」——每一步都比平面情形多一个分量或多一个方程，但形状完全平行；② τ 是本章唯一真正的新东西：它没有平面对应物，只在三维出现；③ 基本定理、Fenchel、Fáry–Milnor 三条整体结论是「κ, τ 作为函数」的三个不同侧影。

与后续章的接口：① 管状曲面 X(s, θ) 已经是一张参数曲面——第三章的入场券；② 「κ 与 τ 定死曲线」与第三章「E, F, G, L, M, N 定死曲面」是同一条定理的两次演出；③ 总曲率的下界与 Fáry–Milnor 的整数现象，是第六章示性数与 Gauss–Bonnet 的先声。

第二章 空间曲线与 Frenet 框架第二章小结

十三条清单，一条主线：把「弯」与「扭」两个数从形状里提炼出来，再证明它们足以复原整条曲线。

第二章 空间曲线与 Frenet 框架思想卡：弯与扭——一对正交的变化率

第一章的成就，是把平面曲线压缩成一个函数 κ(s)。本章的成就看似只是「再加一个函数」，实则跨过了三道门。

第一道门：维数的代价与红利。多一维之后，平面上唯一的「转向」分裂成两种互相独立的动作：在密切平面里转（弯），与让密切平面本身转（扭）。这不是把结论乘以 1.5，而是让「变化率」这个概念第一次分岔。随之而来的红利是：正则曲线不再被一个数锁死，而被两个数锁死——信息量翻倍，可描述的曲线族也丰富得多（平面的螺旋线不存在，空间的螺旋线却是个大家族）。

第二道门：把「不变量」组织成「结构」。第一章我们得到若干个互不相干的几何量（弧长、曲率、曲率半径……）。本章第一次出现一组量之间有代数关系：κ 与 τ 通过一个反对称矩阵耦合在一起（Frenet 方程）。这个矩阵不是装饰——它决定了标架能否始终保持正交归一。从「找不变量」到「找不变量之间的结构」，是几何学成熟的一步，也是后面第一、第二基本形式（六个量之间被两条方程约束）的预演。

第三道门：局部量被整体条件锁死。Fenchel 不等式、Fáry–Milnor 的 4π、闭合条件逼出的周期条件——这些都说明：沿着一条曲线把局部的不变量积起来，结果不是自由的，它被「曲线是否闭合」「是否打结」这样的整体事实卡在半整数格上。这一发现的价值远超曲线论本身：它预示了整个整体微分几何（第六章）与示性数理论。

第二章 空间曲线与 Frenet 框架挑战：Fenchel 定理的证明

目标：完整证明 Fenchel 定理——闭合空间曲线的总曲率 ∮κds ≥ 2π，等号当且仅当曲线是平面凸闭曲线。证明只用到球面几何与「切线 indicatrix」这一个观察。

进一步的阶梯：① 把 2π 换成 2πn（n 为旋转数），得到旋转曲线版本；② 加强到「Fenchel–Borsuk 猜想」：曲面与 k 维流形上是否存在类似的「总弯曲下界」？这已在 21 世纪被完全解决；③ 把结论推广到「非闭合但有端点的曲线」——下界变成「端点处切线夹角」，即 ∮κds ≥ θ_end；④ Fáry–Milnor 的 4π 正是「球面上绕两圈」的最短长度——同样的一招，用两次。

第二章 空间曲线与 Frenet 框架实验：螺旋线的数值框架对拍

实验设计：本章的一切结论都建立在「曲率与挠率是曲线的不变量」之上。我们把这件事交给计算机检验：对曲线 r(t)，用中心差分（一、二阶导用 h = 10⁻³，三阶导用五点公式）估计 κ 与 τ，与解析值对拍；再把 Frenet–Serret 公式两边的数值导数放在一起比较。

（一）曲率与挠率的解析–数值对拍

（二）Frenet–Serret 公式的对拍（螺旋线，四个参数点取最大值）

读表三句话：① 曲率与挠率的误差全部落在 10⁻⁹ 到 10⁻⁶——恰是二阶差分的理论量级，公式与数值互相验证；② 三阶导（挠率的分子）误差最大，因为三阶差分对步长最敏感——求导阶数越高，数值越娇气；③ 标架的正交性偏差是机器精度 10⁻¹⁶，说明「反对称方程组保正交性」这件事在浮点世界里也稳如磐石。

延伸动手：① 把一、二阶导步长缩小 10 倍，观察误差是否缩 100 倍（验证 O(h²)），并找出「误差转弯」的最优步长（约 10⁻⁵，更小反而因舍入误差变大）；② 用数值法画一条任意手绘空间曲线的曲率–挠率曲线，找出 κ 的极大点，据此定出管半径上限；③ 把同样的对拍程序用到三叶结上，检验总曲率 13.950320 > 4π，并绘图观察切线 indicatrix 如何在球面上绕两圈。

第二章 空间曲线与 Frenet 框架〖札记〗梅文鼎《环中黍尺》：球面量法的中国回应

空间曲线与球面几何是相伴而生的：只要承认地球是圆的，就必须在球面上量距离、算角度。西方这门学问在 17 世纪由三角学带出（Frenet 公式本身要等 1847 年）；而中国学者面对球面问题的路径完全不同——他们从天文测算进入，从历法的需要逼出球面三角。

梅文鼎（1633–1721）是清初最重要的历算学家。他在《环中黍尺》中系统处理球面三角形，用「三边求角」「两边夹一角」等格式解决天文定位与日食推算。书名取自《周髀算经》的「环中」——圆环之内、圆心之中，即以圆度量的意思。他的方法核心是把球面三角的元素化为平面直角三角形的组合（作垂弧、化斜为直），这与本章「把空间曲线投影到平面，再逐分量处理」是同一思路的两面。

梅文鼎的独到之处在于「中西会通」的自觉：他既精通《九章》《周髀》的勾股传统，又吸收了《几何原本》与第谷体系的三角学成果，反复用中国古算的语言重新叙述球面公式，力求把「师夷之长」与「不失其故」调和起来。他在球面三角里把「弦、矢、弧」这三个中国式的量用得极熟练——而这三个量，正是本章弧长与曲率的古代前身。

一个耐人寻味的对照：Frenet 公式的形式之美来自「让标架跟着曲线走」这一观念；梅文鼎的球面算法之美则来自「随情境换参考平面」——作垂弧、取极三角形、化大圆为小圆。两者都在解决同一个困难：在弯曲的世界里，参考系不能只选一次就了事，必须随位置而变。

本章的真跑数字（螺旋线 κ = 0.4、τ = 0.2，四万格点的三叶结总曲率 13.950320），在三百年前的历算家手里是不可想象的；但他们追求的目标与今日无异：把看见的弯曲，翻译成可以反复验算的数。这道题，中国人从《周髀》算到梅文鼎，从祖冲之的密率算到今天的数值微分，题目没变，工具一直在换。

第二章 空间曲线与 Frenet 框架第二章速查表

第三章 曲面的度量：参数曲面与第一基本形式第三章导引：地球仪与地图册——量一个球

摊开一张世界地图，量一量格陵兰岛：它看上去比整个非洲还大。但地球仪上，非洲的面积是格陵兰的十四倍。地图没有说谎，它只是在做一件不可能的事——把球面摊平。摊平的过程中，尺子被偷偷改掉了。

类似的事到处都在发生。地球仪上北京到纽约的最短路线是一条大圆弧；画到世界地图上，它却弯成一条弧线，看上去绕了远路。同一条航线，在不同的「图纸」上长度不同、方向不同——因为图纸自带的尺子不同。

本章要做的，就是给每一张曲面配一把属于它自己的尺子，并说清这把尺子如何决定曲面上的一切度量。分五步走。

一个预告：本章结束时可以发现，球面摊不平、地图必然失真、两点之间最短航线为什么弯——这些看起来属于地理学的问题，本质上是同一条几何事实的三次亮相。而这条事实只用三个数 E, F, G 就能写下。

难度：本章只需多元微积分的一点点基本功（偏导、二重积分）与向量的点积，难度 ★★。所有面积与长度的真跑数字都由程序实算，公式与数值互相对拍。

第三章 曲面的度量：参数曲面与第一基本形式3.1 参数曲面与坐标网

★★ 曲线需要一个参数；曲面需要两个。把这两个参数记作 u 与 v，它们取值范围构成参数域 D（平面上一块区域），映射

r(u, v) = (x(u, v), y(u, v), z(u, v))，(u, v) ∈ D

给出的图形就叫参数曲面。名词听着陌生，例子其实天天见：地球仪用「纬度、经度」两个参数定位每一个点，这不就是球面的参数化吗？

把 v 固定、让 u 变化，得到的曲线叫 u 曲线（v = 常数）；把 u 固定、让 v 变化，得到 v 曲线。两族曲线织成一张坐标网——地球仪上的经线与纬线，就是最著名的一张。

第三章 曲面的度量：参数曲面与第一基本形式3.2 正则曲面与切平面

★★ 曲面上一条曲线，可以写成 (u(t), v(t)) 沿参数域走出来的像。它的速度向量（用链式法则）是

dr/dt = r_u · du/dt + r_v · dv/dt

其中 r_u = ∂r/∂u、r_v = ∂r/∂v 是两个偏导向量。这条式子的信息量很大：不管曲面上走哪条曲线，它的速度永远是 r_u 与 r_v 的一个线性组合。

为什么必须要求正则？因为只有 r_u × r_v ≠ 0 时，两个向量才真正张成一张二维平面；否则它们共线，切平面塌成一条线，「地面」就没有了。曲面上这类塌陷点叫奇点——球面参数化在南北极处 r_θ = 0，所以那两个点要单独看待。

隐式曲面的情形：若曲面由方程 F(x, y, z) = 0 给出（例如 x² + y² + z² = R²），则切平面由一个更省事的刻画给出：设 γ(t) 是曲面上任意一条过 P 的曲线，则 F(γ(t)) ≡ 0，求导得 ⟨∇F, γ′⟩ = 0。于是梯度 ∇F 与切平面垂直——它就是法方向（下一节的主角）。这是「隐式写法」与「参数写法」第一次握手：同一个几何对象，两套语言。

第三章 曲面的度量：参数曲面与第一基本形式3.3 法向量与定向

★★ 切平面给定了，垂直于它的方向也就唯一（差一个正负号）。取

n = (r_u × r_v) / |r_u × r_v|

这是单位法向量，叉积的次序决定它的指向。注意那个「差一个正负号」——这不是小事，而是曲面上一个深刻的二分法。

球面、环面、平面都可定向：球面取「向外」，环面取「向外」，都处处一致。但存在一类著名的曲面，无论怎样选，绕一圈回来法向量都会反向——最出名的是莫比乌斯带：把一条纸带扭转半圈再首尾粘上，它只有一个面、一条边。沿它走一圈，可以发现「正面」变成了「背面」。

转参数会不会换掉定向？会。(u, v) → (v, u) 这样的交换把 r_u × r_v 变号，法向量翻转。但这不是矛盾：可定向性说的是「存在一种一致的选法」，而不是「任意选法都一致」。反之，莫比乌斯带的问题在于——连一种一致的选法都找不到。这件事在第六章讲闭曲面分类时会再次出现。

第三章 曲面的度量：参数曲面与第一基本形式3.4 第一基本形式：曲面的尺子

★★ 现在到本章的主角。在参数域上从 (u, v) 走到 (u + du, v + dv)，曲面上对应的一小段有多长？由 3.2 的速度公式，位移向量是 dr = r_u du + r_v dv，它的长度平方是

|dr|² = (r_u du + r_v dv)·(r_u du + r_v dv) = E du² + 2F du dv + G dv²

其中三个系数是

它的三个系数的分工一目了然：E 是 u 方向走一步的真实长度平方，G 是 v 方向的，F 量的是两个方向「斜不斜」。当 F = 0 时，两族网线处处正交，公式退化成勾股定理的样子。

与第一章的呼应：曲线的弧长元素是 ds = |r′|dt，一个函数；曲面上的一小步则是 ds² = Edu² + 2Fdudv + Gdv²，三个函数。多出来的那一个参数，换来了三个系数——这就是「升维」的代价，也是本章一切结论的来源。

一个技术事实：E > 0、G > 0 且 EG − F² > 0（由柯西不等式与正则性保证）。换句话说，第一基本形式是一个正定二次型——这正是它能充当「量长度的尺子」的原因。

第三章 曲面的度量：参数曲面与第一基本形式3.5 弧长与面积的度量计算

★★ 有了尺子，第一件要做的事就是量长度。曲面上曲线 (u(t), v(t))（t ∈ [a, b]）的弧长，就是把每一步的长度积起来：

L = ∫_a^b √(E u′² + 2F u′v′ + G v′²) dt

真跑校准：柱面 (cos u, sin u, v) 上取螺线 u = t, v = 2t，用 E, F, G 算得 8.94427191，直接积分 |r′| 也得 8.94427191（差 3.2 × 10⁻¹⁰），理论值 √5 × 4 = 8.94427191。两条路走到底，同一个数。

第二件事是量面积。参数域上一个小矩形 du × dv，映到曲面上是一个由 r_udu 与 r_vdv 张成的小平行四边形，其面积是两向量叉积的模：

这里用到了恒等式 |r_u × r_v|² = EG − F²（把它展开即得）：叉积的长短、三个系数、以及它们组成的行列式，是同一件事的三种写法。

真跑两张曲面：① 单位球面，√(EG − F²) = R² sin φ，数值积分得面积 12.566385，解析值 4πR² = 12.566371（差 1.1 × 10⁻⁵，纯粹是网格离散误差）；② 环面 R = 3, r = 1，数值积分 118.435253，解析值 4π²Rr = 118.435253，差 2.3 × 10⁻¹¹。两个经典公式，从「尺子」里自动长了出来。

第三章 曲面的度量：参数曲面与第一基本形式3.6 曲面上曲线的夹角与保角性

★★★ 第三个量是角度。曲面上两条曲线在一点相交，它们的切向量各是 r_udu₁ + r_vdv₁ 与 r_udu₂ + r_vdv₂ 的形式，做点积即得

cos θ = (Edu₁du₂ + F(du₁dv₂ + dv₁du₂) + Gdv₁dv₂) / (√(I₁) √(I₂))

其中 I₁、I₂ 是两条曲线各自方向的第一基本形式值。又是只有 E, F, G。

特例一（坐标网正交）：取两条曲线分别为 u 曲线与 v 曲线，则 du₂ = 0、dv₁ = 0，公式退化为 cos θ = F/√(EG)。于是

F ≡ 0 ⟺ 坐标网处处正交

球面的经纬网正是如此。真跑验证：球面上任意点取经线与纬线方向，数值算出的夹角与 90° 相差不足 10⁻¹¹ 度（cos θ ≈ −1.8 × 10⁻¹¹）——完全是浮点误差，不是几何误差。

特例二（保角坐标）：如果某组坐标满足 E = G 且 F = 0，即 I = λ²(du² + dv²)，那么任何一条曲线的方向、任意两条曲线的夹角，都与它们在参数域上的样子完全一致。这样的坐标叫等温坐标（也叫保角坐标），相应的映射叫保角映射（共形映射）。墨卡托地图之所以被航海家偏爱，正是因为它保角——但它必须付出「面积失真」的代价（这正是格陵兰变胖的原因）。

第三章 曲面的度量：参数曲面与第一基本形式3.7 球面的度量：地理坐标

★★★ 现在把尺子用到最熟悉的曲面上。球面半径 R，用地理坐标 (φ, θ)（φ 为极角，自北极量起；θ 为经度）：

r(φ, θ) = R(sin φ cos θ, sin φ sin θ, cos φ)

逐项求偏导并点积，得到本章最重要的一个度量化简：