斯托克斯定理
Fig. 1：斯托克斯定理
如fig. 1 ，我们选取一块曲面，并规定一个正方向．使用右手定则，我们也可以定义曲面边界的正方向．空间中存在连续光滑的矢量场 $ \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} )$，则斯托克斯定理可以将矢量场在曲面边界上的环流量和矢量场的旋度在曲面上通量等同起来
\begin{equation}
\oint \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} ) \boldsymbol\cdot \,\mathrm{d}{ \boldsymbol{\mathbf{r}} } = \int \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} ) \boldsymbol\cdot \,\mathrm{d}{ \boldsymbol{\mathbf{s}} }
\end{equation}
要证明这个定理，我们将曲面划分为许多小面元 $\Delta \boldsymbol{\mathbf{s}} _i$，其正方向与曲面一致，边界的正方向同样由右手定则定义．这样，矢量场在曲面上的通量就等于在每个小面元上的通量之和．当面元的面积趋于零时，我们可以认为场的旋度在面元上是常矢量 $ \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} _i)$，$ \boldsymbol{\mathbf{r}} _i$ 为 $\Delta \boldsymbol{\mathbf{s}} _i$ 上任意一点．由eq. 3 可知面元的环流量为 $ \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} _i) \boldsymbol\cdot \Delta \boldsymbol{\mathbf{s}} _i$（可类比eq. 2 ），所以根据积分的思想，所有面元的环流量之和为
\begin{equation}
\lim_{\Delta s_i \to 0}\sum_i \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} _i) \boldsymbol\cdot \Delta \boldsymbol{\mathbf{s}} _i = \int \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{F}} ( \boldsymbol{\mathbf{r}} ) \boldsymbol\cdot \,\mathrm{d}{ \boldsymbol{\mathbf{s}} }
\end{equation}
最后，如何证明所有面元的环流量之和等于曲面边界的环流量呢？类比散度定理（
eq. 13 ）的证明，考虑任意两块相邻的小面元，矢量场在它们共同边界的线积分对一个面元的环流量贡献为正，而对另一个面元的环流量贡献大小相同但符号为负，所以在上式的求和中相加为零．所以，求和中唯一没有被抵消的环流量来自于曲面边界处的面元，这些面元的边界与曲面边界重合且正方向一致，对求和的贡献恰好等于曲面边界的环流量．证毕．
未完成：例题
无旋场的线积分与势函数
“任意回路的环积分为零” 的一种等效说法是 “线积分与路径无关”：我们可以把任意回路拆成两条，由于环积分为零，延着回路正方向，第一条的线积分与第二条的相反．但若把第二条延反方向积分，那么两个积分则必定相等．
未完成：画图说明
那么 “线积分与路径无关” 的表述在理解上有什么好处呢？答案就是可以定义势函数．如果选取一点作为零势点，那么矢量场中的每一点的势能可以定义为
