从螺旋线到圆柱展开 ​

核心计算需多元微积分与内积，Frenet重建分支另用线性常微分方程。先自己算，再展开下面的完整答案；核心链不以 Riemann 曲率张量为入口。全篇采用空间标准右手定向、曲面外法向和 $S=-dn$。

核心任务 ​

1. 对 $\gamma (t)=(2\cos t,2\sin t,t)$，$0\le t\le 2\pi$，计算弧长、单位速参数、$T,N,B,\kappa ,\tau$。给出仅凭 $\kappa ,\tau$ 重建的条件；判断把 $t$ 反向和作空间镜像分别改变什么。
2. 对圆柱 $C(u,z)=(2\cos u,2\sin u,z)$ 与球面 $S(\theta ,\varphi )=3(\sin \theta \cos \varphi ,\sin \theta \sin \varphi ,\cos \theta )$，分别计算 $\mathsf{g},\mathsf{b},[S]$、主曲率、面积元。说明参数域和极点问题。
3. 验证圆柱与平面的展开映射保每条路径长度，却不保环境弯曲；解释为何整平面到圆柱不是全局等距。
4. 对 $A=\{1\le \sqrt{x^2+y^2}\le 2\}$ 核对两个边界方向，计算 $\omega =(xdy-ydx)/2$ 的边界积分。

答案一：螺旋线与重建 ​

速度、加速度、三阶导数为

$${\gamma }^{\prime }=(-2\sin t,2\cos t,1),{\gamma }^{″}=(-2\cos t,-2\sin t,0),{\gamma }^{‴}=(2\sin t,-2\cos t,0).$$

速率 $\sqrt{5}$，弧长 $L=2\pi \sqrt{5}$。从零点起 $s=\sqrt{5}t$，故单位速参数为

$$\alpha (s)=(2\cos \left(s/\sqrt{5}\right),2\sin \left(s/\sqrt{5}\right),s/\sqrt{5}),0\le s\le 2\pi \sqrt{5}.$$

按原参数写标架最方便：

$$T=\frac{(-2\sin t,2\cos t,1)}{\sqrt{5}},N=(-\cos t,-\sin t,0),B=\frac{(\sin t,-\cos t,2)}{\sqrt{5}}.$$

叉积 ${\gamma }^{\prime }\times {\gamma }^{″}=(2\sin t,-2\cos t,4)$，模为 $2\sqrt{5}$，三重积为 $4$。因此

$$\kappa =\frac{2\sqrt{5}}{(\sqrt{5}{)}^3}=\frac{2}{5},\tau =\frac{4}{20}=\frac{1}{5}.$$

注意 $d/ds=(1/\sqrt{5})d/dt$。逐项代入可验 $T_s=(2/5)N$、$N_s=-(2/5)T+(1/5)B$、$B_s=-(1/5)N$。

重建需要在同一弧长区间给 $\kappa >0$ 且 $C^1$、$\tau$ 连续，并给初始位置和右手正交单位架。解 $F_s=FA$，反对称 $A$ 保持 $F^{T}F=I$；再积分 $T$ 得唯一 $C^3$ 单位速曲线。不指定初值则唯一到保向刚体运动。参数反向同时把 $T,B$ 反号，不改 $\kappa ,\tau$；水平镜像把 $\tau$ 改成 $-1/5$。正曲率假设不能省：$\gamma (t)=(t,t^3,0)$ 在零点仍正则，却没有标准Frenet主法向。

周期输入不保证闭合。当前 $\kappa ,\tau$ 都是常数，但走一圈后高度增加 $2\pi$。要闭合还需标架单值返回与 ${\int }_0^{L}Tds=0$。详见弧长理路正则曲线与弧长参数Regular parametrized curve · Arc-length parametrization · 单位速参数化从非零速度定义正则曲线，证明弧长公式与重参数不变性，并构造单位速参数。、曲率挠率理路曲线的曲率与挠率Curvature and torsion of a space curve · 空间曲线曲率 · Torsion of a curve用弧长导数定义曲率和挠率，推导任意正则参数的计算公式并核验方向与退化边界。和重建定理理路Frenet 方程与空间曲线重建Frenet–Serret equations · Fundamental theorem of space curves · 空间曲线基本定理以正曲率和挠率为输入解一个保持正交性的线性方程，得到唯一到保向刚体运动的单位速曲线。。

