可展直纹曲面与零曲率分类

一条条直线并排放置，可以铺成曲面，但相邻直线可能扭转。可展条件要求沿每条母线，整张切平面不转；不是只要求母线自身是直线。

双曲抛物面有两族直线，螺旋面也有一族直线，但它们一般具有负高斯曲率。与之相反，圆柱、圆锥和空间曲线的切线面可沿母线移动而不改变切平面。式 (2) 把这个差别压缩成一个可计算的三重积。

螺旋面有直线，却不能等距摊平 ​

取

得到 $X=(v\cos u,v\sin u,u)$。有 $\det (a^{\prime },d,d^{\prime })=1$、$W^2=1+v^2$，所以

所有 $v$ 曲线都是直线，曲面仍不满足可展条件。这是判定“直纹就可展”最短的一份反证。

切线可展面的奇点必须排除 ​

设 $\gamma (s)$ 是光滑单位速曲线，$\kappa (s)>0$，取

由Frenet 求导公式理路曲线的曲率与挠率Curvature and torsion of a space curve · 空间曲线曲率 · Torsion of a curve用弧长导数定义曲率和挠率，推导任意正则参数的计算公式并核验方向与退化边界。，

因此正则性恰要求 $v\ne 0$，法向在 $v>0$ 片上为 $-B(s)$，沿每条母线不变。两基本形式为

这里 $X_{ss}$ 的 $B$ 分量为 $v\kappa \tau$；与 $n=-B$ 点积得到负号。故 $K=0$，另一主曲率为 $-\tau /(v\kappa )$。原曲线 $v=0$ 是此参数化的奇异边，不能被当作定理中的正则曲面点。

具体取

则 $v>0$ 上主曲率为 $0,-1/v$。它确实能局部展开：令平面圆曲线

由于 $\Vert c^{\prime }\Vert =1$、$\Vert c^{″}\Vert =1/2$、$c^{\prime }\perp c^{″}$，$D$ 的第一形式与式 (3) 完全相同，Jacobian 行列式为 $-v/2\ne 0$。这给出一份不依靠圆柱例子的显式展开证书；展开可以局部重叠，未声称全域单射。

一条平面点母线不等于一片平面 ​

图形 $X(u,v)=(u,v,u^4)$ 处处正则，且 $K\equiv 0$。向上法向下的两个主曲率为

沿 $u=0$ 有 $S=0$，但任何邻域中都有非零弯曲，曲面不落在一个平面中。它仍是广义柱面，并可用

等距展开。这个例子说明秩一证明的假设在某些点会失效，却不意味着该点一定奇异或无法展开。

三重积判据的证明 ​

式 (1) 给 $X_{vv}=0$、$X_{uv}=d^{\prime }$。取 $n=(X_u\times X_v)/W$，则

所以 $K=(b_{uu}{b}_{vv}-b_{uv}^2)/\det \mathsf{g}$ 正是式 (2)。$K=0$ 当且仅当 $b_{uv}=0$，此时 $II(X_v,\cdot )=0$，由度量非退化得 $S(X_v)=0$，再由 $n_v=-S(X_v)$ 得 $n_v=0$。反过来也一样。故三项等价，而且“法向恒定”是沿正则母线段的陈述；不能跨过 $W=0$ 的点使用同一单位法向。

为什么非平面零曲率片的核方向一定走成直线 ​

假设 $K=0$ 且 $S\ne 0$。$S$ 自伴，秩恰为一，非零特征值 $\lambda =\mathrm{tr}S\ne 0$。投影 $I-S/\lambda$ 光滑，局部选一个投影非零的向量并归一化，便得到光滑单位核向量场 $E$。令 $Q$ 为与它垂直的单位切向，则 $SE=0,SQ=\lambda Q$。

Codazzi 方程理路Gauss–Codazzi 相容条件Gauss–Codazzi equations · Gauss–Codazzi–Mainardi compatibility · 两基本形式的相容性把候选度量和第二基本形式变成三个可核验的微分条件，推导其标架矩阵残差，并分别构造Gauss与Codazzi障碍。的算子形式为

与 $E$ 点积，右侧为 $⟨-S{\mathrm{\nabla }}_{Q}E,E⟩=0$，左侧为

故 $⟨{\mathrm{\nabla }}_{E}E,Q⟩=0$；又因 $E$ 单位，${\mathrm{\nabla }}_{E}E\perp E$，所以 ${\mathrm{\nabla }}_{E}E=0$。环境导数满足

沿 $E$ 的单位速积分曲线于是有恒定空间切向，故是直线。同时 $D_{E}n=-SE=0$，法向恒定。

选择一条横截这些积分曲线的光滑曲线 $a(u)$，以单位速度 $v$ 沿 $E$ 出发，得到 $X(u,v)=a(u)+vd(u)$。在基线上 $a^{\prime }$ 与 $d$ 独立，局部可逆性理路逆函数定理Inverse function theorem导数可逆的光滑映射在该点邻域内存在光滑局部逆。保证这确是一组邻域坐标。这份证明没有先假设曲面已是直纹面，也没有把“渐近方向”直接当成空间直线。

在明确的开片上分类，保留转换点 ​

现从一个可展直纹片出发。若 $d^{\prime }\equiv 0$ 在某个开区间成立，则 $d$ 固定，式 (1) 是广义柱面；准线 $a$ 不必是圆。

在 $d^{\prime }\ne 0$ 的开区间上，$d,d^{\prime }$ 正交独立，三重积为零说明

沿每条母线移动起点，设

则同一曲面写成 $X=r(u)+td(u)$，而

由于换元满足 $\partial t/\partial v=1$，它是合法的参数变换。式 (4) 给出精确分支：

• 若 $\lambda \equiv 0$ 在开区间上，则 $r$ 是一个固定点，得到广义锥面
• 若 $\lambda \ne 0$ 在开区间上，则 $r$ 正则，$d$ 平行于其切向，得到正则曲线的切线可展面

在这两种分支中，$X_u\times X_t=t(d^{\prime }\times d)$，因此只保留 $t\ne 0$ 的正则部分。$t=0$ 对应锥顶或切线面的边，不是被遗漏的正则参数值。

若 $d^{\prime }$ 或 $\lambda$ 在某点为零，却不在任何邻域恒为零，不能把该点硬分进一个统一柱面、锥面或正则切线面开片。光滑函数的零集可以复杂，以上论证既没有证明转换集只有有限条线，也没有证明它测度为零。一般分类的可靠说法是：在上述明确的非退化开片上具有相应正常形；转换处保留原来的光滑直纹表示。形算子秩改变处还须回到最初的假设检查。

计算工作中该保留哪些证据 ​

对给出的直纹参数，先记录 $W>0$ 的实际区域，再计算三重积，最后才作正常形分类。对尚未给出母线的零曲率曲面，先检查 $S\ne 0$，用核方向与 Codazzi 找直线族。若目标只是平面展开，应使用 $K\equiv 0$ 的度量定理；若目标是加工中的母线、锥顶或切线边位置，则需要本页的外在信息。两种任务共享零曲率，却不具有相同的输出。