环量：沿一圈回路把推力加起来
先从本级前几篇你已经握在手里的画面出发。一个向量场 F 给平面填满了箭头——把它想成从高空俯瞰一条慢河的水面。现在往那股流动里丢下一圈闭合回路，一根骑在水上的小橡皮筋，并只问一个问题：当你沿橡皮筋绕行整整一圈，水流帮你前进了多少？每走一步，你取 F 中指向你行进方向的那个分量，把它累加起来。这份累计的总和就是 F 绕该回路的环量，它无非就是 F 沿一条闭合曲线的线积分，积分号上画一个圈表示「绕行一周」。
回想保守场那一篇：正是这同一个闭合回路积分，曾是判定保守场的试金石——若 F 是纯粹的坡度（某个势的梯度），它绕每一圈回路的环量都恰好为零，一段弧上得到的帮助会在另一段弧上如数还清。于是环量量度的，正是场「未能成为保守场」的程度——势所无法解释的那份剩余净推力。把 F 写作 F = (P, Q)，分量为 P 与 Q，环量便是 P dx + Q dy 绕回路一周的功积分。整条格林定理，就是对一个紧接着的问题的回答：那份剩余的推力，究竟从何而来？
格林定理：边界等于内部
陈述如下，它是整个微积分中最美的等式之一。[[greens-theorem|格林定理]]说：对平面中一块由简单闭曲线 C 所围的区域 D，F = (P, Q) 绕 C 的环量，等于 dQ/dx − dP/dy 这单独一个量在 D 上的二重积分：(P dx + Q dy) 绕 C 的回路积分，等于 (dQ/dx − dP/dy) 在 D 上的面积积分。左边只活在一维的边缘上；右边活在二维的内部里。定理把「绕边缘走一圈」换成了「对所围的一切求和」。
那个神秘的被积式 dQ/dx − dP/dy 一旦认出来便毫不神秘：它正是二维场的旋度——第一篇里的旋度，在平直的二维里只剩下那个垂直于平面的分量。于是格林定理用大白话说就是：绕边界的总环量，等于内部局部旋转的总量。内部每一只转动的小桨轮都贡献它那一份打旋，而格林定理担保：当你把整块区域上所有这些微观旋转加起来，其和恰恰就是你绕边缘溜达一圈时所感到的净推力。
为什么会这样？诚实的一句话理由是「相消」，值得放在脑子里随身带着。把区域 D 切成一张细密的小格子网。对每一个小格子分别施行回路积分，再把它们全加起来。凡是两个格子共用一条内部边的地方，你都把那条边正向走一次（为其中一个格子）、反向再走一次（为它的邻居）；这两份贡献大小相等、方向相反，于是恰好相消。每一条内部边都是共用的，于是每一份内部贡献都相消——剩下唯一没被抵消的，就只有那些落在真正外边界 C 上的边了。所有小回路之和坍缩成那一圈大回路，而所有小内部之和就是那个二重积分。这场大规模的相消，正是本级三大定理共同的发动机。
定向：哪个方向才算「正」？
格林定理只有在附上一套符号约定时才成立，弄反它就会把答案的正负号翻转——所以这不是吹毛求疵，而是定理本身的一部分。边界 C 必须按正向走过：外缘逆时针，使你行走时所围区域始终留在你的左手边。若区域中有一个洞（一只垫圈、一个环形），则内边界必须顺时针走过，同样让物质留在你的左侧。这正是你在上一篇里布置通量积分与定向曲面时遇到的那套定向记账；本级的诸定理，除非边界的方向与内部彼此一致，否则根本就配不平。
这套符号约定也正是格林定理能当作一台巧妙「面积计」的缘由。取场 F = (−y/2, x/2)；则 dQ/dx − dP/dy = 1/2 + 1/2 = 1，于是右边的二重积分就恰好是 D 的面积。格林定理便说：面积等于绕边界的单独一个回路积分——你可以只绕一块区域的边缘走一圈，从不踏进内部，便量出它的面积。这正是求积仪的原理：那种带小轮子的器械，绘图员当年沿着地图海岸线滚一圈，就能读出所围的面积。边界，真的记得住内部的一切。
斯托克斯定理：把格林抬入空间
现在把回路从平直的桌面上拿起来，弯进三维——让它成为一张肥皂膜的金属丝边框，一条在空间中的曲线 C，绷着某张垂落其上的弯曲曲面 S。平面里管用的一切，在这里都该照样管用，只是如今「内部」是一张漂在三维里的二维曲面，而「打旋」拥有完整旋度的全部三个分量，而不只是二维里幸存的那一个。这一推广便是[[stokes-theorem|斯托克斯定理]]：F 绕边界曲线 C 的环量，等于 F 的旋度与曲面法向量点乘后在 S 上的曲面积分——即 nabla cross F 穿过 S 的通量。
把这句话慢慢读：绕边界的环量，等于穿过内部的旋度通量。第一篇里的局部旋转——旋度 nabla cross F，每点上的一支箭头——在这里不是用它外散多少来量度，而是用它有多少穿透了曲面来量度，正是曲面积分那一篇里的通量想法。斯托克斯定理说：边界回路积分把绷在其上的那张膜所被穿过的全部旋度，收进了单独一个数里。格林定理不过是其中的特例：曲面 S 恰好是 xy 平面里的一块平坦补片、法向量笔直朝上、旋度中只有 dQ/dx − dP/dy 这个分量幸存下来。同一条定理，只是多富了一维。
最令人惊讶的后果，是斯托克斯定理白送你的一条：要紧的不是曲面，只是它的边框。方程左边只提到边界曲线 C；右边从来不必交代你究竟绷的是哪一张曲面 S。于是任意两张共享同一条边界回路的曲面，必给出相同的旋度通量——把肥皂膜鼓成一个圆顶，或捏成一个马鞍，只要金属丝边框不变，穿过它的通量就一模一样。（这之所以成立，是因为旋度的散度恒为零，正是第一篇里的一条向量恒等式：两张这样的曲面合起来围成的封闭气泡，没有任何东西从侧面漏出。）单凭边界，便钉死了答案。
为何旋度是单位面积上的打旋
斯托克斯定理终于也讲清了旋度究竟意味着什么——它给了这个局部量一个诚实的定义。把回路收缩成绕单独一点、面积为 A 的一个小圆。斯托克斯定理说，绕那个小回路的环量，等于穿过那个小圆盘的旋度通量，而对一块趋于消失的小补片，这约等于（旋度沿法向的分量）乘以 A。除以 A，再让回路缩成虚无，你便得到：某点处旋度的法向分量，等于绕该点最小回路的「单位面积环量」。旋度不只是偏导数拼出的一个公式；它是环量的密度。
GREEN -> STOKES (boundary integral = inside integral, via curl)
Green (flat plane, region D, boundary curve C, ccw):
loop_C ( P dx + Q dy ) = area_D ( dQ/dx - dP/dy ) dA
\__ circulation around C __/ \__ curl-flux through D __/
Stokes (curved surface S in 3D, boundary curve C):
loop_C ( F . dr ) = surf_S ( nabla x F ) . n dS
\_ circulation _/ \__ flux of the curl through S __/
Green = Stokes with S a flat patch of the xy-plane, n = +z,
so only the z-component (dQ/dx - dP/dy) of the curl survives.
Local meaning (shrink the loop, area A -> 0):
(nabla x F) . n = lim ( circulation around loop / A )
i.e. curl = circulation per unit area.这些定理并非记账上的奇趣——它们是物理学字面上的语法，正如本级标题所许诺。把场 F 取作磁场，斯托克斯定理便是安培定律：绕一根导线的磁场环量，等于穿过该回路所围任意一张曲面的电流。在法拉第定律里，它把变化的磁通量与绕其回路环行的电压系在一起。剥去场的名字，二者其实是同一句话：在边缘上环行的，由内部打旋的所喂养。这同一条等式，托起了流体中的涡旋、机翼上的升力，以及让那些学科运转的守恒律。
一个模式，以及接下来是什么
退后一步，留意你如今已经三次见到同一个形状。第二篇里的梯度定理说：势在两个端点之间的变化，等于它的梯度沿连接二者的路径的积分——这里的边界是那两个端点。格林定理与斯托克斯定理说：沿一条边界曲线的环量，等于旋度在它所围曲面上的积分——这里的边界如今是一圈回路。在每一种情形里，一个导数在某区域上的积分，都等于原物在该区域边界上的积分。边界一再现身，是因为边界正是相消停下来的地方。
- 先认出结构：选定场 F = (P, Q)（在空间中是 (P, Q, R)）与闭合边界曲线 C，再认清 C 所围的区域 D（平面）或曲面 S（弯曲）。
- 定好方向：沿 C 行走时让区域留在你的左侧（外缘逆时针），并依右手定则选取与之匹配的曲面法向量 n。
- 以难换易：把回路积分换成内部积分（格林）或穿过 S 的旋度通量（斯托克斯）——若绕边界走才是更简单的算法，也可反向而行。
- 检查奇点：若 F 在区域内部爆掉，就在坏点周围挖去一个小回路，改对这块挖了洞的区域施行定理。
下一篇将以散度定理补全这三件套，它把穿过一张闭合曲面的通量，换成内部累加的散度——这是与本篇环量故事相对应的「外散」版本。再往本卷深处去，微分形式那几篇将揭示：梯度定理、格林、斯托克斯与散度定理并非四个表亲，而是同一个陈述的不同伪装，即广义斯托克斯定理：d-omega 在一块区域上的积分，等于 omega 在其边界上的积分。你在这里遇到的一切，都只是那一个方程的一行，被读在三维之中。