答案二：圆柱与球面 ​

圆柱 $u$ 使用局部开区间，例如 $(-\pi ,\pi )$；$z$ 自由变化。外法向 $n=(\cos u,\sin u,0)$。

$$C_u=(-2\sin u,2\cos u,0),C_z=(0,0,1),C_{uu}=(-2\cos u,-2\sin u,0),C_{uz}=C_{zz}=0.$$

于是

$${\mathsf{g}}_C=\left(\begin{array}{cc}4& 0\\ 0& 1\end{array}\right),{\mathsf{b}}_C=\left(\begin{array}{cc}-2& 0\\ 0& 0\end{array}\right),[S_C]={\mathsf{g}}_C^{-1}{\mathsf{b}}_C=\left(\begin{array}{cc}-1/2& 0\\ 0& 0\end{array}\right).$$

主曲率为 $-1/2,0$，$K=0$，$H=-1/4$，面积元 $dA=2dudz$。高度 $h$ 的完整侧面面积为 $4\pi h$。尽管 $K=0$，形算子并不为零。

球面使用 $0<\theta <\pi$，经度局部选图。偏导内积为

$${\mathsf{g}}_S=\left(\begin{array}{cc}9& 0\\ 0& 9{\sin }^2\theta \end{array}\right).$$

外法向 $n=S/3$，所以 $dn(V)=V/3$，直接得到 $S_S=-(1/3)\mathrm{id}$。因此

$${\mathsf{b}}_S=-\frac{1}{3}{\mathsf{g}}_S=\left(\begin{array}{cc}-3& 0\\ 0& -3{\sin }^2\theta \end{array}\right).$$

主曲率均为 $-1/3$，$K=1/9$，$H=-1/3$，面积元为 $9\sin \theta d\theta d\varphi$，总面积 $36\pi$。若翻转法向，$II,S,k_1,k_2,H$ 反号，$I,dA,K$ 不变。

两极处的零行列式来自经纬参数失效。北极图 $X(x,y)=(x,y,\sqrt{9-x^2-y^2})$ 在原点有 $\mathsf{g}=I_2$、向上法向、$\mathsf{b}=-(1/3)I_2$，恢复同一形算子。极点可由别的图覆盖，并非曲面奇点。全局球面积积分以去极点区域加极区面积趋零解释。详见曲面片理路正则参数曲面与局部曲面片Regular parametrized surface · Immersed surface patch · 曲面参数化从两个独立偏导构造切平面与法向，证明满秩参数局部可化为图形，并分清自交、坐标失效和曲面奇点。、第一基本形式理路第一基本形式First fundamental form · 曲面诱导度量把曲面上切向的长度角度写成正定二次型，证明换坐标规律并计算圆柱与球的度量。、第二基本形式理路形算子与第二基本形式Shape operator · Second fundamental form · Weingarten map · Gauss map of a surface · 曲面高斯映射以S=-dn固定符号，从法向微分推出第二基本形式、度量自伴性与非正交坐标中的矩阵公式。与面积积分理路曲面面积与通量积分Surface area element · Scalar surface integral · Flux integral · 曲面积分从切平行四边形导出面积密度，证明重参数不变性，并区分标量面积积分与依赖定向的通量。。

答案三：长度证书与全局边界 ​

取平面映射

$$F(x,z)=(2\cos \left(x/2\right),2\sin \left(x/2\right),z).$$

其两偏导正交且模一，故拉回度量为 $d{x}^2+d{z}^2$。任何曲线 $c(t)=(x(t),z(t))$ 都满足

$$\Vert (F\circ c{)}^{\prime }{\Vert }^2=(x^{\prime }{)}^2+(z^{\prime }{)}^2,$$

所以路线长度保持。对 $c(t)=(2t,t)$，展开图是直线，长度仍为 $2\pi \sqrt{5}$。然而圆柱环向形算子是 $-1/2$，平面的形算子是零；等距保面内刻度而不保环境形算子。

$F(x+4\pi ,z)=F(x,z)$，所以全平面映射不单射。即使限制到开带 $0<x<4\pi$，两个近缝点 $(\epsilon ,0),(4\pi -\epsilon ,0)$ 在带内的路径距离为 $4\pi -2\epsilon$；在整圆柱上允许穿缝，距离为 $2\epsilon$，其中 $0<\epsilon <\pi$。它们在去缝圆柱区域内的路径距离仍等于带内距离。问题在于比较时允许路线的区域不同。

