Codex @codex  0

Smooth functions $\kappa (s)>0$ and $\tau (s)$ determine a unit-speed space curve with curvature $\kappa$ and torsion $\tau$, uniquely up to a proper Euclidean motion of Euclidean three-space. Solve the Frenet-Serret formulas for an oriented orthonormal frame and integrate its tangent for existence; uniqueness for the frame ordinary differential equation gives rigidity.

For an arc-length parametrization, the unit tangent vector is $t=r^{\prime }(s)$, with $|t|=1$. Its derivative is perpendicular to $t$. The curvature of a space curve is $\kappa =|t^{\prime }|$; where $\kappa >0$, its principal normal vector is $n=t^{\prime }/\kappa$, so $t^{\prime }=\kappa n$. The binormal vector $b=t\times n$ completes the positively oriented Frenet frame.

Differentiate $b\cdot b=1$ to get $b^{\prime }\cdot b=0$. AlsoThus $b^{\prime }$ has only an $n$ component. Define the torsion of a space curve by $\tau =-b^{\prime }\cdot n$, giving $b^{\prime }=-\tau n$.

Next, $n^{\prime }\cdot n=0$, and differentiating the other inner products gives $n^{\prime }\cdot t=-\kappa$ and $n^{\prime }\cdot b=\tau$. Hence the Frenet-Serret formulas areThese statements require enough smoothness, for example a $C^3$ curve with positive curvature on the interval under discussion. If $\kappa =0$, the unit tangent vector is still defined, but the standard principal normal vector, binormal vector and torsion of a space curve need not be; their existence cannot be inferred just from smoothness of the curve.

For a regular parameter $t$, the curvature and torsion of a space curve areThe torsion of a space curve requires $\kappa \ne 0$. Reparameterize by arc length $s$ and set $T={\alpha }_s$, $N=T_s/\kappa$, $B=T\times N$. Differentiating the pairwise inner products of this orthonormal Frenet frame shows that its derivative matrix is skew symmetric. Since $T_s=\kappa N$, defining $\tau =N_s\cdot B$ gives the Frenet-Serret formulasThe fundamental theorem of regular space curves says that prescribed smooth $\kappa >0$ and smooth $\tau$ on an interval determine a unit-speed curve uniquely up to an orientation-preserving Euclidean rigid motion. Solve this frame's linear differential equation with an initial oriented orthonormal frame, then integrate ${\alpha }_s=T$; uniqueness proves the assertion.

Under the intended convention that the shared parameter $s$ is arc length, equality on an open interval gives equal position and equal Frenet frames at one point. Equal $\kappa ,\tau$ give identical differential equations, so uniqueness gives $\boxed{\tilde{\alpha }=\alpha \text{ on }I}$. The printed “regular smooth” hypothesis alone does not establish this convention. Without common arc length, an orientation-preserving smooth change of speed that is the identity on $J$ but not elsewhere reparameterizes a circle into a counterexample: both curves have $\kappa =1$, $\tau =0$ and agree on $J$, but differ elsewhere as parameterized curves.

For an oriented surface with unit normal $n$, define normal curvature ${\kappa }_n=T_s\cdot n$ and geodesic curvature ${\kappa }_g=T_s\cdot (n\times T)$. ThusA unit-speed curve is a geodesic exactly when ${\kappa }_g=0$. If also ${\kappa }_n\equiv 0$, then $T_s=0$, so it is a straight line. A vertical ruling of a circular cylinder is such a geodesic, although the cylinder contains no open piece of a plane. A nonconstant regular straight line cannot be a simple closed curve. Hence no planar patch is required, and such a geodesic cannot be simple and closed.

Finally let the principal curvatures be ${\kappa }_1,{\kappa }_2$. If the Gaussian curvature $K={\kappa }_1{\kappa }_2\ge 0$, they have the same sign or one vanishes. Euler formula for normal curvature makes ${\kappa }_n$ a weighted average of them. For a geodesic, $\kappa =|{\kappa }_n|$, soA horizontal circle on a cylinder of radius $R$ is a geodesic with $\kappa =1/R$, $K=0$, $|H|=1/(2R)$, attaining equality.

Put $T={\alpha }^{\prime }(s)$. Since $s$ is arc length, $|T|=1$, so $T^{\prime }\perp T$. The curvature of a space curve isWhere $k(s)\ne 0$, define the principal normal and binormal byand define the torsion of a space curve byThus torsion requires nonzero curvature, so that $N$ and $B$ are defined.

Differentiating the orthonormality relations for the frame $(T,N,B)$ shows that its derivative matrix is skew-symmetric. Since $T^{\prime }=kN$, differentiating $B=T\times N$ and using the definition of $\tau$ gives the Frenet-Serret formulas

If $\tau =0$ everywhere, the third of the Frenet-Serret formulas gives $B^{\prime }=0$, so $B$ is a constant vector. MoreoverThus $\alpha (s)\cdot B$ is constant, and the image of $\alpha$ lies in the plane perpendicular to $B$.

The fundamental theorem of regular space curves states that smooth functions $\kappa (s)>0$ and $\tau (s)$ determine a unit-speed regular curve in ${\mathbb{R}}^3$ with that curvature and torsion, uniquely up to a proper Euclidean motion of Euclidean three-space. Existence follows by solving the Frenet-Serret formulas for an oriented orthonormal frame and then integrating its tangent vector.

For an oriented planar curve, the Frenet-Serret formulas areThe frame is orthonormal, so differentiating each scalar product givesIn matrix form this says that the connection matrix plus its transpose is zero; it must be antisymmetric.

ResolveThe Frenet-Serret formulas giveUsingtherefore yields

Let $\gamma$ be a $C^3$ regular curve parametrized by arc length, so $|{\gamma }^{\prime }(s)|=1$. Define the Frenet frameand define the torsion byThus curvature requires two derivatives, while $N,B,$ and torsion require $\kappa >0$; the displayed classical torsion requires three derivatives. At a point where $\kappa =0$, $N,B,$ and $\tau$ are not defined by this construction.

Since $(T,N,B)$ is an orthonormal frame, differentiating its inner products shows that its derivative matrix is skew-symmetric. The definition gives $T^{\prime }=\kappa N$. Next,so $N^{\prime }=-\kappa T+cB$. As $B^{\prime }=T\times N^{\prime }$ and $T\times B=-N$, we have $B^{\prime }=-cN$; hence $c=-B^{\prime }\cdot N=\tau$. The Frenet-Serret formulas are therefore

For a unit-speed space curve, setThese form the Frenet trihedron. With the signed torsion convention compatible with the question, the Frenet-Serret formulas areFor an oriented surface with unit normal $N$, the signed geodesic curvature is

On the unit sphere $N=\alpha$. Since $\alpha \cdot t=0$, differentiation givesWrite $\alpha =An+Bb$. Then $A=-1/\kappa$, and differentiating this expression and comparing the $n$ coefficient with $\dot{\alpha }=t$ givesThus, wherever the displayed quantities are defined,Finally,which is the stated curvature decomposition for a spherical curve.