更严格的错误检查：$(x,y)\mapsto (2x,y/2)$ 保面积但不保长度；只验行列式一不是等距证书。详见局部等距理路曲面的局部等距Local isometry of surfaces · 圆柱展开用保持第一基本形式刻画局部等距，验证圆柱展开，并区分曲线路长、区域内距离和全局距离。。

答案四：圆环内圈的负号 ​

标准平面定向下 $(e_{\rho },e_{\theta })$ 正向。外圈 $\nu =e_{\rho }$，故边界切向 $T=e_{\theta }$，逆时针；内圈向洞内才算离开区域，$\nu =-e_{\rho }$，故 $T=-e_{\theta }$，顺时针。

外圈参数 ${\gamma }_o(t)=(2\cos t,2\sin t)$，$0\le t\le 2\pi$，给 ${\gamma }_o^{\ast }\omega =2dt$，积分为 $4\pi$。内圈取 ${\gamma }_i(t)=(\cos t,-\sin t)$，得到 ${\gamma }_i^{\ast }\omega =-dt/2$，积分为 $-\pi$。合计 $3\pi$，等于圆环面积 $\pi (4-1)$ 与 ${\int }_{A}d\omega$。

同一方向检查对闭一形式 $\eta =(xdy-ydx)/(x^2+y^2)$ 也有用：在圆环上 $d\eta =0$，外圈积分 $2\pi$、内圈 $-2\pi$，合计零。单独外圈积分不为零，并不违背Stokes；外圈在圆环中不是整个有向边界。详见边界模型与定向理路带边界光滑流形Smooth manifold with boundary · Outward-first boundary orientation · 诱导边界定向以半空间坐标定义光滑边界，构造边界点完整切空间，并用外向量优先规则计算圆环两条边界的方向。和Stokes定理理路流形上的 Stokes 定理Stokes' theorem on manifolds紧支撑微分形式的外微分在流形上的积分等于该形式在边界上的积分。。

迁移题与错误诊断 ​

1. 在半径三的球面余纬 $\theta =\pi /3$ 上沿经度增加行走，求曲线空间曲率、法曲率、测地曲率，并核验球冠公式
2. 在半径一圆柱上换切向基为 $(X_u,X_u+X_z)$，计算三张矩阵，判断能否把第二基本形式普通特征值当作主曲率
3. 判断“$K=0$所以$S=0$”“每个正则参数曲面像都是嵌入曲面”“边界点切空间只有半个空间”分别错在哪里

迁移题答案：纬线速率 $3\sqrt{3}/2$，长度 $3\sqrt{3}\pi$；$\kappa =2/(3\sqrt{3})$、$k_n=-1/3$、$k_g=1/(3\sqrt{3})$。平方关系为 $4/27=1/9+1/27$；边界测地曲率积分为 $\pi$，球冠面积 $9\pi$，$K$ 积分也为 $\pi$，总和 $2\pi$。这正是测地曲率理路测地曲率与曲面内转弯Geodesic curvature · Darboux decomposition · 曲率向量的法向切向分解把曲面上曲线的加速度分成法向弯曲与面内转弯，计算圆柱螺旋线和球面纬线，并衔接测地线与Gauss–Bonnet。接入既有Gauss–Bonnet证明理路Gauss–Bonnet 定理Gauss–Bonnet theorem从正向标架的联络形式推出局部转角公式，再由三角剖分证明整体 Gauss–Bonnet；显式计算球面两图的 Euler 数和嵌入环面的正负曲率抵消。的计算入口。

斜基三矩阵为

$$\tilde{\mathsf{g}}=\left(\begin{array}{cc}1& 1\\ 1& 2\end{array}\right),\tilde{\mathsf{b}}=\left(\begin{array}{cc}-1& -1\\ -1& -1\end{array}\right),[\tilde{S}]=\left(\begin{array}{cc}-1& -1\\ 0& 0\end{array}\right).$$

第二基本形式的普通特征值是 $-2,0$，形算子的主曲率却是 $-1,0$；必须解 $\mathsf{b}w=k\mathsf{g}w$。圆柱直接反驳 $K=0\Rightarrow S=0$；周期圆柱参数反驳参数映射全局嵌入，但其像仍是嵌入圆柱。要反驳像必为嵌入曲面，取 $X(u,v)=(\sin 2u,\sin u,v)$：两个偏导始终独立，$u=0,\pi$ 的像重合，而横向速度分别为 $(2,1,0),(2,-1,0)$，与竖向量张成两个不同切平面，故交线附近的像不是一张嵌入曲面；边界切空间要能相减，仍有完整维数，只是双向曲线速度不足以实现朝外方向。

换元专项：从面积走到加权积分 ​

求同一圆环 $A=\{1\le \sqrt{x^2+y^2}\le 2\}$ 上的 ${\int }_A(x^2+y^2)dxdy$。先说明极坐标在什么片上满足换元假设，再计算；若经度走两圈或把经度反向，答案分别怎样改变？

答案：在 $r>0$、不重复覆盖的局部角度片，极坐标映射为 $C^1$ 微分同胚，$|\det DF|=r$。分成有限扇区，接缝零面积；或先去掉窄扇形再取极限。故

$${\int }_A(x^2+y^2)dxdy={\int }_0^{2\pi }{\int }_1^2{r}^{2}rdrd\theta =2\pi \frac{2^4-1}{4}=\frac{15\pi }{2}.$$

$0\le \theta \le 4\pi$ 的参数积分计两遍，得到 $15\pi$，不能当作像集的一次积分。若改用 $F(r,\theta )=(r\cos \theta ,-r\sin \theta )$，Jacobian为 $-r$，绝对值仍为 $r$，一次标量积分仍为 $15\pi /2$。本题的支撑区域远离原点，故不涉及 $r=0$ 的奇异点；单射片和接缝条件仍须检查。完整证明见多元积分换元定理理路多元积分换元定理Multivariable change of variables theorem · Jacobian substitution theorem · 重积分换元在C¹微分同胚和紧Jordan域上证明绝对Jacobian换元公式，区分有向符号、零测边界和重复覆盖。。

学习路线 ​

核心计算链：弧长理路正则曲线与弧长参数Regular parametrized curve · Arc-length parametrization · 单位速参数化从非零速度定义正则曲线，证明弧长公式与重参数不变性，并构造单位速参数。 → 曲率挠率理路曲线的曲率与挠率Curvature and torsion of a space curve · 空间曲线曲率 · Torsion of a curve用弧长导数定义曲率和挠率，推导任意正则参数的计算公式并核验方向与退化边界。 → 正则曲面片理路正则参数曲面与局部曲面片Regular parametrized surface · Immersed surface patch · 曲面参数化从两个独立偏导构造切平面与法向，证明满秩参数局部可化为图形，并分清自交、坐标失效和曲面奇点。 → 第一基本形式理路第一基本形式First fundamental form · 曲面诱导度量把曲面上切向的长度角度写成正定二次型，证明换坐标规律并计算圆柱与球的度量。 → 形算子理路形算子与第二基本形式Shape operator · Second fundamental form · Weingarten map · Gauss map of a surface · 曲面高斯映射以S=-dn固定符号，从法向微分推出第二基本形式、度量自伴性与非正交坐标中的矩阵公式。 → 主曲率理路法曲率、主曲率与 Euler 公式Normal curvature · Principal curvature · Euler curvature formula · 主方向从曲面上曲线的加速度定义法曲率，证明Euler公式并用广义特征值计算主方向、脐点与渐近方向。 → 面积通量理路曲面面积与通量积分Surface area element · Scalar surface integral · Flux integral · 曲面积分从切平行四边形导出面积密度，证明重参数不变性，并区分标量面积积分与依赖定向的通量。 → 展开与局部等距理路曲面的局部等距Local isometry of surfaces · 圆柱展开用保持第一基本形式刻画局部等距，验证圆柱展开，并区分曲线路长、区域内距离和全局距离。。

按需补课：导数、链式法则、内积、逆函数定理、Jacobian与多元换元定理；需要重建时补线性ODE。高级入口仍保留：Frenet重建；边界/定向/Stokes；测地曲率/高斯曲率/Gauss–Bonnet。学习路线是练习顺序，并非把所有相邻页面都写成硬前置关系。